At the Lean Ethereum PQ Workshop in @Cambridge_Uni, organized by @drakefjustin and the @ethereumfndn, Nethermind’s Formal Verification team presented research on end-to-end verification of zkVMs for L1 proving. Sessions focused on post-quantum signatures, recursive SNARKs, and Lean-based verification for Ethereum. Watch our Head of Formal Verification @JulekSU’s presentation at the link below. 🎥 https://www.youtube.com/watch?v=muryYp1ZIO8&list=PLJqWcTqh_zKGPctGzVOBllZnCPQj-g7d3&index=21(Nethermind)