作者：JacobZhao 來源：mirror
“鏈下計算 + 鏈上驗證”的可信計算（Verifiable Computing）范式，已成為區(qū)塊鏈系統(tǒng)的通用計算模型。它讓區(qū)塊鏈應用在保持去中心化與信任最小化（trustlessness）安全性的前提下，獲得幾乎無限的計算自由度（computational freedom）。零知識證明（ZKP）是該范式的核心支柱，其應用主要集中在擴容（Scalability）、隱私（Privacy）以及互操作與數(shù)據(jù)完整性（Interoperability & Data Integrity）三大基礎方向。其中，擴容是 ZK 技術(shù)最早落地的場景，通過將交易執(zhí)行移至鏈下、以簡短證明在鏈上驗證結(jié)果，實現(xiàn)高 TPS 與低成本的可信擴容。
ZK 可信計算的演進可概括為?L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM。早期?L2 zkRollup?將執(zhí)行遷至二層并在一層提交有效性證明（Validity Proof），以最小改動實現(xiàn)高吞吐與低成本擴容。?zkVM?隨后擴展為通用可驗證計算層，支持跨鏈驗證、AI 推理與加密計算（代表項目：Risc Zero、Succinct、Brevis Pico）。?zkCoprocessor?與之并行發(fā)展，作為場景化驗證模塊，為 DeFi、RWA、風控等提供即插即用的計算與證明服務（代表項目：Brevis、Axiom）。2025 年，zkEVM?概念延伸至?L1 實時證明（Realtime Proving, RTP），在 EVM 指令級構(gòu)建可驗證電路，使零知識證明直接融入以太坊主網(wǎng)執(zhí)行與驗證流程，成為原生可驗證的執(zhí)行機制。這一脈絡體現(xiàn)出區(qū)塊鏈從“可擴展”邁向“可驗證”的技術(shù)躍遷，開啟可信計算的新階段。
以太坊的 zkEVM 擴容路徑經(jīng)歷兩個階段：
階段一（2022–2024）：L2 zkRollup將執(zhí)行搬至二層，在一層提交有效性證明；顯著降低成本并提升吞吐，但帶來流動性與狀態(tài)碎片化，L1 仍受制于?N-of-N 重執(zhí)行。
階段二（2025–）：L1 實時證明（Realtime Proving, RTP）?以 “1-of-N 證明 + 全網(wǎng)輕量驗證” 取代重執(zhí)行，在不犧牲去中心化的前提下提升吞吐，仍在演進發(fā)展中。
在 2022 年 在Layer2生態(tài)百花齊放的階段，以太坊創(chuàng)始人?Vitalik Buterin?提出了?ZK-EVM 四類分類（Type 1–4），系統(tǒng)性揭示了 兼容性（compatibility）與性能（performance）之間的結(jié)構(gòu)性權(quán)衡。這一框架為后續(xù) zkRollup 技術(shù)路線確立了清晰的坐標：
Type 1 完全等價：與以太坊字節(jié)碼一致，遷移成本最低、證明最慢。Taiko。
Type 2 完全兼容：極少底層優(yōu)化，兼容性最強。Scroll、Linea。
Type 2.5 準兼容：小幅改動（gas/預編譯等）換性能。Polygon zkEVM、Kakarot。
Type 3 部分兼容：改動更大，能跑多數(shù)應用但難完全復用 L1 基建。zkSync Era。
Type 4 語言級：放棄字節(jié)碼兼容，直接由高級語言編譯為電路，性能最優(yōu)但需重建生態(tài)（代表：Starknet / Cairo）。
當前?L2 zkRollup?模式已趨成熟：通過將執(zhí)行遷移至二層、在一層提交有效性證明（Validity Proof），以最小改動沿用以太坊生態(tài)與工具鏈，成為主流的擴容與降費方案。其證明對象為?L2 區(qū)塊與狀態(tài)轉(zhuǎn)移，而結(jié)算與安全仍錨定于 L1。該架構(gòu)顯著提升吞吐與效率，并保持對開發(fā)者的高度兼容，但也帶來?流動性與狀態(tài)碎片化，且?L1 仍受限于 N-of-N 重執(zhí)行瓶頸。
2025 年 7 月，以太坊基金會發(fā)表文章《Shipping an L1 zkEVM #1: Realtime Proving》 正式提出 L1 zkEVM 路線。L1 zkEVM 把以太坊從?N-of-N 重執(zhí)行?升級為?1-of-N 證明 + 全網(wǎng)快速驗證：由少數(shù) prover 對整塊 EVM 狀態(tài)轉(zhuǎn)移生成短證明，所有驗證者僅做常數(shù)時間驗證。該方案在不犧牲去中心化的前提下，實現(xiàn)?L1 級實時證明（Realtime Proving），安全提升主網(wǎng)?Gas 上限與吞吐，并顯著降低節(jié)點硬件門檻。其落地計劃是以?zk 客戶端?替代傳統(tǒng)執(zhí)行客戶端，先行并行運行，待性能、安全與激勵機制成熟后，逐步成為協(xié)議層的新常態(tài)。
N of N 舊范式：所有驗證者重復執(zhí)行整塊交易來校驗，安全但吞吐受限、峰值費高。
1 of N 新范式：由少數(shù)?prover?執(zhí)行整塊并產(chǎn)出短證明；全網(wǎng)只做常數(shù)時間驗證。驗證成本遠低于重執(zhí)行，可安全提高 L1 gas 上限，并減少硬件要求。
L1 zkEVM 路線圖三大主線
實時證明（Realtime Proving）：在 12 秒槽時間內(nèi)完成整塊證明，通過并行化與硬件加速壓縮延遲；
客戶端與協(xié)議集成：標準化證明驗證接口，先可選、后默認；
激勵與安全：建立 Prover 市場與費用模型，強化抗審查與網(wǎng)絡活性。
以太坊 L1 實時證明（RTP）?是用 zkVM 在鏈下重執(zhí)行整塊交易并生成加密證明，讓驗證者無需重算、只需在 10 秒內(nèi)驗證一個小型證明，從而實現(xiàn)“以驗代執(zhí)”，大幅提升以太坊的可擴展性與去信任驗證效率。根據(jù)以太坊基金會官方?zkEVM Tracker?頁面，目前參與?L1 zkEVM 實時證明路線的主要團隊包括 SP1 Turbo（Succinct Labs）、Pico（Brevis）、Risc Zero、ZisK、Airbender（zkSync）、OpenVM(Axiom）和Jolt(a16z)。
而在以太坊生態(tài)之外，零知識證明（ZKP）技術(shù)也延伸至更廣泛的?通用可驗證計算（Verifiable Computing）?領(lǐng)域，形成以?zkVM?與?zkCoprocessor?為核心的兩類技術(shù)體系。
面向任意程序的可驗證執(zhí)行引擎，常見指令集架構(gòu)包括?RISC-V、MIPS 與 WASM。開發(fā)者可將業(yè)務邏輯編譯至 zkVM，由 prover 在鏈下執(zhí)行并生成可在鏈上驗證的零知識證明（ZKP），既可用于?以太坊 L1 的區(qū)塊證明，也適用于?跨鏈驗證、AI 推理、加密計算與復雜算法?等場景。其優(yōu)勢是通用性與適配范圍廣，但電路復雜、證明成本高，需依賴多 GPU 并行與強工程優(yōu)化。代表項目包括?Risc Zero、Succinct SP1、Brevis Pico / Prism。
面向具體業(yè)務場景提供“即插即用”的計算與證明服務。平臺預置數(shù)據(jù)訪問與電路邏輯（如歷史鏈上數(shù)據(jù)讀取、TVL、收益結(jié)算、身份驗證等），應用方通過?SDK / API?調(diào)用即可獲得計算結(jié)果與證明上鏈消費。該模式上手快、性能優(yōu)、成本低，但通用性有限。典型項目包括?Brevis zkCoprocessor、Axiom等。
總體而言，zkVM?與?zkCoprocessor?均遵循“鏈下計算 + 鏈上驗證”的可信計算范式，通過零知識證明在鏈上驗證鏈下結(jié)果。其經(jīng)濟邏輯建立在這樣一個前提之上：鏈上直接執(zhí)行的成本遠高于鏈下證明生成與鏈上驗證的綜合成本。
在通用性與工程復雜度上，二者的關(guān)鍵差異在于 ：
zkVM 是?通用計算基礎設施，適合復雜、跨域或 AI 場景，具備最高靈活度；
zkCoprocessor 是?模塊化驗證服務，為高頻可復用場景（DeFi、RWA、風控等）提供低成本、可直接調(diào)用的驗證接口。
在商業(yè)路徑上，zkVM 與 zkCoprocessor 二者的差異在于：
zkVM 采用?Proving-as-a-Service?模式，按每次證明（ZKP）計費，主要面向 L2 Rollup 等基礎設施客戶，特點是合同規(guī)模大、周期長、毛利率穩(wěn)定；
zkCoprocessor 則以?Proof API-as-a-Service?為主，通過 API 調(diào)用或 SDK 集成按任務計費，更接近 SaaS 模式，面向 DeFi等應用層協(xié)議，集成快、擴張性強。
總體而言，zkVM 是可驗證計算的底層引擎，zkCoprocessor 是應用層驗證模塊：前者構(gòu)筑技術(shù)護城河，后者驅(qū)動商業(yè)化落地，共同構(gòu)成通用可信計算網(wǎng)絡。
從以太坊的?L1 實時證明（Realtime Proving）?出發(fā)，ZK 技術(shù)正逐步邁向以?通用 zkVM?與?zkCoprocessor?架構(gòu)為核心的?可驗證計算時代。而Brevis Network?是 zkVM 與 zkCoprocessor 的融合體，構(gòu)建了一個以零知識計算為核心、兼具高性能與可編程性的?通用可驗證計算基礎設施?—— 通向萬物的無限計算層(The Infinite Compute Layer for Everything.)
2024年Vitalik 在《Glue and Coprocessor Architectures》中提出“**通用執(zhí)行層 + 協(xié)處理器加速層”（glue & coprocessor）**架構(gòu)。復雜計算可拆分為通用的業(yè)務邏輯與結(jié)構(gòu)化的密集計算——前者追求靈活性（如 EVM、Python、RISC-V），后者追求效率（如 GPU、ASIC、哈希模塊）。這一架構(gòu)正成為區(qū)塊鏈、AI 與加密計算的共同趨勢：EVM 通過 precompile 提速，AI 借助 GPU 并行，ZK 證明則結(jié)合通用 VM 與專用電路。未來的關(guān)鍵，是讓“膠水層”優(yōu)化安全與開發(fā)體驗，而“協(xié)處理層”聚焦高效執(zhí)行，在性能、安全與開放性之間取得平衡。
Pico zkVM?由?Brevis開發(fā)，正是這一理念的代表性實現(xiàn)。通過?“通用 zkVM + 協(xié)處理器加速”?架構(gòu)，將靈活的可編程性與專用電路的高性能計算結(jié)合。其模塊化設計支持多種證明后端（KoalaBear、BabyBear、Mersenne31），并可自由組合執(zhí)行、遞歸、壓縮等組件形成?ProverChain。
Pico 的模塊化體系不僅可自由重組核心組件，還能引入新的證明后端與應用級協(xié)處理器（如鏈上數(shù)據(jù)、zkML、跨鏈驗證），實現(xiàn)持續(xù)演進的可擴展性。開發(fā)者可直接使用 Rust 工具鏈編寫業(yè)務邏輯，無需零知識背景即可自動生成加密證明，大幅降低開發(fā)門檻。
相較于?Succinct SP1?的相對單體化 RISC-V zkVM 架構(gòu)和?RISC Zero R0VM?的通用 RISC-V 執(zhí)行模型，Pico?通過?Modular zkVM + Coprocessor System?實現(xiàn)執(zhí)行、遞歸與壓縮階段的解耦與擴展，支持多后端切換及協(xié)處理器集成，在性能與可擴展性上形成差異化優(yōu)勢。
Pico Prism 是 Brevis 在多服務器 GPU 架構(gòu)上的重要突破，并在以太坊基金會的“實時證明（Real-Time Proving, RTP）”框架下創(chuàng)下新紀錄。在 64×5090 GPU 集群上實現(xiàn)?6.9 秒平均證明時間?與?96.8% RTP 覆蓋率，性能位居同類 zkVM 之首。該系統(tǒng)在架構(gòu)、工程、硬件與系統(tǒng)層面均實現(xiàn)優(yōu)化，標志著 zkVM 正從研究原型邁向生產(chǎn)級基礎設施。
架構(gòu)設計：傳統(tǒng) zkVM（如 SP1、R0VM）主要依賴單機 GPU 優(yōu)化。Pico Prism 首次實現(xiàn)多服務器、多 GPU 集群并行證明（Cluster-Level zkProving），通過多線程與分片調(diào)度，將 zk 證明擴展為分布式計算體系，大幅提升并行度與可擴展性。
工程實現(xiàn)：構(gòu)建多階段異步流水線（Execution / Recursion / Compression）與跨層數(shù)據(jù)復用機制（proof chunk 緩存與 embedding 重用），并支持多后端切換（KoalaBear、BabyBear、M31），顯著提升吞吐效率。
硬件策略：?在 64×RTX 5090 GPU（約 $128K）配置下，Pico Prism 實現(xiàn) 6.0–6.9 秒平均證明時間、96.8% RTP 覆蓋率，性能/成本比提升約 3.4 倍，較 SP1 Hypercube（160×4090 GPU，10.3 秒）表現(xiàn)更優(yōu)。
系統(tǒng)演進：?作為首個滿足以太坊基金會 RTP 指標（>96% sub-10s、<$100K 成本）的 zkVM， Pico Prism 標志著 zk 證明系統(tǒng)從研究原型邁向主網(wǎng)級生產(chǎn)基礎設施，為 Rollup、DeFi、AI 與跨鏈驗證等場景提供更具經(jīng)濟性的零知識計算方案。
智能合約原生設計中“缺乏記憶”——無法訪問歷史數(shù)據(jù)、識別長期行為或跨鏈分析。Brevis?提供的高性能的零知識協(xié)處理器（ZK Coprocessor），為智能合約提供跨鏈歷史數(shù)據(jù)訪問與可信計算能力，對區(qū)塊鏈的全部歷史狀態(tài)、交易與事件進行驗證與計算，應用于數(shù)據(jù)驅(qū)動型 DeFi、主動流動性管理、用戶激勵及跨鏈身份識別?等場景。
Brevis 的工作流程包括三步：
數(shù)據(jù)訪問：智能合約通過 API 無信任地讀取歷史數(shù)據(jù)；
計算執(zhí)行：開發(fā)者使用 SDK 定義業(yè)務邏輯，由 Brevis 鏈下計算并生成 ZK 證明；
結(jié)果驗證：證明結(jié)果回傳鏈上，由合約驗證并調(diào)用后續(xù)邏輯。
Brevis 同時支持?Pure-ZK?與?CoChain（OP）模型：前者實現(xiàn)完全信任最小化，但成本較高；后者通過 PoS 驗證與 ZK 挑戰(zhàn)機制，允許以更低成本實現(xiàn)可驗證計算。驗證者在以太坊上質(zhì)押，若結(jié)果被 ZK 證明挑戰(zhàn)成功將被罰沒，從而在安全與效率間取得平衡。通過?ZK + PoS + SDK?的架構(gòu)融合，Brevis 在安全性與效率之間取得平衡，構(gòu)建出一個可擴展的可信數(shù)據(jù)計算層。目前，Brevis 已服務于?PancakeSwap、Euler、Usual、Linea?等協(xié)議，所有?zkCoprocessor 合作?均基于 **Pure-ZK 模式，**為 DeFi、獎勵分配與鏈上身份系統(tǒng)提供可信數(shù)據(jù)支撐，使智能合約真正具備“記憶與智能”。
Incentra?是由?Brevis zkCoprocessor?驅(qū)動的可信激勵分發(fā)平臺，為 DeFi 協(xié)議提供安全、透明、可驗證的獎勵計算與發(fā)放機制。它通過零知識證明在鏈上直接驗證激勵結(jié)果，實現(xiàn)了 無信任、低成本、跨鏈化 的激勵執(zhí)行。系統(tǒng)在 ZK 電路中完成獎勵計算與驗證，確保任何用戶都可獨立驗證結(jié)果；同時支持跨鏈操作與訪問控制，實現(xiàn)合規(guī)、安全的自動化激勵分發(fā)。
Incentra 主要支持三類激勵模型：
Token Holding：基于 ERC-20 時間加權(quán)余額（TWA）計算長期持有獎勵；
Concentrated Liquidity：根據(jù) AMM DEX 手續(xù)費比例分配流動性獎勵，兼容 Gamma、Beefy 等 ALM 協(xié)議；
Lend & Borrow：基于余額與債務均值計算借貸獎勵。
該系統(tǒng)已應用于?PancakeSwap、Euler、Usual、Linea?等項目，實現(xiàn)從激勵計算到分發(fā)的全鏈可信閉環(huán)，為 DeFi 協(xié)議提供了?ZK 級的可驗證激勵基礎設施。
以太坊基金會（EF）提出的?L1 zkEVM 實時證明標準（Realtime Proving, RTP），已成為 zkVM 能否進入以太坊主網(wǎng)驗證路線的行業(yè)共識與準入門檻，其核心評估指標包括：
延遲要求：?P99 ≤ 10 秒（匹配以太坊 12 秒出塊周期）；
硬件約束：?CAPEX ≤ $100K、功耗 ≤ 10kW（適配家用/小型機房）；
安全等級：?≥128-bit（過渡期 ≥100-bit）；
證明尺寸：?≤300 KiB；
系統(tǒng)要求：?不得依賴可信設置、核心代碼需完全開源。
2025 年 10 月，Brevis發(fā)布《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 區(qū)塊中實現(xiàn)?平均延遲 6.9 秒、96.8% <10s、99.6% <12s?的性能表現(xiàn)，顯著優(yōu)于?Succinct SP1 Hypercube（36M gas，均時 10.3s，40.9% <10s）。在延遲降低 71%、硬件成本減半的條件下，整體性能/成本效率提升約?3.4×。該成果已獲以太坊基金會、Vitalik Buterin?與?Justin Drake?的公開認可。
Brevis的ZK 數(shù)據(jù)協(xié)處理器(zkCoprocessor)，負責處理 dApp 無法高效完成的復雜計算（如歷史行為、跨鏈數(shù)據(jù)、聚合分析），并生成可驗證的?零知識證明（ZKP）。鏈上僅需驗證這份小證明即可安全調(diào)用結(jié)果，大幅降低 Gas、延遲與信任成本。相較傳統(tǒng)預言機，Brevis 提供的不只是“結(jié)果”，更是“結(jié)果正確的數(shù)學保證”，其主要應用場景可以分為如下幾類
智能 DeFi（Intelligent DeFi）：基于歷史行為與市場狀態(tài)，實現(xiàn)智能激勵與差異化體驗（PancakeSwap、Uniswap、MetaMask等）
RWA 與穩(wěn)定幣增長（RWA & Stable Token Growth）：通過 ZK 驗證實現(xiàn)穩(wěn)定幣與 RWA 收益的自動化分配（OpenEden、Usual Money、MetaMask USD）
隱私去中心化交易（DEX with Dark Pools）：采用鏈下撮合與鏈上驗證的隱私交易模型，即將上線
跨鏈互操作（Cross-chain Interoperability）：支持跨鏈再質(zhì)押與 Rollup–L1 互操作，構(gòu)建共享安全層（Kernel、Celer、0G）
公鏈冷啟動（Blockchain Bootstrap）：以 ZK 激勵機制助力新公鏈生態(tài)冷啟動與增長（Linea、TAC）
高性能公鏈（100× Faster L1s）：通過實時證明（RTP）技術(shù)推動以太坊等公鏈性能提升（Ethereum、BNB Chain）
可驗證 AI（Verifiable AI）：融合隱私保護與可驗證推理，為 AgentFi 與數(shù)據(jù)經(jīng)濟提供可信算力（Kaito、Trusta）
根據(jù)?Brevis Explorer?數(shù)據(jù)，截至 2025 年 10 月，Brevis 網(wǎng)絡?已累計生成超?1.25 億條 ZK 證明，覆蓋?近 9.5 萬個地址、9.6 萬次應用請求，廣泛服務于獎勵分發(fā)、交易驗證與質(zhì)押證明等場景。生態(tài)層面，平臺累計分發(fā)激勵約?2.23 億美元，支撐的?TVL 超 28 億美元，相關(guān)交易量累計突破?10 億美元。
當前 Brevis 的生態(tài)業(yè)務主要聚焦?DeFi 激勵分發(fā)?與?流動性優(yōu)化?兩大方向，算力核心消耗由?Usual Money、PancakeSwap、Linea Ignition、Incentra?四個項目貢獻，合計占比超?85%。其中
Usual Money（46.6M proofs）：展現(xiàn)其在大規(guī)模激勵分發(fā)中的長期穩(wěn)定性；
PancakeSwap（20.6M）：體現(xiàn) Brevis 在實時費率與折扣計算中的高性能；
Linea Ignition（20.4M）：驗證其在 L2 生態(tài)活動中的高并發(fā)處理能力；
Incentra（15.2%）：標志著 Brevis 從 SDK 工具向標準化激勵平臺的演進。
在?DeFi 激勵領(lǐng)域，Brevis 依托 Incentra 平臺支撐多個協(xié)議實現(xiàn)透明、持續(xù)的獎勵分配：
Usual Money?年激勵規(guī)模超?$300M，為穩(wěn)定幣用戶與 LP 提供持續(xù)收益；
OpenEden?與?Bedrock?基于 CPI 模型實現(xiàn)美債與 Restaking 收益分配；
Euler、Aave、BeraBorrow?等協(xié)議通過 ZK 驗證借貸倉位與獎勵計算。
在?流動性優(yōu)化?方面，PancakeSwap、QuickSwap、THENA、Beefy?等采用 Brevis 的動態(tài)費率與 ALM 激勵插件，實現(xiàn)交易折扣與跨鏈收益聚合；Jojo Exchange?與?Uniswap Foundation?則利用 ZK 驗證機制構(gòu)建更安全的交易激勵體系。
在?跨鏈與基礎設施層，Brevis 已從以太坊擴展至?BNB Chain、Linea、Kernel DAO、TAC 與 0G，為多鏈生態(tài)提供可信計算與跨鏈驗證能力。與此同時，Trusta AI、Kaito AI、MetaMask?等項目正利用?ZK Data Coprocessor?構(gòu)建隱私保護型積分、影響力評分與獎勵系統(tǒng)，推動 Web3 數(shù)據(jù)智能化發(fā)展。在系統(tǒng)底層，Brevis 依托?EigenLayer AVS 網(wǎng)絡?提供再質(zhì)押安全保障，并結(jié)合?NEBRA 聚合證明（UPA）?技術(shù)，將多份 ZK 證明壓縮為單次提交，顯著降低鏈上驗證成本與時延。
整體來看，Brevis 已覆蓋從?長期激勵、活動獎勵、交易驗證到平臺化服務?的全周期應用場景。其高頻驗證任務與可復用電路模板為 Pico/Prism 提供了真實的性能壓力與優(yōu)化反饋，有望在工程與生態(tài)層面反哺 L1 zkVM 實時證明體系，形成技術(shù)與應用的雙向飛輪。
Mo Dong｜聯(lián)合創(chuàng)始人（Co-founder, Brevis Network）
Dr.?Mo Dong?是?Brevis Network?的聯(lián)合創(chuàng)始人，擁有伊利諾伊大學香檳分校（UIUC）計算機科學博士學位，他的研究成果發(fā)表于國際頂級學術(shù)會議，被谷歌等科技公司采納，并獲得數(shù)千次學術(shù)引用。他是算法博弈論與協(xié)議機制設計領(lǐng)域的專家，專注推動?零知識計算（ZK）?與?去中心化激勵機制?的結(jié)合，致力于構(gòu)建可信的?Verifiable Compute Economy。作為?IOSG Ventures?的風險合伙人，亦長期關(guān)注 Web3 基礎設施的早期投資。
Brevis團隊由來自?UIUC、MIT、UC Berkeley?的密碼學與計算機科學博士創(chuàng)立，核心成員在零知識證明系統(tǒng)（ZKP）與分布式系統(tǒng)領(lǐng)域具有多年研究經(jīng)驗，并發(fā)表多篇經(jīng)過同行評審的論文。Brevis 曾獲?以太坊基金會（Ethereum Foundation）?的技術(shù)認可，其核心模塊被視為關(guān)鍵的鏈上可擴展性基礎設施。
Brevis 于?2024 年 11 月完成 750 萬美元種子輪融資，由?Polychain Capital?與?Binance Labs?共同領(lǐng)投，參投方包括?IOSG Ventures、Nomad Capital、HashKey、Bankless Ventures?及來自?Kyber、Babylon、Uniswap、Arbitrum、AltLayer?的戰(zhàn)略天使投資人。
目前，以太坊基金會支持的?ETHProofs.org?已成為 L1 zkEVM 實時證明（Realtime Proving, RTP）路線的核心追蹤平臺，用于公開展示各 zkVM 的性能、安全與主網(wǎng)適配進展。
綜合來看，RTP 賽道競爭正聚焦四個核心維度：
成熟度：SP1 生產(chǎn)化部署最成熟；Pico 性能領(lǐng)先且接近主網(wǎng)標準；RISC Zero 穩(wěn)定但 RTP 數(shù)據(jù)未公開。
性能表現(xiàn)：Pico 證明體積約 990 kB，較 SP1（1.48 MB）縮小約 33%，成本更低；
安全與審計：RISC Zero 與 SP1 均已通過獨立安全審計；Pico 正在審計流程中；
開發(fā)生態(tài)：主流 zkVM 均采用 RISC-V 指令集，SP1 依托 Succinct Rollup SDK 形成廣泛集成生態(tài)；Pico 支持 Rust 自動生成證明，SDK 完善度快速提升。
從最新數(shù)據(jù)看，目前RTP 賽道已形成“兩強格局
第一梯隊Brevis Pico（含 Prism）?與?Succinct SP1 Hypercube?均直指 EF 設定的?P99 ≤ 10s?標準。前者以分布式多 GPU 架構(gòu)實現(xiàn)性能與成本突破；后者以單體化系統(tǒng)保持工程成熟與生態(tài)穩(wěn)健。Pico 代表性能與架構(gòu)創(chuàng)新，SP1 代表實用化與生態(tài)領(lǐng)先。
第二梯隊RISC Zero、ZisK、ZKM?在生態(tài)兼容與輕量化方面持續(xù)探索，但尚未公開完整 RTP 指標（延遲、功耗、CAPEX、安全位、證明體積、可復現(xiàn)性）。Scroll（Ceno）?與?Matter Labs（Airbender）?則嘗試將 Rollup 技術(shù)延伸至 L1 驗證層，體現(xiàn)出從 L2 擴容向 L1 可驗證計算的演進趨勢。
2025 年，zkVM 賽道已形成以?RISC-V 統(tǒng)一、模塊化演進、遞歸標準化、硬件加速并行?的技術(shù)格局。zkVM的通用可驗證計算層（Verifiable Compute Layer）可分為三個類別：
性能導向型：Brevis Pico、SP1、Jolt、ZisK 聚焦低延遲與實時證明，通過遞歸 STARK 與 GPU 加速提升計算吞吐。
模塊化與可擴展型：OpenVM、Pico、SP1強調(diào)模塊化可插拔，支持協(xié)處理器接入。
生態(tài)與通用開發(fā)型：RISC Zero、SP1、ZisK 聚焦 SDK 與語言兼容，推動普適化。
zkVM 競品項目對比（截至 2025 年 10 月）
當前 zk-Coprocessor 賽道已形成以?Brevis、Axiom、Herodotus、Lagrange?為代表的格局。 其中?Brevis?以「ZK 數(shù)據(jù)協(xié)處理器 + 通用 zkVM」融合架構(gòu)領(lǐng)先，兼具歷史數(shù)據(jù)讀取、可編程計算與 L1 RTP 能力；Axiom?聚焦可驗證查詢與電路回調(diào)；Herodotus?專注歷史狀態(tài)訪問；Lagrange?以 ZK+Optimistic 混合架構(gòu)優(yōu)化跨鏈計算性能。 整體來看，zk-Coprocessor 正以“可驗證服務層”的方式成為連接?DeFi、RWA、AI、身份?等應用的可信計算接口。
商業(yè)邏輯：性能驅(qū)動與雙層飛輪Brevis 以「通用 zkVM（Pico/Prism）」與「數(shù)據(jù)協(xié)處理器（zkCoprocessor）」構(gòu)建多鏈可信計算層：前者解決任意計算可驗證問題，后者實現(xiàn)歷史與跨鏈數(shù)據(jù)的業(yè)務落地。其增長邏輯形成“性能—生態(tài)—成本”正循環(huán)：Pico Prism 的 RTP 性能吸引頭部協(xié)議集成，帶來證明規(guī)模增長與單次成本下降，形成持續(xù)強化的雙層飛輪。競爭優(yōu)勢主要在三點：
性能可復現(xiàn)?—— 已納入以太坊基金會 ETHProofs RTP 體系；
架構(gòu)壁壘?—— 模塊化設計與多 GPU 并行實現(xiàn)高擴展性；
商業(yè)驗證?—— 已在激勵分發(fā)、動態(tài)費率與跨鏈驗證中規(guī)模化落地。
工程實現(xiàn)：從“重執(zhí)行”到“以驗代執(zhí)”
Brevis 通過 Pico zkVM 與 Prism 并行框架，在 45M gas 區(qū)塊中實現(xiàn)平均 6.9 秒、P99 < 10 秒（64×5090 GPU，<$130 K CAPEX），性能與成本均處領(lǐng)先。 zkCoprocessor 模塊支持歷史數(shù)據(jù)讀取、電路生成與回鏈驗證，并可在 Pure-ZK 與 Hybrid 模式間靈活切換，整體性能已基本對齊以太坊 RTP 硬標準。
潛在風險與關(guān)注要點
技術(shù)與合規(guī)門檻：Brevis 仍需完成功耗、安全位、證明大小及可信設置依賴等硬指標的公開與第三方驗證。長尾性能優(yōu)化仍為關(guān)鍵，EIP 調(diào)整可能改變性能瓶頸。
競爭與替代風險：?Succinct（SP1/Hypercube）在工具鏈與生態(tài)整合上依然領(lǐng)先，Risc Zero、Axiom、OpenVM、Scroll、zkSync 等團隊競爭力依然不容忽視。
收入集中與業(yè)務結(jié)構(gòu)：?當前證明量高度集中（前四大應用占比約 80%），需通過多行業(yè)、多公鏈、多用例拓展降低依賴。GPU 成本或?qū)⒂绊憜挝幻?/p>
綜合來看，Brevis 已在“性能可復現(xiàn)”與“業(yè)務可落地”兩端構(gòu)筑了初步護城河：Pico/Prism 已穩(wěn)居 L1 RTP 賽道第一梯隊，zkCoprocessor 則打開高頻、可復用的商業(yè)化場景。未來建議以達成以太坊基金會 RTP 全量硬指標為階段性目標，持續(xù)強化協(xié)處理器產(chǎn)品標準化與生態(tài)拓展，同時推進第三方復現(xiàn)、安全審計與成本透明。通過在基礎設施與 SaaS 收入間實現(xiàn)結(jié)構(gòu)平衡，形成可持續(xù)的商業(yè)增長閉環(huán)。
喜來順財經(jīng)
