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