在 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 秒，無限接近以太坊基金會的目標。實時證明生成速度第一次近乎完美的追上了以太坊出塊速度
