A theory of Automated Market Makers in DeFi
Automated market makers (AMMs) are one of the most prominent decentralized finance (DeFi) applications. AMMs allow users to trade different types of crypto-tokens, without the need to find a counter-party. There are several implementations and models for AMMs, featuring a variety of sophisticated ec...
Uloženo v:
| Vydáno v: | Logical methods in computer science Ročník 18, Issue 4 |
|---|---|
| Hlavní autoři: | , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Logical Methods in Computer Science e.V
01.01.2022
|
| Témata: | |
| ISSN: | 1860-5974, 1860-5974 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | Automated market makers (AMMs) are one of the most prominent decentralized
finance (DeFi) applications. AMMs allow users to trade different types of
crypto-tokens, without the need to find a counter-party. There are several
implementations and models for AMMs, featuring a variety of sophisticated
economic mechanisms. We present a theory of AMMs. The core of our theory is an
abstract operational model of the interactions between users and AMMs, which
can be concretised by instantiating the economic mechanisms. We exploit our
theory to formally prove a set of fundamental properties of AMMs,
characterizing both structural and economic aspects. We do this by abstracting
from the actual economic mechanisms used in implementations, and identifying
sufficient conditions which ensure the relevant properties. Notably, we devise
a general solution to the arbitrage problem, the main game-theoretic foundation
behind the economic mechanisms of AMMs. |
|---|---|
| ISSN: | 1860-5974 1860-5974 |
| DOI: | 10.46298/lmcs-18(4:12)2022 |