v0.4.0

What's Changed

• v0.4: snark verifier integration: pre-rebase by @zhenfeizhang in #119
• Small fixes by @silathdiir in #131
• fix: dump required data in test-agg and refactor EVM verifier by @silathdiir in #132
• fix proof non deterministic problem by @lispc in #130
• fix: public DEFAULT_SERDE_FORMAT by @Lawliet-Chan in #135
• sealer api; refactor seed & rng; update readme by @lispc in #136
• rename to circuit capacity api by @lispc in #137
• add Deserialize & Serialize for RowUsage by @HAOYUatHZ in #138
• Revert "add Deserialize & Serialize for RowUsage" by @lispc in #139
• change agg degree to 25 by @lispc in #141
• [feat] Update test traces with git submodule. by @29988122 in #142
• Replace env_logger with log4rs for logging to stderr and log file by @silathdiir in #148
• Refactor the code structure by @silathdiir in #155
• Add a script to download trusted setup key by @silathdiir in #153
• feat:(bin) update scroll-zkevm tool by @Lawliet-Chan in #152
• switch to latest develop + new mpt circuit by @lispc in #151
• Refactor and simplify zkevm prover by @icemelon in #156
• Implement aggregation prover (Compression Circuit part) by @silathdiir in #158
• switch to shanghai traces when testing by @lispc in #161
• fix capacity checker by @lispc in #164
• Replace old zkevm-prover with two-compression-layers prover by @silathdiir in #167
• degree 25=>24; add mock prove test for "dummy super circuit"; add row usage details to capacity API by @lispc in #171
• Update bin and ffi for new zkevm-prover by @silathdiir in #178
• feat: use withdraw proof for padding chunk by @lispc in #182
• Add aggregation functions and tests by @silathdiir in #179
• Update ChunkProof for serialization by @silathdiir in #184

New Contributors

• @zhenfeizhang made their first contribution in #119
• @29988122 made their first contribution in #142

Full Changelog: v0.3.0...v0.4.0