v0.11.0: DA Compression, new opcodes

Highlights:

1. A new zstd chip has been implemented and integrated into the batch circuit, enabling compressed data availability (DA) within blobs. The maximum number of chunks in a batch has been increased from 15 to 45, allowing approximately 600 transactions per blob on average.
2. New opcodes added: TLOAD, TSTORE, MCOPY, and BASEFEE.
3. Support for new transaction types: EIP-2930 and EIP-1559.
4. Implementation of a new L1 data fee mechanism, providing more accurate and fair L1 data fees.
   Internal code refactoring and cleanup.

What’s Changed

• [fix] typo in seq exec (#1332) @noel2004
• Auditing: fix doc example of evm circuit (#1329) @DreamWuGit
• byte_idx MUST increment for certain tags (#1302) @roynalnaruto
• fix: equality constraints for len(bytes) for both blob and batch (#1300) @roynalnaruto
• Refactor/Da Compression Witness Generation (#1298) @darth-cy
• Import zstd from da-codec (#1291) @noel2004
• AggregationCircuit: lookup degree <= 9 (#1299) @roynalnaruto
• AggregationCircuit Variadic tests and fix for permutation check not done on fixed rows (#1297) @roynalnaruto
• BooleanAdvice column to avoid soundness bugs (#1288) @roynalnaruto
• allow up to 5x compression ratio (#1287) @roynalnaruto
• remove dead code (#1253) @z2trillion
• add doc for mcopy (#1257) @DreamWuGit
• Update Keccak_Circuit.md - Fix Keccak256 Implementation Broken Link (#1244) @MartinKong1990
• testool update (#1237) @lightsing
• fix testool for EIP-1153 (#1235) @lispc
• Update zktrie with native rust lib (#1198) @noel2004
• Add 4844 soundness tests (#1210) @z2trillion

Changes in the bus-mapping

• Refactor: BlockTrace struct (#1334) @lispc
• Refactor: witness building (#1328) @lispc
• fix: use correct chain id for l1 fee (#1325) @lispc
• feat(l1 fee): many updates (#1316) @lispc
• feat: add row usages to chunk proof, and refactor prover codes (#1314) @lispc
• Chore: fix clippy (#1312) @DreamWuGit
• update L1 data fee for curie (#1293) @DreamWuGit
• feat: l1 fee contract upgrade part2 (#1301) @lispc
• feat: upgrade sys contract (#1279) @lispc
• feat: split end block and padding (#1283) @lispc
• refactor witness::Block (#1277) @lispc
• chore: fix typos (#1220) @xiaoxianBoy
• opt: remove extcodesize code hashing in ccc (#1267) @lispc
• feat: retrace in BuilderClient::gen_inputs (#1260) @lightsing
• feat: copy circuit support overlap copy range (#1255) @DreamWuGit
• feat: implement mcopy opcode (#1209) @DreamWuGit
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• refactor for stateless block verifier (#1236) @lightsing
• Implement TLOAD and TSTORE (#1233) @z2trillion
• testool: upgrade for cancun and other fixes (#1221) @lispc
• [feat] assert call trace length (#1228) @lightsing
• testool: enable strict-ccc and disable enable-storage (#1206) @lightsing
• [Testing] Enable mainnet test utility work with common rpc node (#1212) @noel2004

Changes in circuit-benchmarks

• refactor witness::Block (#1277) @lispc
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• refactor: mv Field from eth-types to zkevm-circuits (#1240) @lispc
• refactor for stateless block verifier (#1236) @lightsing

Changes in eth-types

• set curie fork height (#1336) @lispc
• Refactor: BlockTrace struct (#1334) @lispc
• Refactor: witness building (#1328) @lispc
• feat(l1 fee): many updates (#1316) @lispc
• Chore: fix clippy (#1312) @DreamWuGit
• update L1 data fee for curie (#1293) @DreamWuGit
• feat: l1 fee contract upgrade part2 (#1301) @lispc
• refactor prover codes (#1292) @lispc
• upgrade revm to v36 (#1290) @lightsing
• refactor witness::Block (#1277) @lispc
• opt: remove extcodesize code hashing in ccc (#1267) @lispc
• feat: implement mcopy opcode (#1209) @DreamWuGit
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• chore: clean up deps (#1242) @lispc
• refactor: mv Field from eth-types to zkevm-circuits (#1240) @lispc
• refactor for stateless block verifier (#1236) @lightsing
• Implement TLOAD and TSTORE (#1233) @z2trillion
• testool: upgrade for cancun and other fixes (#1221) @lispc
• [feat] assert call trace length (#1228) @lightsing
• Upgrade L1geth (#1216) @z2trillion

Changes in external-tracer

• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• testool: upgrade for cancun and other fixes (#1221) @lispc

Changes in gadgets

• Epic: DA-Compression (#1213) @roynalnaruto
• fix copy circuit phase (#1282) @lispc
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion

Changes in geth-utils

• feat(l1 fee): many updates (#1316) @lispc
• update L1 data fee for curie (#1293) @DreamWuGit
• refactor prover codes (#1292) @lispc
• feat: implement mcopy opcode (#1209) @DreamWuGit
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• Implement TLOAD and TSTORE (#1233) @z2trillion
• testool: upgrade for cancun and other fixes (#1221) @lispc
• Upgrade L1geth (#1216) @z2trillion

Changes in integration-tests

• Refactor: witness building (#1328) @lispc
• refactor witness::Block (#1277) @lispc
• feat: retrace in BuilderClient::gen_inputs (#1260) @lightsing
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• testool: upgrade for cancun and other fixes (#1221) @lispc
• [Testing] Enable mainnet test utility work with common rpc node (#1212) @noel2004

Changes in Keccak

• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion

Changes in mock

• feat(l1 fee): many updates (#1316) @lispc
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• testool: upgrade for cancun and other fixes (#1221) @lispc

Changes in prover

• Refactor: BlockTrace struct (#1334) @lispc
• Refactor: witness building (#1328) @lispc
• feat(l1 fee): many updates (#1316) @lispc
• fix prover after refactor (#1315) @lispc
• feat: add row usages to chunk proof, and refactor prover codes (#1314) @lispc
• agg circuit: change keccak degree and num chunks (#1311) @lispc
• feat: l1 fee contract upgrade part2 (#1301) @lispc
• feat: upgrade sys contract (#1279) @lispc
• refactor prover codes (#1292) @lispc
• refactor witness::Block (#1277) @lispc
• Make aggregation circuit generic over number of snarks (#1225) @zhenfeizhang
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• refactor for stateless block verifier (#1236) @lightsing
• testool: upgrade for cancun and other fixes (#1221) @lispc

Changes in the zkevm-circuits

• set curie fork height (#1336) @lispc
• fix degree pow of rand table in agg circuit (#1335) @lispc
• Auditing: ErrorMemorycopy constrain src_len & memory expansion (#1321) @DreamWuGit
• Refactor: BlockTrace struct (#1334) @lispc
• Refactor: witness building (#1328) @lispc
• L1 Fee Curie: add unit test (#1313) @DreamWuGit
• feat(l1 fee): many updates (#1316) @lispc
• Fix: field_rlc column needs to in phase2. (#1320) @kunxian-xia
• feat: add row usages to chunk proof, and refactor prover codes (#1314) @lispc
• agg circuit: change keccak degree and num chunks (#1311) @lispc
• Chore: fix clippy (#1312) @DreamWuGit
• update L1 data fee for curie (#1293) @DreamWuGit
• Fix: tx circuit constraint err for access list init section (#1310) @kunxian-xia
• Fix: tx circuit errors (#1303) @kunxian-xia
• feat: l1 fee contract upgrade part2 (#1301) @lispc
• opt: reduce agg circuit phase (#1296) @lispc
• [FIX #1258] conditional constraint of copy lookup in begin_tx (#1295) @noel2004
• feat: upgrade sys contract (#1279) @lispc
• refactor prover codes (#1292) @lispc
• Auditing: constrain rwc_inc_left for last & first step (#1286) @DreamWuGit
• Epic: DA-Compression (#1213) @roynalnaruto
• Fix: fix ci errors in pr#1280 (#1285) @kunxian-xia
• feat: split end block and padding (#1283) @lispc
• fix tx circuit "tag" and enable 2930 super test with access list (#1280) @DreamWuGit
• Auditing: constrain end_tx in require_step_state_transition (#1281) @DreamWuGit
• fix copy circuit phase (#1282) @lispc
• auditing updates for some comments (#1276) @DreamWuGit
• Fix: lookup errors emitted in RLP sub-circuit (reported by testool) (#1278) @kunxian-xia
• refactor witness::Block (#1277) @lispc
• fix sig issue for 1559/2930 in tx circuit (#1269) @DreamWuGit
• Add constraints in state circuit for AccountTransientStorage (#1274) @z2trillion
• chore: fix typos (#1220) @xiaoxianBoy
• opt: remove extcodesize code hashing in ccc (#1267) @lispc
• feat: copy circuit support overlap copy range (#1255) @DreamWuGit
• feat: implement mcopy opcode (#1209) @DreamWuGit
• fix: poseidon-base default short (#1254) @lightsing
• Audit/1559 TxTable Tag Transitions (#1227) @darth-cy
• Clean up TLOAD and TSTORE and add tests (#1245) @z2trillion
• move mpt witness to zkevm-circuits (#1243) @lispc
• refactor: mv Field from eth-types to zkevm-circuits (#1240) @lispc
• refactor for stateless block verifier (#1236) @lightsing
• Implement TLOAD and TSTORE (#1233) @z2trillion
• Audit Fixes EIP2930/1559 in RLP Circuits (#1175) @darth-cy
• testool: upgrade for cancun and other fixes (#1221) @lispc
• feat(1559): constrain tx gas price == effective gas price (#1152) @DreamWuGit
• fix audit: constrain tx_l1_fee gadget (#1151) @DreamWuGit
• audit fix input_mod_192_is_zero in ec_pairing (#1150) @DreamWuGit
• Audit fix for access list rw_delta_expr (#1149) @DreamWuGit
• [Testing] Enable mainnet test utility work with common rpc node (#1212) @noel2004