Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Unofficial Scroll ZK EVM Code Review

Cheng JIANG
September 15, 2023

Unofficial Scroll ZK EVM Code Review

Cheng JIANG

September 15, 2023
Tweet

More Decks by Cheng JIANG

Other Decks in Research

Transcript

  1. Summary - Why ZK EVM works? - Architecture - Tech

    stack comparaison - Arithmetization - Trace generation - Gate configuration - Circuit tools - Some opcode gadgets - Public input circuit - Synthesize - Combining with halo2 - Observation
  2. Why ZK EVM works? ❖ EVM is a State Machine

    ❖ Public-key cryptography ➢ Verify txs all represent users' intention ❖ Blockchain consensus ➢ Verifier ➢ Previous state root ❖ MPT ➢ Verify initial state ➢ Verify new root ❖ ZK ➢ Succinctness ➢ Lookup Arguments ❖ Ethereum as a DA Layer
  3. Observation - Scroll doesn’t support self destruct EVM opcode -

    Scroll’s MPT tree uses poseidon circuit - Scroll uses chain_id and block_number to calculate block_hash!!! - Scroll still uses SuperCircuit which is very zk-unfriendly - Don’t read PSE’s code, it’s not production ready!!! - …