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

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

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

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

L1公鏈的局限性

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

Optimistic Rollups的不足

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

開發人員面臨兩難選擇：是構建針對特定用途的rollup，讓用戶頻繁橋接？還是構建通用rollup，以滿足用戶的全部需求？兩種選擇都不夠理想。各鏈之間的橋接速度慢、費用高、風險大，而通用rollups又面臨可擴展性問題和功能限制。

Zk-Rollups的優勢

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

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

Sovereign SDK的解決方案

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

Sovereign SDK的目標是成爲首個剔除復雜零知識細節的rollup框架。開發人員無需成爲密碼學專家，只需通過慣用的Rust（或最終使用C++）編寫應用程序，SDK會將其自動匯編至高效的zk虛擬機。

Sovereign SDK的特性

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

2. 安全且可擴展：針對zk-rollups中的使用場景量身定制每個組件，默認提供出色性能。借助並行性技術的進步，證明將只有數秒延遲。

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

項目進展

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

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

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

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

未來展望

Sovereign Labs的願景是讓區塊鏈爲數十億用戶提供支持。爲實現這一目標，他們致力於降低零知識技術的使用門檻，使開發人員無需成爲密碼學專家就能構建Rollups。

同時，Sovereign SDK將始終保持完全免費和開源，並致力於以最高的韌性標準來打造技術架構中的每一個組件，確保終端用戶的可驗證性不會被犧牲。Sovereign Labs承諾公開透明的建設過程，以實際行動支持區塊鏈技術的發展和普及。