jakiro
作者：藍狐筆記；來源：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% 覆蓋率（<12 秒證明），96.8% 實時覆蓋率（<10 秒）；平均證明時間為36M gas 塊為 6.04 秒，45M gas 塊為 6.9 秒；硬體為64 個 RTX 5090 GPU，成本 128K 美元。
上面的數據看起來很專業，不過對於普通用戶來說，這些數據可能無感。
為簡單理解，可以簡化類比為Pico Prism為以太坊L1裝了一個加速器。以前以太坊處理每個區塊都需要所有節點重新計算一遍，通過Pico Prism這樣的技術，意味著它能夠通過「濃縮」（快速生成一個證明，超級壓縮摘要），讓網絡只需幾秒就可以驗證，無須每個節點重複計算。也就是說，這意味著以太坊L1會變得更快更便宜更高效，且能處理更複雜的實現，同時還不犧牲去中心化和安全。如果說以前的以太坊類似於老式自行車，有了Brevis的Pico Prism技術，以太坊升級成為了汽車。
這種加速的效果，可以解鎖更多場景，比如說實時AI驅動的DeFi借貸、鏈上遊戲、匿名投票等。
DeFi場景：以前的以太坊L1上智能合約只能看餘額借錢，無法根據用戶的歷史交易數據來分析用戶穩健程度（因為海量歷史數據分析無法做到），有了這個加速器，可以支持L1實時分析海量歷史數據（幾秒鐘的證明），從而構建出「AI借貸機器人」。合約根據用戶的DeFi交易歷史，得出信用分，給出個性化的利率。此外，對於高頻場景，如閃貸，借錢/投資/還錢都在一個區塊完成，AI實時優化路徑，避免「滑點」損失。類似於去中心化的Robinhood。此外還可以有高頻拍賣，每分鐘可以完成成百上千次競價。
鏈上遊戲：之前L1想建一個多人遊戲（如鏈上 Axie Infinity），區塊確認 12 秒一輪，玩家卡頓、費用飆升；通過 Pico Prism支持「模擬實時「遊戲，鏈下伺服器計算傷害等數值，每回合用ZK證明結算到L1，模擬「實時」遊戲，實現更好的遊戲體驗。
匿名鏈上投票場景：目前L1投票是透明的，容易被追蹤或操縱，且複雜統計成本高、速度慢。通過Pico Prism實現「零知識隱私計算」，L1 上跑高頻隱私應用，可以實現DAO治理的高頻匿名投票，實時出結果。
上述的場景，對以太坊意味著什麼，可以解鎖更多的DeFi和其他應用場景，帶來更多的資產到L1沉澱，帶來更多的交易和流動性，更大的活躍度。
至於未來能跑出什麼場景，還需要在具體實踐中進行檢驗。
逐步落地
根據公開資料，Brevis在逐步部署中，其中生成了1.475 億個 ZK 證明；獨立用戶超過19萬；支持5個區塊鏈；主要合作夥伴超過20個（如Metamask、Linea等），目前被集成到已經運行的應用中，比如通過Brevis技術，Incentra Platform發放年度獎勵；PancakeSwap實現基於交易量等數據進行折扣；Linea基於用戶貢獻分發 10 億 LINEA 代幣等。
