Devcon VI

Proving EVM Bytecode Execution in the zk-EVM
10-13, 11:30–12:00 (America/Bogota), Talk 3

Rollups are the go-to solution to scaling Ethereum and at the heart of the Ethereum roadmap. Programmable rollups and zk-evms have gathered a lot of attention and research interest. Provers in particular, which produce cryptographic proofs of evm execution, pose challenging problems both theoretically and practically. In this talk we will present our arithmetization and proving scheme, and demo the zk-evm under development at ConsenSys, providing an EVM bytecode compatible end to end solution.

I work in R&D at ConsenSys. My research focus in on delivering the zk-evm.

Applied cryptography researcher at ConsenSys