什麼是 Brevis（BREV）？一次帶您深入了解專為 Web3 打造的 ZK 無限運算層

區塊鏈的共識機制要求每位驗證者重複執行相同計算，導致鏈上運算既昂貴又受限，智能合約也難以直接處理大量歷史交易資料，形成長期存在的計算瓶頸。

Brevis 以「證明工作而非重複工作（prove work instead of repeating it）」為設計理念，讓鏈下計算結果能在鏈上以毫秒級速度完成驗證，為 DeFi、資料驅動應用以及 AI 場景提供高擴展性的可信計算基礎。

Brevis 是什麼？為何被稱為 Web3 的「無限計算層」？

Brevis 是一個可驗證計算平台，將複雜運算從鏈上移至鏈下，並透過零知識證明確保結果無法竄改。鏈上驗證者毋須重複執行，只需檢查一份「計算正確執行」的簡潔證明，成本遠低於原始計算。

「無限計算層」的定位正好解決鏈上運算受限的問題：以太坊（Ethereum）等網路限制單筆交易的計算量，複雜的資料統計、模型推理或跨鏈聚合難以於鏈上完成，鏈下執行搭配鏈上驗證則可將計算規模與區塊 Gas 上限脫鉤。

技術棧分工如上：Pico zkVM 與 ZK 資料協處理器負責計算，coChain 負責信任，Pico Prism、Vera 與 ProverNet 則提供即時證明、內容溯源及證明供給。

Brevis 的 ZK 協處理器（ZK Coprocessor）如何運作？

智能合約對歷史資料「幾乎無法察覺（blind to history）」，在鏈上直接讀取並處理大量歷史交易成本極高。若需根據用戶長期鏈上行為做決策，便需一套不必於鏈上重播所有資料的機制。

ZK 資料協處理器正是針對此需求設計：於鏈下存取歷史或跨鏈資料並完成計算，回傳「結果 + 資料真實存在且計算正確的密碼學證明」，智能合約只需在鏈上以毫秒級速度驗證即可採信。

可驗證計算的資料流分為四步：應用發起請求、協處理器於鏈下根據真實鏈上資料運算、產生正確計算的 ZK 證明、智能合約驗證後接收結果。

圖 1. Brevis 可驗證計算資料流：應用請求 → 鏈下計算（Pico zkVM 與 ZK 資料協處理器基於真實鏈上資料）→ 產生 ZK 證明 → 鏈上驗證器驗證並回傳結果。

Pico zkVM 在 Brevis 架構中的角色

Pico zkVM 是 Brevis 開源的模組化零知識虛擬機，開發者可用 Rust 撰寫任意計算邏輯並產生證明。作為可驗證計算的通用執行層，Pico zkVM 將「程式撰寫」與「證明程式正確執行」整合於同一工具鏈。

其設計採「膠水 + 協處理器（glue-and-coprocessor）」架構：通用 RISC-V 核心作為「膠水」執行 Rust 程式，遇到 Keccak-256 雜湊、簽章驗證、機器學習推理等常見操作時，路由至專用「預編譯電路（precompiles）」加速。據 Brevis 公開資訊，此設計可讓證明速度提升約 10x 至 80x。

coChain 與加密經濟安全模型如何保障計算可信度？

Brevis 提供 pure-ZK（純 ZK）與 OP / coChain 兩種安全模型，差異在於「結果的可信來源」——前者依賴密碼學證明，後者疊加加密經濟博弈；透過 Brevis SDK 撰寫一次業務邏輯即可於兩者間部署。

coChain 是一條具備「以太坊側質押與罰沒（on-Ethereum staking & slashing）」的 PoS 區塊鏈。驗證者根據對應鏈歸檔節點資料產生結果並達成 PoS 共識，搭配聚合簽章以「提案（proposal）」推送至請求鏈，進入「應用挑戰窗口」。

窗口內若有人以 ZK 證明成功「挑戰（challenge）」錯誤結果，對應驗證者質押將於以太坊上被罰沒；若無人挑戰，結果可被 dApp 直接採用且免去證明成本。coChain 並計畫整合 EigenLayer 以動態調整安全等級。

上表比較兩種模型：pure-ZK 適用於決定性要求最高場景，coChain 則於成本與吞吐量上更具彈性，兩者可按需選擇或組合。

BREV 代幣在 Brevis 生態的用途

BREV 是 Brevis 網路的原生功能與治理資產，經濟循環圍繞證明供給運作，其角色包括支付、抵押與治理三大類，與 BREV 代幣與 coChain 中的 Prover 激勵與罰沒機制直接相關。

BREV 三大功能構成閉環：需求方付費、Prover 質押接單、社群治理調節參數，將證明供給品質與網路安全緊密結合。

Brevis 與預言機、其他 ZK 協處理器的區別

Brevis 與預言機（Oracle）解決的問題層次不同：預言機主要將鏈下資料搬上鏈，Brevis 著重於鏈上及歷史資料「進行運算並證明其正確」。區分「資料搬運」與「可驗證計算」兩種職責，是理解 Brevis 與預言機的區別的關鍵。

預言機通常依賴節點或資料提供者的信任假設；Brevis 採用零知識證明讓結果正確性可於鏈上直接驗證。與其他 ZK 協處理器相比，Brevis 的差異在於通用 Pico zkVM、ZK 資料協處理器與 pure-ZK/coChain 雙模型組合。

Brevis 的真實應用場景（Real Adoption）

Brevis 「Real Adoption」強調將可驗證計算落實於實際業務。根據 Brevis 官方部落格（2025 年）資料，Brevis 已累計產生 3.4 億（340M+）份證明，覆蓋 8 條以上區塊鏈、50 多個協議，相關激勵與獎勵計畫總規模超過 3 億美元。

資料驅動激勵是典型方向：協議可根據用戶真實鏈上歷史（如交易量、持倉時長）發放獎勵，並由 ZK 證明保證不可偽造。ProverNet 已於主網運行，是去中心化證明市場，Prover 必須質押 BREV 參與，失約將被罰沒。

Pico Prism 提供以太坊即時區塊證明；據 Brevis 官方資訊，其於 16 張 GPU 上達到約 99.8% 的即時覆蓋率，並達到以太坊基金會（Ethereum Foundation）設定的 10 萬美元硬體目標。基金會的 On-Prem Proving Initiative（Ethproof）於 2026 年 3 月選定 Brevis 為四支入選團隊之一。Vera 則以 ZK 證明媒體來源與真實性，面對深度偽造（deepfake）時代的內容溯源需求。

圖 2. Brevis 技術棧與生態全景：Pico zkVM、ZK 資料協處理器、Pico Prism、Vera、ProverNet、coChain 與 BREV 代幣的分工關係。

使用 Brevis 的優勢、風險與侷限

Brevis 的優勢在於可擴展性與可信度：鏈下執行搭配鏈上驗證，將計算規模與區塊 Gas 上限脫鉤，ZK 證明讓結果無需信任第三方即可驗證，一次撰寫、多模型部署的 SDK 提升工程靈活度。

侷限主要來自 ZK 計算本身——產生零知識證明需專用硬體與算力，通用計算路徑的證明成本仍高於原生執行，複雜邏輯的成本與延遲屬結構性約束。

風險方面，coChain 的安全性取決於挑戰者活躍度與質押資金是否充足；智能合約與 SDK 整合層可能存在實作瑕疵；ProverNet 的證明供給亦受 Prover 參與度影響。以上皆屬機制層面客觀限制，並非投資建議。

總結

Brevis 作為 Web3 可驗證計算平台，以「證明工作而非重複工作」將昂貴計算移至鏈下，再於鏈上以毫秒級速度驗證簡潔證明。技術棧由 Pico zkVM 與 ZK 資料協處理器負責運算，pure-ZK 與 coChain 雙模型提供可信來源，BREV 代幣串聯費用、質押與治理，並結合 Pico Prism、Vera、ProverNet 等真實應用落地。

FAQ

Brevis（BREV）是什麼？

Brevis 是由零知識證明驅動的可驗證計算平台，被稱為 Web3 的無限計算層，將複雜運算移至鏈下執行，再於鏈上驗證簡潔證明，避免驗證者重複執行同一計算。

ZK 資料協處理器與預言機有何不同？

預言機主要將鏈下資料搬運至鏈上，仍需信任資料來源；ZK 資料協處理器則於鏈下根據真實鏈上或歷史資料運算並附密碼學證明，使結果正確性可於鏈上直接驗證。

Pico zkVM 為何能提升證明速度？

Pico zkVM 採「膠水 + 協處理器」架構：通用 RISC-V 核心執行 Rust 程式，常見操作路由至專用預編譯電路加速，據 Brevis 官方資訊可讓證明速度提升約 10x 至 80x。

pure-ZK 與 coChain 模型該如何選擇？

pure-ZK 完全依賴密碼學證明，決定性最高但每次都需產生證明；coChain 透過以太坊側質押罰沒與挑戰窗口提供保障，無人挑戰時可省證明成本，兩者可經 Brevis SDK 一次撰寫、彈性部署。

BREV 代幣用途為何？

BREV 是 Brevis 網路的原生功能與治理資產，主要用途包括支付證明費用（proving fees）、作為 Prover 質押抵押品（鎖倉獲任務、失約被罰沒）以及參與協議參數治理（governance）。