All eight optimistic rollups now have a companion AereL2ZKFinalityGate. Anyone holding a valid Groth16 proof of the batch's state transition can call submitProof() to mark a batch ZK-final, skipping the 7-day fraud window entirely. The same AereZKRollup8Verifier Groth16 verifier checks the proofs, public signals are bound to the batch's old/new state roots, so a proof for one batch can't be reused for another.
A Groth16 verifier produced by snarkjs from the transfer8.circom circuit (depth-3 Poseidon Merkle tree, single transfer per batch). All 8 finality gates delegate proof-checking to this single verifier, so the trusted setup is shared.
| Rollup | Chain ID | Optimistic verifier | ZK finality gate | ZK-final batches |
|---|---|---|---|---|
| #1 | 28001 | 0x3f9A9D9C…ef98039f1c | 0x2EF1eA2B…869f295AC | , |
| #2 | 28002 | 0x6012cf3F…C5ee604f | 0x140572e0…15678aFa7 | , |
| #3 | 28003 | 0xF8958484…68d93A342 | 0xdd41326D…0d6223cD8 | , |
| #4 | 28004 | 0xb7F3354C…f2FfE3F | 0x3A097A45…30e473C2f1 | , |
| #5 | 28005 | 0xCB1DDf3D…32700784 | 0x089d24ef…013AE94b19 | , |
| #6 | 28006 | 0xb4b0eCe9…309e6F01Ec | 0xc0f18A56…b70A4C49 | , |
| #7 | 28007 | 0x9C2957B1…EC70de875 | 0x7D8ec9F2…b8c483E01 | , |
| #8 | 28008 | 0x93C2a2D4…a4Ec05A0F46 | 0x760e246d…465dFf721 | , |
Optimistic rollup (status quo) + ZK Finality Gate (this layer)
──────────────────────────── ───────────────────────────────
Sequencer posts batch: Anyone holding a valid Groth16 proof
- blockRange, batchHash of the batch's state transition calls:
- oldStateRoot, newStateRoot submitProof(batchId, sIdx, rIdx, amount,
Fraud window: 7 days pA, pB, pC)
(anyone can challenge with a fault proof) The gate fetches (oldRoot, newRoot) from the
rollup verifier, builds the public signals,
and asks AereZKRollup8Verifier to verify.
On success: zkFinalAt[batchId] = block.timestamp.
Result: Result:
Batch is "soft-final" until day 7 Batch is HARD-final immediately,
(some apps may delay withdrawals) instant settlement, no fraud window,
verified entirely on-chain.
The same gate template applies to all 8 rollups; we deployed all 8. Sequencers can be upgraded one at a time to start producing proofs alongside their batch posts. The optimistic path remains in place as a fallback so this is a safe, incremental conversion.