NEW EVENT
最新活動
BG Wallet
OKX
幣安
HOT ARTICLES
熱門文章
Featured Articles
專題精選
本文目錄
前言
Brevis 因幣安投資的背景加上被 V 神和基金會親自點名而一夕爆紅！
$ZEC 在近兩個月的飆漲無疑讓所有 zk 相關的項目在市場上的關注度提升，其中包含 Brevis、Zama、Succinct 都是近期在以太坊生態中討論度最高的項目。
Excited to see @brevis_zk's Pico Prism entering the ZK-EVM proving arena!
— vitalik.eth (@VitalikButerin) October 15, 2025
An important step forward in ZK-EVM proving speed and diversity. https://t.co/nOeYt9YMvm
區塊鏈常被譽為「世界電腦」— 一個大家都能夠信任的去中心化運算系統。但是，在經過了十幾年的技術演變之後，這台電腦的運算效能依然受到許多限制。每有一筆交易在以太坊上執行，除了會在主網上運行一次，還會被超過 80 萬個驗證者重複執行（re-execute）。
這是信任的基礎，也是效率的災難。
於是，Brevis 以「可驗證計算（Verifiable Computing）」的方式重新塑造了整個信任模型，讓運算可以在鏈下完成，也能在鏈上被驗證。本文將會介紹 Brevis 是什麼以及其可以帶來哪些實際上的應用。
Brevis 是什麼？
Brevis 是一個以零知識證明（Zero-Knowledge Proof, ZK）為核心的可驗證運算平台，旨在解決區塊鏈長期存在的「運算瓶頸」問題。Brevis 讓複雜的計算能夠在鏈下快速完成，同時再透過數學證明讓鏈上節點有辦法在毫秒內驗證結果的正確性。
簡單來說，Brevis 把「鏈下計算」與「鏈上信任」結合起來，徹底解放了區塊鏈的運算潛力。
Brevis 由兩大核心所組成，分別是：Pico zkVM 與 ZK Data Coprocessor。Pico zkVM 是通用的零知識虛擬機，可以把任何的程式轉化成可驗證的計算；ZK Data Coprocessor 則專注在鏈上資料的分析和證明，讓智能合約能夠安全、低成本地去存取歷史或跨鏈等資料。
Brevis 小檔案
|
項目名稱 |
Brevis Network |
|
賽道 |
ZK |
|
融資額 |
種子輪融資：750 萬美元（由 Polychain Capital 和 Binance Labs 共同領投，估值為 8,000 萬美元） |
|
團隊成員 |
|
|
投資機構 |
YZi Labs、Polychain、HashKey Capital、Bankless Ventures、IOSG Ventures、Nomad Capital |
|
開發背景 |
Celer Network |
區塊鏈的計算瓶頸：信任的代價
以太坊跟其他公鏈採用「所有節點重複驗算」的架構，每一筆交易都要經過所有驗證者再次執行，以確保沒有人違規。
這種「重複性驗證」帶來兩個後果：
-
速度受限：網路的處理速度會受限於最慢的節點。
-
成本高昂：每筆交易都被多次計算，也讓 Gas 的成本上升。
舉例來說：如果要在鏈上查詢過去 30 天的交易量，並依據交易量給使用者折扣。這在中心化交易所，可能只需要數毫秒，但是鏈上，這個計算需要每個節點逐筆重算所有的交易紀錄，成本高到不可能執行。
Brevis 的核心理念：可驗證計算
1. 從「重複計算」到「驗證」
Brevis 特別的地方在於，它會不要求每個驗證者都去重算運算過程，而是讓外部的 Prover（驗證者）在鏈下完成計算，並產生一份證明（ZK Proof），讓鏈上驗證者能夠數毫秒內確認結果的正確性。
這種「鏈下運算、鏈上驗證」的模式，讓區塊鏈不會再受限於硬體效能或 Gas 的成本，依舊可以維持去中心化的信任。
2. 零知識證明（ZK Proof）
零知識證明能夠讓你「證明某件事是對的，但不需要去揭露細節」。舉例來說：證明「你已經交易超過 100 萬美元」而不需要去公開每筆交易，這讓隱私、效率和信任三者可以共存。
Brevis 建立的整個基礎設施正是基於這個理念，透過兩大核心產品將這項技術落地。
Pico zkVM & ZK Data Coprocessor
Pico zkVM：萬用可驗證計算引擎
Pico zkVM 能讓開發者把「程式碼」變成「可被驗證的運算」。開發者可以透過 Rust 來撰寫任意邏輯，包括從金融計算、資料分析到機器學習模型。Pico 會在鏈下執行後產生一份加密證明，讓智能合約可以快速驗證。
Pico zkVM 解決了傳統 zkVM 的兩大難點：
-
通用型 zkVM 可處理任何任務，但速度慢
-
專用型 zkVM 速度快，但彈性不足
Pico 透過模組化設計將兩者整合起來。核心負責通用運算，而常見操作（像是簽署驗證、鏈上資料處理、AI 推論）則是會交給專用 Coprocessor 來處理，運算速度可以提升 10 到 80 倍。
模組化設計的突破
Pico 還能夠去擴展不同的功能，包括：
-
處理密集的加密驗證任務
-
加速機器學習運算
-
進行鏈上資料查詢與彙整
讓任何邏輯都能被證明、任何計算都能被信任。
ZK Data Coprocessor：專為鏈上資料設計的輔助處理器
ZK Data Coprocessor 負責解決的部分是「鏈上資料的可取用性」。在區塊鏈上，智能合約大多是「不公開的」，所以也無法輕易讀取歷史資料，也不能跨鏈分析過去的交易。
ZK Data Coprocessor 能在鏈下快速分析大量的鏈上資料，並生成一份證明，保證這些結果跟真實鏈上的狀態完全一致。
舉例來說：
-
PancakeSwap 可以透過它給高頻交易者專屬的手續費減免
-
MetaMask 能夠根據過去的使用狀況來發放獎勵
-
Stablecoin 相關協議能夠藉由它來追蹤資產抵押的比例和用戶行為等
Pico Prism：以太坊實現「實時證明」的里程碑
在以太坊的長遠 Roadmap 中，ZK 驗證是最終的目標，讓網路不再需要每個節點都重新計算，而是僅驗證一份小型證明。
Brevis 的 Pico Prism 也正是為此而生。在 2025 年，Brevis 以 Pico Prism 打破紀錄，成為第一個有辦法在 45M gas 區塊下實現 96.8% 即時證明（Real-Time Proving） 的系統。
|
指標 |
SP1 Hypercube |
Pico Prism |
提升幅度 |
|
RTP (<10s) 覆蓋率 (36M gas) |
40.9% |
98.9% |
2.4x |
|
RTP (<10s) 覆蓋率 (45M gas) |
N/A |
96.8% |
首次達成 |
|
GPU 成本 |
$256K |
$128K |
-50% |
|
平均證明時間 |
10.3 秒 |
6.04 秒 |
71% 更快 |
|
GPU 使用量 |
160×4090 |
64×5090 |
減半 |
實際應用
Brevis 目前已經在多個主流協議上落地，包括 DeFi、RWA、AI、跨鏈等應用。
1. DeFi
透過 ZK Data Coprocessor，DEX、借貸、收益聚合器可以依據用戶的歷史行為調整費率與獎勵。
合作對象包括：PancakeSwap、Uniswap、QuickSwap、Aave、Beefy、Kwenta、Thena、JOJO Exchange 等。
2. 穩定幣與真實資產（RWA）
Brevis 讓協議能以透明的 ZK 證明方式，根據參與歷史發放獎勵。
合作夥伴包含 Usual Money、OpenEden、MetaMask USD。
3. 跨鏈互操作與再質押
支援 Kernel、Celer、0G 等跨鏈協議，實現信任無需橋接的即時互通。
4. AI 驗證與隱私個人化
在 Kaito、Kite AI、Trusta 等項目中，Brevis 能夠驗證 AI 的輸出內容，確保結果真實、保密、可審計。
Brevis 帶來的不僅是技術的展示，更是驅動整個 Web3 生態升級的引擎。
Brevis 的特點
|
面向 |
傳統 ZK 項目 |
Brevis |
|
開發狀態 |
多數停留於研究或測試階段 |
已部署超過 30 個協議 |
|
可擴展性 |
通用性與速度取捨 |
模組化輔助處理器兼具靈活與效能 |
|
成本效率 |
高昂 GPU 成本 |
Pico Prism 降低 50% 硬體支出 |
|
實際效能 |
部分實現 |
96.8% 即時證明、6 秒級驗證速度 |
|
使用者數據 |
不公開 |
超過 98,000 位用戶、每日 9,000 活躍 |
|
應用成果 |
多為測試鏈 |
$2.8B+ TVL 增長、$224M+ 驗證獎勵 |
未來展望
Brevis 接下來的發展方向包括：
-
以太坊 L1 整合：協助主鏈進入 ZK 驗證
-
成本再下降：目標在 16 顆 RTX 5090 GPU 下達成 99% 即時證明
-
更多協議合作：持續拓展到更多 Layer2、AI 和跨鏈應用
-
隱私與 AI 結合：打造可驗證、去信任的 AI 模型輸出跟使用體驗
結語
Brevis 解決了區塊鏈「太慢、太貴、太難用」的問題，透過零知識證明和可驗證運算，讓信任與效率不再衝突，開啟了鏈上計算的新時代。它讓開發者能自由搭建更多應用，也讓使用者能在信任與效率之間取得平衡。
當區塊鏈同時擁有信任＆效率的時候，你覺得它在未來能改變什麼？
Hank
