Proof Generation
Overview
Scroll uses the OpenVM prover to generate zero-knowledge proofs that validate L2 transaction execution. This system was introduced in the Euclid upgrade.
Proof Aggregation
The prover uses a three-layer hierarchical aggregation:
- Chunk proofs: Prove execution of individual chunks (collections of blocks)
- Batch proofs: Aggregate multiple chunk proofs
- Bundle proofs: Final aggregation, converted to SNARK for on-chain verification
This hierarchy reduces L1 verification costs by combining many proofs into one.
Proving Infrastructure
The Coordinator dispatches proving tasks to a pool of provers, collects completed proofs, and manages aggregation. Final proofs are relayed to the Rollup Node for submission to L1.
