Delphi 探討共享證明者：模塊化的新領地

WEEX 唯客博客， 原標題：Delphi Digital X 賬號 作者：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 應用程序的高額驗證成本與證明時間最終會轉嫁給用戶。 在過去的幾年中…