在 2025 年 11 月阿根廷 Devconnect 大會上，以太坊基金會研究員 Justin Drake 示範了一種不同的區塊驗證流程。他的驗證節點使用 zkLighthouse 客戶端，僅依靠 Brevis 的 Pico zkVM 等協議產生的零知識證明，便完成了對區塊有效性的判斷。這很可能預示了未來以太坊的擴容方向。這證明了一件事：區塊鏈不一定要重複執行所有計算，只要能驗證外部產生的證明便足夠。
Brevis 是甚麼：一個正在被協議與以太坊核心使用的可驗證計算層
Brevis 的定位不僅僅是某個具體應用，而是一個可驗證的計算層。作為無限計算層（Infinite Compute Layer），它允許複雜計算在鏈下執行，並通過零知識證明把結果帶回鏈上，由智能合約以極低成本完成驗證。這件事之所以重要，是因為以太坊的預設安全模型，本質上依賴全網複算，每個驗證節點在收到新區塊後，往往都要把區塊裡的交易重新跑一遍，才能確認這個區塊的執行結果確實正確。雖然保證了正確，但也意味著算力與資源消耗會隨著負載變重而持續抬升。Brevis 正把這部分必須重複做的重計算改寫為一次計算、全網驗證，在鏈下完成計算並生成證明，鏈上與節點只需驗證一個很小的證明即可。
與許多只關注隱私或擴容的 zk 應用不同，Brevis 是在實際解決 Web3 行業的結構性問題：當鏈上計算越來越複雜、越來越頻繁時，系統是否一定要靠每個節點重複執行來維持可信？Brevis 的路徑是把計算遷出鏈外，由 zkVM 執行並生成證明，鏈上合約僅驗證證明即可，從而讓合約能夠可信地利用歷史數據、跨鏈狀態或複雜算法結果，同時不引入額外信任假設。在實現這個目標的過程中，ZK Data Coprocessor、Pico zkVM 與 ProverNet 構成了其目前的三大技術核心。
讓智能合約突破界限：ZK 數據協處理器帶來的超能力
Brevis 最初的技術突破是 ZK 數據協處理器。它使智能合約能夠查詢任意鏈上歷史數據、在鏈下進行計算並生成零知識證明，將計算結果作為可信輸入提供給合約。ZK 數據協處理器可以查詢和計算鏈上歷史交易量或用戶行為，並生成零知識證明供合約驗證。這使得原本只能訪問當前區塊的合約，也能夠利用長時間窗數據和跨鏈狀態。
Brevis 在 2023 年推出 Coprocessor 原型後持續迭代，至 2025 年 1 月推出 v2 並上線主網。v2 的關鍵變化，無需糾結於具體證明體系的名稱，可抽象為三點：更快（相同任務使用更少資源、在更短時間內完成）、更通用（能涵蓋更多類型的數據與計算需求）、更好用（簡化流程，將複雜性封裝起來）。
回顧 Brevis 在 2025 年前的技術路線，其實只有一條主線：先探明證明系統的性能邊界，再把「鏈下計算、鏈上驗證」打造成可用的協處理器（Coprocessor），並持續進行工程化迭代，然後探索更系統化的運行形式。更為難得的是展現了團隊的本質，既懂密碼學，亦懂大規模系統工程，不靠紙上談兵取勝，項目初期便確定了行業痛點，並致力於技術的廣泛應用。
當證明能力進入系統層：Pico zkVM 與 ProverNet
Brevis 在 2025 年補全了三駕馬車的另外兩塊，其中一塊是更通用、更面向生產環境的證明執行引擎 Pico zkVM，另一塊是將證明生成能力打造成開放供應的 ProverNet，從「可證明」走向能持續、規模化地供應證明。
Pico zkVM 可以理解為 Brevis 的通用證明引擎，它將零知識證明從專用電路、手動適配推進到更類似軟件工程的形式——開發者可以用熟悉的開發方式撰寫邏輯，再由底層將其轉化為可驗證的證明結果。更重要的是，Pico 從一開始就針對真實業務的吞吐量和成本進行優化。在相同的基準下，Brevis 提供的對比顯示，Pico 在主流 zkVM 中具有明顯的性能優勢，同時還能通過可插拔組件／協處理器的方式，使特定類型的計算變得更高效。
2025年6月，Brevis推出Pico-GPU，將即時證明生成速度推至關鍵轉折點，不單對協議，更是對整個行業。Pico-GPU 將證明生成的核心過程系統性地遷移到 GPU 平行運算上，官方提供的性能提升幅度高達 10 至 20 倍，相較於以往的解決方案，實質上有了重大突破。
10月推出的Pico Prism將這個方向推進至一個非常直觀的門檻，在使用64張消費級GPU的配置下，實現了以太坊45M gas區塊中99.6%的區塊能在12秒內完成證明、96.8%能在10秒內完成證明，平均證明時間約為6.9秒，幾乎達到了以太坊基金會的目標。實時證明生成速度首次幾乎完美地追上以太坊的出塊速度，而且與競爭對手相比，使用了更少的資源。
這類進展也得到了以太坊核心社區的直接回應。Vitalik 在推文中直接提到，Pico Prism 進入 ZK-EVM 證明賽道是證明速度與多樣性的重要一步。Justin Drake 在早前的推文中以非常明確的語氣評價實時證明 Pico Prism 的進展非同尋常。要知道，今年 5 月，SP1 Hypercube 需要 160 張 RTX 4090 才能在 12 秒內證明約 94% 的 L1 區塊。在實時證明速度上如此斷崖式的領先，讓 Brevis 的 Pico Prism 成為最受矚目的解決方案。
在成功開發通用 zkVM 和即時證明技術後，Brevis 開始解決證明供應的問題。2025 年 11 月，Brevis 發佈 ProverNet 視野，將證明能力市場化，任何應用都可以提交證明任務，並透過拍賣機制在市場中匹配證明節點。12 月推出的主網 Beta 版本進一步將其落實為可用的產品形式，市場持續運作，證明請求可以直接提交，證明者亦可註冊並開始競價接單，應用程式無需再自行建設證明基礎設施。
Brevis 透過三駕馬車，將證明能力從工具轉變為基礎設施，既擁有可擴展的證明引擎，也有開放的證明供應網絡，讓應用程式能按需獲得可驗證的計算。其意義不僅僅在於以太坊——這種「鏈下計算、鏈上驗證」的模式將會擴散至整個 Web3，甚至其他如人工智慧和遊戲等行業。
協議不會說謊：用起來才算數
Brevis 的技術價值最終體現在真實應用中。它不是被放在宣傳物料上展示的概念，而是被嵌入協議的日常運作裡，數據如何提取、指標如何計算、獎勵如何發放、費用率如何調整——這些原本不是無法做到，就是只能依靠中心化腳本勉強完成的事情，如今開始出現了一條更協議化的解決路徑。在這個過程中，Brevis 已為用戶生成了超過 2.8 億份證明、分發了超過 2.3 億美元的獎勵，並安全地推動了 25 億美元 TVL 的增長。
理解 Brevis 最直觀的入口，可以從用戶最熟悉的交易入手。Brevis 可以在確保數據私隱和真實的情況下，讓 DEX 擁有 CEX 般的功能，從而改善 DEX 用戶的交易體驗。PancakeSwap Infinity 通過 hooks 讓手續費分級成為可能，持幣、交易量等歷史行為都會影響你這一笔的費用率。但這些判斷要依賴歷史數據聚合，放鏈上太貴、放鏈下又會引入信任問題。Brevis 做的，是把歷史行為在鏈下算清楚，再用證明把數據帶回鏈上，讓差異化費用率可以寫進合約，而不是像 CEX 一樣寫在後台腳本裡。
如果說 PancakeSwap 對應的是更像中心化交易所（CEX）的個性化體驗，Usual 展示的則是更長期的增長機制，把激勵從一次性空投變成持續運行的 CPI。獎勵與持倉、互動等行為長期綁定，而 Brevis 讓這些指標變成可驗證的輸入，使分配自動化、可審計，不需要社區去相信某個運營表格或中心化發放者。透過 Incentra 把獎勵發行做成標準化能力，協議想發 LP、借貸或持倉獎勵，核心是鏈下計算指標、鏈上按證明結算。Euler 在 Arbitrum 的活動就是代表——獎勵不靠人工統計與多重簽名發放，而是由規則與證明支撐的持續分配。
當場景擴展至生態層面，Linea 的 Ignition Program 更能說明問題。難點不是發放激勵，而是如何發放。Brevis 讓大規模的激勵計算在鏈下完成，並把可信性帶回鏈上驗證，從而把激勵從中心化的運營動作，推進至可重複使用的系統能力。同樣偏重系統的還有 Uniswap v4 的 Routing Rebate Program。路由是否發生、gas 消耗如何統計、返還金額如何計算，都是數據—計算—結算的鏈條。Brevis 在這裡承擔鏈下計算與證明生成，讓返還系統基於規則 + 驗證，而不是信任某個統計方。
把這些案例串聯起來看，Brevis 的數據獲取、指標計算與證明生成，讓協議在不犧牲去中心化的前提下，把更多原本只能依靠中心化後台實現的邏輯寫回鏈上，整個加密行業的協議能做的事也更多，設計空間也因此被重新打開。
誰支持長期主義技術？
Brevis 的核心團隊由頂尖高校背景的研究者與一線系統工程師共同組成，特點非常鮮明，既能從證明系統與演算法層面進行長期攻堅，也能把複雜技術壓進真實生產環境中反覆打磨，直至性能、穩定性與成本都達到可規模化部署的標準。更重要的是，他們並非只懂技術的實驗室團隊——對加密行業的運作方式同樣熟悉：理解協議方的真實需求、生態合作的推進節奏，也具備資本與社區層面的長期積累，能把工程路線轉化為持續落實的夥伴關係與開發者動能。
這一點可從資本與社區對 Brevis 的長期支持中看出。Brevis 於 2024 年 11 月完成種子輪融資，由 Polychain 和 Yzi Labs 等一線機構領投，為其持續推進 zkVM、證明網絡與產品落地提供了資金支持。同時，Brevis 的社區在 2025 年出現顯著增長，配合 Proving Grounds、角色系統與任務機制，吸引開發者與用戶持續參與。再加上 Vitalik 的公開肯定，以及以太坊基金會 Justin Drake 在實驗與討論中對相關進展的關注，這些因素共同構成了 Brevis 作為基礎設施持續擴展的外部背書與信任資本。
從以太坊到更廣闊的世界
以太坊擴容長期陷入一個結構性兩難局面：一方面，所有節點重複計算以換取安全與無需信任，但吞吐量和成本卻受到全網重複計算的限制；另一方面，將計算外包以提高效率，卻不得不額外信任某個計算方。Brevis 則試圖提供第三種解決方案——將複雜計算放在鏈下完成，再利用證明將可信性帶回鏈上驗證，從而將系統從重複計算推進至驗證結果的分工模式。因此，它的價值不只在於某個產品功能，而在於打通了一整套可驗證計算的鏈路。
Brevis 并非解決以太坊擴容問題的唯一方案，但它展示了可驗證計算層的重要價值，將計算與驗證解耦，既保障了安全性和去中心化，又減輕了鏈上執行的壓力。更重要的是，無限計算層的效益不僅僅體現在以太坊上。對整個加密行業而言，這意味著更多鏈上應用可以在不犧牲安全性的前提下，獲得接近 Web2 的複雜度與體驗；而放到更廣泛的傳統世界，先算後驗的可驗證計算也提供了一種新的協作方式——當多方需要共享結果、卻無法共享信任時，證明可以成為一種新的通用語言。隨著 ProverNet 這類開放證明網絡的成熟，Brevis 所構建的將不只是某條鏈的能力增強，而是一種跨生態、跨行業都可調用的可信計算供應。
歡迎加入律動 BlockBeats 官方社群：
Telegram 訂閱群：https://t.me/theblockbeats
Telegram 討論群組：https://t.me/BlockBeats_App