ZK硬件加速：Cysic能否成为下一个比特大陆？

ZK技术在以太坊扩容和可信计算等领域展现出巨大潜力,但目前ZKP生成效率低下阻碍了其大规模应用。为解决这一问题,ZK硬件加速方案应运而生,Cysic便是其中的佼佼者。

ZK证明系统工作流程

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

1. 问题设置:确定待证明内容
2. 算术化与CSP:将待证明内容转化为数学模型
3. 选择证明系统(如Halo2、Plonk等)生成ZKP程序
4. 证明者使用ZKP程序生成证明,验证者进行验证

ZKP生成耗时长但验证快速,这种不对称性有利于去中心化验证,但也带来了高昂成本。

ZKP生成的主要开销

ZKP生成中最耗资源的两种计算任务是MSM和NTT,占总时间的80-95%:

• MSM:处理椭圆曲线上的多标量乘法
• NTT:在有限域上进行快速傅立叶变换

MSM需要大量内存和并行计算资源,NTT则受限于随机内存访问。

ZK硬件加速方案

目前主要有GPU、FPGA和ASIC三种硬件加速方案:

• GPU:普及度高,易于开发
• FPGA:灵活性强,能效高,但开发难度大
• ASIC:效能最高,但开发周期长、成本高

Cysic的ZK加速布局

Cysic在多个层面进行了布局:

1. Cysic Network:ZK矿池和SaaS平台
   • 整合自有和第三方算力资源
   • 采用Proof of Compute共识机制

2. GPU加速:
   • 自研CUDA加速SDK
   • 聚拢大量社区GPU算力资源

3. FPGA方案:
   • 实现全球最快的MSM、NTT等模块
   • SolarMSM和SolarNTT性能领先

4. ASIC布局:
   • 推出ZK Air和ZK Pro两款硬件产品
   • 构建ZK-DePIN网络

通过多方位布局,Cysic有望成为ZK硬件加速领域的领军者,为ZK技术的大规模应用铺平道路。