v0.9.2

What’s Changed

• fix: add CHANGELOG (#942) @silathdiir
• support max snark up to 15 (#803) @zhenfeizhang
• fix-tob-xxx: add a missing boolean constraint for chunk_is_valid cells (#902) @zhenfeizhang
• add opcodes for evm circuit doc (#891) @DreamWuGit
• fix: refactor and extract pairing-check code to a function (#860) @silathdiir
• testool: support all precompiles (#843) @lispc
• add pi, sig & modexp doc (#836) @DreamWuGit
• fix testool and update codehash (#805) @lightsing
• add four circuits' doc (#806) @DreamWuGit

Changes in the bus-mapping

• fix ccc panic CodeNotFound (#958) @lispc
• many sanity checks for mpt witness (#950) @lispc
• Fix build (#938) @silathdiir
• upgrade ethers from 0.17.0 to 2.0.7 (#937) @kunxian-xia
• ecrecover soundness (address not recovered) (#930) @roynalnaruto
• add "" to default codedb (#929) @lispc
• refactor(bus-mapping): spit begin end tx to another file (#922) @lispc
• [feat] prestate tracer (#914) @lightsing
• fix: load constants wherever applicable (#892) @roynalnaruto
• test: don't use l1 tx in tracing (#886) @lispc
• feat: check post tx account (#878) @lispc
• refactor: update the default sign_data (#560) @kunxian-xia
• ec pairing simplify (#873) @roynalnaruto
• bump l2geth; support sig circuit in testool (#869) @lispc
• Feat: bump up poseidon-circuit to enable parallel synthesis (#867) @kunxian-xia
• fix(ecMul): handle case for P == -R (#865) @roynalnaruto
• Fix: post state check should fail for hash precompile tests (#856) @kunxian-xia
• Clean mod exp codes (#859) @lispc
• Reversion from Precompile calls (even from begin_tx) (#855) @roynalnaruto
• feat(testool): use list to filter tests; upgrade revm to fix modexp gas cost (#853) @lispc
• Fix/rws limit early stop (#852) @lispc
• fix-exp-is-last: enforce the secure termination of Exp circuit (#837) @naure
• Precompile (non-static) calls with (non-zero) value (#848) @roynalnaruto
• Fix EXTCODECOPY with empty account (#846) @lispc
• Fix: gas cost of ec_pairing precompile (#844) @kunxian-xia
• Swap only if both G1, G2 are 0s from EVM (#845) @roynalnaruto
• testool: support sub circuit; fix modexp row usage (#841) @lispc
• testool: enable stZeroKnowledge tests (#839) @lispc
• Remove redundant branch (#835) @roynalnaruto
• Handle precompile call failure call.is_success == false due to "Invalid Inputs" and "Insufficient Gas" (#811) @roynalnaruto
• fix CallContextField::GasLeft (#833) @lispc
• improve testool for scroll mode (#831) @lispc
• scroll mode for testool (#822) @lispc
• fix code_size in create; fix return_data for call oog (#826) @lispc
• [Feat] make supercircuit test applying l2trace (#767) @noel2004
• more strict check on Account Rw (#819) @lispc
• fix returndata for err cases; upgrade evm tests submodule (#813) @lispc
• Remove CopyDataType::Precompile (#809) @naure
• fix test tool create collision tests (#793) @DreamWuGit

Changes in circuit-benchmarks

• upgrade ethers from 0.17.0 to 2.0.7 (#937) @kunxian-xia
• [Feat] make supercircuit test applying l2trace (#767) @noel2004

Changes in eth-types

• many sanity checks for mpt witness (#950) @lispc
• Super Circuit Invalid Precompile Inputs Integration Tests (OOG, EC Fp Overflow, EC Not on Curve) (#850) @darth-cy
• upgrade ethers from 0.17.0 to 2.0.7 (#937) @kunxian-xia
• ecrecover soundness (address not recovered) (#930) @roynalnaruto
• [feat] prestate tracer (#914) @lightsing
• feat: check post tx account (#878) @lispc
• refactor: update the default sign_data (#560) @kunxian-xia
• Feat: bump up poseidon-circuit to enable parallel synthesis (#867) @kunxian-xia
• [Feat] make supercircuit test applying l2trace (#767) @noel2004

Changes in external-tracer

• test: don't use l1 tx in tracing (#886) @lispc
• fix(trace): add base fee (#877) @lispc
• Fix: post state check should fail for hash precompile tests (#856) @kunxian-xia
• testool: enable stZeroKnowledge tests (#839) @lispc
• improve testool for scroll mode (#831) @lispc
• [Feat] make supercircuit test applying l2trace (#767) @noel2004

Changes in geth-utils

• fix(trace): add base fee (#877) @lispc
• rewrite geth_utils with go.work (#875) @lispc
• bump l2geth; support sig circuit in testool (#869) @lispc
• fix pi circuit env var reading (#864) @lispc
• Fix: post state check should fail for hash precompile tests (#856) @kunxian-xia
• Clean mod exp codes (#859) @lispc
• improve testool for scroll mode (#831) @lispc
• scroll mode for testool (#822) @lispc
• [Feat] make supercircuit test applying l2trace (#767) @noel2004

Changes in integration-tests

• upgrade ethers from 0.17.0 to 2.0.7 (#937) @kunxian-xia
• [feat] prestate tracer (#914) @lightsing
• fix pi circuit env var reading (#864) @lispc
• fix code_size in create; fix return_data for call oog (#826) @lispc

Changes in mock

• upgrade ethers from 0.17.0 to 2.0.7 (#937) @kunxian-xia
• test: don't use l1 tx in tracing (#886) @lispc
• [Feat] make supercircuit test applying l2trace (#767) @noel2004

Changes in prover

• [feat] fast check_value (#936) @lightsing
• upgrade ethers from 0.17.0 to 2.0.7 (#937) @kunxian-xia
• fix: replace dotenv with dotenvy (#934) @silathdiir
• fix ecdsa circuit binary selection bug (#931) @zhenfeizhang
• fix: validate chain ID when generates witness block (#927) @silathdiir
• fix: miss fixing to <= NORMALIZED_ROW_LIMIT in add function (#925) @silathdiir
• feat: add inner-prove and chunk-prove to testool (#921) @silathdiir
• feat: add common function of prover (#893) @silathdiir

Changes in the zkevm-circuits

• another edge case (#951) @roynalnaruto
• many sanity checks for mpt witness (#950) @lispc
• Fix: first 12 rows are dummy (not 300) (#946) @kunxian-xia
• Fix: ec pairing invalid len > 65536 test. (#948) @kunxian-xia
• add create edge tests (#941) @DreamWuGit
• Fix: keccak circuit's ccc need to consider first dummy chunk (#940) @kunxian-xia
• [feat] fast check_value (#936) @lightsing
• Super Circuit Invalid Precompile Inputs Integration Tests (OOG, EC Fp Overflow, EC Not on Curve) (#850) @darth-cy
• Fix lint (#939) @silathdiir
• upgrade ethers from 0.17.0 to 2.0.7 (#937) @kunxian-xia
• ecrecover soundness (address not recovered) (#930) @roynalnaruto
• fix ecdsa circuit binary selection bug (#931) @zhenfeizhang
• fix: add analysis function print_evm_circuit_row_usage and print_rw_usage to witness block (#933) @silathdiir
• Bug fix: fixed part of tx table must have is_calldata = false (#935) @kunxian-xia
• opt(assignment): only do 3rd phase assignment for evm circuit in supe… (#924) @lispc
• constrain log memory address (#920) @DreamWuGit
• fix end_tx soundness (#916) @lispc
• test: calldataload/calldatasize/calldatacopy inside deployment (#913) @DreamWuGit
• Fix: test state degree 19->17 (#910) @lispc
• fix calldataload when tx.to = null (#909) @lispc
• FEAT: parallelize witness assignment of state circuit using assign_regions api (#545) @Velaciela
• minor refactor of testool (#907) @lispc
• fix tob-wave3-week3 issues (#904) @zhenfeizhang
• change BYTECODE_TABLE_LOOKUPS to 8 (#899) @lispc
• improve poseidon ccc log (#896) @lispc
• fix: load constants wherever applicable (#892) @roynalnaruto
• fix(ecmul): support -1 * (0,0) (#895) @lispc
• fix bug in #872 fix/msg-hash-zero (#880) @zhenfeizhang
• upgrade halo2-lib to fix ec pairing (#889) @lispc
• Optimize EVM selectors (#857) @naure
• test: don't use l1 tx in tracing (#886) @lispc
• testool: better handling of parallelism (#879) @lispc
• Fix: copy chain_id to tx circuit (#874) @kunxian-xia
• fix issue with msg_hash = 0 (#872) @zhenfeizhang
• refactor: update the default sign_data (#560) @kunxian-xia
• ec pairing simplify (#873) @roynalnaruto
• add more tests for modexp (#870) @DreamWuGit
• bump l2geth; support sig circuit in testool (#869) @lispc
• Feat: make row estimation of tx and pi circuits more precise (#866) @kunxian-xia
• fix(ecMul): handle case for P == -R (#865) @roynalnaruto
• add 0xfe invalid code test (#863) @DreamWuGit
• fix pi circuit env var reading (#864) @lispc
• Fix: post state check should fail for hash precompile tests (#856) @kunxian-xia
• pi circuit: add sanity check for state_root/coinbase/difficulty (#824) @kunxian-xia
• add modexp all zeros test (#861) @DreamWuGit
• Clean mod exp codes (#859) @lispc
• Fix: witness gen panic in modexp (#858) @kunxian-xia
• Reversion from Precompile calls (even from begin_tx) (#855) @roynalnaruto
• test self_destruct for oog &basefee expected invalid opcode (#854) @DreamWuGit
• upgrade mpt circuit; some other minor changes (#851) @lispc
• fix-exp-is-last: enforce the secure termination of Exp circuit (#837) @naure
• Precompile (non-static) calls with (non-zero) value (#848) @roynalnaruto
• Fix: n_padded_zeroes must be less than 192. (#849) @kunxian-xia
• Fix: precompile oog with large calldata_length (#847) @kunxian-xia
• Fix EXTCODECOPY with empty account (#846) @lispc
• Swap only if both G1, G2 are 0s from EVM (#845) @roynalnaruto
• testool: support sub circuit; fix modexp row usage (#841) @lispc
• upgrade "misc-precompiled-circuits" and handle modexp invalid len in bus-mapping (#830) @lispc
• Handle precompile call failure call.is_success == false due to "Invalid Inputs" and "Insufficient Gas" (#811) @roynalnaruto
• improve testool for scroll mode (#831) @lispc
• [Feat] make supercircuit test applying l2trace (#767) @noel2004
• more strict check on Account Rw (#819) @lispc
• fix blockhash in test tool (#810) @DreamWuGit
• Remove CopyDataType::Precompile (#809) @naure
• fix test tool create collision tests (#793) @DreamWuGit