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