本文由 Brevis 提供，不代表吳說觀點，請讀者嚴(yán)格遵守所在地法律法規(guī)。

Brevis 發(fā)布了ProverNet 白皮書，介紹其去中心化零知識證明生成市場架構(gòu)，該架構(gòu)源于主流多鏈協(xié)議的生產(chǎn)環(huán)境實測。該系統(tǒng)解決了現(xiàn)有證明基礎(chǔ)設(shè)施中的一個基本限制——無法有效服務(wù)于需要不同硬件、證明系統(tǒng)和優(yōu)化方法的異構(gòu)計算工作。

ProverNet 將證明生成視為一個雙方市場，應(yīng)用程序提交特定請求，專業(yè)證明者競拍來滿足這些需求。該市場通過 TODA（Truthful Online Double Auction，真實在線雙重拍賣）機(jī)制運(yùn)作，旨在同時處理多種證明類型，同時確保誠實出價和最優(yōu)資源分配。該系統(tǒng)計劃在 2025 年底之前上線。

生產(chǎn)規(guī)模揭示基礎(chǔ)設(shè)施的局限性

Brevis 當(dāng)前的基礎(chǔ)設(shè)施已為 98,000 名用戶生成超過 1.24 億個證明，覆蓋包括 PancakeSwap、Uniswap、Euler、Linea 和 MetaMask 等協(xié)議，促成了 2.24 億美元的無需信任獎勵分配。這些部署顯著揭示了證明工作的多樣性，而單一供應(yīng)商架構(gòu)難以有效進(jìn)行服務(wù)。

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

Brevis 的首席執(zhí)行官兼聯(lián)合創(chuàng)始人 Michael 表示：“當(dāng)前的證明系統(tǒng)針對特定用例進(jìn)行優(yōu)化，例如某些 Rollup、單一虛擬機(jī)或同質(zhì)化工作類型。ProverNet 的誕生源于我們對應(yīng)用程序在根本上需求不同證明方法的觀察。一個由專業(yè)證明者競爭的市場，比任何單一運(yùn)營商試圖服務(wù)所有用例更高效?！?/p>

市場架構(gòu)與 TODA 機(jī)制

ProverNet 的架構(gòu)將不同的證明類型視為拍賣中的不同商品。應(yīng)用程序指定證明要求，包括處理類型（zkVM 執(zhí)行、數(shù)據(jù)證明、遞歸聚合）、截止日期、最高費用和質(zhì)量參數(shù)。TODA 機(jī)制每輪計算最優(yōu)分配，將異構(gòu)請求與合適的證明能力進(jìn)行匹配。

這一機(jī)制解決了證明生成市場獨特的挑戰(zhàn)。傳統(tǒng)拍賣機(jī)制基于商品同質(zhì)的假設(shè)，TODA 能夠同時處理多種證明類型。復(fù)雜的證明任務(wù)被分解為子任務(wù)，由不同的證明者協(xié)作執(zhí)行。

例如，一個 zkVM 證明可能涉及在一個證明者上生成分塊，在另一個證明者上進(jìn)行壓縮，在第三個證明者上進(jìn)行聚合，最后在第四個專用系統(tǒng)進(jìn)行最終驗證封裝。

TODA 保證了若干經(jīng)濟(jì)屬性：真實性（最優(yōu)策略是誠實出價）；預(yù)算平衡（收取的費用超過支付的費用）；個體理性（沒有參與者接受不盈利的任務(wù)）；漸近最優(yōu)性（隨著證明者供應(yīng)的增長，分配接近最大效率）。

該市場在 Brevis Chain 上運(yùn)行，這是一個專為拍賣協(xié)調(diào)設(shè)計的專用 Rollup 架構(gòu)。該架構(gòu)將市場吞吐量與 Layer 1 或 Layer 2 網(wǎng)絡(luò)擁堵隔離開來，同時保持透明性和無許可參與。通過 ProverNet 生成的證明可以面向任何目標(biāo)區(qū)塊鏈進(jìn)行驗證。

技術(shù)基礎(chǔ)：Pico zkVM 與實時證明

ProverNet 建立在 Brevis 現(xiàn)有的證明基礎(chǔ)設(shè)施之上，該基礎(chǔ)設(shè)施包含兩個互補(bǔ)的產(chǎn)品，以服務(wù)不同的計算需求。

Pico zkVM 采用“通用核心 + 高性能協(xié)處理器”架構(gòu)，其中一個極簡高效核心連接到專用的加密加速器，從而允許程序在運(yùn)行一個穩(wěn)定的虛擬機(jī)的同時，獲得定向的硬件優(yōu)化。

Pico Prism最近實現(xiàn)了對 gas 限制為 4500 萬的以太坊區(qū)塊 99.6% 的證明覆蓋，在 12 秒內(nèi)完成其中的 96.8% 證明，平均證明時間為 6.9 秒。該系統(tǒng)使用 64×RTX 5090 GPU 集群，比之前市場最優(yōu)zkVM低 50% 的硬件成本實現(xiàn)實時證明。

ZK 數(shù)據(jù)協(xié)處理器使智能合約能夠訪問歷史區(qū)塊鏈數(shù)據(jù)，并執(zhí)行可加密驗證的鏈下計算。

該系統(tǒng)支持的應(yīng)用包括 PancakeSwap 的 VIP 費率（在交易前檢查 30 天的交易量）、Euler 的無信任獎勵分配（處理數(shù)千個地址的時間加權(quán)余額）以及 Uniswap v4 的路由返利（無需中心化賬本即可驗證交易資格）等。

這些集成展示了區(qū)別于通用計算驗證的數(shù)據(jù)密集型證明需求。

這些系統(tǒng)共同為在基礎(chǔ)層規(guī)模上實現(xiàn)實時加密驗證確立了經(jīng)濟(jì)可行性，同時服務(wù)于那些激勵 ProverNet 市場架構(gòu)的異構(gòu)工作負(fù)載類型。

BREV 代幣的用途

白皮書介紹了 BREV，這是 Brevis 首次公開討論其原生代幣經(jīng)濟(jì)學(xué)。BREV 在 ProverNet 中扮演三種主要角色：

1、支付媒介：Brevis ProverNet 中的所有證明、結(jié)算和驗證費用均以 BREV 支付。這包括 zkVM 執(zhí)行的證明生成服務(wù)、ZK 數(shù)據(jù)協(xié)處理查詢、ZKTLS 證明和遞歸聚合，以及驗證、結(jié)算和結(jié)果可用性等輔助服務(wù)。 BREV 會作為 Brevis ProverNet 這一專用 Rollup 所有網(wǎng)絡(luò)交易的 gas 代幣。

2、質(zhì)押抵押品：證明者質(zhì)押 BREV，或接收代幣持有者的委托質(zhì)押，以參與證明工作并賺取證明費用。質(zhì)押扮演三個關(guān)鍵角色：女巫攻擊抵抗和訪問權(quán)限保障、通過SLA 違規(guī)風(fēng)險實現(xiàn)網(wǎng)絡(luò)經(jīng)濟(jì)對齊，以及釋放載能信號（更大的有效質(zhì)押量可解鎖更大、更緊急的工作負(fù)載）。代幣持有者可以將 BREV 委托給專業(yè)證明者，在賺取費用分成的同時承擔(dān)罰沒風(fēng)險。

3、協(xié)議參數(shù)治理：BREV 作為治理代幣，用于管理影響網(wǎng)絡(luò)可靠性和經(jīng)濟(jì)激勵的關(guān)鍵系統(tǒng)參數(shù)。由 BREV 持有者治理的初始參數(shù)包括：最大可接受證明大小、最低加密安全級別、SLA 違規(guī)的罰沒百分比以及 ProverNet 收取的拍賣市場費用。

對 ZK 生態(tài)系統(tǒng)的影響

ProverNet 代表了從單一證明供應(yīng)商的基礎(chǔ)設(shè)施向基于市場需求的資源分配的轉(zhuǎn)變?，F(xiàn)有的證明者網(wǎng)絡(luò)通常針對狹窄的用例進(jìn)行優(yōu)化（例如特定的 Rollup 證明、特定的虛擬機(jī)，或同質(zhì)的工作類型），這限制了它們高效服務(wù)多樣化需求的能力。

市場拍賣模式允許證明團(tuán)隊專注于特定的優(yōu)化目標(biāo)（基于 STARK 的批處理、低延遲 SNARK 證明、特定的加密操作），而無需構(gòu)建通用基礎(chǔ)設(shè)施，同時應(yīng)用程序可以獲得有競爭力的定價和獲得服務(wù)的保證，且無需受供應(yīng)商鎖定的影響。

對于開發(fā)者而言，這消除了在構(gòu)建定制證明基礎(chǔ)設(shè)施（昂貴且耗時）和依賴中心化服務(wù)（引入信任假設(shè)）之間進(jìn)行權(quán)衡的困境，因為加密驗證保證了計算的正確性，而市場競爭確保了定價效率和載能可用性。

可用性與更多信息

完整的 ProverNet 白皮書可以在以下地址獲取：

http://www.brevis.network/whitepaper/provernet.pdf

簡明的技術(shù)概述已發(fā)布在 Brevis 博客上：

https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/

ProverNet 計劃在 2025 年底之前上線，更多的實施細(xì)節(jié)和時間表將另行公布。

關(guān)于 Brevis

Brevis 是一個智能可驗證計算平臺，為現(xiàn)有智能合約區(qū)塊鏈提供無限計算能力。通過零知識證明，Brevis 將數(shù)據(jù)密集型、高成本計算從鏈上遷移到鏈下引擎，使 Web3 應(yīng)用在保持 L1 安全信任前提下無縫擴(kuò)展。