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的橋接變得緩慢且昂貴。

開發人員面臨兩難選擇：是構建針對特定用途的rollup，還是構建通用rollup？前者需要用戶頻繁在區塊鏈間橋接，後者則面臨與L1公鏈相似的可擴展性問題。

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，預計2023年第二季度完成。

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

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

結語

Sovereign Labs的目標是讓區塊鏈能夠支持數十億用戶。爲此，必須降低零知識技術的使用門檻，使普通開發人員也能輕鬆構建Rollups。同時，項目強調不會以犧牲終端用戶的可驗證性爲代價追求可擴展性。Sovereign SDK將保持完全免費和開源，並致力於以最高標準構建每一個技術組件，確保整個生態系統的韌性和去中心化。