Sovereign：爲Rollups提供開發工具包，降低零知識證明技術使用門檻

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

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

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

L1公鏈的局限性

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

Optimistic Rollups的不足

Rollups的出現允許開發人員使用新邏輯擴展現有區塊鏈，而不是啓動新區塊鏈，這大大降低了應用鏈的開發門檻。然而，目前主流的optimistic rollups也存在問題。爲了減輕共享驗證者集的負擔，optimistic rollups依賴欺詐證明來防止不當行爲。這導致交易有很長的"最終性延遲"，可能會因欺詐證明的出現而回滾。因此，對optimistic rollups的橋接變得緩慢且昂貴。

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公鏈。

4. 降低使用門檻：開發人員無需成爲密碼學專家，只需使用常用的編程語言（如Rust或C++）編寫應用程序，SDK會自動將其匯編至高效的zk虛擬機。

項目發展路線

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

1. 研究階段（進行中）：設計默認存儲模塊、加密經濟模型和核心API，開發研究原型。預計2023年第二季度完成。

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

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

結語

Sovereign Labs的願景是讓區塊鏈爲數十億用戶提供支持。爲實現這一目標，降低零知識技術的使用門檻至關重要。Sovereign SDK將始終保持完全免費和開源，致力於以最高的韌性標準打造每一個技術組件。通過這種方式，Sovereign希望能夠推動區塊鏈技術的普及，同時保持終端用戶的可驗證性和去中心化的本質。