Hashing It Out #6: Stuart Popejoy


This week's episode features Stuart Popejoy, founder of the Kadena, creator of the Pact smart contract language, and engineer/designer of the Chainweb blockchain protocol. We go in-depth on design decisions for Pact, how language simplicity impacts the security and adoption of second generation blockchains, how formal verification can be used to improve certainty in smart contracts, and the over-emphasis of Turing completeness for a very domain-specific language such as smart contracts. We go into the design behind Chainweb, an unboundedly scalable Proof of Work blockchain architecture, which expects to reach a whopping 10,000 tx/sec (864,000,000 tx/day) on its first year of release.

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.