Scraping Bits cover image

#22 - Leo Alt: Leading Ethereum's Formal Verification + CoFounding Powdr Labs

Scraping Bits

00:00

Formal Verification and SMT Solvers in Smart Contract Development

The chapter delves into the field of formal verification, exploring its benefits and how it is used in smart contract development. It explains the process of encoding programs and properties using mathematical language and utilizing SMT solvers for automated theorem proving. The chapter also highlights the complementary nature of formal verification and other techniques like fuzzing in ensuring code quality and security.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app