DeFi中自动做市商的理论
形式语言与自动机理论
2023-06-22 v7 计算机科学与博弈论
摘要
自动做市商(AMMs)是最突出的去中心化金融(DeFi)应用之一。AMMs允许用户交易不同类型的加密代币,而无需寻找交易对手。AMMs有多种实现与模型,具备各类复杂经济机制。我们提出一套AMMs理论。该理论的核心是一个用户与AMMs之间交互的抽象操作模型,可通过实例化经济机制而具体化。我们利用该理论形式化证明了AMMs的一组基本性质,刻画了结构与经济两方面特征。我们通过从实现中实际使用的经济机制进行抽象,并识别确保相关性质的充分条件来实现这一点。值得注意的是,我们针对套利问题设计了一个通用解,即AMMs经济机制背后的主要博弈论基础。
引用
@article{arxiv.2102.11350,
title = {A theory of Automated Market Makers in DeFi},
author = {Massimo Bartoletti and James Hsin-yu Chiang and Alberto Lluch-Lafuente},
journal= {arXiv preprint arXiv:2102.11350},
year = {2023}
}