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 ensuring that the infrastructure we rely on is secure, efficient, and free from catastrophic errors (and thus, exploits). Itâs about verifying that the code we trust with billions of dollars works exactly as intended, which is especially important as we transition from optimistic rollups to full ZK rollups, with no backup.
In this discussion with Alexander Hicks from the Ethereum Foundation, we explore the Foundationâs ongoing efforts to apply formal verification to ZKVMs. This approach is designed to make ZKVMs more scalable, secure, and ultimately more reliable for users and developers alike.
Formal verification ensures that every step of a complex system like a ZKVM is mathematically proven to be correct, offering a new layer of security to the onchain world. Alexander walks us through his journey from computer security and mathematics into the blockchain space, and how this background helped shape his work on formal verification at Ethereum.
With a $20 million budget for builders and a long-term focus on sustainable solutions, Ethereumâs formal verification program is aiming to safeguard not only ZK rollups but potentially Ethereum L1 itself.
Whether youâre a founder, builder, developer or an onchain maxi looking to get involved this one is for you.
Website: https://therollup.co/
Spotify: https://open.spotify.com/show/1P6ZeYd..
Podcast: https://therollup.co/category/podcast
Follow us on X: https://www.x.com/therollupco
Follow Rob on X: https://www.x.com/robbie_rollup
Follow Andy on X: https://www.x.com/ayyyeandy
Join our TG group: https://t.me/+8ARkR_YZixE5YjBh
The Rollup Disclosures: https://therollup.co/the-rollup-discl
đđđŠđđđđđ đđ„: đđŻđ·đŠđŽđ”đȘđŻđš đȘđŻ đ€đłđșđ±đ”đ°đ€đ¶đłđłđŠđŻđ€đș đąđŻđ„ đđŠđđȘ đ±đđąđ”đ§đ°đłđźđŽ đ€đ°đźđŠđŽ đžđȘđ”đ© đȘđŻđ©đŠđłđŠđŻđ” đłđȘđŽđŹđŽ đȘđŻđ€đđ¶đ„đȘđŻđš đ”đŠđ€đ©đŻđȘđ€đąđ đłđȘđŽđŹ, đ©đ¶đźđąđŻ đŠđłđłđ°đł, đ±đđąđ”đ§đ°đłđź đ§đąđȘđđ¶đłđŠ đąđŻđ„ đźđ°đłđŠ. đđ” đ€đŠđłđ”đąđȘđŻ đ±đ°đȘđŻđ”đŽ đ”đ©đłđ°đ¶đšđ©đ°đ¶đ” đ”đ©đȘđŽ đ€đ©đąđŻđŻđŠđ, đžđŠ đźđąđș đŠđąđłđŻ đą đ€đ°đźđźđȘđŽđŽđȘđ°đŻ đ°đł đ§đŠđŠ đąđŽ đą đŽđ±đ°đŻđŽđ°đłđŽđ©đȘđ±, đȘđ§ đ”đ©đȘđŽ đȘđŽ đ”đ©đŠ đ€đąđŽđŠ đžđŠ đžđȘđđ đąđđžđąđșđŽ đźđąđŹđŠ đŽđ¶đłđŠ đȘđ” đȘđŽ đ€đđŠđąđł. đđŠ đąđłđŠ đŽđ”đłđȘđ€đ”đđș đąđŻ đŠđ„đ¶đ€đąđ”đȘđ°đŻđąđ đ€đ°đŻđ”đŠđŻđ” đ±đđąđ”đ§đ°đłđź, đŻđ°đ”đ©đȘđŻđš đžđŠ đ°đ§đ§đŠđł đȘđŽ đ§đȘđŻđąđŻđ€đȘđąđ đąđ„đ·đȘđ€đŠ. đđŠ đąđłđŠ đŻđ°đ” đ±đłđ°đ§đŠđŽđŽđȘđ°đŻđąđđŽ đ°đł đđȘđ€đŠđŻđŽđŠđ„ đąđ„đ·đȘđŽđ°đłđŽ.