Scroll dev 0804

[lispc]

release files: s3://circuit-release/circuit-release/release-0804-degree25.

a new params25 is used now.

 $ sudo aws  --profile default s3 ls s3://circuit-release/circuit-release/release-0804-degree25/ --recursive
2022-08-11 01:41:19       7911 circuit-release/release-0804-degree25/full_proof.data
2022-08-11 01:41:19        575 circuit-release/release-0804-degree25/sha256sum
2022-08-11 01:41:19   16777288 circuit-release/release-0804-degree25/test_params/params18
2022-08-11 01:41:19 2147483720 circuit-release/release-0804-degree25/test_params/params25
2022-08-11 01:41:19         16 circuit-release/release-0804-degree25/test_seed
2022-08-11 01:41:19      36679 circuit-release/release-0804-degree25/verifier.sol
2022-08-11 01:41:19        736 circuit-release/release-0804-degree25/verify_circuit.vkey

notes:

1. many fixes for testnet block result fix: fix accountCreated handling, add storageTrace, fix DELEGATECALL/STATICCALL caller state #42
2. upgrade zkevm-circuit to 0801.
3. upgrade halo2-snark-aggregator to 0804. (big refactor). Solidity verifying gas reduce to 1M(by Gaoxin, I did not check this). change default AGG_DEGREE=25, so peak memory and proving time will be reduced to about 50%-60% of original.

breaking changes:

1. AggProof changed. proof_rust and proof_solidity are merged into proof. instance_commitments removed. Add a 128byte "final_pair"
2. Solidity calldata are encoded in little endian. example : https://github.com/scroll-tech/halo2-snark-aggregator/blob/d3dcc83c0fa881f22295be7de83c1aad9e63ca6d/halo2-snark-aggregator-solidity/waffle/test/Verifier.test.ts#L66

[lispc]

@Lawliet-Chan ci error

[lispc]

@noel2004 can you help me fix the merge conflict? related to mpt trace