面向自动做市商的机制设计

区块链技术使自动做市商（AMM）广为流行。AMM交易所是运行在区块链上的一种应用，维持一组加密资产的池子，并根据衡量资产相对需求/供应的定价函数，自动与用户进行资产交易。AMM引发了一个被称为矿工可提取价值（MEV）的重要挑战。具体而言，控制区块中交易内容和排序的矿工可以通过前跑和后跑用户的交易，从而获取无风险收益的套利机会。在本文中，我们考虑如何设计消除MEV机会的AMM机制。具体地，我们提出了一种新的AMM机制，该机制在批处理方式下处理区块中包含的所有交易。我们证明了该新机制满足两层保障。首先，对于每个区块由单个（可能轮换）矿工提议的旧链， 我们证明该机制满足套利韧性，即矿工无法获取无风险利润。此外，我们还保证了同一区块内所有交易的公平对待，使得矿工无法向用户或套利者出售有利的头寸。第二，对于区块提议过程去中心化且提供排序公平性的链， 我们证明了一种更强的称为激励相容性的概念——大致而言，我们保证任何单个用户的最佳响应是遵循诚实策略。