共享证明层介绍，为何成为模组化发展的重要基石？

近期随着零知识证明 (ZKP) 技术的需求逐渐增加，越来越多的项目需要相关证明计算资源，因此衍生出新的模组化领域 —— 共享证明器 (Shared Provers)，本文将详加介绍其需求来源与现有项目。

共享证明器网络想解决什么问题？

ZK Rollup 解决方案的优势是可极大扩展交易速度，将交易计算移至链下以加快处理速度，同时在以太坊上验证零知识证明 (ZK-proofs) 以实现最终性。将计算与验证分开最大化交易速度，因此零知识证明技术也被视为区块链发展的重要关键。

不过要生成 ZK proofs，需要较高的计算能力。将会需要提升节点成本、并在此阶段降低效率。中心化的证明器在网络巅峰时段，会使效能降低并增加用户燃料费成本，而共享证明器层可能是解决此问题的一个好方法。

虽然有部分项目未来有规划，不过目前以零知识证明为基础的 Rollups 包含 zkSync、Starknet、Scroll 都是以自身单独的证明器、排序器 (sequencers) 处理用户提交的交易，后者目前已经有许多去中心化与共享网络的发展，而证明器则相对没有受到市场关注。

共享证明器 (Shared Provers)网络又被称为证聚合层 (Proof Aggregation)，主要的工作是将计算零知识证明的过程去中心化，以提升效率。而共享排序器则是将交易排序的工作外包给去中心化网络，两者虽然都与 Rollups 效率与安全性相关，但做的事情并不一样。

使用共享证明器层，理想的交易运作流程如下：

共享证明器网络可以将 Rollups 所需要的证明资源外包，让该网络其他专业供应商协助计算与生成，借由专业分工，实现更好的效率并最佳化成本。

共享证明器网络可以依照架构，将运算量较大的证明需求拆分给多个证明者，进一步提升效率。另一方面，也可以借由将批量的证明需求整合为一个证明，同时降低计算与上链的成本，让需求量较小的 Rollups 也可以与其他项目分摊成本。

理想的共享证明器网络是无需信任的，代表可以作为模组架构的一部分，提供给各种项目使用其运算资源，可以帮助需要零知识运算支援却没有相关硬体与开发能力的团队快速打造产品。

Nebra 是一种通用型的零知识证明聚合层项目，借由将多个基于零知识证明的服务的需求打包批量处理，以实现更便宜的证明与验证成本。不过目前该项目仍是中心化架构，未来以去中心化为目标。

Nebra 安全性借由机制保证。Nebra 具有类似于现有 Layer2 逃生舱口的机制，如果证明者审查交易内容或是延迟证明计算与提交，使用服务的项目方可以选择绕过证明者，并在 Layer1 上强制执行证明结算。

Nebra 目前已经开放测试网络。

Nexus 是去中心化的资料可用性层项目 Avail 旗下的新项目，提供给有特定需求的 Rollups 项目零知识证明计算与排序器的服务，以完善 Avail 的生态系并最大化潜在市场。

Nexus 会定期向以太坊和 Avail DA 提交聚合证明以进行验证。

AggLayer 是 Polygon 团队所开发的聚合层，目标是借由 unified bridge 技术提供所有区块链网络的流动性，并打造共享证明器，聚合来自所有链的零知识证明，以向以太坊主网进行结算与验证。

目前产业模组化的概念，通常聚焦在执行层、共识层、结算层与资料可用性层 (DA)。不过随着 Rollups 与零知识证明技术的成熟，计算零知识证明的需求逐渐提升，未来共享证明器网络可能会是一个新的重要领域。

不过也有可能会演变成将排序器、证明器服务都整合起来的聚合层服务，就像是 Nexus 所建构的产品。