Repository navigation
v2.2.0
Recovery and skip-proof-verification modes
New mode setting in [aggchain-proof-service.aggchain-proof-builder]:
| Mode | Program proven | Use |
|---|---|---|
standard (default) |
standard | Unchanged from rc.2. Existing configs need no change. |
recovery |
noop | Settle a halted FEP chain after an L2 reorg past a settled output. op-succinct-proposer is not used. |
skip-proof-verification |
noop | Run without FEP proof verification, with op-succinct-proposer in SP1 mock mode. |
Verification keys
| Program | Selector | Vkey |
|---|---|---|
| Aggchain proof (standard, v11) | 0x000B0001 |
0x679bc13716cdb49416a9ca9e297b10d76390df2c343690d4172676c207517915 |
| Aggchain proof noop | 0xFFFF0001 |
0x41f622727309258c2969954a76dc03f4032b69b04ec257bc0e8c187d38e5955a |
The noop program commits its public values without verifying anything. It's for test environments only, for the recovery and skip-proof-verification modes. Register its vkey only in the rollup's own ownedAggchainVKeys, never on the AgglayerGateway.
Recovery mode config
[aggchain-proof-service.aggchain-proof-builder]
mode = "recovery"What's Changed
- fix(deps): switch insta to crates.io by @hadjiszs in #364
- chore: remove SonarQube/SonarCloud integration by @0xCVH in #363
- fix: enable sp1 private stdin by @hadjiszs in #370
- feat: read op-succinct vkeys from L1 and the SP1 network by @hadjiszs in #372
- fix(aggkit-prover): serve optimistic proofs without a proposer by @hadjiszs in #374
- feat(aggkit-prover): review+iterate on the noop recovery program by @hadjiszs in #369
- fix: restore the v2.1.0 aggchain proof program by @hadjiszs in #375
New Contributors
Full Changelog: v2.1.0...v2.2.0