jakiro
作者：Haotian；来源：X，@tmel0211
在eth_proofs Day上，Justin Drake用zklighthouse客户端现场验证了Brevis Pico ZKVM的证明——无需重新执行交易就能直接finalize区块，并喊了一句Gigagas ETH时代要来了。
毫无疑问， Brevis又一次得到了以太坊基金会的钦点。那Brevis到底在布什么局？
翻了下他们最新发的ProverNet白皮书，加上Demo演示，发现的确和其他zk方案有所不同：
1）普遍情况下，ZK证明市场都遵循单一供应商的模式 ，但Brevis在生产环境中发现个尴尬问题：比如，Uniswap的链下Rebate过程需要ZK提供透明化解法， PancakeSwap的VIP费率则要在每笔交易前实现亚秒级别的证明检查，而Euler Labs这种要一定时间批量处理超10w个地址的激励分配，对吞吐量又有要求。
按正常逻辑，几种不同的需求场景，对所需的硬件配置、证明系统规格和优化方向等都完全不同。如果是单一供应商，要么只能针对临时需求做深度场景优化，要么只能给出通用化方案委曲求全一下。这样一来，显然难以满足垂类场景下刁钻的差异化需求；
2）Brevis要做的这个ProverNet解法很简单，搭建一个双边市场 ，由应用方提需求，专业Prover竞拍接单，即TODA（真实再现双重拍卖）机制。这样“市场化”的解法，自然可以同时处理多种异构证明类型，让细分场景需求的应用方能得到最专业擅长的Prover来专项对口服务。
其实还可以再进一步，若遇到较为复杂的任务，不同Prover之间还能拆解任务进行协作，比如，一个 zkVM 证明可能由 A 做分块、B 做压缩、C 做聚合、D 做最终封装。总之专业分工、分拆来胜任更多样化的市场需求。
以上。
其实逻辑很简单，就是从过去“卖铲子”的思维，转变成搭“市场”，过去纯中心化的供应商服务体系，向去中心化的Marketplace转移。
所谓Gigagas ETH时代，需要的绝非单一的工具服务，而是这种能调度全网Prover的基础设施。
