Brevis發(fā)布ProverNet白皮書，首個(gè)去中心化零知識(shí)證明生成市場

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

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

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

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

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

PancakeSwap 的 VIP 費(fèi)率折扣系統(tǒng)要求在每個(gè)交易前為個(gè)體交易者生成亞秒級(jí)證明以檢查資格。Euler 的激勵(lì)分配每四小時(shí)處理 10 萬個(gè)地址，優(yōu)先考慮吞吐量而非延遲。Linea 的生態(tài)系統(tǒng)活動(dòng)為多協(xié)議獎(jiǎng)勵(lì)計(jì)算生成了 1,210 萬個(gè)證明，涉及 61,902 個(gè)地址。每種工作負(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)用程序在根本上需求不同證明方法的觀察。一個(gè)由專業(yè)證明者競爭的市場，比任何單一運(yùn)營商試圖服務(wù)所有用例更高效。”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

BREV 代幣的用途

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

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

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

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

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

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

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

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

可用性與更多信息

完整的 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 計(jì)劃在 2025 年底之前上線，更多的實(shí)施細(xì)節(jié)和時(shí)間表將另行公布。

關(guān)于 Brevis

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