Delphi 探討共享證明者:模組化的新領地
作者:Delphi Digital
編譯:Luffy,Foresight News
通常認為,模組化理論由四個層組成:DA(數據可用性)、共識、執行和結算。然而,一個新的層,即共享證明者,可能會被整合到模組化理論中。
它能否成為高效、可擴展驗證所缺失的部分? 共享證明者、證明聚合和證明者市場正在改變零知識證明的格局。你可以在我們的最新報告中了解需要了解的一切。
下面是報告的要點總結
zk Rollup 簡要回顧
zk Rollup 解決方案可以擴展以太坊的交易規模,將交易移至鏈下以便更快地進行處理,同時在以太坊之上實現硬確定性,並通過 zk 證明(零知識證明)進行驗證。
zk 證明:驗證速度快,生成速度慢
zk 證明雖然在隱私和擴展方面功能強大,但在以太坊上創建證明可能成本高昂且速度緩慢。
高證明成本會限制 zk 應用。證明聚合和證明者市場等新方法旨在解決這些限制。
證明者供應鏈
共享排序器為跨區塊鏈的交易提供了高吞吐量。然而,它們實際上並不能證明任何事情。它們將來可能會與共享證明者網絡集成以委託這項任務。
如今,Rollup 面臨著昂貴的、單獨的零知識證明提交的難題。
證明者網絡提供了一種解決方案:一個統一的市場,各種 zk 應用程序可以將證明生成外包給專門的證明服務提供商,從而提高成本和效率。
共享證明者可以極大改善需要 zk 證明支持但缺乏內部 zkVM 或電路開發資源的應用程序的處境。
目前,Rollup 提交單獨的 zk 證明,導致高峰時段的 Gas 成本高昂。
證明者網絡現在的目標是將生成證明外包給專門的硬體提供商,以提高效率。
在具有多種 Rollup 並連接到證明者網絡的網絡中,交易生命周期的工作方式如下:
Rollup 提交證明請求。
匹配機制選擇一個證明者。
證明者滿足請求。
將證明聚合起來。
證明者將最終證明提交給 L1 進行驗證。
分攤驗證成本
證明奇點(Proof Singularity)是指旨在降低鏈上驗證證明成本的各種技術。
證明聚合就是這些技術之一,它將多個有效證明壓縮為一個可以驗證所有證明的證明。
與單獨驗證每個證明相比,這種「批量驗證」可以降低 Gas 成本。
zk App 證明者成本
zk 應用程序的高額驗證成本與證明時間最終會轉嫁給用戶。
在過去的幾年中,zk 應用程序(主要是 Rollup)花費了近 3000 萬美元的 Gas 來驗證和在鏈上發布證明。
證明聚合協議概況
Nebra UPA
Nebra UPA 讓 zk 應用捆綁許多證明,以降低驗證成本,他們聲稱在測試網上支持約 10 次證明 / 秒。他們的證明者目前是中心化的,但計劃以後實現無需許可證明。
它們具有類似於現有 L2 逃生艙的強制納入機制。如果證明者審查或延遲證明,zk 應用程序可以繞過證明者並在 L1 上強制執行證明結算。
Aligned Layer
Aligned Layer 是由 EigenLayer AVS 保護的以太坊通用 zk 驗證層。 Restakers 通過證明聚合和單一以太坊提交為用戶提供軟最終確定性。默認 DA 是 EigenDA,但也可以選擇其他 DA 層,例如 Celestia 或 Avail。
AggLayer
Polygon 的 AggLayer 是一個用於安全跨鏈交互的中立基礎設施。它旨在將獨立區塊鏈網絡統一在一個跨鏈橋下,在不損害區塊鏈主權的情況下促進互操作性。
該系統旨在匯總所有連接的 Rollup 中的證明,然後提交一個唯一的證明,該證明包含提交的每個單獨證明的 Merkle 樹。
它不需要特定的虛擬機或執行環境
區塊鏈可以自由選擇自己的 Gas 代幣
它不需要服從共同治理。
在底層,將所有這些整合在一起的基礎設施是 LxLy 跨鏈橋,它標準化了一個通用的跨鏈消息傳遞協議,以便 Rollup 在保持主權的同時相互通信並與以太坊進行通信。
LxLy 運作方式的簡要說明
每條鏈都在 Merkle 樹(出口樹)中跟蹤提款轉賬
所有出口樹被合併成一個全球出口樹,跨鏈共享
更新本地和全球樹,允許驗證和淨提款計算。
此外,Agglayer 在連接的 Rollup 之間有一個共享跨鏈橋,可簡化 L1 和 L2 之間的資產流動。資產抵押在一個 L1 合約中,無需包裝或者鎖定 / 鑄造。
傳統上,框架依賴於單個內部證明者,存在審查和活躍度問題的風險。證明者網絡可能會以中心化的方式開始,並隨著時間的推移逐漸去中心化。
證明者市場的去中心化仍是一個懸而未決的問題,但一些方法正在被探索:
證明競賽:最快的證明者獲勝,提高了效率但浪費了計算(成本轉嫁給用戶)。
證明挖礦:與 PoW 挖礦類似,使用隨機數來防止贏家通吃(計算浪費仍然存在)。SNARK ASIC 中的硬體加速有望降低成本。