Brevis 研報：ZKVM 與數據協處理器的無限可信計算層

本篇文章為作者投稿：作者：0xjacobzhao | https://linktr.ee/0xjacobzhao

「鏈下計算 + 鏈上驗證」的可信計算（Verifiable Computing）範式，已成爲區塊鏈系統的通用計算模型。它讓區塊鏈應用在保持去中心化與信任最小化（trustlessness）安全性的前提下，獲得幾乎無限的計算自由度（computational freedom）。零知識證明（ZKP）是該範式的核心支柱，其應用主要集中在擴容（Scalability）、隱私（Privacy）以及互操作與數據完整性（Interoperability & Data Integrity）三大基礎方向。其中，擴容是 ZK 技術最早落地的場景，通過將交易執行移至鏈下、以簡短證明在鏈上驗證結果，實現高 TPS 與低成本的可信擴容。

ZK 可信計算的演進可概括爲 L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM。早期 L2 zkRollup 將執行遷至二層並在一層提交有效性證明（Validity Proof），以最小改動實現高吞吐與低成本擴容。 zkVM 隨後擴展爲通用可驗證計算層，支持跨鏈驗證、AI 推理與加密計算（代表項目：Risc Zero、Succinct、Brevis Pico）。 zkCoprocessor 與之並行發展，作爲場景化驗證模組，為 DeFi、RWA、風控等提供即插即用的計算與證明服務（代表項目：Brevis、Axiom）。2025 年，zkEVM 概念延伸至 L1 實時證明（Realtime Proving, RTP），在 EVM 指令級構建可驗證電路，使零知識證明直接融入以太幣主網執行與驗證流程，成爲原生可驗證的執行機制。這一脈絡體現出區塊鏈從「可擴展」邁向「可驗證」的技術躍遷，開啓可信計算的新階段。

延伸閱讀：零知識證明是什麼？為什麼 Vitalik 說 ZK 是以太坊終局？

一、以太坊 zkEVM 擴容之路：從 L2 Rollup 到 L1實時證明

以太幣的 zkEVM 擴容路徑經歷兩個階段：

• 階段一（2022–2024）：L2 zkRollup 將執行搬至二層，在一層提交有效性證明；顯著降低成本並提升吞吐，但帶來流動性與狀態碎片化，L1 仍受制於 N-of-N 重執行。

• 階段二（2025–）：L1 實時證明（Realtime Proving, RTP） 以 「1-of-N 證明 + 全網輕量驗證」 取代重執行，在不犧牲去中心化的前提下提升吞吐，仍在演進發展中。

L2 zkRollup 阶段：兼容與擴容性能間平衡

在 2022 年 在 Layer2 生態百花齊放的階段，以太幣創始人 Vitalik Buterin 提出了 ZK-EVM 四類分類（Type 1–4），系統性揭示了 兼容性（compatibility）與性能（performance）之間的結構性權衡。這一框架爲後續 zkRollup 技術路線確立了清晰的座標：

• Type 1 完全等價：與以太幣字節碼一致，遷移成本最低、證明最慢。Taiko。

• Type 2 完全兼容：極少底層優化，兼容性最強。Scroll、Linea。

• Type 2.5 準兼容：小幅改動（gas/ 預編譯等）換性能。Polygon zkEVM、Kakarot。

• Type 3 部分兼容：改動更大，能跑多數應用但難完全複用 L1 基建。zkSync Era。

• Type 4 語言級：放棄字節碼兼容，直接由高級語言編譯爲電路，性能最優但需重建生態（代表：Starknet / Cairo）。

當前 L2 zkRollup 模式已趨成熟：通過將執行遷移至二層、在一層提交有效性證明（Validity Proof），以最小改動沿用以太幣生態與工具鏈，成爲主流的擴容與降費方案。其證明對象爲 L2 區塊與狀態轉移，而結算與安全仍錨定於 L1。該架構顯著提升吞吐與效率，並保持對開發者的高度兼容，但也帶來 流動性與狀態碎片化，且 L1 仍受限於 N-of-N 重執行瓶頸。

L1 zkEVM：實時證明重塑以太坊經驗證邏輯

2025 年 7 月，以太幣基金會發表文章《Shipping an L1 zkEVM #1: Realtime Proving》 正式提出 L1 zkEVM 路線。L1 zkEVM 把以太幣從 N-of-N 重執行 升級爲 1-of-N 證明 + 全網快速驗證：由少數 prover 對整塊 EVM 狀態轉移生成短證明，所有驗證者僅做常數時間驗證。該方案在不犧牲去中心化的前提下，實現 L1 級實時證明（Realtime Proving），安全提升主網 Gas 上限與吞吐，並顯著降低節點硬件門檻。其落地計劃是以 zk 客戶端 替代傳統執行客戶端，先行並行運行，待性能、安全與激勵機制成熟後，逐步成爲協議層的新常態。

 

• N of N 舊範式：所有驗證者重複執行整塊交易來校驗，安全但吞吐受限、峰值費高。

• 1 of N 新範式：由少數 prover 執行整塊併產出短證明；全網只做常數時間驗證。驗證成本遠低於重執行，可安全提高 L1 gas 上限，並減少硬件要求。

L1 zkEVM 路線圖三大主線

• 實時證明（Realtime Proving）：在 12 秒槽時間內完成整塊證明，通過並行化與硬件加速壓縮延遲；

• 客戶端與協議集成：標準化證明驗證接口，先可選、後默認；

• 激勵與安全：建立 Prover 市場與費用模型，強化抗審查與網絡活性。

以太幣 L1 實時證明（RTP） 是用 zkVM 在鏈下重執行整塊交易並生成加密證明，讓驗證者無需重算、只需在 10 秒內驗證一個小型證明，從而實現「以驗代執」，大幅提升以太幣的可擴展性與去信任驗證效率。根據以太幣基金會官方 zkEVM Tracker 頁面，目前參與 L1 zkEVM 實時證明路線的主要團隊包括 SP1 Turbo（Succinct Labs）、Pico（Brevis）、Risc Zero、ZisK、Airbender（zkSync）、OpenVM(Axiom）和 Jolt(a16z)。

二、超越以太坊：通用 zkVM 和 zkCoprocessor

而在以太幣生態之外，零知識證明（ZKP）技術也延伸至更廣泛的 通用可驗證計算（Verifiable Computing） 領域，形成以 zkVM 與 zkCoprocessor 爲核心的兩類技術體系。

zkVM：通用可驗證計算層

面向任意程序的可驗證執行引擎，常見指令集架構包括 RISC-V、MIPS 與 WASM。開發者可將業務邏輯編譯至 zkVM，由 prover 在鏈下執行並生成可在鏈上驗證的零知識證明（ZKP），既可用於 以太幣 L1 的區塊證明，也適用於 跨鏈驗證、AI 推理、加密計算與複雜算法 等場景。其優勢是通用性與適配範圍廣，但電路複雜、證明成本高，需依賴多 GPU 並行與強工程優化。代表項目包括 Risc Zero、Succinct SP1、Brevis Pico / Prism。

zkCoprocessor：場景化可驗證模組

面向具體業務場景提供「即插即用」的計算與證明服務。平台預置數據訪問與電路邏輯（如歷史鏈上數據讀取、TVL、收益結算、身份驗證等），應用方通過 SDK / API 調用即可獲得計算結果與證明上鏈消費。該模式上手快、性能優、成本低，但通用性有限。典型項目包括 Brevis zkCoprocessor、Axiom 等。

總體而言，zkVM 與 zkCoprocessor 均遵循「鏈下計算 + 鏈上驗證」的可信計算範式，通過零知識證明在鏈上驗證鏈下結果。其經濟邏輯建立在這樣一個前提之上：鏈上直接執行的成本遠高於鏈下證明生成與鏈上驗證的綜合成本。

在通用性與工程複雜度上，二者的關鍵差異在於 ：

• zkVM 是 通用計算基礎設施，適合複雜、跨域或 AI 場景，具備最高靈活度；

• zkCoprocessor 是 模組化驗證服務，爲高頻可複用場景（DeFi、RWA、風控等）提供低成本、可直接調用的驗證接口。

在商業路徑上，zkVM 與 zkCoprocessor 二者的差異在於：

• zkVM 採用 Proving-as-a-Service 模式，按每次證明（ZKP）計費，主要面向 L2 Rollup 等基礎設施客戶，特點是合同規模大、週期長、毛利率穩定；

• zkCoprocessor 則以 Proof API-as-a-Service 爲主，通過 API 調用或 SDK 集成按任務計費，更接近 SaaS 模式，面向 DeFi 等應用層協議，集成快、擴張性強。

總體而言，zkVM 是可驗證計算的底層引擎，zkCoprocessor 是應用層驗證模組：前者構築技術護城河，後者驅動商業化落地，共同構成通用可信計算網絡。

 

三、Brevis 的產品版圖與技術路徑

從以太幣的 L1 實時證明（Realtime Proving） 出發，ZK 技術正逐步邁向以 通用 zkVM 與 zkCoprocessor 架構爲核心的 可驗證計算時代。而 Brevis Network 是 zkVM 與 zkCoprocessor 的融合體，構建了一個以零知識計算爲核心、兼具高性能與可編程性的 通用可驗證計算基礎設施 —— 通向萬物的無限計算層 (The Infinite Compute Layer for Everything.)

3.1 Pico zkVM：通用可驗證計算的模組化證明架構

2024 年 Vitalik 在《Glue and Coprocessor Architectures》中提出「通用執行層 + 協處理器加速層」（glue & coprocessor）架構。複雜計算可拆分爲通用的業務邏輯與結構化的密集計算——前者追求靈活性（如 EVM、Python、RISC-V），後者追求效率（如 GPU、ASIC、哈希模組）。這一架構正成爲區塊鏈、AI 與加密計算的共同趨勢：EVM 通過 precompile 提速，AI 藉助 GPU 並行，ZK 證明則結合通用 VM 與專用電路。未來的關鍵，是讓「膠水層」優化安全與開發體驗，而「協處理層」聚焦高效執行，在性能、安全與開放性之間取得平衡。

Pico zkVM 由 Brevis 開發，正是這一理念的代表性實現。通過 「通用 zkVM + 協處理器加速」 架構，將靈活的可編程性與專用電路的高性能計算結合。其模組化設計支持多種證明後端（KoalaBear、BabyBear、Mersenne31），並可自由組合執行、遞歸、壓縮等組件形成 ProverChain。

Pico 的模組化體系不僅可自由重組核心組件，還能引入新的證明後端與應用級協處理器（如鏈上數據、zkML、跨鏈驗證），實現持續演進的可擴展性。開發者可直接使用 Rust 工具鏈編寫業務邏輯，無需零知識背景即可自動生成加密證明，大幅降低開發門檻。

相較於 Succinct SP1 的相對單體化 RISC-V zkVM 架構和 RISC Zero R0VM 的通用 RISC-V 執行模型，Pico 通過 Modular zkVM + Coprocessor System 實現執行、遞歸與壓縮階段的解耦與擴展，支持多後端切換及協處理器集成，在性能與可擴展性上形成差異化優勢。

3.2 Pico Prism：多 GPU 集群的性能突破

Pico Prism 是 Brevis 在多服務器 GPU 架構上的重要突破，並在以太幣基金會的「實時證明（Real-Time Proving, RTP）」框架下創下新紀錄。在 64×5090 GPU 集群上實現 6.9 秒平均證明時間 與 96.8% RTP 覆蓋率，性能位居同類 zkVM 之首。該系統在架構、工程、硬件與系統層面均實現優化，標誌着 zkVM 正從研究原型邁向生產級基礎設施。

• 架構設計：傳統 zkVM（如 SP1、R0VM）主要依賴單機 GPU 優化。Pico Prism 首次實現多服務器、多 GPU 集群並行證明（Cluster-Level zkProving），通過多線程與分片調度，將 zk 證明擴展爲分佈式計算體系，大幅提升並行度與可擴展性。

• 工程實現：構建多階段異步流水線（Execution / Recursion / Compression）與跨層數據複用機制（proof chunk 緩存與 embedding 重用），並支持多後端切換（KoalaBear、BabyBear、M31），顯著提升吞吐效率。

• 硬件策略： 在 64×RTX 5090 GPU（約 $128K）配置下，Pico Prism 實現 6.0–6.9 秒平均證明時間、96.8% RTP 覆蓋率，性能 / 成本比提升約 3.4 倍，較 SP1 Hypercube（160×4090 GPU，10.3 秒）表現更優。

• 系統演進： 作爲首個滿足以太幣基金會 RTP 指標（>96% sub-10s、<$100K 成本）的 zkVM， Pico Prism 標誌着 zk 證明系統從研究原型邁向主網級生產基礎設施，爲 Rollup、DeFi、AI 與跨鏈驗證等場景提供更具經濟性的零知識計算方案。

3.3 ZK Data Coprocessor：區塊鏈數據智能零知識協處理層

智能合約原生設計中「缺乏記憶」——無法訪問歷史數據、識別長期行爲或跨鏈分析。Brevis 提供的高性能的零知識協處理器（ZK Coprocessor），爲智能合約提供跨鏈歷史數據訪問與可信計算能力，對區塊鏈的全部歷史狀態、交易與事件進行驗證與計算，應用於數據驅動型 DeFi、主動流動性管理、用戶激勵及跨鏈身份識別 等場景。

Brevis 的工作流程包括三步：

• 數據訪問：智能合約通過 API 無信任地讀取歷史數據；

• 計算執行：開發者使用 SDK 定義業務邏輯，由 Brevis 鏈下計算並生成 ZK 證明；

結果驗證：證明結果回傳鏈上，由合約驗證並調用後續邏輯。

Brevis 同時支持 Pure-ZK 與 CoChain（OP）模型：前者實現完全信任最小化，但成本較高；後者通過 PoS 驗證與 ZK 挑戰機制，允許以更低成本實現可驗證計算。驗證者在以太幣上質押，若結果被 ZK 證明挑戰成功將被罰沒，從而在安全與效率間取得平衡。通過 ZK + PoS + SDK 的架構融合，Brevis 在安全性與效率之間取得平衡，構建出一個可擴展的可信數據計算層。目前，Brevis 已服務於 PancakeSwap、Euler、Usual、Linea 等協議，所有 zkCoprocessor 合作 均基於 Pure-ZK 模式，爲 DeFi、獎勵分配與鏈上身份系統提供可信數據支撐，使智能合約真正具備「記憶與智能」。

3.4 Incentra：基於 ZK 的「可驗證激勵分發層」

Incentra 是由 Brevis zkCoprocessor 驅動的可信激勵分發平台，為 DeFi 協議提供安全、透明、可驗證的獎勵計算與發放機制。它通過零知識證明在鏈上直接驗證激勵結果，實現了 無信任、低成本、跨鏈化 的激勵執行。系統在 ZK 電路中完成獎勵計算與驗證，確保任何用戶都可獨立驗證結果；同時支持跨鏈操作與訪問控制，實現合規、安全的自動化激勵分發。

Incentra 主要支持三類激勵模型：

• Token Holding：基於 ERC-20 時間加權餘額（TWA）計算長揸獎勵；

• Concentrated Liquidity：根據 AMM DEX 手續費比例分配流動性獎勵，兼容 Gamma、Beefy 等 ALM 協議；

• Lend & Borrow：基於餘額與債務均值計算借貸獎勵。

該系統已應用於 PancakeSwap、Euler、Usual、Linea 等項目，實現從激勵計算到分發的全鏈可信閉環，爲 DeFi 協議提供了 ZK 級的可驗證激勵基礎設施。

3.5 Brevis 產品技術技术棧總覽

 

四、Brevis zkVM 技術指標與性能突破

以太幣基金會（EF）提出的 L1 zkEVM 實時證明標準（Realtime Proving, RTP），已成爲 zkVM 能否進入以太幣主網驗證路線的行業共識與准入門檻，其核心評估指標包括：

• 延遲要求： P99 ≤ 10 秒（匹配以太幣 12 秒出塊週期）；

• 硬件約束： CAPEX ≤ $100K、功耗 ≤ 10kW（適配家用 / 小型機房）；

• 安全等級： ≥128-bit（過渡期 ≥100-bit）；

• 證明尺寸： ≤300 KiB；

• 系統要求： 不得依賴可信設置、核心代碼需完全開源。

 

2025 年 10 月，Brevis 發布《》報告，宣布其 Pico Prism 成为首个全面通过以太坊基金会（EF）实时块证明（RTP）标准的 zkVM。

2025 年 10 月，Brevis 發佈《Pico Prism — 99.6% Real-Time Proving for 45M Gas Ethereum Blocks on Consumer Hardware》報告，宣佈其 Pico Prism 成爲首個全面通過以太幣基金會（EF）實時塊證明（RTP）標準的 zkVM。

在 64×RTX 5090 GPU（約 $128K） 配置下，Pico Prism 在 45M gas 區塊中實現 平均延遲 6.9 秒、96.8% <10s、99.6% <12s 的性能表現，顯著優於 Succinct SP1 Hypercube（36M gas，均時 10.3s，40.9% <10s）。在延遲降低 71%、硬件成本減半的條件下，整體性能 / 成本效率提升約 3.4×。該成果已獲以太坊基金會、Vitalik Buterin 與 Justin Drake 的公開認可。

 

五、Brevis 生態擴張與應用落地

Brevis 的 ZK 數據協處理器 (zkCoprocessor)，負責處理 dApp 無法高效完成的複雜計算（如歷史行爲、跨鏈數據、聚合分析），並生成可驗證的 零知識證明（ZKP）。鏈上僅需驗證這份小證明即可安全調用結果，大幅降低 Gas、延遲與信任成本。相較傳統預言機，Brevis 提供的不只是「結果」，更是「結果正確的數學保證」，其主要應用場景可以分爲如下幾類：

• 智能 DeFi（Intelligent DeFi）：基於歷史行爲與市場狀態，實現智能激勵與差異化體驗（PancakeSwap、Uniswap、MetaMask 等）

• RWA 與穩定幣增長（RWA & Stable Token Growth）：通過 ZK 驗證實現穩定幣與 RWA 收益的自動化分配（OpenEden、Usual Money、MetaMask USD）

• 隱私去中心化交易（DEX with Dark Pools）：採用鏈下撮合與鏈上驗證的隱私交易模型，即將上線

• 跨鏈互操作（Cross-chain Interoperability）：支持跨鏈再質押與 Rollup–L1 互操作，構建共享安全層（Kernel、Celer、0G）

• 公鏈冷啓動（Blockchain Bootstrap）：以 ZK 激勵機制助力新公鏈生態冷啓動與增長（Linea、TAC）

• 高性能公鏈（100× Faster L1s）：通過實時證明（RTP）技術推動以太幣等公鏈性能提升（Ethereum、BNB Chain）

• 可驗證 AI（Verifiable AI）：融合隱私保護與可驗證推理，爲 AgentFi 與數據經濟提供可信算力（Kaito、Trusta）

根據 Brevis Explorer 數據，截至 2025 年 10 月，Brevis 網絡 已累計生成超 1.25 億條 ZK 證明，覆蓋 近 9.5 萬個地址、9.6 萬次應用請求，廣泛服務於獎勵分發、交易驗證與質押證明等場景。生態層面，平台累計分發激勵約 2.23 億美元，支撐的 TVL 超 28 億美元，相關交易量累計突破 10 億美元。

當前 Brevis 的生態業務主要聚焦 DeFi 激勵分發 與 流動性優化 兩大方向，算力核心消耗由 Usual Money、PancakeSwap、Linea Ignition、Incentra 四個項目貢獻，合計佔比超 85%。其中

• Usual Money（46.6M proofs）：展現其在大規模激勵分發中的長期穩定性；

• PancakeSwap（20.6M）：體現 Brevis 在實時費率與折扣計算中的高性能；

• Linea Ignition（20.4M）：驗證其在 L2 生態活動中的高併發處理能力；

• Incentra（15.2%）：標誌着 Brevis 從 SDK 工具向標準化激勵平台的演進。

在 DeFi 激勵領域，Brevis 依託 Incentra 平台支撐多個協議實現透明、持續的獎勵分配：

• Usual Money 年激勵規模超 $300M，爲穩定幣用戶與 LP 提供持續收益；

• OpenEden 與 Bedrock 基於 CPI 模型實現美債與 Restaking 收益分配；

• Euler、Aave、BeraBorrow 等協議通過 ZK 驗證借貸倉位與獎勵計算。

在 流動性優化 方面，PancakeSwap、QuickSwap、THENA、Beefy 等採用 Brevis 的動態費率與 ALM 激勵插件，實現交易折扣與跨鏈收益聚合；Jojo Exchange 與 Uniswap Foundation 則利用 ZK 驗證機制構建更安全的交易激勵體系。

在 跨鏈與基礎設施層，Brevis 已從以太幣擴展至 BNB Chain、Linea、Kernel DAO、TAC 與 0G，爲多鏈生態提供可信計算與跨鏈驗證能力。與此同時，Trusta AI、Kaito AI、MetaMask 等項目正利用 ZK Data Coprocessor 構建隱私保護型積分、影響力評分與獎勵系統，推動 Web3 數據智能化發展。在系統底層，Brevis 依託 EigenLayer AVS 網絡 提供再質押安全保障，並結合 NEBRA 聚合證明（UPA） 技術，將多份 ZK 證明壓縮爲單次提交，顯著降低鏈上驗證成本與延遲。

整體來看，Brevis 已覆蓋從 長期激勵、活動獎勵、交易驗證到平台化服務 的全週期應用場景。其高頻驗證任務與可複用電路模板爲 Pico/Prism 提供了真實的性能壓力與優化反饋，有望在工程與生態層面反哺 L1 zkVM 實時證明體系，形成技術與應用的雙向飛輪。

六、團隊背景及項目融資

Mo Dong｜共同創始人（Co-founder, Brevis Network）

Dr. Mo Dong 是 Brevis Network 的共同創始人，擁有伊利諾伊大學香檳分校（UIUC）計算機科學博士學位，他的研究成果發表於國際頂級學術會議，被谷歌等科技公司採納，並獲得數千次學術引用。他是算法博弈論與協議機制設計領域的專家，專注推動 零知識計算（ZK） 與 去中心化激勵機制 的結合，致力於構建可信的 Verifiable Compute Economy。作爲 IOSG Ventures 的風險合夥人，亦長期關注 Web3 基礎設施的早期投資。

Brevis 團隊由來自 UIUC、MIT、UC Berkeley 的密碼學與計算機科學博士創立，核心成員在零知識證明系統（ZKP）與分佈式系統領域具有多年研究經驗，並發表多篇經過同行評審的論文。Brevis 曾獲 以太坊基金會（Ethereum Foundation） 的技術認可，其核心模組被視爲關鍵的鏈上可擴展性基礎設施。

Brevis 於 2024 年 11 月完成 750 萬美元種子輪融資，由 Polychain Capital 與 Binance Labs 共同領投，參投方包括 IOSG Ventures、Nomad Capital、HashKey、Bankless Ventures 及來自 Kyber、Babylon、Uniswap、Arbitrum、AltLayer 的戰略天使投資人。

七、ZKVM 與 ZK Coprocessor 市場競品分析

目前，以太坊基金會支持的 ETHProofs.org 已成爲 L1 zkEVM 實時證明（Realtime Proving, RTP）路線的核心追蹤平台，用於公開展示各 zkVM 的性能、安全與主網適配進展。

綜合來看，RTP 賽道競爭正聚焦四個核心維度：

• 成熟度：SP1 生產化部署最成熟；Pico 性能領先且接近主網標準；RISC Zero 穩定但 RTP 數據未公開。

• 性能表現：Pico 證明體積約 990 kB，較 SP1（1.48 MB）縮小約 33%，成本更低；

• 安全與審計：RISC Zero 與 SP1 均已通過獨立安全審計；Pico 正在審計流程中；

• 開發生態：主流 zkVM 均採用 RISC-V 指令集，SP1 依託 Succinct Rollup SDK 形成廣泛集成生態；Pico 支持 Rust 自動生成證明，SDK 完善度快速提升。

從最新數據看，目前 RTP 賽道已形成兩強格局

• 第一梯隊 Brevis Pico（含 Prism） 與 Succinct SP1 Hypercube 均直指 EF 設定的 P99 ≤ 10s 標準。前者以分佈式多 GPU 架構實現性能與成本突破；後者以單體化系統保持工程成熟與生態穩健。Pico 代表性能與架構創新，SP1 代表實用化與生態領先。

• 第二梯隊 RISC Zero、ZisK、ZKM 在生態兼容與輕量化方面持續探索，但尚未公開完整 RTP 指標（延遲、功耗、CAPEX、安全位、證明體積、可復現性）。Scroll（Ceno） 與 Matter Labs（Airbender） 則嘗試將 Rollup 技術延伸至 L1 驗證層，體現出從 L2 擴容向 L1 可驗證計算的演進趨勢。

2025 年，zkVM 賽道已形成以 RISC-V 統一、模組化演進、遞歸標準化、硬件加速並行 的技術格局。zkVM 的通用可驗證計算層（Verifiable Compute Layer）可分爲三個類別：

• 性能導向型：Brevis Pico、SP1、Jolt、ZisK 聚焦低延遲與實時證明，通過遞歸 STARK 與 GPU 加速提升計算吞吐。

• 模組化與可擴展型：OpenVM、Pico、SP1 強調模組化可插拔，支持協處理器接入。

• 生態與通用開發型：RISC Zero、SP1、ZisK 聚焦 SDK 與語言兼容，推動普適化。

zkVM 競品項目對比（截至 2025 年 10 月）

 

當前 zk-Coprocessor 賽道已形成以 Brevis、Axiom、Herodotus、Lagrange 爲代表的格局。 其中 Brevis 以「ZK 數據協處理器 + 通用 zkVM」融合架構領先，兼具歷史數據讀取、可編程計算與 L1 RTP 能力；Axiom 聚焦可驗證查詢與電路回調；Herodotus 專注歷史狀態訪問；Lagrange 以 ZK+Optimistic 混合架構優化跨鏈計算性能。 整體來看，zk-Coprocessor 正以「可驗證服務層」的方式成爲連接 DeFi、RWA、AI、身份 等應用的可信計算接口。

八、總结：商業邏輯、工程實現及潛在風險

商業邏輯：性能驅動與雙層飛輪

Brevis 以「通用 zkVM（Pico/Prism）」與「數據協處理器（zkCoprocessor）」構建多鏈可信計算層：前者解決任意計算可驗證問題，後者實現歷史與跨鏈數據的業務落地。

其增長邏輯形成「性能—生態—成本」正循環：Pico Prism 的 RTP 性能吸引頭部協議集成，帶來證明規模增長與單次成本下降，形成持續強化的雙層飛輪。競爭優勢主要在三點：

• 性能可復現 —— 已納入以太幣基金會 ETHProofs RTP 體系；

• 架構壁壘 —— 模塊化設計與多 GPU 並行實現高擴展性；

• 商業驗證 —— 已在激勵分發、動態費率與跨鏈驗證中規模化落地。

工程實現：從「重執行」到「以驗代執」

Brevis 通過 Pico zkVM 與 Prism 並行框架，在 45M gas 區塊中實現平均 6.9 秒、P99 < 10 秒（64×5090 GPU，<$130 K CAPEX），性能與成本均處領先。 zkCoprocessor 模塊支持歷史數據讀取、電路生成與回鏈驗證，並可在 Pure-ZK 與 Hybrid 模式間靈活切換，整體性能已基本對齊以太幣 RTP 硬標準。

潛在風險與關注要點

• 技術與合規門檻：Brevis 仍需完成功耗、安全位、證明大小及可信設置依賴等硬指標的公開與第三方驗證。長尾性能優化仍爲關鍵，EIP 調整可能改變性能瓶頸。

• 競爭與替代風險： Succinct（SP1/Hypercube）在工具鏈與生態整合上依然領先，Risc Zero、Axiom、OpenVM、Scroll、zkSync 等團隊競爭力依然不容忽視。

• 收入集中與業務結構： 當前證明量高度集中（前四大應用佔比約 80%），需通過多行業、多公鏈、多用例拓展降低依賴。GPU 成本或將影響單位毛利。

綜合來看，Brevis 已在「性能可復現」與「業務可落地」兩端構築了初步護城河：Pico/Prism 已穩居 L1 RTP 賽道第一梯隊，zkCoprocessor 則打開高頻、可複用的商業化場景。未來建議以達成以太幣基金會 RTP 全量硬指標爲階段性目標，持續強化協處理器產品標準化與生態拓展，同時推進第三方復現、安全審計與成本透明。通過在基礎設施與 SaaS 收入間實現結構平衡，形成可持續的商業增長閉環。

 

免責聲明：本文在創作過程中藉助了 ChatGPT-5 的 AI 工具輔助完成，作者已盡力校對並確保資訊真實與準確，但仍難免存在疏漏，敬請諒解。需特別提示的是，加密資產市場普遍存在著專案基本面與二級市場價格表現背離的情況。本文內容僅用於資訊整合與學術/研究交流，不構成任何投資建議，亦不應視為任何代幣的買賣推薦。