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