ZK硬件加速市场崛起,Cysic或成下一代比特大陆

近期,随着Scroll、Starknet等ZK Rollup项目的火热,ZK硬件加速再次成为市场热点。业内普遍认为,基于ZK技术的巨大需求空间,ZK矿池及实时ZKP生成的SaaS模式有望开辟全新的产业链,有实力且具备先发优势的ZK硬件厂商有望成为下一个比特大陆。

在ZK硬件加速领域,Cysic是最受关注的项目之一。该团队曾获ZPrize重要奖项,并获得Polychain、ABCDE等顶级VC近2000万美元融资。随着Cysic测试网和ZK矿池即将上线,市场对其关注度持续升温。

ZK证明系统工作流程

ZK证明系统的核心流程包括:

1. 问题设置:确定待证明内容
2. 算术化与CSP:将待证明内容转化为逻辑电路和多项式
3. 选择证明系统(如Halo2、Plonk等)编译ZKP程序
4. 证明者使用ZKP程序生成证明,交由验证者验证

ZK Rollup项目采用zk-SNARK技术,利用其简洁性将验证成本集中在Prover侧,但高昂的ZKP生成成本制约了大规模应用。

ZKP生成的主要开销

ZKP生成中最耗资源的两种计算是:

• MSM(Multi-Scalar Multiplication):椭圆曲线上的多标量乘法
• NTT(Number Theoretic Transform):有限域上的快速傅立叶变换

这两种计算占据证明生成时间的80-95%。MSM需要大量内存资源,NTT涉及随机内存访问,对硬件不友好。

ZK硬件加速方案

目前主要有三种硬件可实现ZK加速:

1. GPU:普及度高,开发门槛低,但能效较差
2. FPGA:灵活性高,能效好,但开发难度大
3. ASIC:效能最高,能耗最低,但开发周期长、成本高

Cysic的发展战略是:

1. 基于GPU开发SDK,整合全网GPU资源
2. 利用FPGA实现定制化ZK硬件加速
3. 研发基于ASIC的ZK DePIN硬件
4. 构建Cysic Network作为ZK矿池和SaaS平台

Cysic Network

Cysic Network作为ZK矿池和SaaS平台,将整合Cysic自有算力和第三方算力资源。其工作流程包括:

1. ZK项目方提交证明任务给Agent
2. Prover接受任务并生成ZK证明
3. 验证者委员会检查证明有效性并投票

Cysic Network搭建了专属公链,采用Proof of Compute (PoC)共识算法。

Cysic的硬件加速布局

GPU方面,Cysic自研CUDA SDK比开源框架提速50%-80%以上。

FPGA方面,Cysic完成了全球最快的MSM、NTT等模块实现。

ASIC方面,Cysic推出两款ZK DePIN产品:

• ZK Air:面向C端用户,可通过Type-C接口连接设备
• ZK Pro:面向大型ZK项目,算力相当于顶级GPU服务器

Cysic Network将整合这些硬件资源,为ZK行业提供算力和验证解决方案,有望引领新一轮ZK计算市场的爆发式增长。