作者：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 擴容路徑經歷兩個階段：
階段一（2022–2024）：L2 zkRollup將執行搬至二層，在一層提交有效性證明；顯著降低成本并提升吞吐，但帶來流動性與狀態碎片化，L1 仍受制于?N-of-N 重執行。
階段二（2025–）：L1 實時證明（Realtime Proving, RTP）?以 “1-of-N 證明 + 全網輕量驗證” 取代重執行，在不犧牲去中心化的前提下提升吞吐，仍在演進發展中。
在 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 重執行瓶頸。
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)。
而在以太坊生態之外，零知識證明（ZKP）技術也延伸至更廣泛的?通用可驗證計算（Verifiable Computing）?領域，形成以?zkVM?與?zkCoprocessor?為核心的兩類技術體系。
面向任意程序的可驗證執行引擎，常見指令集架構包括?RISC-V、MIPS 與 WASM。開發者可將業務邏輯編譯至 zkVM，由 prover 在鏈下執行并生成可在鏈上驗證的零知識證明（ZKP），既可用于?以太坊 L1 的區塊證明，也適用于?跨鏈驗證、AI 推理、加密計算與復雜算法?等場景。其優勢是通用性與適配范圍廣，但電路復雜、證明成本高，需依賴多 GPU 并行與強工程優化。代表項目包括?Risc Zero、Succinct SP1、Brevis Pico / Prism。
面向具體業務場景提供“即插即用”的計算與證明服務。平臺預置數據訪問與電路邏輯（如歷史鏈上數據讀取、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 是應用層驗證模塊：前者構筑技術護城河，后者驅動商業化落地，共同構成通用可信計算網絡。
從以太坊的?L1 實時證明（Realtime Proving）?出發，ZK 技術正逐步邁向以?通用 zkVM?與?zkCoprocessor?架構為核心的?可驗證計算時代。而Brevis Network?是 zkVM 與 zkCoprocessor 的融合體，構建了一個以零知識計算為核心、兼具高性能與可編程性的?通用可驗證計算基礎設施?—— 通向萬物的無限計算層(The Infinite Compute Layer for Everything.)
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?實現執行、遞歸與壓縮階段的解耦與擴展，支持多后端切換及協處理器集成，在性能與可擴展性上形成差異化優勢。
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 與跨鏈驗證等場景提供更具經濟性的零知識計算方案。
智能合約原生設計中“缺乏記憶”——無法訪問歷史數據、識別長期行為或跨鏈分析。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、獎勵分配與鏈上身份系統提供可信數據支撐，使智能合約真正具備“記憶與智能”。
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 級的可驗證激勵基礎設施。
以太坊基金會（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的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?的戰略天使投資人。
目前，以太坊基金會支持的?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 收入間實現結構平衡，形成可持續的商業增長閉環。
喜來順財經
<strike id="ykeqq"></strike>
<fieldset id="ykeqq"></fieldset>