Ethereum Foundation initiative

Formal verification for zkEVMs

We support formal verification of zkVMs, EVM implementations, and cryptographic proof systems to strengthen assurance across the zkEVM stack. Explore the research, tools, and teams supported by the project.