在一次聯(lián)合基準測試中，顯卡現(xiàn)AntChain OpenLabs 與 ZEROBASE揭示了一個長期被忽視的加速硬件架構(gòu)瓶頸：GPU 在加速零知識證明（ZKP）方面存在根本性限制，尤其是并非在當前廣泛使用的 Groth16證明系統(tǒng)中。

雖然 GPU 在 MSM（多標量乘法）與 NTT（數(shù)論變換）階段可實現(xiàn) 百倍以上的終極加速性能提升，但在最終關(guān)鍵階段 r1cs.Solve 中，答案的聯(lián)由于該步驟無法并行，顯卡現(xiàn)必須串行執(zhí)行，加速GPU 的并非優(yōu)勢幾乎完全失效。

這一發(fā)現(xiàn)擊碎了 ZK 工程界一個流行假設(shè)：GPU 核心越多 ≠ 證明速度越快。終極

為什么這件事重要？答案的聯(lián)

當前大多數(shù) ZK 電路（包括 zkSNARK 類應(yīng)用）仍然依賴 Groth16 作為底層證明系統(tǒng)。盡管 GPU 在預(yù)處理環(huán)節(jié)效果顯著，顯卡現(xiàn)但在電路約束求解（r1cs.Solve）階段，加速GPU 加速幾乎無效，并非甚至被高頻多核 CPU 輕松碾壓。終極

我們在實際電路測試中發(fā)現(xiàn)：

MSM / NTT 階段 → GPU 表現(xiàn)極其優(yōu)秀r1cs.Solve 階段 → CPU 在真實場景中性能大幅優(yōu)于 GPU

這意味著：即使 GPU 架構(gòu)繼續(xù)擴展，答案的聯(lián)ZKP 的瓶頸依然出現(xiàn)在最后的“拼圖”階段。

ZK 加速范式正在轉(zhuǎn)變

與其繼續(xù)在 GPU 上堆砌算力，不如正視問題本質(zhì)，邁向下一代 ZK 加速模型：

面向并行的算法設(shè)計更合理的電路結(jié)構(gòu)劃分多核 CPU 優(yōu)化的執(zhí)行架構(gòu)尊重串行步驟特性的混合加速框架

這不僅僅是硬件側(cè)的調(diào)整，更影響整個 ZK 體系結(jié)構(gòu)的未來，包括 DSL 電路語言、證明器架構(gòu)、調(diào)度引擎等核心環(huán)節(jié)。

ZEROBASE 的立場

作為專注于可驗證計算基礎(chǔ)設(shè)施的加密證明網(wǎng)絡(luò)，ZEROBASE 致力于：

揭示隱藏在硬件加速背后的真相推動 zkProver 下一代架構(gòu)標準建設(shè)深度研發(fā)基于 CPU 優(yōu)化路徑的可擴展 ZK 模型

我們堅信：基準測試公開透明 + 跨機構(gòu)協(xié)作，才是構(gòu)建高性能、可落地、可商用的 ZK 基礎(chǔ)設(shè)施的關(guān)鍵。

本文來源：http://www.iv82.cn/news/80a37699543.html

版權(quán)聲明：本文內(nèi)容由互聯(lián)網(wǎng)用戶自發(fā)貢獻，該文觀點僅代表作者本人。本站僅提供信息存儲空間服務(wù)，不擁有所有權(quán)，不承擔相關(guān)法律責任。如發(fā)現(xiàn)本站有涉嫌抄襲侵權(quán)/違法違規(guī)的內(nèi)容，請發(fā)送郵件舉報，一經(jīng)查實，本站將立刻刪除。