原文:《 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:為Rollups提供SDK,降低零知識證明技術使用門檻

基於證明聚合的橋接

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將始終保持完全免費和開源,並致力於以最高的韌性標準來打造技術機構中的每一個組件。最後,空口無憑,我們的建設過程是公開的。