Axioms for Automated Market Makers: A Mathematical Framework in FinTech and Decentralized Finance

References

• Adams H, Zinsmeister N, Robinson D (2020) Uniswap v2 core. https://uniswap.org/whitepaper.pdf.Google Scholar
• Adams A, Chan BY, Markovich S, Wan X (2023) The costs of swapping on the Uniswap protocol. Preprint, submitted September 24, https://arxiv.org/abs/2309.13648.Google Scholar
• Adams H, Zinmeister N, Salem M, Keefer R, Robinson D (2021) Uniswap v3 core. https://uniswap.org/whitepaper-v3.pdf.Google Scholar
• Aigner AA, Dhaliwal G (2021) Uniswap: Impermanent loss and risk profile of a liquidity provider. Preprint, submitted June 28, https://arxiv.org/abs/2106.14404.Google Scholar
• Angeris G, Chitra T (2020) Improved price oracles: Constant function market makers. Proc. 2nd ACM Conf. Adv. Financial Tech. (Association for Computing Machinery, New York), 80–91.Google Scholar
• Angeris G, Evans A, Chitra T (2020) When does the tail wag the dog? Curvature and market making. Preprint, submitted December 15, https://arxiv.org/abs/2012.08040.Google Scholar
• Angeris G, Evans A, Chitra T (2021b) Replicating market makers. Preprint, submitted March 26, https://arxiv.org/abs/2103.14769.Google Scholar
• Angeris G, Agrawal A, Evans A, Chitra T, Boyd S (2021a) Constant function market makers: Multi-asset trades via convex optimization. Preprint, submitted July 26, https://arxiv.org/abs/2107.12484.Google Scholar
• Angeris G, Chitra T, Diamandis T, Evans A, Kulkarni K (2023) The geometry of constant function market makers. Preprint, submitted August 15, https://arxiv.org/abs/2308.08066.Google Scholar
• Bartoletti M, Chiang JH-Y, Lluch-Lafuente A (2021) A theory of automated market makers in DeFi. Damiani F, Dardha O, eds. Coordination Models Languages Coordination 2021 (Springer, Cham, Switzerland), 168–187.Google Scholar
• Capponi A, Jia R (2021) The adoption of blockchain-based decentralized exchanges. Preprint, submitted March 16, https://arxiv.org/abs/2103.08842.Google Scholar
• Carmona R (2008) Indifference Pricing: Theory and Applications (Princeton University Press, Princeton, NJ).Crossref, Google Scholar
• Cartea Á, Drissi F, Monga M (2025) Decentralised finance and automated market making: Execution and speculation. J. Econom. Dynam. Control 177:105134.Crossref, Google Scholar
• Clark J (2020) The replicating portfolio of a constant product market. Preprint, submitted March 8, https://doi.org/10.2139/ssrn.3550601.Google Scholar
• Demsetz H (1968) The cost of transacting. Quart. J. Econom. 82(1):33–53.Crossref, Google Scholar
• Deng J, Zong H (2022) Static replication of impermanent loss for concentrated liquidity provision in decentralised markets. Preprint, submitted May 24, https://arxiv.org/abs/2205.12043.Google Scholar
• Engel D, Herlihy M (2021) Composing networks of automated market makers. Proc. 3rd ACM Conf. Adv. Financial Tech. (Association for Computing Machinery, New York), 15–28.Google Scholar
• Ferreira MVX, Parkes DC (2022) Credible decentralized exchange design via verifiable sequencing rules. Preprint, submitted September 30, https://arxiv.org/abs/2209.15569.Google Scholar
• Frongillo R, Papireddygari M, Waggoner B (2023) An axiomatic characterization of CFMMs and equivalence to prediction markets. Preprint, submitted February 1, https://arxiv.org/abs/2302.00196.Google Scholar
• Hanson R (2007) Logarithmic markets coring rules for modular combinatorial information aggregation. J. Prediction Markets 1(1):3–15.Crossref, Google Scholar
• Lehar A, Parlour CA (2025) Decentralized exchange: The Uniswap automated market maker. J. Finance 80(1):321–374.Crossref, Google Scholar
• Li X, Vaughan JW (2013) An axiomatic characterization of adaptive-liquidity market makers. Proc. 14th ACM Conf. Electronic Commerce (Association for Computing Machinery, New York), 657–674.Google Scholar
• Lipton A, Sepp A (2021) Automated market-making for fiat currencies. Preprint, submitted September 24, https://arxiv.org/abs/2109.12196.Google Scholar
• Milionis J, Moallemi CC, Roughgarden T, Zhang AL (2022) Automated market making and loss-versus-rebalancing. Preprint, submitted August 11, https://arxiv.org/abs/2208.06046.Google Scholar
• Schlegel JC, Kwaśnicki M, Mamageishvili A (2022) Axioms for constant function market makers. Preprint, submitted November 30, https://doi.org/10.2139/ssrn.4290001.Google Scholar
• Skiadas C (2016) Scale or translation invariant additive preferences. Working paper, Kellogg School of Management, Northwestern University, Evanston, IL.Google Scholar
• von Neumann J, Morgenstern O (1947) Theory of Games and Economic Behavior, 2nd ed. (Princeton University Press, Princeton, NJ).Google Scholar
• Xu J, Paruch K, Cousaert S, Feng Y (2023) SoK: Decentralized exchanges (DEX) with automated market maker (AMM) protocols. ACM Comput. Surveys 55(11):1–50.Google Scholar
• Zhang Y, Chen X, Park D (2018) Formal specification of constant product (x × y = k) market maker model and implementation. https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf.Google Scholar