Ethereum's ZK & Formal Verification Endgame with Alexander Hicks
The Ethereum Foundation has been very active in the public discourse, notably with Vitalik's return back to X and engaging in the technical debates about the Ethereum roadmap. Following our recent podcast with Justin Drake about Ethereum's roadmap, we set out to understand one key component of that discussion in further detail. This component? Real-time proving, formal verification, and building a more resilient smart contract environment for Ethereum. While it might not get as much spotlight as the latest protocol launch or governance upgrade, formal verification is a crucial foundation for…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.