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:

http://kadena.io
https://kadena.io/en/resources/
https://twitter.com/kadena_io
https://twitter.com/sirlensalot
https://twitter.com/emi1ypi
EVM is fundamentally unsafe
Turing Complete vs Turing Incomplete

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.