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

近期,隨着Scroll、Starknet等ZK Rollup項目的火熱,ZK硬件加速再次成爲市場熱點。業內普遍認爲,基於ZK技術的巨大需求空間,ZK礦池及實時ZKP生成的SaaS模式有望開闢全新的產業鏈,有實力且具備先發優勢的ZK硬件廠商有望成爲下一個比特大陸。

在ZK硬件加速領域,Cysic是最受關注的項目之一。該團隊曾獲ZPrize重要獎項,並獲得Polychain、BCHDE等頂級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計算市場的爆發式增長。