OPSuccinct contains the proposed Metis validity bridge and the Solidity verifier for Ziren compact shrink proofs. Ziren supplies the proof system through a pinned Cargo dependency; OPSuccinct supplies the exporter, on-chain verifier and bridge design.
| Read | Purpose |
|---|---|
| Bridge protocol and costs | Blob-committed rollup design, deposit and withdrawal trees, proof statement, cost model, optimizations and prototype measurements |
| Solidity verifier | Proof verification, encoding and deployment |
| Output oracle | Proof-only finality for Metis SCC batches |
| Reproduction | Generate a Ziren proof, export, build and verify on a local EVM |
The Solidity backend verifies CompactShrink<Keccak256Suite> proofs.
The output oracle is built against the current Metis contracts; the Metis guest
and the SCC and messenger upgrades remain proposals. Cargo defines the
Ziren revision; all generated proofs, verifier builds and measurements stay
outside the repository.
Derived code retains MIT or Apache-2.0 licensing.