Consistency of Automated Market Makers

Authors Vincent Danos, Weijia Wang

Thumbnail PDF


  • Filesize: 1.06 MB
  • 12 pages

Document Identifiers

Author Details

Vincent Danos
  • CNRS, France
  • DI ENS, INRIA, PSL, Paris, France
Weijia Wang
  • ENS, Paris, France


The first author wishes to thank Jérôme de Tichey for introducing him to the problem of consistency, Guillaume Terradot and Hamza El Khalloufi for numerous conversations.

Cite AsGet BibTex

Vincent Danos and Weijia Wang. Consistency of Automated Market Makers. In 4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022). Open Access Series in Informatics (OASIcs), Volume 110, pp. 4:1-4:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


Decentralised Finance has popularised Automated Market Makers (AMMs), but surprisingly little research has been done on their consistency. Can a single attacker extract risk-free revenue from an AMM, regardless of price or other users' behaviour? In this paper, we investigate the consistency of a large class of AMMs, including the most widely used ones, and show that consistency holds.

Subject Classification

ACM Subject Classification
  • Theory of computation → Algorithmic mechanism design
  • Automated Market Makers
  • Decentralised Finance


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Hayden Adams, Noah Zinsmeister, and Dan Robinson. Uniswap v2 Core, 2020. Google Scholar
  2. Guillermo Angeris and Tarun Chitra. Improved price oracles. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. ACM, 2020. URL:
  3. CoinMarketCap. Top cryptocurrency decentralized exchanges ranked, 2022. URL:
  4. CryptoSec. Comprehensive list of defi hacks and exploits, 2022. URL:
  5. Michael Egorov. Stableswap-efficient mechanism for stablecoin liquidity. Retrieved Feb, 24:2021, 2019. Google Scholar
  6. Michael Egorov. Automatic market-making with dynamic peg. Retrieved Dec 2021, June 2021. URL:
  7. Fernando Martinelli and Nikolai Mushegian. Balancer: A non-custodial portfolio manager, liquidity provider, and price sensor, 2019. Google Scholar
  8. Nick Szabo. Formalizing and securing relationships on public networks, September 1997. URL:
  9. Uniswap. Core smart contracts of Uniswap v2, 2020. URL:
  10. Chiqing Zhang. Test cases implementing the example, 2022. retrieved Sep 2022. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail