共享证明者可降低 zk 应用程序的的证明成本，并提高证明效率。

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