This podcast is proudly hosted by Sounder.fm

ABOUT THIS EPISODE

Dean and John interview the CEO of Informal Systems Ethan Buchman. Informal Systems is a company seeking to bring a formal verification process for TLA to the Cosmos/Tendermint network.

Links:Informal Systems

The Bitcoin Podcast Network

Hashing It Out

Episode 87 · 6 months ago

SHARE THIS EPISODE

Facebook

Twitter

Episode 87 · 6 months ago

Hashing It Out #87-Informal Systems Ethan Buchman

ABOUT THIS EPISODE

Dean and John interview the CEO of Informal Systems Ethan Buchman. Informal Systems is a company seeking to bring a formal verification process for TLA to the Cosmos/Tendermint network.

Links:Informal Systems

The Bitcoin Podcast Network

In-Stream Audio Search

NEW

Search across all episodes within this podcast

Episodes (100)

Episode 62 · 4 months ago

Hashing It Out #62 – Bolt Labs – Ayo Akinyele

This episode, Corey interviews Ayo Akinyele, a former security researcher turned CEO of Bolt Labs. Bolt Labs is a privacy solution for the Lightning Network which allows for an asymmetry of knowledge in the channel. While this is quite useful and interesting, we instead turn our focus on things such as attribute-based encryption, a security researcher’s view of blockchain systems, and much more. Join us for an awesome conversation of where we are as a community, and where we’re going!

Links:
– Bolt Labs
– Ayo’s twitter
– openABE

Play Download

Episode 61 · 4 months ago

Hashing It Out #61 – Solana – Anatoly Yakovenko

In today’s episode, Corey and Collin talk with Anatoly Yakovenko, the Co-Founder and CEO of Solana. Solana is a blockchain platform attempting to scale transactions without the need of sharding and we want to know how they plan to do it. Join us as we dive into their strategy, their current progress, and where they plan to go. We ask the right questions to get you to the right answers on how this technology works, so come listen and enjoy!

Links:
– solana website
– Anatoly’s Twitter

Donate to Hashing It Out!

Play Download

Episode 60 · 4 months ago

Hashing It Out #60 – Balance Research – Arthur Gervais & Dominik Harz

This episode Corey and Collin bring on the academics Arthur Gervais and Dominik Harz from Imperial College London. They discuss a new protocol that attempts to reduce the required financial deposits for various mechanisms in a way that does not reduce security. In other words, it is an attempt to help with over-collateralization, which could save investors a lot of money! As always, we get into the weeds to try and figure out exactly how it works, and where it is best used. Come listen and enjoy!

Links:

https://balance-resear.ch/

Donate to Hashing It Out!

Play Download

Episode 93 · 5 months ago

Hashing It Out #93 - Sigma Prime Mehdi Zerouali

Corey and John speak with Mahdi Zerouali of Sigma Prime on how ETH 2 is going to look like for users of Ethereum.

Links: Sigma Prime

Sponsor Links

The Hashing It Out Social Media

Play Download

Go to page

SHARE THIS SHOW

ABOUT THIS EPISODE

SHARE THIS EPISODE

Episode 87 · 6 months ago

Hashing It Out #87-Informal Systems Ethan Buchman

ABOUT THIS EPISODE

In-Stream Audio Search

Episodes (100)