Sovereign：爲Rollup提供開發工具包，簡化零知識證明技術的應用

一家專注於構建rollup的加密項目完成了740萬美元的種子輪融資，估值達到"八位數"。該項目正在開發一個軟件開發工具包(SDK)，旨在幫助開發者創建安全且可互操作的零知識rollup。以下是對該項目的詳細介紹。

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

區塊鏈應用程序擴展的困境

傳統L1的局限性

目前區塊鏈應用程序的擴展主要有三種方式：專用應用程序L1公鏈、optimistic rollups和zk-rollups。專用應用程序L1公鏈雖然設計和部署較爲簡單，但存在明顯缺陷。每個L1都需要招募驗證者並說服他們質押足夠資金以確保安全，這種方法由於資金成本高昂，僅適用於少數資金充裕的應用程序。

Optimistic Rollups的不足

Rollups通過允許開發人員使用新邏輯擴展現有區塊鏈來解決這個問題。然而，目前主流的optimistic rollups也存在問題。它們依賴欺詐證明來防止不當行爲，但這可能導致較長的"最終性延遲"，使得跨rollup的橋接變得緩慢且昂貴。

Zk-Rollups的優勢

相比之下，zk-rollups被認爲是更有前景的擴展方案。它具有optimistic rollups的優點，同時避免了長時間的最終性延遲。然而，構建zk-rollups目前仍是一項復雜的任務，需要高度專業的密碼學工程師長期投入。

Sovereign SDK的解決方案

Sovereign SDK旨在簡化zk-rollups的開發過程，類似於Cosmos SDK對L1公鏈的貢獻。它提供了區塊鏈常見的基礎組件，如p2p網路、數據庫和RPC節點，讓開發者可以專注於自身的業務邏輯。此外，它還提供了一系列在零知識環境下高效運行的默認模塊，包括代幣部署、驗證數據存儲和橋接模塊。

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，開發研究原型。

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

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

Sovereign Labs的願景是讓區塊鏈能夠支持數十億用戶。爲實現這一目標，他們致力於降低零知識技術的使用門檻，同時保持終端用戶的可驗證性和去中心化。Sovereign SDK將保持完全免費和開源，並以最高的韌性標準構建每一個技術組件。