作者：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 指令層級建構可驗證電路，使零知識證明直接融入以太坊主網執行與驗證流程，成為原生可驗證的執行機制。這項脈絡體現出區塊鏈從「可擴展」邁向「可驗證」的技術躍遷，開啟可信任運算的新階段。

一、以太坊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 實作執行、遞歸與壓縮階段的解耦C-V 擴展，支援多後端切換及協處理器，在效能與可擴充性上形成差異。

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 的工作流程包含三個步驟：

1. 資料存取：智慧合約透過API 無信任地讀取歷史資料；
2. 計算執行：開發者使用SDK 定義業務邏輯，由Brevis 鏈下計算並產生ZK 證明；
3. 結果驗證：證明結果回傳鏈上，由合約驗證並呼叫後續邏輯。

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，時皆為100.9%。在延遲降低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）電腦科學博士學位，他的研究成果發表於國際頂級學術會議，被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 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 與語言相容，推動普適化。

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