Maximizing Extractable Value from Automated Market Makers

  title={Maximizing Extractable Value from Automated Market Makers},
  author={Massimo Bartoletti and James Hsin-yu Chiang and Alberto Lluch-Lafuente},
  booktitle={Financial Cryptography},
. Automated Market Makers (AMMs) are decentralized applications that allow users to exchange crypto-tokens without the need for a matching exchange order. AMMs are one of the most successful DeFi use cases: indeed, major AMM platforms process a daily volume of transactions worth USD billions. Despite their popularity, AMMs are well-known to suffer from transaction-ordering issues: adversaries can influence the ordering of user transactions, and possibly front-run them with their own, to extract… 

Figures from this paper

FairPoS: Input Fairness in Proof-of-Stake with Adaptive Security

It is formally proved that FairPoS achieves input fairness and the original security of Ouroborous Praos against an adaptive adversary, and a novel notion of “input fairness” is introduced: the adversary cannot learn the plain-text of any finalized client input before it is include in a block in the chain’s common-prefix.

Diamonds are Forever, Loss-Versus-Rebalancing is Not

. The always-available liquidity of automated market makers (AMMs) has been one of the most important catalysts in early cryptocurrency adoption. However, it has become increasingly evident that AMMs

FairBlock: Preventing Blockchain Front-running with Minimal Overheads

FairBlock is shown how to apply identity-based encryption (IBE) to prevent front-running with minimal bandwidth overheads, and significantly outperforms the most well-known approach based on threshold decryption in this paper.

Towards a Theory of Maximal Extractable Value I: Constant Function Market Makers

This first paper of a series on MEV analyzes game theoretic properties of MEV in CFMMs that are called reordering and routing MEV and shows conditions when the maximum price impact caused by the reordering of sandwich attacks in a sequence of trades relative to the average price impact is O(log n) in the number of user trades.

Impact and User Perception of Sandwich Attacks in the DeFi Ecosystem

It is found that due to users’ lack of technical background and insufficient notifications from the markets, many users were not aware of the existence and the impact of sandwich attacks and had a limited understanding of how to resolve the security issue.

A theory of Automated Market Makers in DeFi

A general solution to the arbitrage problem is devised, the main game-theoretic foundation behind the economic mechanisms of AMMs, and an abstract operational model of the interactions between users and AMMs is presented.



High-Frequency Trading on Decentralized On-Chain Exchanges

This work formalizes, analytically exposit and empirically evaluate an augmented variant of front-running: sandwich attacks, which involve front- and back-running victim transactions on a blockchain-based DEX, and quantifies the probability of an adversarial trader being able to undertake the attack, based on the relative positioning of a transaction within a blockchain block.

Flash Boys 2.0: Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability

This work highlights the large, complex risks created by transaction-ordering dependencies in smart contracts and the ways in which traditional forms of financial-market exploitation are adapting to and penetrating blockchain economies.

A theory of Automated Market Makers in DeFi

A general solution to the arbitrage problem is devised, the main game-theoretic foundation behind the economic mechanisms of AMMs, and an abstract operational model of the interactions between users and AMMs is presented.

FairMM: A Fast and Frontrunning-Resistant Crypto Market-Maker

This work proposes a market-maker-based crypto-token exchange, which is both more efficient than existing solutions and offers provable resistance to frontrunning attack, and proposes novel light-weight cryptographic tools and smart-contract-enforced incentives to eliminate reordering attacks.

Composing networks of automated market makers

  • D. EngelM. Herlihy
  • Computer Science
    Proceedings of the 3rd ACM Conference on Advances in Financial Technologies
  • 2021
This paper proposes a mathematical model for AMM composition that ensures that AMMs are closed under composition, in a way that works for "higher-dimensional" AMMs that manage more than two asset classes, and so the composition of AMMs in "stable" states remains stable.

P2DEX: Privacy-Preserving Decentralized Cryptocurrency Exchange

On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols

This paper investigates two methods that allow us to automatically create profitable DeFi trades, one well-suited to arbitrage and the other applicable to more complicated settings, and quantifies the value threshold at which a profitable transaction qualifies as Miner Extractable Value (MEV) and would incentivize MEV-aware miners to fork the blockchain.

SoK: Decentralized Finance (DeFi)

A distinction between technical security and economic security is provided, connecting the latter with new models and thereby synthesizing insights from computer science, econom-ics and finance, and the open research challenges in the ecosystem across these security types are outlined.

Quantifying Blockchain Extractable Value: How dark is the forest?

This work allows to quantity the BEV danger by deriving the USD extracted from sandwich attacks, liquidations, and decentralized exchange arbitrage, and formalize and analyze emerging BEV relay systems, where miners accept BEV transactions from a centralized relay server instead of the peer-to-peer (P2P) network.

Towards understanding flash loan and its applications in defi ecosystem

This work proposes ThunderStorm, a 3-phase transaction-based analysis framework, to systematically study Flash Loan on the Ethereum, which identifies Flash Loan transactions by applying observed transaction patterns, understands the semantics of the transactions based on primitive behaviors, and recovers the intentions of transactions according to advanced behaviors.