Scaling EthereumThrough Zero Knowledge Proofs
The zkEVM team at the Ethereum Foundation is working on shipping scaling of the Ethereum mainnet through zero-knowledge virtual machines (zkVMs).
Mandatory Proofs
Ship mandatory proofs, enabling full ZK-based scaling of Ethereum L1.
Latest Updates
On Formal Verification and a Bug in SP1 Hypercube
A practical study in establishing and validating formal correctness guarantees
2026-05-14EIP-8025: bringing optional execution proofs to Hegotá
The non-headliner proposal window for Hegotá - the fork planned to follow Glamsterdam - is open, and the L1-zkEVM workstream is putting EIP-8025 (Optional Execution Proofs) forward for inclusion.
2026-02-16Ethereum zkVM Interoperability: zkVM Standards v0
The first release of zkVM-standards establishes three initial standards for zkVM development: RV64IM target architecture, C interfaces for precompiles, and standardized IO handling.
2026-02-11zkEVM Security Sprint: February Update
zkEVM Security Sprint: Whitepaper guidelines, lookups in soundcalc, and an updated deadline.
Who We Are
A collaborative effort from researchers and developers dedicated to scaling Ethereum securely.
