總結：

• OP Succinct的關鍵特點是將零知識證明（ZKP）納入OP Stack的模塊化設計中，將OP Stack Rollup轉化為完全驗證的ZK Rollup。
• 如果以太坊擴展的未來目標是將所有Rollups轉換為ZK Rollups，Gate Succinct的使命是將Rust和SP1合併，部署Gate Stack的Type-1 zkEVM，該zkEVM與以太坊完全兼容。
• OP簡明提議者負責並行生成證明並對其進行聚合和驗證。
• 當前OP Stack系統使用“7天防欺詐窗口”，如果發生爭議，將延遲交易驗證一周。OP Succinct利用ZK證明來減少完成交易所需的時間，消除了延長防欺詐期的要求。
• OP Succinct具有大幅降低交易成本的潛力。

1. 最近概述：OP主网的当前状态以及OP Stack和OP Labs的角色

來源: Blockscout

1.1 OP主網最新發展

截至2024年3月30日，OP實驗室宣布在OP Sepoila測試網上推出了“故障證明”，並於2024年6月11日在OP主網上正式啟動。這標誌著去中心化的重要一步，使用戶可以在不依賴可信第三方的情況下從OP主網提取ETH和ERC-20代幣。用戶現在可以挑戰和使無效不正確的提款（包括來自Base、Metal、Mode和Zora的提款）。

為了增強用戶資產的安全性和信任度，Optimism 使用容錯性來提高鏈上交易的準確性和效力，並預防惡意活動。關鍵原則包括：

• 數據可用性：故障證明確保第 2 層的所有數據都可以被第 1 層訪問並進行驗證。
• 挑戰期間：在指定的挑戰期間內，任何人都可以對第2層的數據提出爭議。如果第2層和第1層的數據存在差異，就可以提出挑戰。

如果出现争议，第二层运营商必须提供证据来反驳挑战，并确认其数据的准确性。

Finality: 如果在挑戰期間沒有提出有效的爭議，或者如果第二層運營商成功應對挑戰，該交易將被最終確認並被視為有效。

1.2 OP Stack和OP Labs之間的關係和區別

OP實驗室是負責開發Optimism解決方案的團隊，而OP堆棧是支持構建和擴展以太坊第二層網絡的技術框架。你可以把OP實驗室想象成開發者，而OP堆棧則是他們的一套工具。

● OP 實驗室：

OP Labs 是 Optimism 項目的核心貢獻者，負責開發和維護 Optimism Layer 2 解決方案。它是一個專注於建立和改進與 Ethereum 擴展相關的技術工具的團隊或組織，如 Optimistic Rollups。 OP Labs 的主要目標是通過第二層擴展解決方案減輕 Ethereum 主網絡的負擔，降低交易成本並提高交易速度。

OP Labs還與其他專案合作，如Succinct Labs，以進一步推進乙太坊擴展技術，專注於通過OP Succinct等計劃優化零知識證明。

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

● OP 堆疊：

OP Stack是用於構建和擴展以太坊第2層網絡的模塊化架構或技術堆棧。它由多個可定制的組件組成，允許開發人員根據特定需求創建自己的第2層鏈。它提供了一種標準化方法，使開發人員能夠快速建立滿足特定需求的第2層擴展網絡。

OP Stack是由OP Labs開發的模塊化框架。該框架提供了構建第2層網絡的基礎設施，使開發人員能夠快速使用OP Stack創建各種擴展網絡。由於其模塊化設計，OP Stack使用戶能夠靈活選擇不同的驗證機制（例如樂觀Rollups或ZK Rollups），以滿足不同項目的特定需求。

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

在深入研究 OP 简洁之前，了解 OP 堆栈的四个主要组成部分是很重要的:

1. op-geth：此元件從使用者擷取交易，從這些交易產生區塊並執行它們。
2. op-batcher：它批處理用戶交易並將其提交至第1層（L1）。
3. op-node：這從第1層讀取批次數據，並以非序列模式驅動op-geth進行狀態過渡。
4. OP 提議者：定期將輸出根散布到 Layer 1 以捕獲 Layer 2（L2）狀態，促進提款過程。

Succinct Labs與OP Labs之間的合作，將ZK Elements整合到OP Stack中

來源：Succinct Blog

2.1 OP 簡明結構

回顧第1.2節末尾關於“OP Stack的四個主要組件”的討論，OP Succinct是OP Stack的輕量級增強版。它允許鏈僅利用使用零知識證明（ZK）驗證的區塊，而其他三個組件（op-geth，op-batcher和op-node）保持不變。 OP Succinct主要由以下四個元素組成：

• 範圍計劃: 這個用Rust編寫的程式旨在在zkVM內執行批量區塊。
• 匯總程式：這個程式也是用Rust編寫的，它匯總了由範圍程式生成的證明，以降低鏈上驗證的成本，並且旨在在zkVM中運行。
• OP 簡潔的 L2 輸出 Oracle：這是一個 Solidity 智能合約，它保存了一個 L2 狀態輸出的數組，每個輸出代表了一個 L2 鏈狀態的提交。雖然這個合約已經存在於原始的 Optimism 系統中，但它已被修改為使用驗證證明作為身份驗證的方法。
• OP簡潔提議者：此元件監控在L1上發布的交易批次，並管理範圍程序和匯總程序的證明。

2.2 OP對以太坊的擴展提出了什麼概述性敘述？

創建一個zkEVM Rollup是一個重大挑戰，因為需要豐富的密碼學知識。OP Labs團隊在構建模塊化OP Stack時考慮到了這一點，確保它支持各種有效性機制。他們開發了一個名為Kona的開源項目（見擴展鏈接1），該項目使用Rust實現了OP Stack Rollup的狀態過渡函數（STF）。這一創新使得通過Kona和SP1程序為OP Stack生成零知識證明（ZKP）成為可能，從理論上允許OP Stack中的所有鏈都升級為使用ZKP。

SP1（簡潔處理器 1）旨在使任何開發人員能夠輕鬆地使用標準 Rust 代碼集成類型 1 zkEVM Rollup。通過 OP Succinct，只需一小時即可將任何現有的 OP Stack 鏈升級為類型 1 zkEVM Rollup，為應用程序提供必要的高性能。這種方法提供了幾個好處：

• 快速零知識證明（ZKP）確認：證明延遲可以縮短到幾分鐘，取代冗長的7天欺詐證明挑戰期。
• 成本效益：平均交易成本可以降低到幾分錢。
• 將OP Stack過渡到ZK: 通過部署單個智能合約並啟動輕量級OP簡潔提議者服務(如下所詳細)，可以通過API調用生成證明(包括批處理/排序器、op節點、索引器等組件)。
• Type-1 zkEVM兼容性：所有與OP Stack Rollup相容的工具和智能合約也適用於OP Succinct Rollup。
• 提升可擴展性：可定制的 OP 簡潔 Rollup 允許添加新的預編譯，並修改 Rollup 邏輯。

根據官方 GitHub 文件，將任何現有的 OP Stack Rollup 升級為 Type-1 zkEVM Rollup 是簡單的：安裝 Rust、Foundry 和 Docker，然後按照以下兩個步驟進行操作：1. 部署 ZK L2OutputOracle.sol 合約；2. 啟動 OP 簡潔提議服務（更多詳細信息請參見 GitHub 擴展連結 2）。

將 OP Stack Rollup 升級為 ZK Proofs；圖片來源：Succinct Blog

2.3 建築類型-1 zkEVM with SP1 Reth

簡潔的願景是，未來的EVM Rollups將使用Rust開發可維護的zkEVM。目前，OP Rollup面臨三個重大挑戰：延長的7天欺詐證明窗口、複雜的互操作性問題以及在某些情況下依賴多個數據源而不是欺詐證明。此外，創建zkEVM是一個冗長的過程，這促使開發SP1以應對這些問題。

SP1 是一個高性能、完全開源的 zkVM，可以驗證用 Rust（或其他 LLVM 編譯語言）編寫的任何程序的執行。公共數據顯示 OP Succinct Stack 已成功運行在 OP Mainnet、OP Sepolia 和 Base 鏈上，實現了以太坊交易的證明成本在 0.01 到 0.02 美元之間（請參閱擴展鏈接 3）。未來有志於開發所有區塊鏈基礎設施（包括 Rollups、橋接和協處理器）使用Rust（或其他 LLVM 編譯語言）並利用 ZKP。

根據Succinct博客和開源GitHub內容的摘要，SP1與其他zkVM之間的性能差異可以歸因於幾個關鍵因素：

1. 以預編譯為中心的架構：SP1具有靈活的預編譯系統，可顯著加快各種操作（如secp256k1和ed25519簽名驗證，以及sha256和keccak256哈希函數），將許多程序的循環計數減少5-10倍。 該設計旨在在保留zkVM的靈活性並確保開發人員良好體驗的同時，提供與ZK電路相當的性能。
2. 完全開源：SP1完全是開源的，這使得像Argument和Scroll這樣的團隊能夠實現自定義的預編譯，從而大大降低週期計數並加速證明生成時間。
3. 行業標準：自推出以來，zkVM 內部預編譯的概念已成為行業標準，在 RISC0、Valida、Nexus 和 Jolt 等項目中得到採用。SP1 是唯一一個成熟的 zkVM，通過預先編譯廣泛支持基本的加密操作。
4. 高效的記憶體操作：SP1利用一種創新的記憶體驗證技術，採用單一挑戰來確保跨多個驗證的一致性記憶體，消除了與Merkleized記憶體相關的額外開銷。
5. 基本效能優化：它結合了較低的膨脹因子和下一代查找參數（例如，基於對數導數的LogUp），以及Plonky3中的FRI變體，增強了區域追踪的效率。

圖片來源：簡潔博客，參見附錄描述的擴展鏈接4

3. OP Succinct能否成為OP Stack對抗ZK Stack的關鍵優勢？

圖片來源作者: @jtguibas

如果我們認為乙太坊的擴容解決方案在短期內傾向於OP，在長期內傾向於ZK，那麼，假設OP Succinct成功，它將標誌著乙太坊發展的一個重要里程碑。OP Succinct 為 ETH 匯總提供了從樂觀驗證過渡到零知識證明的途徑。這種轉變不僅降低了交易成本，還提高了交易速度，同時保持了 ZK 匯總的安全性和匿名性功能，為未來潛在的應用程式激增鋪平了道路。

目前，在公認的第二層生態系中的四個主要參與者中，OP Stack 在生態系發展方面似乎略優於 ZK Stack。時間過去後，馬太效應（富者愈富）可能變得更加明顯；隨著 OP Succinct 加入戰局，它可能會吸引一些流量和潛在客戶，從而減少 ZK Stack 的一些流量和潛在客戶。如果 OP Succinct 成功實施，它也可能在一定程度上瓦解傳統的 zkEVM Rollups。

然而，根據目前可用的信息，從 OP Succinct 的運營邏輯可以明確地知道，確保開發人員能夠快速檢測由於 STF 函數的更改或新增預編譯功能可能產生的未知漏洞是至關重要的。這是一個需要持續關注的問題。

免責聲明：

1. 本文轉載自[blockbeat],將原標題 OP Stack 的路徑前進： OP Succinct 解鎖 ZK Rollup 的潛力，所有版權歸原作者 [Ac-Core，YBB Capital 研究員]。如果有對此轉載有異議，請聯繫Gate Learn團隊會立即處理。

2. 免責聲明：本文中表達的觀點和意見僅代表作者的觀點和意見，不構成任何投資建議。

3. 文章的翻譯工作由 Gate Learn 團隊完成，除非有提到。Gate.io, 複製、散佈或剽竊翻譯的文章是禁止的。