Brevis 今日发布了 ProverNet 白皮书，介绍其去中心化零知识证明生成市场架构，该架构源于主流多链协议的生产环境实测。该系统解决了现有证明基础设施中的一个基本限制——无法有效服务于需要不同硬件、证明系统和优化方法的异构计算工作。
ProverNet 将证明生成视为一个双方市场，应用程序提交特定请求，专业证明者竞拍来满足这些需求。该市场通过真实在线双向拍卖（Truthful Online Double Auction）机制运作，旨在同时处理多种证明类型，同时确保诚实出价和最优资源分配，ProverNet 计划在 2025 年底之前上线。
生产规模揭示基础设施的局限性
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 证明、特定的加密操作），而无需构建通用基础设施，同时应用程序可以获得有竞争力的定价和获得服务的保证，且无需受供应商锁定的影响。
对于开发者而言，这消除了在构建定制证明基础设施（昂贵且耗时）和依赖中心化服务（引入信任假设）之间进行权衡的困境，因为加密验证保证了计算的正确性，而市场竞争确保了定价效率和载能可用性。
