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