作者：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网络。
来源：金色财经
