ZK硬件加速：Cysic如何引领ZK新纪元

近期，ZK技术在区块链领域的应用日益广泛，但其高昂的计算成本成为制约大规模采用的主要瓶颈。为解决这一问题，ZK硬件加速方案应运而生，其中Cysic作为行业领先者备受关注。

ZK证明系统的工作流程

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

1. 提交待证明内容
2. 将内容转换为数学模型
3. 选择合适的证明系统生成ZKP程序
4. 使用ZKP程序生成证明

目前区块链中广泛使用的是zk-SNARK技术，它具有证明简洁、验证成本低的特点。但ZKP的生成仍然非常耗时，这限制了其在实际应用中的推广。

ZK计算的主要瓶颈

ZK证明生成过程中，最消耗资源的是MSM(多标量乘法)和NTT(数论变换)两种计算任务，它们占用了80-95%的计算时间。

MSM涉及大量并行计算和内存访问，而NTT则需要频繁的随机内存访问。这些特点使得它们很难在传统硬件上高效执行，需要专门的硬件加速方案。

ZK硬件加速方案比较

目前主要有三种硬件可用于ZK加速:GPU、FPGA和ASIC。它们各有优缺点:

• GPU:开发门槛低,但能效较差
• FPGA:灵活性高,能效好,但开发难度大
• ASIC:性能和能效最佳,但开发周期长、成本高

Cysic在这三个方向都进行了布局,旨在为ZK行业提供全方位的硬件加速解决方案。

Cysic的ZK加速战略

Cysic的发展战略分为四个阶段:

1. 开发GPU加速SDK
2. 利用FPGA实现定制化加速
3. 研发ASIC芯片和硬件设备
4. 构建Cysic Network整合各类算力资源

其中Cysic Network作为ZK矿池和SaaS平台,将整合Cysic自有算力和第三方算力,为ZK项目提供验证服务。

Cysic的技术成果

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

在FPGA领域,Cysic实现了全球最快的MSM、NTT等模块。

在ASIC方面,Cysic正在开发两款硬件产品:面向普通用户的ZK Air和面向专业矿工的ZK Pro。

通过这些布局,Cysic有望成为ZK硬件加速领域的领导者,推动ZK技术的大规模应用。