Watch / Proving EVM Bytecode Execution in the zk-EVM

Proving EVM Bytecode Execution in the zk-EVM

  • YouTube
  • Details

Proving EVM Bytecode Execution in the zk-EVM

Duration: 00:24:37

Speaker: Olivier Bégassat, Franklin Delehelle

Type: Talk

Expertise: Advanced

Event: Devcon 6

Date: Oct 2022

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.


About the speakers


Franklin Delehelle

Applied cryptography researcher at ConsenSys


Olivier Bégassat

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

  • Related