op-succinct

OP Succinct is the production-grade proving engine for the OP Stack, powered by SP1.

With support for both validity proofs, with OP Succinct, and ZK fault proofs, with OP Succinct Lite, OP Succinct enables seamless upgrades for OP Stack rollups to a type-1 zkEVM rollup.

Docs

Getting Started

Today, you can use OP Succinct to upgrade any existing OP Stack rollup to a type-1 zkEVM rollup. To get started, make sure you have Rust, Foundry, and Docker installed. Then, follow the steps in the book to deploy the OPSuccinctL2OutputOracle contract and start the OP Succinct service.

Repository Overview

Caution

main is the development branch and may contain unstable code. For production use, please use the latest release.

The repository is organized into the following directories:

• book: The documentation for OP Succinct users and developers.
• contracts: The solidity contracts for posting state roots to L1.
• programs: The programs for proving the execution and derivation of the L2 state transitions and proof aggregation.
• proposer: The implementation of the op-succinct/op-succinct service.
• fault-proof: The implementation of the op-succinct/fault-proof service.
• scripts: Scripts for testing and deploying OP Succinct.
• utils: Shared utilities for the host, client, and proposer.

Acknowledgments

This repo would not exist without:

• OP Stack: Modular software components for building L2 blockchains.
• Kona: A portable implementation of the OP Stack rollup state transition, namely the derivation pipeline and the block execution logic.
• SP1: The fastest, most feature-complete zkVM for developers.