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

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

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

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

目前區塊鏈應用程序的擴展主要有三種範式：專門針對應用程序的L1公鏈、optimistic rollups及zk-rollups。

L1公鏈的局限性

針對應用程序的L1公鏈最易設計和部署，但存在明顯缺陷。每個L1都必須招募自己的驗證者，並說服他們質押足夠的資金，以保護區塊鏈免受攻擊。由於資金成本高昂，該方法僅適用於少數資金充沛的應用程序。

Optimistic Rollups的不足

Optimistic rollups雖然降低了應用鏈的開發門檻，但也存在問題。它們依賴欺詐證明來防止不當行爲，這導致了很長的"最終性延遲"，交易可能因欺詐證明的出現而回滾。對optimistic rollups的橋接因此變得緩慢而昂貴。

開發人員面臨兩難選擇：是構建針對狹窄用途的rollup，讓用戶頻繁橋接？還是構建通用rollup，以滿足用戶的全部需求？這兩種選擇都不夠理想。

Zk-Rollups的優勢

Zk-rollups被認爲是未來的主導擴展範式。它具有optimistic rollups的優點，同時沒有長時間的最終性延遲。用戶無需等待數天，只要有效性證明被創建出來（可能只需幾秒），就可以確信交易已經完成。

然而，目前構建zk-rollups仍是一項艱巨任務，需要專業的密碼學工程師持續數年的投入。

Sovereign SDK的解決方案

Sovereign SDK旨在爲zk-rollups提供類似於Cosmos SDK爲L1公鏈所做的支持。它將提供區塊鏈常見的樣板組件，如p2p網路、數據庫和RPC節點，讓構建者可以專注於自身區塊鏈的商業邏輯。

此外，它還將提供一組在零知識環境下高效運行的默認模塊：代幣部署、經驗證的數據存儲及橋接模塊。開發人員可將這些原語組件整合至應用鏈中，或通過部署一組標準API，完全從頭構建自己的狀態轉換函數。

Sovereign SDK的一大特點是剔除了復雜的零知識細節。開發人員無需成爲密碼學專家，只需通過慣用的Rust（或最終使用C++）編寫應用程序即可，SDK會將之自動匯編至高效的zk虛擬機。

Sovereign SDK的主要特性

1. 無縫互操作：使用基於證明聚合的新型橋接技術，實現共享L1上的Sovereign SDK rollups的來回橋接，無需受信任的第三方。

2. 安全且可擴展：通過針對zk-rollups中的使用場景量身定制每個組件，Sovereign SDK將默認提供出色性能。

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

項目進展

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

1. 研究階段（進行中）：設計默認存儲模塊、加密經濟模型和核心API。開發研究原型，集成用於數據可用性的Celestia和用於證明的Risc0。

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

3. 硬化歷練階段：進行代碼清理、測試、模糊測試和審計，同時開發SDK的首個用例。

Sovereign Labs的願景是讓區塊鏈爲數十億用戶提供支持。爲此，他們致力於降低零知識技術的門檻，同時保持終端用戶的可驗證性。Sovereign SDK將始終保持完全免費和開源，並以最高的韌性標準來打造每一個技術組件。