Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

WIP refactor state circuit#100

Closed
lispc wants to merge 19 commits into
mainfrom
refactor/state_circuit
Closed

WIP refactor state circuit#100
lispc wants to merge 19 commits into
mainfrom
refactor/state_circuit

Conversation

@lispc
Copy link
Copy Markdown

@lispc lispc commented Feb 15, 2022

  • build state circuit witness from witness::Rw / witness::Block
  • update state circuit according to latest spec Redo spec of state circuit privacy-ethereum/zkevm-specs#118
    • remove the "write 0" init row of memory ops
    • remove padding if not needed (not easy..)
    • remove prev column?
  • add state circuits tests for opcode using run_test_circuit_incomplete_fixed_table
  • update evm circuit, make its rw table similar to state circuit ( eg: remove prev column, sort by address instead of rw_counter)

@lispc lispc closed this Feb 21, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant