Sovereign：爲Rollups提供SDK，降低零知識證明技術使用門檻

專注於構建rollup的加密項目Sovereign Labs完成740萬美元種子輪融資。本輪由Haun Ventures領投，Maven 11、1KX、Robot Ventures和Plaintext Capital參投。該項目發言人表示，此次融資使公司估值達到了"八位數"。Sovereign Labs正在構建一個軟件開發工具包(SDK)，旨在幫助開發人員創建安全且可互操作的零知識rollup。

Sovereign是一個開放互聯的rollup生態系統，致力於讓所有開發人員都能部署能夠無縫互操作和可擴展的rollups，且能在所有區塊鏈上運行。這就是打造Sovereign SDK的初衷，它將成爲創建安全且可互操作的主權zk-rollup的最簡單框架。

區塊鏈應用程序擴展的痛點

傳統L1難以擴展

目前區塊鏈應用程序的擴展主要有三種方式：針對應用程序的L1公鏈、optimistic rollups及zk-rollups。針對應用程序的L1公鏈最易設計和部署，但存在明顯缺陷。每個L1都必須招募自己的驗證者，並說服他們質押足夠的資金以保護區塊鏈安全。由於資金成本高昂，該方法僅適用於少數資金充沛的應用程序。

Optimistic Rollups的局限性

Rollups允許開發人員使用新邏輯擴展現有區塊鏈，而非啓動新區塊鏈。這大大降低了應用鏈的開發門檻。然而，目前佔主導地位的optimistic rollups也存在問題。它們依靠欺詐證明來防止不當行爲，但這可能導致很長的"最終性延遲"，交易可能因欺詐證明的出現而回滾。這使得對optimistic rollups的橋接變得緩慢而昂貴。

開發人員面臨艱難抉擇：是構建針對特定用途的rollup，讓用戶頻繁橋接？還是構建通用rollup，以滿足用戶的全部需求？這兩種選擇都不夠理想。各鏈之間的橋接速度慢、費用高、風險大，不適合日常使用。而通用rollups則面臨與傳統L1公鏈類似的可擴展性問題。

Zk-Rollups的優勢

基於上述原因，zk-rollups有望成爲主導的擴展方案。它具有optimistic rollups的優點，同時沒有長時間的最終性延遲。用戶無需等待數天確認交易，只要有效性證明被創建（可能只需幾秒），用戶即可確信交易已經完成。

然而，構建zk-rollups目前仍是一項艱巨任務，需要高度專業的密碼學工程師長期投入。這正是Sovereign SDK的機會所在。

Sovereign SDK的特點

Sovereign SDK致力於爲zk-rollups做Cosmos SDK爲L1公鏈所做的事情。它將提供區塊鏈常見的樣板組件，如p2p網路、數據庫和RPC節點，讓開發者專注於自身的商業邏輯。此外，它還提供一組在零知識環境下高效運行的默認模塊，包括代幣部署、經驗證的數據存儲和橋接模塊。

Sovereign SDK的主要特性包括：

1. 無縫互操作：使用基於證明聚合的新型橋接技術，實現共享L1上的Sovereign SDK rollups的快速、低成本橋接。

2. 安全且可擴展：通過針對zk-rollups優化每個組件，Sovereign SDK默認提供出色性能。借助並行性技術，證明延遲可能只有數秒。

3. 多鏈兼容：Sovereign SDK Rollups可在任何區塊鏈上運行，因爲它們將證明驗證的責任委托給終端用戶，而非底層L1公鏈。

項目進展

Sovereign SDK的開發路線分爲三個階段：

1. 研究階段（進行中）：設計默認存儲模塊、加密經濟模型和核心API。開發研究原型，集成Celestia（數據可用性）和Risc0（證明系統）。預計2023年第二季度完成。

2. 初步部署：部署p2p網路、RPC節點、核心API以及默認存儲和排序模塊。

3. 硬化歷練：進行代碼清理、測試、模糊測試和審計。同時開發SDK的首個用例。預計初始部署的硬化將持續約六個月，隨後SDK將登入主網。

願景與目標

Sovereign Labs的目標是讓區塊鏈能夠支持數十億用戶。爲實現這一點，降低零知識技術的使用門檻至關重要。開發人員無需成爲密碼學專家，也能輕鬆構建Rollups。

同時，Sovereign SDK堅持終端用戶的可驗證性，保證區塊鏈的去中心化特性。該SDK將始終保持完全免費和開源，並致力於以最高標準打造每一個技術組件。Sovereign Labs承諾公開透明的建設過程，讓社區參與和監督整個開發journey。