Composing Networks of Automated Market Makers

05/31/2021
by   Daniel Engel, et al.
Brown University
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

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...
09/22/2021

Relative-error stability of numerical algorithms

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

DeFi composability as MEV non-interference

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

Formal composition of hybrid systems

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

Composition of choreography automata

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

Higher-dimensional automata modeling shared-variable systems

The purpose of this paper is to provide a construction to model shared-v...
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