Hashing It Out #6: Stuart Popejoy

ABOUT THIS EPISODE

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

NEW

Search across all episodes within this podcast

Episodes (98)

Episode 22 · 2 years ago

Hashing It Out #22: Casper+Sharding - Danny Ryan

Danny Ryan from Ethereum comes on to speak with us about the Casper Sharding v2.1 specification. Casper Sharding is a combined effort between the migration to Proof of Stake and Sharding for Ethereum. We go over the motivations behind the new specification, the research efforts underway, the architecture and design, and even how Ethereum can maintain liveness during a major world catastrophic event. There's so much information to cover, and we only scratched the surface. The future of Ethereum looks exciting!

Episode 21 · 2 years ago

Hashing It Out #21: Mythril - Bernhard Mueller

The famous Bernhard Mueller joined us today to talk about the fantastic work being done to beef up his already amazing tool, Mythril. The new Mythril platform beefs up the symbolic analyzer as well as adding static analysis tools and linters (Maru), a dynamic analyzer and input fuzzer (Harvey) and an API for easy integration into a developer's processes. We dive into what brought Bernhard to write Mythril and how it's taken off as a premier auditing tool. We also get into the future of security tools and how the processes being developed today will inform best practices of the future.

Episode 20 · 2 years ago

Hashing It Out #20: Quantstamp - Kacper Bak

In this episode, we interview Kacper Bak, Research Engineer at Quanstamp. Quantstamp has created a system for auditing smart contracts automatically, testing for known exploits. They verify the more common attack vectors, and provide a report to the user about the potential threat. We go into how their product is built, the future of their product, and how it can benefit and drive future innovation.

Links: – smart contract security alliancesecureth communityquantstamp website

Episode 19 · 2 years ago

Hashing It Out #19: Gitcoin - Kevin Owocki

We talk with Kevin Owocki, co-founder of Gitcoin. No joke, this episode is compelling. Gitcoin is a decentralized application which incentives open source contributors with bounties for bugs and features. Kevin tells us about the creation of Gitcoin, how their incentive models work, their architecture, and their alternate funding mechanism for open source projects, CodeFund. We then take a trip to Jupiter and dream of the future of decentralization, theorycrafting what that world will look like and what we need to build to get there. Exciting topics!