Formal Verification for Ethereum’s Next Scalability Era

Online event: https://us06web.zoom.us/j/84513468897?pwd=SEd5TEN3Zi9XaThQRVpsVzZ4OFVmdz09

Mooly Sagiv, founder of Certora, will discuss how his team's research. The Ethereum Foundation has awarded a research grant to Certora to formally verify core components of the zkEVM, Ethereum’s next-gen zero-knowledge execution engine.