jakiro
作者：Haotian；來源：X，@tmel0211
在eth_proofs Day上，Justin Drake用zklighthouse客戶端現場驗證了Brevis Pico ZKVM的證明——無需重新執行交易就能直接finalize區塊，並喊了一句Gigagas ETH時代要來了。
毫無疑問， Brevis又一次得到了以太坊基金會的欽點。那Brevis到底在布希麼局？
翻了下他們最新發的ProverNet白皮書，加上Demo演示，發現的確和其他zk方案有所不同：
1）普遍情況下，ZK證明市場都遵循單一供應商的模式 ，但Brevis在生產環境中發現個尷尬問題：比如，Uniswap的鏈下Rebate過程需要ZK提供透明化解法， PancakeSwap的VIP費率則要在每筆交易前實現亞秒級別的證明檢查，而Euler Labs這種要一定時間批量處理超10w個地址的激勵分配，對吞吐量又有要求。
按正常邏輯，幾種不同的需求場景，對所需的硬體配置、證明系統規格和優化方向等都完全不同。如果是單一供應商，要麼只能針對臨時需求做深度場景優化，要麼只能給出通用化方案委曲求全一下。這樣一來，顯然難以滿足垂類場景下刁鑽的差異化需求；
2）Brevis要做的這個ProverNet解法很簡單，搭建一個雙邊市場 ，由應用方提需求，專業Prover競拍接單，即TODA（真實再現雙重拍賣）機制。這樣「市場化」的解法，自然可以同時處理多種異構證明類型，讓細分場景需求的應用方能得到最專業擅長的Prover來專項對口服務。
其實還可以再進一步，若遇到較為複雜的任務，不同Prover之間還能拆解任務進行協作，比如，一個 zkVM 證明可能由 A 做分塊、B 做壓縮、C 做聚合、D 做最終封裝。總之專業分工、分拆來勝任更多樣化的市場需求。
以上。
其實邏輯很簡單，就是從過去「賣鏟子」的思維，轉變成搭「市場」，過去純中心化的供應商服務體系，向去中心化的Marketplace轉移。
所謂Gigagas ETH時代，需要的絕非單一的工具服務，而是這種能調度全網Prover的基礎設施。
