v0.12.0-rc.1

⚠️ Warning ⚠️

This is not production-ready since we have to revert a commit that accidentally got included. Reverting this commit will change the verification key and hence we will publish the next release candidate upon doing that.

Summary

• Terminology:
  • chunk is a list of blocks
  • batch is a list of chunks
  • bundle is a list of batches
• The ZkEvmVerifier contract now verifies a bundle proof, i.e. the proof of several batches bundled recursively, instead of a batch proof
• The AggregationCircuit has been renamed to BatchCircuit
  • Public input of the AggregationCircuit now has context of the previous batch (in the form of batchHash)
  • batchHash is the Keccak-256 digest of BatchHeaderV3
• The RecursionCircuit recursively verifies state transition between "previous" and "current" BatchCircuit SNARKs
  • round represents the number of batches to recurse over

What’s Changed

• fix: table kind should not change over the fse code trailing bits (#1345) @roynalnaruto
• Fix: Update aggregator/README.md and comments for EIP4844 (#1331) @dongliangCai

Changes in the bus-mapping

• refactor: disable "test" "mock" features in prover side to get rid of Go (#1347) @lispc
• Refactor: trace (#1341) @lispc
• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp
• move Field and ToScalar to gadgets (#1337) @lispc

Changes in eth-types

• [feat] add Bernoulli to HardforkId (#1356) @lightsing
• [fix] move from_json_file back to prover crate (#1350) @lightsing
• Sync v0.11 till 38a68e2 (#1348) @lispc
• Refactor: trace (#1341) @lispc
• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp
• v0.11: Update fork height (#1338) @lispc
• move Field and ToScalar to gadgets (#1337) @lispc

Changes in external-tracer

• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp

Changes in gadgets

• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp
• move Field and ToScalar to gadgets (#1337) @lispc

Changes in geth-utils

• Sync v0.11 till 38a68e2 (#1348) @lispc
• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp

Changes in integration-tests

• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp

Changes in Keccak

• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp

Changes in mock

• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp

Changes in prover

• revert chunk circuit vk to mainnet version (#1361) @lispc
• [fix] move from_json_file back to prover crate (#1350) @lightsing
• refactor: disable "test" "mock" features in prover side to get rid of Go (#1347) @lispc
• refactor(ccc): less magic numbers (#1346) @lispc
• Refactor: trace (#1341) @lispc
• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp

Changes in the zkevm-circuits

• revert chunk circuit vk to mainnet version (#1361) @lispc
• [feat] add Bernoulli to HardforkId (#1356) @lightsing
• Sync v0.11 till 38a68e2 (#1348) @lispc
• refactor: disable "test" "mock" features in prover side to get rid of Go (#1347) @lispc
• refactor(ccc): less magic numbers (#1346) @lispc
• Fix: Update tx_circuit.rs MAX_AGG_SNARKS (#1344) @dongliangCai
• add error mcopy test (#1333) @DreamWuGit
• Refactor: trace (#1341) @lispc
• enhancement: add a typeos check in CI, and fix current existly typos errors. that is a TODO thing, and it's done now. (#1340) @xyq-c-cpp
• move Field and ToScalar to gadgets (#1337) @lispc