Composing Networks of Automated Market Makers

05/31/2021
by   Daniel Engel, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/18/2021

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

Automated market makers (AMMs) are smart contracts that automatically tr...
research
09/22/2021

Relative-error stability of numerical algorithms

We formalize the definition of a stable algorithm that is (i) adapted to...
research
09/19/2023

DeFi composability as MEV non-interference

Complex DeFi services are usually constructed by composing a variety of ...
research
11/04/2019

Formal composition of hybrid systems

We develop a compositional framework for formal synthesis of hybrid syst...
research
07/14/2021

Composition of choreography automata

Choreography automata are an automata-based model of choreographies, tha...
research
01/23/2018

Higher-dimensional automata modeling shared-variable systems

The purpose of this paper is to provide a construction to model shared-v...
research
05/19/2019

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