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

作者：JacobZhao 來源：mirror

“鏈下計算 + 鏈上驗證”的可信計算（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 指令級構建可驗證電路，使零知識證明直接融入以太坊主網執行與驗證流程，成爲原生可驗證的執行機制。這一脈絡體現出區塊鏈從“可擴展”邁向“可驗證”的技術躍遷，開啓可信計算的新階段。

一、以太坊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 路線圖三大主線

1. 實時證明（Realtime Proving）：在 12 秒槽時間內完成整塊證明，通過並行化與硬件加速壓縮延遲；
2. 客戶端與協議集成：標準化證明驗證接口，先可選、後默認；
3. 激勵與安全：建立 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 正從研究原型邁向生產級基礎設施。

1. 架構設計：傳統 zkVM（如 SP1、R0VM）主要依賴單機 GPU 優化。Pico Prism 首次實現多服務器、多 GPU 集羣並行證明（Cluster-Level zkProving），通過多線程與分片調度，將 zk 證明擴展爲分布式計算體系，大幅提升並行度與可擴展性。
2. 工程實現：構建多階段異步流水線（Execution / Recursion / Compression）與跨層數據復用機制（proof chunk 緩存與 embedding 重用），並支持多後端切換（KoalaBear、BabyBear、M31），顯著提升吞吐效率。
3. 硬件策略： 在 64×RTX 5090 GPU（約 $128K）配置下，Pico Prism 實現 6.0–6.9 秒平均證明時間、96.8% RTP 覆蓋率，性能/成本比提升約 3.4 倍，較 SP1 Hypercube（160×4090 GPU，10.3 秒）表現更優。
4. 系統演進： 作爲首個滿足以太坊基金會 RTP 指標（>96% sub-10s、<$100K 成本）的 zkVM， Pico Prism 標志着 zk 證明系統從研究原型邁向主網級生產基礎設施，爲 Rollup、DeFi、AI 與跨鏈驗證等場景提供更具經濟性的零知識計算方案。

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

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

Brevis 的工作流程包括三步：

1. 數據訪問：智能合約通過 API 無信任地讀取歷史數據；
2. 計算執行：開發者使用 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 — 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 性能吸引頭部協議集成，帶來證明規模增長與單次成本下降，形成持續強化的雙層飛輪。競爭優勢主要在三點：

1. 性能可復現 —— 已納入以太坊基金會 ETHProofs RTP 體系；
2. 架構壁壘 —— 模塊化設計與多 GPU 並行實現高擴展性；
3. 商業驗證 —— 已在激勵分發、動態費率與跨鏈驗證中規模化落地。

工程實現：從“重執行”到“以驗代執”

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 收入間實現結構平衡，形成可持續的商業增長閉環。