The Bitcoin Podcast Network

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

Episode Summary

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! This episode is sponsored by www.trailofbits.com

Episode Notes

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!

show links:

Sponsorship:
We'd like to again thank [Trail of Bits] for supporting us. Go integrate high quality security into your smart contract codebase with Crytic! Stay safe out there.