(frozen) Scroll dev 1220

[lispc]

release files

s3://circuit-release/circuit-release/release-1220/

how to run

prove super circuit
MODE=multi {MOCK_PROVE=true,if you need} make test-super-trace

prove aggregation circuit with super circuit
cd zkevm; bash release.sh

(peak memory: 870G, cost 4220s in r6i.metal, 128cores)

changes from prev version

1. export RUST_MIN_STACK=100000000, need for aggregation circuit
2. export OPT_MEM=true can be used to release sub circuit proving keys after each batch and regenerate again next batch.
3. k = 19, agg_k = 26
4. one of the dependencies has dynamic libs. In the deployment phase, need to copy not only the binary built, but also its .so files. We can use ldd _binary_name_ to check the deps.

---

misc

todo:

1. pick changes from 0920-fix branch
2. check and optimize mpt table
3. poseidon
4. ecdsa
5. codehash

comments of some important commit

6076b52

tx circuit included;

8d0bf5e

super circuit + challenge api works finally

[Lawliet-Chan]

I think we also need to update this？ https://github.com/scroll-tech/scroll-zkevm/blob/main/contrib/download_params.sh

[lispc]

yes.. 19 and 26..

[lispc]

will use my admin role to merge this... many developers complain master is too outdated..