Can OP Succinct become OP Stack’s trump card against ZK Stack?
作者：YBB Capital Researcher Ac-Core
TL;DR
The main function provided by OP Succinct is to integrate ZKP into the modular architecture of OP Stack to complete the transformation of OP Stack Rollup into a fully verified ZK Rollup;
If the ultimate goal of Ethereum's future expansion is to convert every Rollup into a ZK Rollup, OP Succinct aims to combine Rust and SP1 to implement the deployment of OP Stack's Type-1 zkEVM (completely Ethereum equivalent);
OP Succinct Proposer mainly completes the parallel generation of proofs and proof aggregation and verification;
OP Stack's existing system relies on a "7-day anti-fraud window". If a dispute arises, the transaction verification will be delayed for a week. OP Succinct uses ZK proofs to shorten the time required for transaction completion, eliminating the need to extend the anti-fraud window.
OP Succinct can significantly reduce transaction costs.
1. Recent Review: OP Mainnet Status, OP Stack and OP Labs
Image source: Blockscout
1.1 OP Mainnet Recent Development Highlights
According to news on March 30, 2024, OP Labs released the "fault proof" on the OP Sepoila testnet, and officially released the fault proof on OP Mainnet on June 11, 2024, thereby advancing decentralization to the first stage. It allows ETH and ERC-20 tokens to be withdrawn from OP Mainnet, allowing users to question and delete invalid withdrawals (including Base, Metal, Mode and Zora) without the need for a trusted third party.
To ensure the security and trust of user assets, Optimism uses fault proof to improve the accuracy and effectiveness of on-chain transactions and prevent malicious behavior. The principles include:
Data availability: Failure proofs first ensure that all data on Layer-2 is accessible and verifiable by Layer-1;
Challenge period: During a certain challenge period, anyone can raise objections to the data on Layer-2.
If someone finds that the data in Layer-2 is inconsistent with the data in Layer-1, they can raise a challenge. Proof submission: If there are objections, the Layer-2 operator needs to submit proofs to refute these objections and prove the correctness of its data; Finality: If there are no valid objections within the challenge period, or the Layer-2 operator successfully refutes the objection, the transaction will be finalized and considered valid.
1.2. The relationship and difference between OP Stack and OP Labs
OP Labs is a team or organization that develops Optimism solutions, while OP Stack is a technical framework for building and expanding Ethereum's second-layer network. The relationship between OP Labs and OP Stack can be understood as the relationship between developers and their development tools.
OP Labs
OP Labs is a core contributor to the Optimism project and is responsible for developing and maintaining the Optimism second-layer solution. It is a team or organization that focuses on building and improving technical tools related to Ethereum expansion, such as Optimistic Rollups. OP Labs' main goal is to reduce the load on the Ethereum mainnet through second-layer expansion solutions, reduce transaction costs, and increase transaction speeds. OP Labs also collaborates with other projects such as Succinct Labs to further advance Ethereum expansion technology, such as OP Succinct, which focuses on the optimization of zero-knowledge proofs.
OP Labs is the main team or organization that develops and maintains the Optimism network. Their goal is to build an efficient solution for scaling Ethereum, focusing on reducing transaction fees and increasing transaction speeds. Not only are they responsible for the development of Optimistic Rollups, they are also actively promoting new technologies related to zero-knowledge proofs, such as OP Succinc in collaboration with Succinct Labs.
OP Stack
OP Stack is a modular architecture or technology stack for building and expanding Ethereum's second-layer network. It consists of multiple customizable components that allow developers to build their own second-layer chain (Layer 2 Chain) according to specific needs. It provides a standardized way for developers to quickly build a second-layer expansion network that meets specific conditions.
OP Stack is a modular framework developed by OP Labs. This framework provides the infrastructure for building a second-layer network. Developers can use OP Stack to quickly build different extended networks. Due to the modular design of OP Stack, it allows users to flexibly choose different verification mechanisms (such as Optimistic Rollups or ZK Rollups) to meet the needs of different projects.
OP Labs can be understood as the developer of OP Stack, which is a technical tool provided by OP Labs to help developers build and expand Ethereum's second-layer network.
Before understanding OP Succinct, you need to understand the four main components of each OP stack: 1. op-geth: obtain transactions from users and use these transactions to generate blocks and execute blocks; 2. op-batcher: batch user transactions and submit them to L1; 3. op-node: read batch data from L1 and drive op-geth for state transition in non-sorter mode; 4. op-proposer: periodically publish output roots to L1 to capture L2 status, which is convenient for processing withdrawals.
2. Succinct Labs and OP Labs work together to inject ZK elements into OP Stack
Image source: Succinct blog
2.1 OP Succinct Architecture
Combined with the content at the end of Section 1.2 above, "The Four Main Components of OP Stack", OP Succinct is a lightweight upgrade of OP Stack, allowing the chain to use only blocks verified by ZK while keeping the other three components unchanged (op-geth, op-batcher, and op-node). OP Succinct mainly consists of the following four components:
Range Program: This is a program that executes batches of blocks. It is written in Rust and is designed to be executed in zkVM.
Aggregation Program.: Aggregates proofs of scoped programs to reduce on-chain verification costs. This program is also written in Rust and is designed to be executed in zkVM.
OP Succinct L2 Output Oracle.: A Solidity smart contract containing an array of L2 state outputs, where each output is a commit to the L2 chain state. This contract already existed in Optimism's original system, but was modified to use proof of verification as the authentication mechanism;
OP Succinct Proposer: Observes batches of transactions published on L1 and controls proofs for range programs and aggregation programs.
2.2 What kind of Ethereum expansion narrative does OP Succinct tell?
zkEVM Rollup is very difficult to build due to the deep cryptographic expertise. The OP Labs team has considered supporting proofs of various validity mechanisms when building the modular OP Stack, and has open-sourced Kona (see extended link 1) to implement the state transition function STF (functional logic of transaction state transition) under OP Stack Rollup through Rust, and finally use Kona and SP1 programs to generate OP Stack's zero-knowledge proof (ZKP), which means that in theory all chains of OP Stack can be upgraded and ZKP can be used.
The goal of SP1 (Succinct Processor 1) is to enable any developer to seamlessly integrate Type-1 zkEVM rollup using standard Rust code, and to seamlessly upgrade any existing OP Stack chain to Type-1 zkEVM rollup in just 1 hour through OP Succinct, and provide the high performance required by the application. This will provide the following benefits:
Fast confirmation of ZKP: shorten the proof delay to tens of minutes to "replace" the 7-day fraud proof challenge period;
Reduce costs and increase efficiency: the average cost of each transaction is as low as a few cents;
Switching OP Stack to ZK: Simply deploy a smart contract and start a lightweight OP Succinct proposal service (see below) to generate proofs through API calls (including batch processors/sequencers, op-nodes, indexers, etc.);
Type-1 zkEVM: All tools and smart contracts compatible with OP Stack Rollup are applicable to OP Succinct Rollup;
Improve scalability: Adopt customizable OP Succinct rollup, which can add new precompilations and modify Rollup logic.
According to the official GitHub introduction, the process only requires the installation of Rust, Foundry and Docker to upgrade any existing OP Stack rollup to Type-1 zkEVM rollup, and the process is simplified to only two steps: 1. Deploy the ZK L2OutputOracle.sol contract; 2. Start the OP Succinct proposal service (see GitHub extension link 2 for the process).
Upgrading OP Stack Rollup to ZK Proof, Image source: Succinct blog
2.3 Building Type-1 zkEVM using SP1 Reth
Succinct believes that the future of EVM Rollup is a maintainable zkEVM written in Rust. Currently, OP Rollup faces three main problems: a long 7-day fraud proof window, complex interoperability, and a mechanism that relies on multiple sets of data rather than fraud proofs in some cases. In addition, creating zkEVM is a long-term process, so SP1 was developed to solve these problems.
SP1 is a high-performance, 100% open source and fully open source customized zkVM that can verify the execution of any Rust (or LVM compiled language) program. According to public data, OP Succinct Stack has been successfully run on OP Mainnet, OP Sepolia and Base chain, and achieved a proof cost of $0.01-0.02 in Ethereum transactions (see extended link 3). It is hoped that all blockchain infrastructure (including Rollup, bridges, coprocessors, etc.) will be written in Rust (or other LLVM compiled languages) and utilize ZKP in the future.
According to the Succinct blog and the open source GitHub content summary, the performance difference between SP1 and other zkVMs is mainly caused by several key factors:
1. Precompilation-centric architecture: SP1 supports a flexible precompilation system that can significantly accelerate a variety of operations (such as secp256k1 and ed25519 signature verification, sha256 and keccak256 hash functions), making RISC-V cycle times faster for many programs Reduce 5-10 times. Its design goal is to provide performance comparable to ZK circuits while maintaining the flexibility and good developer experience of zkVM;
2. Completely open source: SP1 is 100% open source, allowing teams such as Argument and Scroll to implement custom precompilation, significantly reducing cycle counts and speeding up proof generation times;
3. Industry Standard: Since its launch, the concept of precompilation within zkVM has become an industry standard, integrated into projects such as RISC0, Valida, Nexus, and Jolt. SP1 is the only production-ready zkVM that widely supports precompilation of important cryptographic operations;
4. Efficient memory reading and writing: SP1 adopts an innovative memory proof method, using a single challenge to achieve consistent memory for multiple proofs, avoiding the overhead caused by Merkle memory;
5. Basic efficiency optimization: The use of lower blow-up factors and new generation lookup parameters (such as LogUp based on logarithmic derivatives), as well as FRI variants in Plonky3, improve the utilization efficiency of the tracking area.
Image source: Succinct blog, see Appendix 4 for extended links
3. Can OP Succinct become OP Stack’s trump card against ZK Stack?
Image source: @jtguibas
If Ethereum's expansion plan focuses on OP in the short term and ZK in the long term, assuming that OP Succinct can succeed, it will be regarded as an important milestone in Ethereum's development path. OP Succinct provides an upgrade path for ETH Rollups to convert from optimistic verification to zero-knowledge proof, which not only reduces transaction costs and increases transaction speed, but also retains the security and anonymity properties of ZK rollups, bringing new possibilities for the future outbreak of the application layer.
Among the four recognized Layer2 kings, OP Stack is slightly better than ZK Stack in terms of project ecosystem development at this stage. The Matthew effect may become more apparent in the future. With the addition of OP Succinct, it has also siphoned the traffic and potential of ZK Stack to a certain extent. If OP Succinct can be realized in the future, it may also have a certain impact on the traditional zkEVM Rollup.
However, according to the content publicly stated at this stage, it is not difficult to find from the operating logic of OP Succinct that how to ensure that developers can promptly discover the systemic risks caused by unknown vulnerabilities when modifying STF functions or adding new precompiled functions requires our long-term attention.
Extension Links:
（1）https://github.com/anton-rs/kona?ref=blog.succinct.xyz
（2）https://github.com/succinctlabs/op-succinct
（3）https://blog.succinct.xyz/sp1-reth/
（4）https://blog.succinct.xyz/introducing-sp1/
