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

原文來源：Brevis

Brevis 今天發布了 ProverNet 白皮書，介紹其去中心化零知識證明生成市場架構，該架構源於主流多鏈協議的生產環境實測。該系統解決了現有證明基礎設施中的一個基本限制——無法有效服務於需要不同硬體、證明系統和最佳化方法的異質運算工作。

ProverNet 將證明生成視為一個雙方市場，應用程式提交特定請求，專業證明者競標來滿足這些需求。該市場透過真實線上雙向拍賣（Truthful Online Double Auction）機制運作，旨在同時處理多種證明類型，同時確保誠實出價和最優資源分配，ProverNet 計劃在 2025 年底之前上線。

生產規模揭示基礎設施的局限性

Brevis 目前的基礎設施已為 98,000 名用戶生成超過 1.24 億個證明，覆蓋包括 PancakeSwap、Uniswap、Euler、L800 和 Meta24 億美元的獎勵分配了。這些部署顯著揭示了證明工作的多樣性，而單一供應商架構難以有效地進行服務。

PancakeSwap 的 VIP 費率折扣系統要求在每個交易前為個別交易者產生亞秒級證明以檢查資格。 Euler 的激勵分配每四小時處理 10 萬個位址，優先考慮吞吐量而非延遲。 Linea 的生態系統活動為多協議獎勵計算產生了 1,210 萬個證明，涉及 61,902 個地址。每種工作負載都需要不同的硬體配置、證明系統（SNARKs 與 STARKs）和效能特性。

Brevis 的執行長兼共同創辦人 Michael 表示：「目前的證明系統針對特定用例進行最佳化，例如某些 Rollup、單一虛擬機或同質化工作類型。ProverNet 的誕生源自於我們對應用程式在根本上需求不同證明方法的觀察。一個由專業證明者嘗試的市場，比任何單一營運者在根本上需求不同的觀察方法

TODA 機制

ProverNet 的架構將不同的證明類型視為拍賣中的不同商品。應用程式指定證明要求，包括處理類型（zkVM 執行、資料證明、遞歸聚合）、截止日期、最高費用和品質參數。 TODA 機制每輪運算最優分配，將異質請求與適當的證明能力配對。

此機制解決了證明生成市場獨特的挑戰。傳統拍賣機制是基於商品同質的假設，TODA 能夠同時處理多種證明類型。複雜的證明任務被分解為子任務，由不同的證明者合作執行。

例如，一個 zkVM 證明可能涉及在一個證明者上生成分區塊，在另一個證明者上進行壓縮，在第三個證明者上進行聚合，最後在第四個專用系統進行最終驗證封裝。

TODA保證了若干經濟屬性：

真實性（最優策略是誠實出價）

預算平衡（收取的費用超過支付的費用）

個體理性（沒有參與者接受不盈利的任務）

漸近最適（隨著證明者供應的增長，分配接近最大效率）。

該市場在 Brevis Chain 上運行，這是一個專為拍賣協調設計的專用 Rollup 架構。該架構將市場吞吐量與 Layer 1 或 Layer 2 網路擁塞隔離開來，同時保持透明性和無許可參與。透過 ProverNet 產生的證明可以面向任何目標區塊鏈進行驗證。

Pico zkVM 與即時證明

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 市場架構的異質工作負載類型。

對 ZK 生態系統的影響

ProverNet 代表了從單一證明供應商的基礎設施轉變為基於市場需求的資源分配的轉變。現有的證明者網路通常針對狹窄的用例進行最佳化（例如特定的 Rollup 證明、特定的虛擬機，或同質的工作類型），這限制了它們高效服務多樣化需求的能力。

市場拍賣模式允許證明團隊專注於特定的優化目標（基於 STARK 的批次、低延遲 SNARK 證明、特定的加密操作），而無需構建通用基礎設施，同時應用程式可以獲得有競爭力的定價和獲得服務的保證，且無需受供應商鎖定的影響。

對於開發者而言，這消除了在構建定制證明基礎設施（昂貴且耗時）和依賴中心化服務（引入信任假設）之間進行權衡的困境，因為加密驗證保證了計算的正確性，而市場競爭確保了定價效率和載能可用性。

更多資訊

完整的 ProverNet 白皮書可以在以下網址取得：http://www.brevis.network/whitepaper/provernet.pdf

已發佈簡潔的技術概述已發佈在 Brevis部落格：https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

本文來自投稿，不代表 BlockBeats 觀點。