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

某加密項目完成740萬美元種子輪融資，估值達到"八位數"。該項目正在構建一個軟件開發工具包，旨在幫助開發人員創建安全且可互操作的零知識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的橋接因此變得緩慢而昂貴。

開發人員面臨兩難選擇：是構建針對特定用途的rollup，讓用戶在區塊鏈之間頻繁橋接？還是構建通用rollup，以在一個地方滿足用戶的全部需求？這兩種選擇都不夠理想。Optimistic各鏈之間的橋接速度慢、費用高、風險大，不適合日常使用。而通用optimistic rollups則面臨與L1公鏈類似的局限性。

Zk-Rollups的優勢

基於以上原因，zk-rollups被認爲是未來主導的擴展方案。它具有optimistic rollups的優點，同時沒有長時間的最終性延遲。用戶無需等待數天來確定是否出現欺詐證明，只要有效性證明被創建出來（可能只需幾秒），用戶即可確信交易已經完成。

然而，構建zk-rollups目前仍是一項艱巨任務，需要非常專業的密碼學工程師持續數年的投入。這正是Sovereign項目想要解決的問題。

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

項目發展路線

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

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

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

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

結語

Sovereign Labs的願景是讓區塊鏈爲數十億用戶提供支持。爲實現這一目標，必須降低零知識技術的使用門檻，使普通開發人員也能構建Rollups。同時，項目團隊強調不會以犧牲終端用戶的可驗證性爲代價追求可擴展性。Sovereign SDK將保持完全免費和開源，致力於以最高的標準打造每一個技術組件。