在一次聯合基準測試中,AntChain OpenLabs 與 ZEROBASE揭示了一個長期被忽視的硬件架構瓶頸:GPU 在加速零知識證明(ZKP)方面存在根本性限制,尤其是在當前廣泛使用的Groth16證明系統中。
雖然GPU 在 MSM(多標量乘法)與 NTT(數論變換)階段可實現百倍以上的加速性能提升,但在最終關鍵階段r1cs.Solve中,由于該步驟無法并行,必須串行執行,GPU 的優勢幾乎完全失效。
這一發現擊碎了ZK 工程界一個流行假設:GPU 核心越多 ≠ 證明速度越快
為什么這件事重要?
當前大多數ZK 電路(包括 zkSNARK 類應用)仍然依賴 Groth16 作為底層證明系統。盡管 GPU 在預處理環節效果顯著,但在電路約束求解(r1cs.Solve)階段,GPU 加速幾乎無效,甚至被高頻多核 CPU 輕松碾壓
我們在實際電路測試中發現:
●MSM / NTT 階段 → GPU 表現極其優秀
●r1cs.Solve 階段 →CPU 在真實場景中性能大幅優于 GPU
這意味著:即使GPU 架構繼續擴展,ZKP 的瓶頸依然出現在最后的“拼圖”階段。
ZK 加速范式正在轉變
與其繼續在GPU 上堆砌算力,不如正視問題本質,邁向下一代 ZK 加速模型:
●面向并行的算法設計
●更合理的電路結構劃分
●多核CPU 優化的執行架構
●尊重串行步驟特性的混合加速框架
這不僅僅是硬件側的調整,更影響整個ZK 體系結構的未來,包括 DSL 電路語言、證明器架構、調度引擎等核心環節。
ZEROBASE 的立場
作為專注于可驗證計算基礎設施的加密證明網絡,ZEROBASE 致力于:
●揭示隱藏在硬件加速背后的真相
●推動zkProver 下一代架構標準建設
●深度研發基于CPU 優化路徑的可擴展 ZK 模型
我們堅信:基準測試公開透明+ 跨機構協作,才是構建高性能、可落地、可商用的ZK 基礎設施的關鍵。
特別聲明:以上內容(如有圖片或視頻亦包括在內)為自媒體平臺“網易號”用戶上傳并發布,本平臺僅提供信息存儲服務。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.