EIPs that sound ZKEVM-scary. The rough path towards EVM Proof of Validity.

Devconnect Istanbul 2023 · 14 Nov 2023 · 15:01

CPerezz surveys a set of Ethereum Improvement Proposals relevant to building a zkEVM, walking through the technical path toward proof of validity for EVM execution. Speaking at Devconnect Istanbul 2023, the talk breaks down why proposals touching opcode behavior, gas metering, and precompiles matter for zero-knowledge proof systems trying to verify Ethereum execution faithfully, aiming to make that path more approachable for developers unfamiliar with zkEVM internals. It frames zkEVM design as a translation problem between Ethereum's existing EVM specification and circuits that can be proven in zero knowledge.

Speakers

• CPerezz

Topics

• Protocol
• L1 Scaling
• EVM

From Devconnect Istanbul 2023, hosted by Ethereum Foundation.