Zero Knowledge cover image

lean Ethereum Part 1: Introduction with Justin Drake

Zero Knowledge

00:00

Formal Verification Goals

Justin describes formal verification across mathematics and code, and plans to prove LeanVM's core theorems and implementations.

Play episode from 15:23
Transcript

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