Release Ethereum Formal Model Enhancing Security and Verification

Ethereum Formal Verification team released an open source formal model of the Ethereum Virtual Machine and Yul in the Lean proof assistant. It aligns with the Cancun hard fork and is validated against the official Ethereum test suite. This trusted foundation supports smart contract, client, and zkVM verification, enhancing protocol security and developer confidence across the ecosystem.