Skip to content

Releases: scroll-tech/scroll-prover

v0.5.3

05 Aug 16:51
337089a
Compare
Choose a tag to compare

What's Changed

  • fix all; towards 053; also change max tx num to 100 by @lispc in #199

Full Changelog: v0.5.2...v0.5.3

v0.5.2

05 Aug 09:35
cf95001
Compare
Choose a tag to compare

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 (Release v0.5.2) by @silathdiir in #196

Full Changelog: v0.5.1...v0.5.2

v0.5.1

03 Aug 03:19
15aac6e
Compare
Choose a tag to compare

What's Changed

New Contributors

Full Changelog: v0.5.0...v0.5.1

v0.5.0

02 Aug 12:20
6cda23f
Compare
Choose a tag to compare

What's Changed

Full Changelog: v0.4.0...v0.5.0

v0.4.0

01 Aug 03:07
b4945ce
Compare
Choose a tag to compare

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

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

v0.3.0-hotfix1

05 Jun 06:43
Compare
Choose a tag to compare
fix proof non determinism

v0.3.1

29 May 06:02
Compare
Choose a tag to compare

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

09 Apr 09:19
78ab7a7
Compare
Choose a tag to compare

changes:

  1. set default super circuit degree to 20, fixing "rw not enough" panic. Proving time increased to ~30min.
  2. 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.
  3. decouple version of params and circuit(vk, verifier.sol) since they actually are not same thing.
  4. re-enable zktrie in super circuit. Need to deploy scroll-tech/go-ethereum#247 first!
  5. 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

16 Mar 12:12
Compare
Choose a tag to compare
v0.2.0

fix difficulty lookup

alpha-v1.0

09 Mar 08:11
Compare
Choose a tag to compare
fix difficulty lookup