Pertra升级能催化数百亿FDV的ZK Prover网络吗

作者：NingNing ，来源：作者推特@0xNing0x

Pectra升级，是一个比以太坊坎昆升级更大的里程碑事件。按照当前以太坊开发者会议确定的升级内容，以太坊主网下一次的Pectra升级，将极大地加速以太坊的模块化进程。

Pertra升级，将直接有利于模块化、链抽象和ZK Prover网络等赛道的项目。模块化、链抽象我们不再赘述，今天重点聊聊ZK Prover网络。

ZK技术与区块链技术一样，都是“创造信任的机器”，不同之处至于它们实现的方法不同。区块链实现信任，依赖的是具有共识机制的分布式账本系统。而ZK则利用复杂的密码学工程实现信任。

区块链的实现机制使得区块链存在“不可能三角”，链上资源稀缺珍贵，限制了区块链的可扩展性。所以，当前区块链提升可扩展性的两大趋势，一个是模块化让轻节点负责区块验证，另一个就是将信任计算转移至链下用ZK实现。

目前ZK主要应用场景有：ZK Rollup的数据可用性验证、ZK跨链桥中继层、zkML的计算完整性证明、ZK预言机的价格信息验证。

此外，Pectra升级的Verkel树转型，将引入KZG承诺这一ZK技术，帮助实现以太坊主网的无状态化。

ZK技术虽然强大，但目前存在ZKP生成耗时过长和Prover中心化的问题。

因此，ZKP生成的硬件加速和去中心化的Prover网络，在一级市场成了ZK领域继ZK Rollup之后的新热门赛道。

近期，这一赛道的Succinct @SuccinctLabs 和 Cysic @cysic_xyz 分别完成了一笔$55M和$12M的融资。

以Cysic @cysic_xyz 为例，团队具有ZK硬件加速芯片设计能力，在此基础上推荐ZK证明层Cysic Network。

Cysic Network堆栈由结算层、计算层、Agent（干员）层三部分组成。

结算层由VC（验证委员会）和序列器网络两部分组成。VC负责检查计算层的Prover生成证明的有效性。序列器网络负责执行和更新状态数据。

计算层是一个无许可的Prover硬件网络，人们可以使用GPU或者Cysic的Asic硬件加入。

Agent（干员）层是一个ZK任务市场，由ZK Rollup、ZK跨链桥、zkML、ZK预言机等项目构成。

Cysic Network的工作流非常简明，由Agent层项目发布ZK证明任务，计算层生成ZKP证明，结算层验证ZKP证明。

由于ZKP生成服务市场目前尚处于早期，产生的收益尚不能覆盖的Prover的硬件折旧、电力成本、运营维护成本等，所以需要ZK Prover网络通过发币的形式向市场融资，再通过PoW的形式将代币奖励给Prover节点，以此促进ZKP Prover网络的采用。

最后展望一下，如坎昆升级催化了一批数十亿到数百亿FDV的L2，Pertra升级也将催化一批数十亿到数百亿FDV的ZK Prover网络。