原文：《 Introducing Sovereign 》
編譯：王爾玉，PANews
專注於構建rollup的加密項目Sovereign Labs完成740萬美元種子輪融資。本輪融資由Haun Ventures領投，Maven 11、1KX、Robot Ventures和Plaintext Capital參投。該項目發言人表示，此次融資使該公司的估值達到了“八位數”。據了解，Sovereign Labs正在構建一個軟件開發工具包(SDK)，幫助開發人員創建安全且可互操作的零知識rollup。本文是Sovereign官方撰寫的項目介紹，PANews翻譯如下。
Sovereign是一個開放互聯的rollup生態系統。致力於讓所有開發人員都能部署能夠無縫互操作和可擴展的rollups，且能在所有區塊鏈上運行。這就是打造Sovereign SDK的初衷，這將是最簡單的用於創建安全且可互操作的主權zk-rollup的框架。
痛點：區塊鏈應用程序無法擴展
鐵板一塊的L1無法擴展
目前區塊鏈應用程序的擴展主要有三種範式：專門針對應用程序的L1公鏈、optimistic rollups及zk-rollups。針對應用程序的L1公鏈最易設計和部署，但存在明顯缺陷。每個L1都必須招募自己的驗證者，並說服他們質押足夠的資金，以保護區塊鏈免受攻擊。由於資金成本高昂，該方法僅適用於少數資金充沛的應用程序。
Optimistic Rollups會破壞可組合性
Rollups解決這個問題的思路是：允許開發人員使用新邏輯擴展現有區塊鏈，而非啟動新區塊鏈。這大大降低了應用鏈的開發門檻。
但如今占主導地位的optimistic rollups也不是靈丹妙藥。為了最大程度地減少共享驗證者集的負擔，optimistic rollups依靠欺詐證明（fraud proofs）來防止不當行為。受到攻擊時，欺詐證明可能會面臨審查，因此optimistic rollups有很長的“最終性延遲”，交易會因欺詐證明的出現而回滾。對optimistic rollups的橋接會因此變得緩慢而昂貴。
optimistic rollup開發人員必須做出艱難抉擇：到底是構建針對狹窄的具體用途的rollup，讓用戶在區塊鏈之間頻繁橋接？還是構建通用rollup，以在一個地方滿足用戶的全部需求？這兩種選擇都不夠好。 Optimistic各鏈之間的橋接速度太慢，費用太高，風險太大，不能滿足日常使用。而通用optimistic rollups要面對鐵板一塊的L1公鏈的許多缺陷：它們不僅存在自身的可擴展性問題，而且無法支持應用鏈可創建的完整的多樣功能。
Zk-Rollups才是未來
基於上述原因，我們預計zk-rollups將成為主導的擴展範式。它具有optimistic rollups的優點，同時沒有長時間的最終性延遲。用戶無需等待數天以確定是否出現欺詐證明，只要有效性證明被創建出來（可能只需幾秒），用戶即可確信交易已經完成。
那麼，既然zk-rollups是更好的擴展方案，為何尚未大規模普及呢？原因是目前為止，實際構建zk-rollups是一項艱鉅任務，需要非常專業的密碼學工程師持續數年的投入。
Sovereign應運而生
什麼是Sovereign SDK？
Sovereign SDK致力於為zk-rollups做Cosmos SDK為L1公鏈所做的事情。
它將提供通常由區塊鏈提供的各種樣板組件，如p2p網絡、數據庫和RPC節點，讓構建者可以專注於自身區塊鏈的商業邏輯。此外，它將提供一組在零知識環境下高效運行的默認模塊：代幣部署，經驗證的數據存儲，及橋接模塊。開發人員可將這些原語組件整合至應用鏈中，或通過部署一組標準API，完全從頭構建自己的狀態轉換函數（state-transition functions）。
不僅如此，Sovereign SDK將成為首個剔除複雜的零知識細節的rollup框架。要利用其強大功能，開發人員無需成為密碼學專家，只需通過慣用的Rust（或最終使用C++）編寫應用程序即可， SDK會將之自動彙編至高效的zk虛擬機。
基於證明聚合的橋接
Sovereign SDK有哪些特性？
1. Sovereign SDKrollups可實現無縫互操作。我們使用一種基於證明聚合的新型橋接技術，可在無需受信任的第三方的情況下，實現共享L1上的Sovereign SDK rollups的來回橋接。 zk-proofs可實現聚合，rollups將能以最小的成本維護盡可能多的橋接。鏈下中繼器可將所有同期rollups的證明聚合成單一證明，然後只需在鏈上驗證該單一證明即可。而且由於狀態轉換被證明是有效的，因此無需向流動性提供者支付費用或等待一周時間來完成交易。即刻橋接，完美無缺。
2.Sovereign SDKrollups將是安全且可擴展的。通過針對zk-rollups中的使用場景，量身定制每個組件，Sovereign SDK將默認提供出色性能。得益於並行性技術的進步，我們的證明將只有數秒延遲。借助零知識證明的魔力，區塊鏈將能在不犧牲終端用戶可驗證性的情況下實現擴展。
3.Sovereign SDK Rollups可在任何區塊鏈上運行。 SovereignSDK鏈將檢查證明的責任委託給終端用戶，而非底層的L1公鏈。因此，它們才被稱為“主權”（sovereign）rollup，而非智能合約rollup。由於數據可用性層無需具備驗證證明的能力，Sovereign SDK rollup可自動移植到任何L1。
項目進展
目前正在努力開發Sovereign SDK，路線圖分為三個階段。
第一階段：研究（進行中）
Sovereign SDK正在研發中。我們正在設計默認存儲模塊、加密經濟模型和核心API。我們也在開發一個研究原型。 SDK將支持廣泛的數據可用性層和證明系統，但我們當前的原型集成了用於數據可用性的Celestia和用於證明的Risc0。我們預計該階段將在2023年第二季度前後完成。
第二階段：初步部署
Sovereign SDK的初步部署將與剩餘研究同步進行。在此期間，我們將部署p2p網絡、RPC節點、核心API以及默認存儲和排序模塊。
第三階段：硬化歷練
SDK功能完善後，我們將投入大量時間進行代碼清理、測試、模糊測試和審計。同時，我們還將開發SDK的首個用例。預計初始部署的硬化將持續約六個月，隨後SDK將登陸主網。
讓擴展更容易
Sovereign Labs希望看到區塊鍊為數十億用戶提供支持。要實現這一點，必須降低零知識技術的門檻：開發人員不再需要成為密碼學博士，打造Rollups也不再需要專業的協議工程師。
但如果以犧牲終端用戶的可驗證性為代價，無限可擴展性也就毫無意義了。如果構建、運行或查看區塊鏈的狀態仍需依靠與某個中心化實體的合作，我們也不必奢談勝利了。正因為此，Sovereign SDK將始終保持完全免費和開源，並致力於以最高的韌性標準來打造技術機構中的每一個組件。最後，空口無憑，我們的建設過程是公開的。
