OP Succinct 提供的主要功能是將 ZKP 融入 OP Stack 的模組化架構中以完成將 OP Stack Rollup 轉換為完全驗證的 ZK Rollup

作者:Ac-Core,YBB Capital  Researcher

封面:Optimism

 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)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/ 

免責聲明:作為區塊鏈資訊平臺,本站所發佈文章僅代表作者及嘉賓個人觀點,與 Web3Caff 立場無關。 文章內的資訊僅供參考,均不構成任何投資建議及要約,並請您遵守所在國家或地區的相關法律法規。