原文作者：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 中的硬體加速可望降低成本。