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技術的大規模應用鋪平道路。