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