Composing Networks of Automated Market Makers

by   Daniel Engel, et al.
Brown University

Automated market makers (AMMs) are automata that trade electronic assets at rates set by mathematical formulas. AMMs are usually implemented by smart contracts on blockchains. In practice, AMMs are often composed: and outputs from AMMs can be directed into other compatible AMMs. This paper proposes a mathematical model for AMM composition. We define sequential and parallel composition operators for AMMs in a way 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.


page 1

page 2

page 3

page 4


Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers

Automated market makers (AMMs) are smart contracts that automatically tr...

Relative-error stability of numerical algorithms

We formalize the definition of a stable algorithm that is (i) adapted to...

DeFi composability as MEV non-interference

Complex DeFi services are usually constructed by composing a variety of ...

Formal composition of hybrid systems

We develop a compositional framework for formal synthesis of hybrid syst...

Composition of choreography automata

Choreography automata are an automata-based model of choreographies, tha...

Higher-dimensional automata modeling shared-variable systems

The purpose of this paper is to provide a construction to model shared-v...

Property Directed Self Composition

We address the problem of verifying k-safety properties: properties that...

Please sign up or login with your details

Forgot password? Click here to reset