OP Stack的進階之路：OP Succinct解鎖ZK Rollup潛力

作者：YBB Capital Researcher Ac-Core

TL;DR

• OP Succinct 提供的主要功能是將 ZKP 融入 OP Stack 的模塊化架構中以完成將 OP Stack Rollup 轉換為完全驗證的 ZK Rollup；
• 如果以太坊未來擴展的終局是將每個Rollup都轉化為ZK Rollup，OP Succinct的目的是結合 Rust 和 SP1 實現 OP Stack 的Type-1 zkEVM（完全以太坊等效）的部署；
• OP Succinct Proposer 主要完成了並行生成證明和證明聚合與驗證；
• OP Stack現有系統依賴於 “7 天防欺詐窗口”，如產生爭議會延期一週的交易驗證，OP Succinct利用 ZK 證明來縮短交易完成所需的時間，消除了對擴展防欺詐窗口的需求；
• OP Succinct 可極大降低交易成本。

一、近期回顧：OP Mainnet近況以及OP Stack與OP Labs

圖源：Blockscout

1.1 OP Mainnet 近期發展要點

據2024年3月30日消息，OP Labs在OP Sepoila測試網發佈了“故障證明”，並於2024年6月11日正式在OP Mainnet發佈故障證明，以此將去中心化推進至第一階段，其允許從 OP Mainnet 提取 ETH 與 ERC-20 代幣，在無需可信第三方情況下使用戶能夠質疑與刪除無效提款（包括 Base、Metal、Mode 和 Zora）。

為確保用戶資產的安全和信任，Optimism採用故障證明來提高鏈上交易的準確性和有效性並防止作惡，其原理包括：

• 數據可用性: 故障證明首先確保所有Layer-2上的數據都是可訪問的，並且可以被Layer-1驗證；
• 挑戰期: 在一定的挑戰期內，任何人都可以對Layer-2上的數據提出異議。

如果有人發現Layer-2的數據與Layer-1的數據不一致，他們可以提出挑戰。證明提交: 如果存在異議，Layer-2運營商需要提交證明來反駁這些異議，證明其數據的正確性；最終確定性: 如果在挑戰期內沒有有效的異議，或者Layer-2運營商成功反駁了異議，交易就會被最終確定並被認為是有效的。

1.2.OP Stack與OP Labs的關聯和區別

OP Labs 是開發 Optimism 解決方案的團隊或組織，而 OP Stack 是一個用於構建和擴展以太坊二層網絡的技術框架。可以將OP Labs 和 OP Stack 之間的關係理解為開發者與其開發工具的關係。

• OP Labs:

OP Labs 是 Optimism 項目的核心貢獻者，負責開發和維護 Optimism 二層解決方案。它是一個團隊或組織，專注於構建和改進與以太坊擴展相關的技術工具，如 Optimistic Rollups。OP Labs 的主要目標是通過二層擴展解決方案減輕以太坊主網的負載，降低交易成本並提高交易速度​。OP Labs 還與其他項目（如 Succinct Labs）合作，進一步推進以太坊擴展技術，如 OP Succinct，專注於零知識證明的優化​。

OP Labs 是開發和維護 Optimism 網絡的主要團隊或組織。他們的目標是構建一個擴展以太坊的高效解決方案，專注於降低交易費用並提高交易速度。他們不僅負責 Optimistic Rollups 的開發，還積極推動與零知識證明相關的新技術，例如與 Succinct Labs 合作的 OP Succinc。

• OP Stack:

OP Stack 是一個模塊化的架構或技術堆棧，用於構建和擴展以太坊二層網絡。它由多個可定製的組件組成，這些組件允許開發者根據具體需求構建自己的二層鏈（Layer 2 Chain）。它提供了一種標準化的方式，使開發者可以快速搭建符合特定條件的二層擴展網絡。

OP Stack 則是 OP Labs 開發的一套模塊化框架。這套框架提供了構建二層網絡的基礎架構，開發者可以利用 OP Stack 快速搭建不同的擴展網絡。由於 OP Stack 的模塊化設計，它允許用戶靈活選擇不同的驗證機制（如 Optimistic Rollups 或 ZK Rollups），從而滿足不同項目的需求。

OP Labs 可理解為 OP Stack 的開發者，OP Stack 是 OP Labs 提供的技術工具，用於幫助開發者構建和擴展以太坊的二層網絡。

**在瞭解OP Succinct前需補充瞭解每個OP stack的四個主要組件：**1. op-geth：從用戶那裡獲取交易，並用這些交易生成區塊和執行區塊；2. op-batcher：將用戶的交易進行批處理，並提交到 L1；3. op-node：從 L1 讀取批處理數據，並在非排序器模式下驅動 op-geth 進行狀態轉換；4. op-proposer：定期向 L1 發佈輸出根，以捕獲 L2 狀態，從而便於處理提款。

二、Succinct Labs與OP Labs攜手將 ZK 元素注入OP Stack

圖源：Succinct博客

2.1 OP Succinct 架構組成

結合上文1.2章節末尾內容“OP Stack的四個主要組成部分”，OP Succinct 是 OP Stack 的輕量級升級，允許鏈只使用經 ZK 驗證的區塊，而保持其他三個組件不變（op-geth、op-batcher和op-node），OP Succinct主要由以下四個組成：

• 範圍程序（Range Program）：這是一個執行批次區塊的程序，該程序由 Rust 編寫，設計用於在 zkVM 中執行；
• 聚合程序（Aggregation Program.）：聚合範圍程序的證明，以降低鏈上驗證成本， 該程序也是用 Rust 編寫的，設計用於在 zkVM 中執行；
• OP Succinct L2 Output Oracle.：一個包含 L2 狀態輸出數組的 Solidity 智能合約，其中每個輸出都是對 L2 鏈狀態的提交。 該合約已存在於 Optimism 的原始系統中，但經過修改將驗證證明作為身份驗證機制；
• OP Succinct Proposer：觀察 L1 上發佈的交易批次，並控制範圍程序和聚合程序的證明。

2.2 OP Succinct 講述了一個怎樣的以太坊擴容敘事？

zkEVM Rollup因深厚的密碼學專業知識阻礙非常難以構建，OP Labs團隊構建模塊化的OP Stack時已考慮到支持各種有效性機制的證明，並開源開發了Kona（見擴展鏈接1）以通過 Rust 來實現 OP Stack Rollup 下的狀態轉換函數STF（交易狀態轉換的函數邏輯），並最終藉助Kona 和 SP1程序來生成OP Stack的零知識證明（ZKP)，即理論上可將OP Stack的所有鏈升級並可使用ZKP。

SP1(Succinct Processor 1)的目標是使任何開發者都能無縫地使用標準 Rust 代碼集成 Type-1 zkEVM rollup ，並通過OP Succinct 完成僅在 1 小時內無縫將任何現有的 OP Stack 鏈升級為 Type-1 zkEVM rollup，並提供應用所需的高性能。以此獲得以下優勢：

• ZKP的快速確認：讓證明延遲縮短至幾十分鐘， 以“替換”長達7天的欺詐證明質疑期；
• 降本增效：每筆交易平均成本低至幾分錢；
• 將OP Stack切換至ZK：只需部署一個智能合約並啟動一個輕量級的 OP Succinct 提議服務（見下文）即可通過 API 調用生成證明（包括批處理器/排序器、op-node、索引器等內容）；
• Type-1 zkEVM：所有與 OP Stack Rollup 兼容的工具和智能合約都適用 OP Succinct Rollup；
• 提升可擴展性：採用可定製的 OP Succinct rollup，可添加新的預編譯並修改Rollup邏輯。

據官方GitHub介紹其過程只需安裝Rust、Foundry和Docker，即可將現有任何的 OP Stack rollup 升級到 Type-1 zkEVM rollup，並且流程僅簡化為兩步：1.部署 ZK L2OutputOracle.sol 合約；2.啟動 OP Succinct 提議服務（流程見GitHub擴展鏈接2）。

將OP Stack Rollup升級為ZK證明，圖源：Succinct博客

2.3 使用 SP1 Reth 構建Type-1 zkEVM

Succinct 認為EVM Rollup未來是用Rust語言來編寫的可維護的zkEVM，目前 OP Rollup 主要面臨三個問題：過長的 7 天欺詐證明窗口、複雜的互操作性，以及在某些情況下依賴多組數據而非欺詐證明的機制。此外，創建 zkEVM 是一個需要較長週期的過程，因此開發了 SP1 來解決這些問題。

SP1是一個高性能100%開源且完全開源定製的zkVM，可驗證任意的Rust(或LVM 編譯語言)程序的執行，據公開數據，OP Succinct Stack已在OP Mainnet、OP Sepolia和 Base 鏈上成功運行，並在以太坊交易中實現了 0.01-0.02 美元的證明成本（見擴展鏈接3）。並希望在未來將所有區塊鏈基礎設施（包括Rollup、橋接器、協處理器等）都通過 Rust（或其他 LLVM 編譯的語言）來編寫並利用 ZKP。

據Succinct博客和開源GitHub內容總結歸納，SP1 與其他 zkVM 之間的性能差異主要由幾個關鍵因素造成：

1. 以預編譯為中心的架構：SP1 支持靈活的預編譯系統，能夠顯著加速多種操作（如 secp256k1 和 ed25519 簽名驗證、sha256 和 keccak256 哈希函數），使得許多程序的 RISC-V 週期數減少 5-10 倍。其設計目標是提供與 ZK 電路相媲美的性能，同時保持 zkVM 的靈活性和良好的開發者體驗；
2. 完全開源：SP1 是 100% 開源的，允許團隊如 Argument 和 Scroll 實施自定義預編譯，顯著減少週期計數並加快證明生成時間；
3. 行業標準：自推出以來，zkVM 內部預編譯的理念已成為行業標準，融入 RISC0、Valida、Nexus 和 Jolt 等項目中。SP1 是唯一的生產就緒型 zkVM，廣泛支持重要加密操作的預編譯；
4. 高效內存讀寫：SP1 採用創新的內存證明方法，使用單一挑戰實現多個證明的一致內存，避免了梅克爾化內存帶來的開銷；
5. 基本效率優化：採用更低的炸燬因子和新一代查找參數（如基於對數導數的 LogUp），以及 Plonky3 中的 FRI 變體，提高了跟蹤區域的利用效率。

圖源：Succinct博客，見擴展鏈接4附錄說明

三、OP Succinct能否成為OP Stack對抗ZK Stack的殺手鐗？

圖源作者：@jtguibas

如果以太坊的擴展方案短期看OP長期看ZK，在我們假設OP Succinct能夠成功的前提下它將被視為以太坊發展路線的一個重要里程碑。OP Succinct 為 ETH Rollups 從樂觀驗證轉換為零知識證明提供了可升級路徑，這不僅降低了交易成本，更提高了交易速度，還保留了 ZK rollups 安全性和匿名性的屬性，為將來應用層的爆發帶來了新的可能性。

在公認的Layer2四大天王中，現階段從項目生態發展看來OP Stack已略優於ZK Stack，未來馬太效應可能會進一步顯現，隨著OP Succinct的加入，一定程度上也虹吸了ZK Stack的流量和潛力，如果OP Succinct未來能得以實現，也可能會對傳統的zkEVM的Rollup造成一定衝擊。

但據現階段公開表述的內容，我們從OP Succinct的運行邏輯中不難發現，如何確保開發者在修改STF函數或添加新的預編譯函數時及時發現未知漏洞所引發的系統性風險，這需要我們保持長期關注。

擴展鏈接：

（1）

（2）

（3）

（4）