區塊鏈擴容價值重建：Brevis 透過零知識虛擬機打造「可信計算層」

《 本文轉載自 0xjacobzhao，原文章標題：Brevis 研究報告：ZKVM 與資料協處理器的無限可信計算層 》

「 鏈下計算 + 鏈上驗證 」的可信計算（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 舊範式 ：所有驗證者重複執行整塊交易來校驗，安全但吞吐受限、尖峰費用高。
• N 分之一的新範式 ：由少數 prover 執行整塊並產出短證明 ；全網只做常數時間驗證 。驗證成本遠低於重執行，可安全提高 L1 gas 上限 ，並減少硬體要求。

L1 zkEVM 路線圖三大主軸

1. 即時證明（Realtime Proving）：在 12 秒的時隙內完成整塊證明，透過平行化與硬體加速壓縮延遲；
2. 客戶端與協定整合 ：標準化證明驗證介面，先可選、後預設；
3. 激勵與安全： 建立證明者市場與費用模型，強化抗審查與網路活性。

以太坊 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（約 12.8 萬美元）配置下，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 主要支援三類激勵模型：

• 代幣持有 ：基於 ERC-20 時間加權餘額（TWA）計算長期持有獎勵；
• 集中流動性 ：根據 AMM DEX 手續費比例分配流動性獎勵，相容 Gamma、Beefy 等 ALM 協議；
• 借貸 ：基於餘額與債務均值計算借貸獎勵。

該系統已應用於 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（約 12.8 萬美元） 配置下，Pico Prism 在 45M gas 區塊中實現 平均延遲 6.9 秒、96.8% 小於 10 秒、99.6% 小於 12 秒 的效能表現，顯著優於 Succinct SP1 Hypercube（36M gas，平均時間 10.3 秒，40.9% 小於 10 秒）。在延遲降低 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）

Mo Dong 博士是 Brevis Network 的共同創辦人，擁有伊利諾大學香檳分校（UIUC）電腦科學博士學位，他的研究成果發表於國際頂級學術會議，被 Google 等科技公司採納，並獲得數千次學術引用。他是演算法賽局理論與協定機制設計領域的專家，專注推動 零知識計算（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 協處理器市場競品分析

目前，以太坊基金會支持的  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 收入間實現結構平衡，形成可持續的商業成長閉環。

 

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