Hashing It Out #43 - Kadena - Stuart Popejoy and Emily Pillmore


We are excited to have the Kadena team back on with an update. The erudite Stuart Popejoy and brilliant Emily Pillmore speak more on Pact, the smart contract language with built-in formal verification used in the Kadena Chainweb. We learn more about formal verification: what it means, how it works, and a bit of its limitations. They also give us an update on Chainweb itself and talk us through some of the challenges since we last spoke... AND their innovated solutions to those challenges!



We'd like to thank our sponsor for this episode Trail of Bits for supporting us. Now go sign up for automatic github-integrated smart contract security at www.crytic.io !

In-Stream Audio Search


Search across all episodes within this podcast

Episodes (99)

Episode 47 · 1 year ago

Hashing It Out #47 - MakerDAO pt. 1 - Nik Kunkel

MakerDAO has built a token that is reasonably stable with the USD. We have the great pleasure of interviewing Nik Kunkel, Head of Backend Services at Maker. In this Part 1 of 2 on Maker, we talk about the cryptoeconomics behind creating a stable token pegged to the USD. It's essential to understand this before getting into the technicals found in Part 2 of 2 (next episode, #48). This is compelling work, and truly amazing how well it's standing against the throes of the fluctuating markets.





Episode 46 · 1 year ago

Hashing It Out #46 - Ren - Loong Wang

We have CTO of Ren, Loong Wang, on to educate us on their token transfer protocol. Ren is building a system that allows a user to transfer a token from one change to another, without the drawbacks found in techniques like atomic swaps. They have a network of "dark nodes" which run on their virtual machine, RenVM, to computer across the transactions and share data over the network. Interesting technology with many use cases!


  • https://renproject.io/
  • https://twitter.com/bzlwang


  • https://donate.hashingitout.stream

Episode 45 · 1 year ago

Hashing It Out #45 - Cosmos Network - Zaki Manian

Champion of decentralization, Zaki Manian, rejoins us for updates on Cosmos since their Mainnet launch. We dive into the design principles of Cosmos, their consensus mechanisms, incentivisation model, and how to integrate your decentralized application into the Cosmos Network. We also learn more about who is currently using Cosmos and how, what Zaki and Cosmos will be speaking on at NYC Blockchain Week events, as well as how Cosmos differentiates itself from other technologies being produced. Riveting as always!

Show Links:

Episode 44 · 1 year ago

Hashing It Out #44 - Blockstream - Russell O'Connor

We bring you another brilliant mind on the show for this episode! Russell O'Connor, developer of Blockstream's Simplicity programming language for Bitcoin, dives deep into formal verification topics. We learn about the language design principles driving Simplicity, how formal verification plays an integral role in making the language suitable for securely automating Bitcoin transactions, and the challenges in creating a smart contract script for Bitcoin. We get a glimpse into the future of blockchain automation, and he elucidates what is being done right and what could be done better in blockchain platforms to place security first in smart contract design.