2.88 億證明落地：Brevis 把「可驗證計算」推向爆發前夜

撰文：深潮 TechFlow

站上 Vitalik 位置，一舉一動都是焦點。

如果他某次在社媒提及了某個項目，大家會猜測背後動機，但如果他多次轉發評論某個項目，甚至用「感到興奮」來形容，那無需任何猜測，這代表著長期關注與高度認可。

大概率你已經知道了這個項目：ZK 智能可驗證計算平臺 Brevis。

2025 年 10 月，Brevis 宣佈推出的 zkVM Pico Prism 在消費級硬件上實現以太坊實時證明，並在 Vitalik Buterin、以太坊官推以及以太坊 OG 研究員等以太坊核心圈層的轉發支持下，正式站上未來以太坊擴容的核心舞臺。

而當以太坊生態因為 Brevis 系列技術里程碑有望在 2026 年實現 100 倍擴容而歡欣鼓舞的同時，Brevis 又通過與 Usual、PancakeSwap、Aster、Euler、Linea、Uniswap 等一系列重磅生態合作，強有力的傳遞出：

作為萬物的無限計算層，Brevis 並非只為以太坊而構建，而是在多鏈生態多樣化生產級應用場景中擁有強大的落地能力。

十月份在接受公開採訪時， Brevis 聯合創始人兼 CEO Michael 曾表示：

我們希望十年後 99% 與 EVM 相關的計算都發生在鏈下並通過 Brevis 實現可驗證計算。

從以太坊擴容未來，到生產級場景裡已經誕生的 2.88 億份證明，由 Brevis 所掀起的浪潮，會將以太坊的未來提前多少年？又會在生產級場景中把 ZK 可驗證計算的邊界推向多遠？

市場低迷，但 Brevis 絕對炙手可熱

這是一個從任何角度看，都擁有閃亮明星光環的項目。

2023 年，當 ZK 敘事進入冷靜期，一群畢業於 UIUC、MIT、Berkeley、Princeton 等名校，懷揣著「讓大規模計算變得可驗證」願景的計算機博士、Crypto OG 組團進入賽道，Brevis 由此誕生。

核心成員深厚的學術背景，造就了 Brevis 在技術實現方面的嚴謹風格，也使得 Brevis 頻繁因技術重大突破而實現出圈，剛剛提到因在消費級硬件上實現了以太坊實時證明，而引發包括  Vitalik Buterin、以太坊官推以及以太坊 OG 研究員 Justin Drake 等核心成員傾巢出動的陣勢，至今仍被社區津津樂道。

Vitalik Buterin 轉發並稱其為：這是 ZK-EVM 驗證速度和多樣性方面邁出的重要一步。

以太坊官推轉發時寫到：這是邁向以太坊未來的一大步。

以太坊 OG 研究員 Justin Drake 則撰寫了一篇長文介紹  zkVM Pico Prism 並表示：以太坊的未來一片光明。

「學術」曾是 ZK 身上最突出的標籤之一，在 ZK 長期停留在概念階段、遲遲無法落地的質疑聲裡，「學術」對於 ZK 而言在某些時候卻成為了一種暗諷。

作為務實學術派，Brevis 核心團隊成員當然也注意到了這一點，在追求技術嚴謹的同時，又始終堅持以需求驅動產品，ZK 不是目的，而是一種手段。

這種理念促使 Brevis 早早從實驗室走向實際應用：

根據官網生態系統頁面顯示，Brevis 已與數十家項目建立合作，涵蓋 DeFi、基礎設施、穩定幣等賽道，其中我們很容易就能注意到諸如 PancakeSwap、Metamask、Linea、Uniswap、Aster 等知名項目的身影。目前，Brevis 已生成超過 2.88 億份 ZK 證明，用戶超 20 萬，分發了 2.3 億美元的可驗證獎勵計算，由 Brevis 驅動的 TVL 超過 25.4 億美元。

資本市場也早早的為 Brevis 投下信任票：

2024 年 9 月，Brevis 完成 750 萬美元融資，吸引 Polychain Capital 和 Yzi Labs 共同領投，IOSG Ventures、Nomad Capital、Bankless Ventures、Hashkey 和幾位未披露的天使投資人共同參投。

所以說，說 Brevis 炙手可熱，其實並沒摻雜誇張成分。

但一個項目真正的分量，從來不只在於它拿到了多少認可，而根本在於如何為現實世界帶來真正的改變，Brevis 之所以成為明星項目，離不開其解決方案的技術可行性與大規模落地能力。

走入「萬物無限計算層」敘事背後：Brevis 如何實現？

一句話總結 Brevis 的核心：鏈下計算，鏈上驗證。

作為一個專注於零知識（ZK）可驗證計算的基礎設施平臺，Brevis 把昂貴、受限的鏈上計算搬到高效離鏈環境執行，再用 ZK 證明把結果安全帶回鏈上，不用擔心 Gas 成本飆升，同時無需擔心安全及信任問題。

圍繞「萬物無限計算層」願景，Brevis 生態擁有三大產品組件：Pico zkVM、ZK Data Coprocessor 和 ProverNet。

Pico zkVM 可以看做是 Brevis「無限計算層」願景的引擎，它專為構建安全、可擴展、高性能的去中心化應用而設計，相比較其他 zkVM 擁有一系列核心優勢：

首先，Pico zkVM 靈活且低門檻，模塊化設計使得開發者能夠像搭積木一樣自定義功能，並且支持開發者用 Rust 編寫任意程序同時 RISC-V 兼容，不需要學複雜的電路語言，也不用手動優化遞歸，開發者只需改幾行配置，就能針對自己的應用把性能、成本、安全性調到最優。

更重要的是，Pico zkVM 更快，可以證明任何計算，這從根本上破解了 ZK 大規模落地的難題：2025 年推出的 Pico Prism 多 GPU 版本在消費級硬件上實現了 99.6% 的以太坊主網區塊實時證明覆蓋率，使得 Brevis 成為全球最快的 zkVM，相比第二名 SP1 Hypercube 方案，Pico Prism 快了 32 倍，同時將 GPU 硬件成本降低了 50%，支持更低的成本、更高的效率生成證明。

另外，通過與另一核心功能 ZK Data Coprocessor 的協作，Pico zkVM 將在處理歷史鏈上數據方面實現性能暴增，這使得 Pico zkVM 更實用，更能在生產環境實現大規模採用。

ZK Data Coprocessor（ZK 數據協處理器）算是 Brevis 最成熟、落地最廣泛的產品。它的核心作用在於：讓智能合約可以無信任、低成本地訪問和計算任意歷史鏈上數據，就像給合約裝了一個「無限歷史數據庫」。

以前，合約想讀歷史數據，一般有兩個選擇：一是自己慢慢查，但 Gas 貴的離譜；另一個則是通過中心化預言機，但存在信任和安全風險。

而 ZK Data Coprocessor 給出了第三種選擇：不僅能訪問幾乎所有歷史鏈上信息，且使用門檻非常低，開發者不需要懂 ZK 電路即可調用數據，Brevis 後臺將自動從鏈上拉取真實歷史數據、高效生成 ZK 證明並驗證，整個過程 Gas 成本極低，且完全無需信任。

最後一個關鍵產品模塊則是 ProverNet：這是一個去中心化的 ZK 證明生成市場，任何應用可以提交證明需求，任何專業證明者可以競標完成任務。

我們知道，不同項目、不同場景下，對證明的需求也是千差萬別的，若每個應用自己建證明基礎設施，不僅成本高，而且效率低。

ProverNet 則是致力於把證明生成這件事兒，放進公開市場裡：應用提需求，專業的證明者報價並響應需求，複雜任務可分解成子任務，由不同證明者協作完成，證明生成後，可驗證到任何目標鏈。

任務通過 Brevis 的 Truthful Online Double Auction（TODA，真實在線雙拍賣）進行匹配撮合，同時 ProverNet 運行在 Brevis 推出的專用 Rollup Brevis Chain 之上，進一步保證效率。目前，ProverNet 已上線 Mainnet Beta 版本。

這三大產品組件層層嵌套：ZK Data Coprocessor 負責「拿數據」，Pico zkVM 解決「證明安全高效生成」問題，而 ProverNet 則通過市場決定誰來證明以及如何證明最優，形成了一個完整的「無限可驗證計算」閉環。

這樣光聊技術，可能對於很多小白來說還是有點抽象。

好在 Brevis 擁有非常豐富的應用場景，能夠幫助用戶在生動具體的案例中，快速明白 Brevis 的核心優勢，以及實現「萬物無限計算層」的核心價值。

從以太坊擴容到 2.88 億份證明：真正的規模化落地

關於 Brevis 使用場景討論最多的，莫過於以太坊擴容。

2025 年 7 月，以太坊基金會發表《Shipping an L1 zkEVM #1: Realtime Proving》一文，正式確認 L1 zkEVM 擴容路線：一個節點生成一個區塊的 ZK 證明，這個證明可以被整個網絡的數百萬節點驗證，驗證所需的計算能力只是區塊計算本身的萬分之一，甚至更少。

這與 Brevis 技術方向高度契合，也因 Brevis zkVM Pico Prism 的推出而被徹底點燃。

2025 年 10 月 15 日，Brevis 宣佈其推出的 zkVM Pico Prism 已在消費級硬件上實現了以太坊實時證明：使用 64 塊 RTX 5090 顯卡，在 12 秒內完成了 99.6% 的以太坊 L1 區塊證明，其中 96.8% 的區塊證明時間低於以太坊基金會設定的 10 秒內標準。在 2025 年 9 月 1 日的測試中，在以太坊當前 45M 的 gas 限制情況下，Pico Prism 平均證明時間僅 6.9 秒。

這意味著，從理論上來說，通過 zkVM Pico Prism，以太坊將能夠即刻實現 10 乃至 100 倍擴容，並且由於 Pico zkVM 支持多 GPU 並行計算，Brevis 甚至能夠在不增加大量額外計算資源的情況下，實現真正意義上的無限擴容。

2025 年 11 月的 ETH Devconnect 大會上，以太坊 OG 研究員 Justin Drake 現場通過 Demo 進行了 Brevis 的 Pico ZKVM 完成新共識算法的演示，隨後不久 Vitalik 也發表推文分享了圍繞這一方向以太坊未來可能會推進的改進。Brevis Pico ZKVM 的突破性進展使得以太坊 L1 zkEVM 擴容路線從規劃真正變成可以實現的未來。

雖然 Brevis 實現以太坊實時證明引發刷屏熱議，但 Brevis 的價值絕不僅僅只在以太坊。

理論上而言，Brevis「鏈下計算、鏈上驗證」的這套邏輯適用任何場景，且 Brevis 的技術棧是支持多鏈的，追求實現「萬物無限計算」，這也是 Brevis 技術之外對的另一核心優勢：真實場景下的大規模落地。

如果你是加密世界的活躍參與者，那麼你很可能已經在不知不覺中體驗過了 Brevis 服務。

過去一年，Brevis 與數十家頭部協議建立深度合作，合作伙伴幾乎覆蓋了 DeFi、穩定幣、DEX、L2 生態頭部項目，進一步彰顯了行業對於 Brevis 的認可，且每一家合作都不是流於表面的「概念集成」，而是真正在生產環境中大規模應用，展現可驗證計算的多場景下的巨大價值。

Brevis 和 PancakeSwap 的合作是最典型的案例之一：傳統 DEX 無法低成本訪問歷史數據，導致個性化體驗難以實現，而通過與 Brevis 合作，複雜邏輯在鏈下執行、鏈上驗證，然後為用戶生成交易量證明，智能合約根據證明執行不同手續費率，帶來更精細化的用戶體驗管理，讓 PancakeSwap 從統一費率 DEX 進化成用戶行為智能響應的平臺。

此外，Brevis 與 Usual 合作共同開創的 CPI 持續協議激勵模式，則被很多人視為取代傳統空投和快照激勵的新範式：Brevis ZK Coprocessor 通過持續追蹤用戶在 Usual 生態的真實行為而識別真正有貢獻的參與者。同樣的事情也正在 Euler 與 Linea 等生態上演，通過 ZK 證明構建複雜激勵分配模型，保證了激勵分配的公平性、合理性、安全性和透明度。

此外，2025 年 10 月 24 日，Uniswap 基金會還正式宣佈授予 Brevis 最高 900 萬美元的資助，用於開發和運營 Hooks Routing Rebate Program，該程序旨在利用 Brevis ZK 證明的高效率、低成本、無需信任等優勢，激勵 DEX 聚合器產品更快集成 v4 hooked pools，最終在流動性、滑點、交易費等方面惠及用戶。

近期，Brevis 還宣佈與多鏈 DEX Aster 達成合作，旨在通過可驗證計算技術優化永續 DEX 的速度、安全性與隱私性，Brevis 可將鏈上覆雜計算遷移至鏈下並生成零知識證明，以降低鏈上驗證成本，雙方將探索在保障市場透明度的同時保護用戶倉位隱私的可行方案。

這些曾經「太貴、太慢」而做不到的功能，如今都在通過 Brevis 一一實現，帶來更高的交易效率、更公平的價值分配以及更優秀的用戶體驗。

未來，隨著更多生態合作的展開以及 ProverNet 市場機制的成熟，Brevis 的可驗證計算價值還將在更廣泛豐富的場景中更深入滲透。

讓可驗證計算，真正成為下一代鏈上應用的默認配置

在加密市場當下略顯無聊的週期裡，注意力變得更誠實：沒有持續兌現的東西，很難反覆被提起。

Brevis 的「熱」，並不只來自名校履歷、融資名單或來自 V 神的轉發推文，而在於它踩中了一條更硬的共識：讓可驗證計算，真正成為下一代鏈上應用的默認配置，並通過豐富的落地場景加速可驗證計算未來的到來。

而正因為有了 Brevis 在現實場景落地中所創造的 2.88 億證明，我們才能更清晰感知到：經歷多年摸索，ZK 可驗證計算真正處於全面爆發的前夜。

當然，在真正走向爆發之前，Brevis 的未來仍面臨很多不確定因素，比如當下的 Pico Prism 仍有優化空間，Brevis 表示下一步將專注於降低證明成本，計劃在未來幾個月內使用少於 16 塊 RTX 5090 GPU 實現 99% 的實時證明，另外 Brevis 生態的經濟循環仍未真正開始啟動。

未來，隨著技術突破、經濟模塊補齊以及系列 里程碑的達成，Brevis 能夠逐個將考驗轉化為證明價值的機遇，在更廣泛的多鏈場景裡持續輸出「可驗證的結果」？

站在可驗證計算未來的趨勢裡，我們保持期待。