项目方面，研究了 Axiom 和 Rodeo Finance。
Axiom 是 ZK 协处理器。
功能类似 The Graph 和 Hyper Oracle。其他项目可使用 Axiom 服务，检索以太坊以往所有区块数据，并可使用 ZK 的简洁性迅速调用，基于这些数据，可查看某地址的历史交易情况，包括盈利和回撤情况等等，还可以丰富预言机的数据维度，从而产生一些新应用的可能。
最近不少机构撰写过 ZK 协处理器方面的文章，包括 SevenX Ventures，这个领域比较早期，目前机构关注得更多。可行性和是否存在真实需要，还需市场验证，不过可以长期关注。
关于 ZK 协处理器，可结合 SevenX Ventures Hill 老师的好文一同观看，会有直观地理解。
https://hackmd.io/@Hill/coprocessors#Short-intro-on-Uniswap-v4
https://twitter.com/Hill79025920/status/1674047353567821827
Rodeo Finance 是 Arbiturm 上的杠杆 Yield Farming 协议。
用户可质押 USDC，开启杠杆 DeFi 挖矿。比如下图的 GLP，用户可质押 USDC 选择杠杆倍数，选择 GLP 进行 Farm。比如质押了 1000 USDC，开启6倍杠杆，协议会质押 6000 U的 GLP 进入到 Gmx 协议里挖矿。GLP 价格下跌，用户的资产会被清算。
清算也比较好理解，假设你质押了 1000 U，当资产下跌到价值 1050 U时，那1000 U 就被清算了。5%的清算线，给 MEV 机器人进行套利清算。