Brevis与Uniswap的合作是一个很好的理解zkVM的例子，Uniswap基金会拨款了900万来推动一个Uni V4 hook池的集成补贴计划。 Uni V4 hook的设计与传统的AMM Pool有很大区别，因为它是高度定制化的，为开发者提供了很大的开发空间，但带来的问题就是上游聚合器集成它的难度会非常大。 原来V2 V3 Pool如果说是通用标准，那么V4 hook就都是非标的，每个池都有不同的逻辑，等于每个池可能都要单独接入一遍。 所以解决方案就是用补贴/返利来推动这个事情。 具体来说，某个交易被聚合器路由到某个池子，产生了多少交易量、消耗多少gas，根据这些数据来给聚合器补贴，这是这900万美金的用途，那么谁来统计、计算这些数据，且保证数据的真实可验证性，这是Brevis做的事情。 整个过程大概是这样： 1. 用户下单，聚合器把订单路由到某个 Uniswap v4 Hook Pool，该交易正常进行。 2. 接下来进入奖励逻辑。路由器会把一段时间内它路由到v4 Hook Pool的真实成交记录（比如一批交易的 tx data、Gas 使用量等）拿出来。 但这里的问题是，如何证明这些交易确实是我路由的、不是我乱报来骗补贴的？传统做法是中心化地记账、对账，但这明显是不Crypto的，Brevis的作用就是处理这个环节的计算、验证。 它把这些交易的原始链上数据、Gas 消耗、路由目标池全都喂给 Brevis，Brevis在链下把这一堆数据算清楚，然后生成一个零知识证明，来保证这些数据的真实和可验证性。 最后聚合器拿着这张“密码学报销单”，去申领补贴。