Brevis：開啟區塊鏈無限計算時代
在 2025 年 11 月阿根廷 Devconnect 上，以太坊基金会研究员 Justin Drake 演示了一个不同的区块验证流程，他的验证节点使用 zkLighthouse 客戶端，只依賴來自 Brevis 的 Pico zkVM 等協議的零知識證明，就完成了對區塊的有效性判定。這極有可能預示了未來以太坊的擴容方向。它證明了一件事情：區塊鏈不必重複執行所有計算，只要能夠驗證外部生成的證明即可。
Brevis 的定位不只是某個具體應用，而是一個可驗證的計算層。作為無限計算層（Infinite Compute Layer），它允許複雜計算在鏈下執行，並通過零知識證明把結果帶回鏈上，由智能合約用極低成本完成驗證。這件事之所以重要，是因為以太坊的默認安全模型，本質上依賴全網複算，每個驗證節點在收到新區塊後，往往都要把區塊裡的交易重新跑一遍，才能確認這個區塊的執行結果確實正確。雖然保證了正確，但也意味著算力與資源消耗會隨著負載變重而持續抬升。Brevis 正把這部分必須重複做的重計算改寫為一次計算、全網驗證，在鏈下完成計算並生成證明，鏈上與節點只需驗證一個很小的證明即可。
與許多只關注隱私或擴容的 zk 應用不同，Brevis 是在實際解決 Web3 行業的結構性問題，當鏈上計算越來越複雜、越來越頻繁時，系統是否一定要靠每個節點重複執行來維持可信？Brevis 的路徑是把計算遷出鏈外，由 zkVM 執行並生成證明，鏈上合約僅驗證證明即可，從而讓合約能夠可信地利用歷史數據、跨鏈狀態或複雜算法結果，同時不引入額外信任假設。在實現這個目標的過程中，ZK Data Coprocessor、Pico zkVM 與 ProverNet 構成了其目前的三大技術核心。
Brevis 最初的技術突破是 ZK Data Coprocessor。它使智能合約能夠查詢任意鏈上歷史數據、執行鏈下計算並生成零知識證明，將計算結果作為可信輸入提供給合約。ZK Data Coprocessor 可以查詢和計算鏈上歷史交易量或用戶行為，並生成零知識證明供合約驗證。這使得原本只能訪問當前區塊的合約，也能利用長時間窗數據和跨鏈狀態。
2023 年 Brevis 做出 Coprocessor 原型后一路迭代，到 2025 年 1 月推出 v2 并上線主網。v2 的關鍵變化，不必紐結具體證明體制的名字，可以抽象成三點：更快（同樣的任務用更少資源、更短時間做完）、更通用（能覆蓋更多類型的數據與計算需求）、更好用（簡化流程，把複雜性封裝起來）。
回頭看 2025 年之前 Brevis 的技術路線，其實就一條主線，先把證明系統的性能邊界摸清，再把鏈下算、鏈上驗做成可用的 Coprocessor 並持續工程化迭代，隨後探索更系統化的運行形態。更難得的是彰顯了團隊的底色，既懂密碼學，也懂大規模系統工程，不靠紙面推導取勝，項目初期就確定了行業痛點，並且致力於技術大規模採用。
2025 年 Brevis 把三駕馬車裡另外兩塊也補齊了，一塊是更通用、更面向生產環境的證明執行引擎 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 願景，將證明能力市場化，任何應用都可以提交證明任務，通過拍賣機制在市場中匹配到 prover 节点。12 月上線的主網 Beta 進一步把它落到可用的產品形態，市場持續運轉、證明請求可以直接提交，prover 也能註冊並開始競價接單，應用不必再自建證明基礎設施。
通過三驅馬車，Brevis 讓證明能力從工具變成基礎設施，既有可規模化的證明引擎，也有開放的證明供給網路，讓應用按需獲得可驗證計算。它的意義不只在以太坊——這種鏈下計算、鏈上驗證的範式會外溢到整個 Web3，乃至其他諸如 AI 和遊戲等行業。
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 所構建的將不只是某條鏈的能力增強，而是一種跨生態、跨行業都可調用的可信計算供給。