ProverNet (https://brevis.network/)是一个 去中心化的 ZK 证明生成市场 (marketplace)。也就是说，它是一个连接 “需要生成证明 (proof requesters)” 和 “提供证明能力 (provers)” 的平台。 代币 (BREV)。
由Brevis — 一个专注于零知识 (ZK) 可验证计算 (verifiable compute) 的基础设施团队推动。
主要目标：解决当前集中式证明基础设施的问题，包括单一供应商瓶颈、高成本、资源利用率低等。通过市场竞价 (auction) 机制，让最适合的 prover 为不同类型的工作负载 (proof workload) 提供服务。
工作机制 (机制亮点)：
使用 TODA (Truthful Online Double Auction) 机制：ProverNet 为 proof 请求者 (applications) 和 prover 提供双向拍卖模型。请求者提交任务 (需求)，provers 提交可处理能力 (供应)，TODA 负责匹配与定价。
支持 异构证明类型：不仅是单一的 ZK 类型，还支持 zkVM 执行 (virtual machine)、递归聚合 (recursive aggregation)、历史数据的 ZK 查询 (ZK Data Coprocessor) 等。
任务拆分 (job decomposition)：复杂任务可以拆分成子任务，由多个 provers 协作完成 (例如，一个负责 chunk，一个负责压缩，一个负责聚合等) 。
专用 rollup：拍卖逻辑部署在 Brevis 的专用 rollup 上 (不是 L1/L2 共用)，这样可以隔离市场协调 (matching) 的吞吐量和网络拥堵，同时保持透明结算和惩罚 (slashing) 机制。
实际验证 /经验基础：
Brevis 已经在生产环境中生成了 数亿 (billions) 级别的 ZK 证明 (production proofs)，并与多个协议 (如 PancakeSwap、Uniswap、Linea 等) 集成。
性能指标：
据 Brevis 报告，在一个 64-GPU 集群上，它能在 12 秒内生成 ~99.6% 的 Ethereum 区块证明 (gas limit 约 4500 万) 。
代币功能 (Token Utility)：
支付媒介 (Payment)：所有 ProverNet 的证明生成费用 (proof generation)、验证、结算等都是用 BREV 来支付。
质押 (Staking)：Provers 需要质押 BREV 才能参与任务竞标 (接任务)。质押机制不仅防止 Sybil 攻击，还保证服务质量 (SLA)；如果承诺未兑现 (比如延迟、证明不合格) 会有惩罚 (slashing)。
治理 (Governance)：BREV 持有者可以参与协议关键参数 (如拍卖机制费率、SLA 惩罚比例等) 的治理。
惩罚机制 (Slashing)：如果 prover 未按服务水平协议 (SLA) 提交证明 (例如错过截止时间)，其质押的 BREV 将被部分切除 (惩罚)；白皮书中提到初始惩罚率设为 1%。
代币经济：白皮书中对 BREV 的经济角色设计非常紧密 — 它同时是支付、抵押和治理代币。
网络费 (Gas)：在 ProverNet 的专用 rollup 上，BREV 可能还充当网络原生 gas (交易费用) 代币。
潜在意义 &竞争力
去中心化证明服务：相比传统集中式证明服务 (proof as a service)，ProverNet 更加开放、去中心化，任何 prover (有算力的节点) 都可以参与，减少对单个供应商的依赖。
经济效率：TODA 拍卖机制帮助实现价格发现 (谁愿意以什么价格做证明)，而且激励机制 (质押 +惩罚) 能保证服务可靠性。
异构任务支持：能够处理非常不同类型的 ZK 任务 (低延迟交互型 vs 批量聚合型 vs 历史数据查询)，使其适用于更加多元化的应用场景 (DeFi、跨链协议、钱包、奖励计算等)。
扩展性：专用 rollup用于协调市场，可以在不拥堵其他链的情况下高频运行拍卖与任务匹配。
增强 ZK 生态：ProverNet 有望降低生成证明 (proof) 的门槛 (成本 +资源门槛)，吸引更多开发者 /项目使用 ZK 证明，从而推动 ZK 技术在 Web3 中更广泛落地。
ProverNet 建立在 Brevis 现有的证明基础设施之上，该基础设施包含两个互补的产品，以服务不同的计算需求。该系统使用 64×RTX 5090 GPU 集群，比之前市场最优 zkVM 低 50% 的硬件成本实现实时证明。ZK 数据协处理器使智能合约能够访问历史区块链数据，并执行可加密验证的链下计算。该系统支持的应用包括 PancakeSwap 的 VIP 费率（在交易前检查 30 天的交易量）、Euler 的无信任奖励分配（处理数千个地址的时间加权余额）以及 Uniswap v4 的路由返利（无需中心化账本即可验证交易资格）等。这些集成展示了区别于通用计算验证的数据密集型证明需求。
ProverNet 代表了从单一证明供应商的基础设施向基于市场需求的资源分配的转变。现有的证明者网络通常针对狭窄的用例进行优化（例如特定的 Rollup 证明、特定的虚拟机，或同质的工作类型），这限制了它们高效服务多样化需求的能力。市场拍卖模式允许证明团队专注于特定的优化目标（基于 STARK 的批处理、低延迟 SNARK 证明、特定的加密操作），而无需构建通用基础设施，同时应用程序可以获得有竞争力的定价和获得服务的保证，且无需受供应商锁定的影响。对于开发者而言，这消除了在构建定制证明基础设施（昂贵且耗时）和依赖中心化服务（引入信任假设）之间进行权衡的困境，因为加密验证保证了计算的正确性，而市场竞争确保了定价效率和载能可用性。