【英文長推】Brevis 研究報告：zkVM 與 ZK 數據協處理器的無限可驗證計算層

Chainfeeds 導讀：

Brevis 透過整合通用 zkVM（Pico/Prism）與資料協同處理器（zkCoprocessor），構建了一個多鏈可驗證計算層。

文章來源：

Jacob Zhao

觀點：

Jacob Zhao：「可驗證計算」（Verifiable Computing）已經成為區塊鏈的通用計算模型，其核心理念是「鏈下計算 + 鏈上驗證」。這一範式使區塊鏈在保持去中心化與信任最小化安全性的同時，獲得近乎無限的計算自由。零知識證明（ZKP）是這一體系的支柱，應用方向主要包括可擴展性、隱私保護與互操作性 / 資料完整性。其中，可擴展性是最早落地的方向，透過將計算遷移到鏈下執行並在鏈上驗證簡潔證明，實現高吞吐與低成本的信任擴容。ZK 技術的演化路徑可概括為：L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM。L2 zkRollup 首次實現鏈下執行與鏈上驗證，極大提升效能；zkVM 則進一步擴展為通用的可驗證計算層，支援跨鏈驗證、AI 推理與密碼學任務；zkCoprocessor 將此模型模組化，成為 DeFi、RWA、風險管理的即插即用證明服務；L1 zkEVM 最終將零知識驗證嵌入以太坊執行層，實現即時證明（Realtime Proving, RTP）。這一演進代表區塊鏈從「可擴展性」向「可驗證性」轉型，邁入無信任計算時代。以太坊的 zkEVM 之路經歷了兩個階段：第一階段（2022–2024），L2 Rollup 遷移執行層但引入流動性與狀態碎片化；第二階段（2025–），L1 RTP 以 1-of-N 證明取代 N-of-N 複驗，在提升吞吐的同時保持去中心化。 在以太坊之外，零知識計算正邁向更廣闊的可驗證計算領域，核心體系包括 zkVM 與 zkCoprocessor。zkVM（零知識虛擬機）是通用可驗證執行引擎，支援在 RISC-V、MIPS 或 WASM 指令集上運行任意程式，證明結果可在鏈上驗證，用於區塊驗證、AI 推理及跨鏈任務。其優勢在於通用性與彈性，但生成證明的成本高、並行優化複雜。代表項目包括 RiscZero、SuccinctLabs 的 SP1 與 Brevis 的 Pico zkVM。相比之下，zkCoprocessor 更像是「特定場景的可驗證模組」，為 DeFi、RWA 等提供標準化的計算與證明介面，應用只需調用 SDK 或 API 即可獲取結果與證明，整合快、成本低，但通用性有限。兩者共享「鏈下計算 + 鏈上驗證」邏輯：執行計算的鏈上成本遠高於鏈下生成與鏈上驗證的綜合成本。業務上，zkVM 屬於「Proving-as-a-Service」模式，為基礎設施提供計算引擎；zkCoprocessor 則是「Proof-API-as-a-Service」，以任務計費的 SaaS 化結構服務應用層。前者構築技術護城河，後者推動商業落地。它們共同形成去信任化計算網路的兩極：zkVM 打造計算底座，zkCoprocessor 推動生態繁榮。 Brevis Network 將 zkVM 與 zkCoprocessor 的架構融合，打造通用高效能可驗證計算基礎設施，被稱為「無限計算層」。其 Pico zkVM 採用模組化架構，將通用執行層與硬體加速協同處理層解耦，實現「General + Specialized」雙層體系，支援多種證明後端與遞迴壓縮模組，開發者可用 Rust 編寫業務邏輯自動生成證明，大幅降低門檻。Pico Prism 進一步突破多 GPU 叢集效能，在 64×RTX5090 環境下實現平均 6.9 秒證明、96.8% RTP 覆蓋率，效能成本比領先同類 3.4 倍。Brevis 的 zk Data Coprocessor 讓智能合約具備「記憶」，能在無需信任的前提下存取歷史資料並執行驗證，用於流動性獎勵、跨鏈身份與資料驅動型 DeFi。其 Incentra 激勵層透過 ZK 證明實現鏈上透明分發，已服務 PancakeSwap、Euler、UsualMoney、Linea 等協議。根據 Brevis Explorer，至 2025 年 10 月，網路已生成 1.25 億份 ZK 證明，支援超 28 億美元 TVL、驗證交易量超 10 億美元。Brevis 依託以太坊與 EigenLayer 安全層擴展至 BNB、Linea、0G 等多生態，為鏈上激勵、流動性優化及跨鏈驗證提供底層支撐，構建出技術與應用雙向反饋的飛輪式可驗證計算網路。【原文為英文】