Brevis 发布 ProverNet 白皮书，详述首个去中心化零知识证明生成市场

Chainfeeds 导读：

ProverNet 将于不久后正式启动，更多的实施细节和时间表将另行公布。

文章来源：

文章作者：

Brevis

观点：

Brevis：ProverNet 的架构将不同的证明类型视为拍卖中的不同商品。应用程序指定证明要求，包括处理类型（zkVM 执行、数据证明、递归聚合）、截止日期、最高费用和质量参数。TODA 机制每轮计算最优分配，将异构请求与合适的证明能力进行匹配。这一机制解决了证明生成市场独特的挑战。传统拍卖机制基于商品同质的假设，TODA 能够同时处理多种证明类型。复杂的证明任务被分解为子任务，由不同的证明者协作执行。例如，一个 zkVM 证明可能涉及在一个证明者上生成分块，在另一个证明者上进行压缩，在第三个证明者上进行聚合，最后在第四个专用系统进行最终验证封装。TODA 保证了若干经济属性：真实性（最优策略是诚实出价）；预算平衡（收取的费用超过支付的费用）；个体理性（没有参与者接受不盈利的任务）及渐近最优性（随着证明者供应的增长，分配接近最大效率）。 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 市场架构的异构工作负载类型。 ProverNet 代表了从单一证明供应商的基础设施向基于市场需求的资源分配的转变。现有的证明者网络通常针对狭窄的用例进行优化（例如特定的 Rollup 证明、特定的虚拟机，或同质的工作类型），这限制了它们高效服务多样化需求的能力。市场拍卖模式允许证明团队专注于特定的优化目标（基于 STARK 的批处理、低延迟 SNARK 证明、特定的加密操作），而无需构建通用基础设施，同时应用程序可以获得有竞争力的定价和获得服务的保证，且无需受供应商锁定的影响。对于开发者而言，这消除了在构建定制证明基础设施（昂贵且耗时）和依赖中心化服务（引入信任假设）之间进行权衡的困境，因为加密验证保证了计算的正确性，而市场竞争确保了定价效率和载能可用性。

内容来源