Brevis布局ProverNet：以太坊基金会钦点的去中心化ZK证明市场

作者：Haotian；来源：X，@tmel0211

在最近的eth_proofs Day上，Justin Drake通过zklighthouse客户端现场验证了Brevis Pico ZKVM的证明。这一过程无需重新执行交易即可直接完成区块的finalize，并高呼“Gigagas ETH时代即将到来”。

毫无疑问，Brevis再次得到了以太坊基金会的认可。那么，Brevis究竟在布局什么？

经过对其最新发布的ProverNet白皮书的深入研究，结合Demo演示，我们发现Brevis的方案与其他zk解决方案相比确实有显著不同：

1）普遍情况下，ZK证明市场遵循单一供应商模式。然而，Brevis在实际生产环境中发现了这样一个问题：例如，Uniswap的链下Rebate流程需要ZK提供透明化解法，PancakeSwap的VIP费率要求在每笔交易前实现亚秒级的证明检查，而Euler Labs则需要一定时间批量处理超过10万个地址的激励分配，这对吞吐量提出了极高的要求。

按照常规逻辑，这些不同的需求场景对硬件配置、证明系统规格和优化方向的要求各不相同。如果采用单一供应商模式，要么只能针对临时需求进行深度场景优化，要么只能提供通用化方案妥协应对。显然，这种模式难以满足垂直场景下的差异化需求。

2）Brevis提出的ProverNet解决方案非常简单：搭建一个双边市场。具体来说，由应用方提出需求，专业Prover竞拍接单，即通过TODA（真实再现双重拍卖）机制实现“市场化”运作。这样的方式可以同时处理多种异构证明类型，让细分场景中的应用方能够获得最擅长相关领域的Prover专项服务。

更进一步地，当面对复杂任务时，不同Prover之间还可以拆解任务进行协作。例如，一个zkVM证明可能由A负责分块、B负责压缩、C负责聚合、D负责最终封装。通过专业分工与任务拆解，Brevis能够胜任更加多样化的市场需求。

总结来看，其核心逻辑是从过去“卖铲子”的思维转变为搭建“市场”，将传统中心化的供应商服务体系向去中心化的Marketplace转移。

所谓“Gigagas ETH时代”，需要的绝非单一工具服务，而是像Brevis ProverNet这样能够调度全网Prover资源的基础设施。