Brevis 發布 ProverNet 白皮書，詳述首個去中心化零知識證明生成市場

Chainfeeds 導讀：

ProverNet 將於不久後正式啟動，更多的實施細節和時間表將另行公佈。

文章來源：

文章作者：

Brevis

觀點：

Brevis：ProverNet 的架構將不同的證明類型視為拍賣中的不同商品。應用程式指定證明要求，包括處理類型（zkVM 執行、數據證明、遞歸聚合）、截止日期、最高費用和質量參數。TODA 機制每輪計算最優分配，將異構請求與合適的證明能力進行匹配。這一機制解決了證明生成市場獨特的挑戰。傳統拍賣機制基於商品同質的假設，TODA 能夠同時處理多種證明類型。複雜的證明任務被分解為子任務，由不同的證明者協作執行。例如，一個 zkVM 證明可能涉及在一個證明者上生成分塊，在另一個證明者上進行壓縮，在第三個證明者上進行聚合，最後在第四個專用系統進行最終驗證封裝。TODA 保證了若干經濟屬性：真實性（最優策略是誠實出價）；預算平衡（收取的費用超過支付的費用）；個體理性（沒有參與者接受不盈利的任務）及漸近最優性（隨著證明者供應的增長，分配接近最大效率）。ProverNet 建立在 Brevis 現有的證明基礎設施之上，該基礎設施包含兩個互補的產品，以服務不同的計算需求。Pico zkVM 採用「通用核心 + 高效能協處理器」架構，其中一個極簡高效核心連接到專用的加密加速器，從而允許程式在運行一個穩定的虛擬機的同時，獲得定向的硬體優化。Pico Prism 最近實現了對 gas 限制為 4500 萬的以太坊區塊 99.6% 的證明覆蓋，在 12 秒內完成其中的 96.8% 證明，平均證明時間為 6.9 秒。該系統使用 64×RTX 5090 GPU 集群，比之前市場最優 zkVM 低 50% 的硬體成本實現即時證明。ZK 數據協處理器使智能合約能夠訪問歷史區塊鏈數據，並執行可加密驗證的鏈下計算。該系統支持的應用包括 PancakeSwap 的 VIP 費率（在交易前檢查 30 天的交易量）、Euler 的無信任獎勵分配（處理數千個地址的時間加權餘額）以及 Uniswap v4 的路由返利（無需中心化帳本即可驗證交易資格）等。這些整合展示了區別於通用計算驗證的數據密集型證明需求。這些系統共同為在基礎層規模上實現即時加密驗證確立了經濟可行性，同時服務於那些激勵 ProverNet 市場架構的異構工作負載類型。ProverNet 代表了從單一證明供應商的基礎設施向基於市場需求的資源分配的轉變。現有的證明者網絡通常針對狹窄的用例進行優化（例如特定的 Rollup 證明、特定的虛擬機，或同質的工作類型），這限制了它們高效服務多樣化需求的能力。市場拍賣模式允許證明團隊專注於特定的優化目標（基於 STARK 的批處理、低延遲 SNARK 證明、特定的加密操作），而無需構建通用基礎設施，同時應用程式可以獲得有競爭力的定價和獲得服務的保證，且無需受供應商鎖定的影響。對於開發者而言，這消除了在構建定制證明基礎設施（昂貴且耗時）和依賴中心化服務（引入信任假設）之間進行權衡的困境，因為加密驗證保證了計算的正確性，而市場競爭確保了定價效率和載能可用性。