Releases: scroll-tech/scroll-prover
Releases · scroll-tech/scroll-prover
v0.5.3
What's Changed
Full Changelog: v0.5.2...v0.5.3
v0.5.2
What's Changed
- fix: delete FFI related in release script by @silathdiir in #195
- fix: delete old aggregation-circuit tests of snark-verifier by @silathdiir in #197
- fix: verify EVM calldata directly for
BatchProof
(Releasev0.5.2
) by @silathdiir in #196
Full Changelog: v0.5.1...v0.5.2
v0.5.1
What's Changed
- fix: tx_type info is lost by @kunxian-xia in #192
- Fix encoded calldata by @silathdiir in #193
New Contributors
- @kunxian-xia made their first contribution in #192
Full Changelog: v0.5.0...v0.5.1
v0.5.0
What's Changed
- Delete FFI by @silathdiir in #185
- fix: flatten
ChunkProof
by @silathdiir in #188 - Update zkevm circuits (including new hash scheme) and traces by @silathdiir in #189
- upgrade zkevm-circuits and refactor mock_testnet.rs by @lispc in #187
Full Changelog: v0.4.0...v0.5.0
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
forRowUsage
by @HAOYUatHZ in #138 - Revert "add
Deserialize
&Serialize
forRowUsage
" 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
withlog4rs
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
v0.3.0-hotfix1
fix proof non determinism
v0.3.1
This is a bug fix version based on version v0.3. Precompile reversion can be processed correctly.
S3 files:
s3://circuit-release/circuit-release/release-v0.3.1
s3://circuit-release/circuit-release/release-v0.3.1-testnet
v0.3.0: change default degree to 20
changes:
- set default super circuit degree to 20, fixing "rw not enough" panic. Proving time increased to ~30min.
- use uncompressed point in params. Loading time of params26 reduce from 10minutes to 10seconds in a 8 core server. But file size increased from 4G to 8G.
- decouple version of params and circuit(vk, verifier.sol) since they actually are not same thing.
- re-enable zktrie in super circuit. Need to deploy scroll-tech/go-ethereum#247 first!
- use latest version of public input hashing mechanism
release files:
$ aws --profile default s3 ls s3://circuit-release/circuit-release/params-0320/
2023-03-31 01:23:08 134217988 params20
2023-03-31 01:23:08 8589934852 params26
2023-03-31 01:23:08 202 sha256sum
[ 1:27AM ] [ lispc@dev1:~/into_s3/circuit-release ]
$ aws --profile default s3 ls s3://circuit-release/circuit-release/release-v0.3/
2023-03-31 01:21:55 8263 full_proof.data
2023-03-31 01:21:55 328 sha256sum
2023-03-31 01:21:55 36995 verifier.sol
2023-03-31 01:21:55 744 verify_circuit.vkey
v0.2: super circuit
v0.2.0 fix difficulty lookup
alpha-v1.0
fix difficulty lookup