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

近日，一家專注於構建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旨在爲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的願景是讓區塊鏈能夠支持數十億用戶。爲實現這一目標，他們致力於降低零知識技術的使用門檻，使開發人員無需成爲密碼學專家就能構建Rollups。同時，他們堅持保持SDK完全免費和開源，並以最高標準打造每個技術組件，以確保終端用戶的可驗證性不被犧牲。