Reducing the Trust Surface
Ethereum Foundation · 32:07 · Watch on YouTube
Formal verification is framed as the way to stop an endless cycle of AI-discovered bugs: turn what the system must do into a checkable proof, and let an agent rewrite code until that proof succeeds. A first speaker (l...