Brevis的「鏈下計算鏈上驗證」模式有何不同？

作者：藍狐筆記；來源：X，@lanhubiji

看到vitalik提到Brevis，看來非常重視L1擴容。在以太坊路線圖中，有個概念：「鏈下計算鏈上驗證」模式，Eigenlayer、Succinct及Zksync有過類似思路，說明業界有共識，要想真正去中心化地擴展L1，可以利用鏈下優勢；Brevis也才用了這個模式，那麼，Brevis有何不同？

先簡單理解什麼是「鏈下計算鏈上驗證」模式？為讓更多普通用戶能理解，可以打一簡化比喻，「鏈下計算鏈上驗證」可看作為將鏈下事實（計算結果或數據）「濃縮」成一個簡潔的證明或摘要，然後在鏈上驗證。在某種程度上，其思路跟L2 Rollup在抽象層面上類似，L2 Rollup將多個交易打包濃縮成一批次，提交到L1驗證和執行，雖具體機制不同，但這利於理解Brevis的ZkVM設計哲學：「濃縮與驗證」。通過數學，將大量鏈下計算工作壓縮成小塊資訊，實現在昂貴且吞吐量低的鏈上高效處理，從而解決區塊鏈可擴展性難題。

Brevis的核心機制是鏈下進行高效計算，生成ZK證明，之後在鏈上以快速低成本完成驗證，無須重新執行整個複雜計算。這不新鮮，而Brevis不同之處在於：

通用性和專用優化的結合

Brevis的技術棧是模塊化設計，其中 Pico zkVM是其通用可驗證計算引擎，支持任何計算的ZK 證明生成。開發者用 Rust 編寫代碼，無需 ZK專業知識，平台自動處理證明生成，降低開發者構建複雜加密應用的門檻（技術抽象了 ZK 複雜性，讓開發者像寫普通代碼一樣構建應用）。它的模塊化架構支持添加特定協處理器，除了通用結算，它還能針對特定場景的複雜計算進行優化，實現更有針對性的提升。

它有個內置協議處理器，叫ZK Data Coprocessor，針對區塊鏈歷史數據分析設計，可以解決智能合約「失憶」問題（無法廉價訪問歷史數據）。它在

鏈下檢索和分析數據，提供結果及證明，確保數據存在性和計算正確性。比如，pancakeswap可使用Brevis鈎子來根據用戶交易量實現費用折扣；uniswap用Brevis做gas退款。它們通過zK Data Coprocessor實現複雜功能的同時節省了大量成本。

為以太坊L1提供「加速器」

Pico Prism是Brevis的關鍵技術之一，它在多服務器 GPU 集群方面有突破，支持以太坊L1的「實時證明」。這個「實時證明「，可以理解為以太坊L1的每個區塊（一頁交易記錄），能在幾秒內用密碼學「蓋章」確認正確，大家不用重新算一遍驗證是否可靠。

根據目前Ethereum 基金會實時證明框架基準，針對 45M gas 限制的當前L1區塊，實現 99.6% 覆蓋率（