前以太坊核心開發者》速覽 ZK Rollu...

首頁
資訊
前以太坊核心開發者》速覽 ZK Rollup SDK 項目「Sovereign」

前以太坊核心開發者》速覽 ZK Rollup SDK 項目「Sovereign」

發表於 2023-02-03 20:00 作者：區塊鏈情報速遞pro

前以太坊核心開發者 Cem Özer 創建的 Sovereign Labs 在由 Haun Ventures 牽頭的一輪融資中籌集了 740 萬美元，Sovereign 是一個開放的、相互關聯的 rollup 生態，其目標是讓所有開發人員能夠部署可在任何區塊鏈上運行的無縫互操作和可擴展的 rollup，這就是為什麼 Sovereign 構建了一個 SDK。本文原文源自 sovlabs.eth ，由 DeFi 之道編譯整理。（前情提要：ZK 元年》ZK-rollup 的項目在 2022 年表現如何？）（背景補充：IOSG 研究報告》ZkVM 各派系特性，競爭點有哪些？）

1月 31 日消息，由前以太坊核心開發者 Cem Özer 創建的 Sovereign Labs 在由 Haun Ventures 牽頭的一輪融資中籌集了 740 萬美元，旨在讓開發人員能夠輕鬆部署 ZK Rollups 。

據悉，這輪種子輪融資於 2022 年 11 月份完成，其他參投方包括 1kx、Robot Ventures 、Maven 11 以及 Plaintext Capital，此外，區塊鏈開發商 Celestia Labs 的通信主管 Ekram Ahmed 擔任了該公司的戰略顧問。

問題：區塊鏈應用難以擴展

單體 L1 無法擴容

在尋求擴展區塊鏈應用的過程中，出現了三種主要範式：特定於應用的 L1 （也稱為應用鏈）、Optimistic Rollups 以及 Zk-Rollups。其中，L1 應用鏈是最容易設計和實現的，但它們有一個明顯的缺點，即每條 L1 都必須招募自己的驗證者，並說服他們投入足夠的資金來保護區塊鏈免受攻擊，因此，這種方式只適用於少數資金充足的應用項目。

Optimistic Rollups 會打破可組合性

Rollups 試圖通過允許開發人員使用新邏輯擴展現有區塊鏈，而不是啟動新邏輯來解決這個問題，這大大降低了應用鏈開發的准入門檻。

但目前主導 rollup 市場的 Optimistic Rollups 並不是靈丹妙藥。為了最大程度地減少共享驗證器集的負擔，Optimistic Rollups 依靠詐欺證明來防止不當行為。在攻擊期間，這些詐欺證明可能會被審查 —— 因此 Optimistic Rollups 有很長的「最終延遲」，在此期間交易可能會因欺詐證明的出現而經歷回滾。這使得跨鏈連接 Optimistic Rollups 變得緩慢且代價高昂。

因此， Optimistic Rollups 開發人員必須做出艱難的選擇：他們是否構建狹窄的、特殊用途的 Rollups，並期望用戶在鏈之間頻繁跨鏈？或者他們是否構建通用 rollups ，試圖在一個地方滿足用戶的所有需求？這兩種選擇都不好， Optimistic Rollups 之間的跨鏈太慢、太昂貴，並且風險太大，無法成為日常操作。

而通用 Optimistic Rollups 存在單體 L1 的許多缺點：它們不僅存在自身的可擴展性問題，而且無法支持應用鏈可創建的功能的完全多樣性。

Zk-Rollups 才是未來

出於所有這些原因，我們預計 Zk-Rollups 將成為主導的擴容範式，它們具有 Optimistic Rollups 的優點，但沒有長時間的最終延遲。用戶無需等待數天查看是否出現詐欺證明，只要創建有效性證明，用戶就可以確信他們的交易是最終確定的，這個過程可能只需要幾秒鐘。

既然 Zk-Rollups 是更好的擴容解決方案，那為什麼目前使用它們的人還是少數呢？因為截至目前，實際構建 Zk-Rollups 是一項艱鉅的任務，這需要專業密碼學工程師團隊多年的努力。

Sovereign SDK 是什麼？

Sovereign SDK 之於 Zk-Rollups ，就像 Cosmos SDK 之於 L1 應用鏈。

它將提供通常進入區塊鏈的所有樣板，包括：p2p 網路、資料庫和 RPC 節點，讓構建者專注於其鏈的業務邏輯。此外，它將提供一組在零知識環境中高效運行的默認模組：代幣實現、經過身份驗證的數據儲存和跨鏈橋模組。開發人員將能夠將這些原語組合到應用鏈中，或者通過實施一組標準 API 完全從頭開始構建自己的狀態轉換函數。

更好的是，Sovereign SDK 將成為第一個抽像出零知識細節的 Rollup 框架，要利用其強大功能，開發人員無需成為密碼學家。相反，開發人員將能夠用 Rust（或者最終是C++）編寫他們的應用程式，SDK 將自動將其編譯為高效的 zk 虛擬機。

Sovereign SDK 將提供哪些屬性？

1、Sovereign SDK rollups 將無縫互操作：Sovereign 使用一種基於證明聚合的新型跨鏈橋技術，允許共享 L1 上的 Sovereign SDK rollups 在沒有一個受信任第三方的情況下來回跨鏈。由於 zk-proofs 可以聚合， rollups 將能夠以最小的成本維護盡可能多的跨鏈橋。鏈下中繼器可以將所有 peer rollup 的證明聚合成一個證明，並且可以在鏈上驗證這個證明。而且由於狀態轉換被證明是有效的，因此無需向流動性提供者（LP）支付費用或等待一週的時間來完成交易。可以立即完成跨鏈，沒有缺點。

2、Sovereign SDK rollups 將是安全可擴展的：通過專門為 Zk-Rollups 構建每個組件，Sovereign SDK 默認情況下將提供出色的性能。由於平行性的進步，Sovereign 的證明將以秒為單位測量延遲。借助零知識證明的魔力，區塊鏈將能夠在不犧牲最終用戶可驗證性的情況下進行擴容。

3、Sovereign SDK Rollups 可以在任何區塊鏈上運行：Sovereign SDK 鏈將檢查證明的責任委託給最終用戶，而不是底層的 L1。這就是使它們成為「主權」 rollups，而不是智能合約 rollups 的原因。由於數據可用性層不需要驗證證明的能力，因此 Sovereign SDK rollups 可以自動跨任何 L1 進行移植。編寫一次，就可以在任何地方運行。

Sovereign SDK 路線圖的三個階段

目前 Sovereign Labs 團隊正在努力開發其 SDK，它的路線圖被分為了三個階段：

第一階段：研究（進行中）

Sovereign SDK 目前還處於研發階段， Sovereign Labs 團隊正在設計默認儲存模組、加密經濟學以及核心 API，他們也在研發一個原型，儘管 Sovereign SDK 的目標是支持廣泛的數據可用性層和證明系統，但其當前的原型整合了用於數據可用性的 Celestia 以及用於證明的 Risc0 ，根據預計，Sovereign SDK 的第一階段將在 2023 年第二季度左右完成。

第二階段：初步實施

Sovereign SDK 的初始實施將與剩餘的研究同時開始。在此期間， Sovereign Labs 將實現 p2p 網路、RPC 節點、核心 API 以及默認儲存和排序模組。

第三階段：強化

一旦 SDK 功能完成， Sovereign Labs 將需要大量時間進行程式碼清理、測試、模糊測試以及審計，在此期間，他們還將開發 SDK 的第一個用例（有關這些的更多詳細資訊將在之後公佈）。在強化初始實施大約六個月後，我們預計會看到主網鏈將使用 Sovereign SDK。

（本文由作者 DeFi 之道授權，屬作者之觀點不代表動區立場。文章內容與觀點亦不是投資建議。）