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

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

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

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

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

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/

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

關於 Brevis

Brevis 是一個智能可驗證計算平台，為現有智能合約區塊鏈提供無限計算能力。 通過零知識證明，Brevis 將數據密集型、高成本計算從鏈上遷移到鏈下引擎，使 Web3 應用在保持 L1 安全信任前提下無縫擴展。