原文：sovlabs.eth
1 月31 日消息，由前以太坊核心開發者Cem Özer 創建的Sovereign Labs 在由Haun Ventures 牽頭的一輪融資中籌集了740 萬美元，旨在讓開發人員能夠輕鬆部署ZK Rollups 。
據悉，這輪種子輪融資於2022 年11 月份完成，其他參投方包括1kx、Robot Ventures 、Maven 11 以及Plaintext Capital，此外，區塊鏈開發商Celestia Labs 的通信主管Ekram Ahmed 擔任了該公司的戰略顧問。
Sovereign 是一個開放的、相互關聯的rollup 生態，其目標是讓所有開發人員能夠部署可在任何區塊鏈上運行的無縫互操作和可擴展的rollup。這就是為什麼Sovereign 構建了一個SDK，用於創建安全且可互操作的sovereign zk-rollup 的最簡單框架。
問題：區塊鏈應用難以擴展
單體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。