Number of verifiers
Aggregation
YesTrusted setup
YesList of verifiers
| Name | Verifier | Verification status | Last used | |
|---|---|---|---|---|
| PlonkVerifierV0 | 0x4B8A…F9E1 | Submit or ask for verification | 189 days ago | |
| PlonkVerifierV1 | 0x2293…6941 | Submit or ask for verification | 124 days ago | |
| PlonkVerifierV1-1 | 0x03a7…0110 | Submit or ask for verification | 75 days ago | |
| PlonkVerifierV2 | 0x8759…c9a9 | Submit or ask for verification | — | |
| PlonkVerifierV2-1 | 0x8c1b…30f7 | Submit or ask for verification | — |
Description
Scroll is a ZK-EVM rollup on Ethereum.
Scroll utilizes the Halo2 proof system but modified to use KZG commitments instead of IPA commitments. The scheme makes use of the alt_bn128’s field. The prover code can be found here.
The protocol makes use of proof aggregation. Documentation for the aggregation architecture can be found here. The system doesn’t implement data compression yet.
The final proof is not wrapped in a different proof system. The CRS used is the powersOfTau25_hez_final and the instructions to regenerate the verification keys can be found here.
The differences between the zkEVM and the EVM are listed here. The source code of the base circuit can be found here and the source code of the aggregation circuits can be found here.
The system utilizes two verifiers, one to be used with calldata as DA (v0.9.5) and the other with blobs as DA (v0.10.3).
List of required tools
| Tool name | Version | Tool docs |
|---|---|---|
| Custom tool | v0.10.3 | More informationMore info |