Mettalex Autonomous Market Maker Mathematics

Mettalex introduces improvements to its Autonomous Market Maker to improve risk management, control slippage, & modify fees dynamically.
Currently, the Mettalex system is running on the Ethereum blockchain which has the benefit of allowing reuse of existing DeFi protocols at the expense of some limitations in the allowed efficient mathematical operations. The Mettalex system roadmap plans to transition the autonomous market making functionality to the Fetch.ai network to make use of more advanced optimization techniques. As such the functionality described here should be regarded as an initial version of the autonomous market maker (AMM) that will be extended as more network capabilities become available.
The Mettalex AMM makes use of a private Balancer Smart Pool to provide the functionality of swapping between a US Dollar-based coin (stablecoin) and long or short position tokens. It determines the cost for opening a short or long position on each Mettalex market based on market demand and several constraints that we have put in place.
AMM Reweighting
The Balancer whitepaper describes the mathematics underlying the internal Balancer pool used for swaps between a stablecoin and long or short position token. The Mettalex AMM is a three token Balancer pool consisting of the stablecoin collateral token (currently USDT, more options in the future), long position token, and short position token. The position token prices are subject to the following constraints:
A pair of long and short tokens is equal in value to the underlying coin backing the pair i.e. 1L + 1S = C.
The long token fair value varies linearly from 0 to C as the spot price varies between the floor and the cap of the trading band. The short token varies linearly from C to 0 over the same range.
We use v to represent the scaled price within the trading band i.e. long token will have fair value vC and short token (1- v)C in the absence of trade imbalance, where v = (asset spot price -floor)/(cap-floor).
To meet these constraints the weights of the pool are updated to set the desired prices.
The spot price of each token is dependent on the token balances and weights as shown below
1
calc_spot_price(bI, wI, bO, wO, sF=0)
2
    calcSpotPrice                                                   
3
     sP = spotPrice                                                 
4
     bI = tokenBalanceIn            ( bI / wI )         1       
5
     bO = tokenBalanceOut     sP =  -----------  *  ----------  
6
     wI = tokenWeightIn             ( bO / wO )     ( 1 - sF )  
7
     wO = tokenWeightOut                                            
8
     sF = swapFee
Copied!
Constraints on the pool weights:
Constraint 1: the sum of weights is 1
​
​
​
Constraint 2: sum of prices is C
​
​
​
Constraint 3: the relationship between long token weight and long price
​
​
​
Constraint 4: the relationship between short token weight and short price
​
​
​
Constraint 5: long/short price ratio when equal amounts of long and short tokens in the pool
​
​
Given the above constraints and a spot price that is a fraction of v from the floor of the trading range, we can solve for the pool weights for arbitrary token balances in the pool.
[Stable]coin weight:
Image for post
Long token weight:
Image for post
Short token weight:
Image for post
​
Spot Price for Balanced
For a Balancer pool, the spot price of a long token in terms of a coin token is given by:
Image for post
as shown in the Spot Price section, equation 2 of the Balancer whitepaper. The AMM checks that the spot prices for long and short tokens at zero imbalance are as expected (below).
Long token price:
Image for post
Short token price:
Image for post
​
Spot Price for Highly Imbalanced Positions
The Mettalex AMM also checks the limiting behavior of the spot price as the imbalance increases. Here we show the long token price only.
We see that as the amount of short tokens in the pool approaches 0, i.e. prevailing sentiment is for the price of the asset to decrease, the long token price also approaches 0. This incentivizes traders to take the opposite side of the prevailing sentiment and buy the cheaper long tokens.
Image for post
Conversely, if the prevailing sentiment is that the underlying asset price will increase then the amount of long token in the pool will approach 0 and the long token price will rise. This serves to damp out the purchase of new long tokens and incentivises existing long token holders to sell back to the pool.
Image for post
Summary
In this short article, we described how we have used dynamic Balancer pool weights to achieve the desired imbalance-sensitive prices in the Mettalex Autonomous Market Maker. A key constraint here is that when the AMM contains an equal balance of long and short position tokens, the spot price tracks the underlying asset linearly within the trading band.
We have not yet considered some of the additional degrees of freedom that are available in the Mettalex AMM. The trading fees can be adjusted dynamically in response to trade volumes in a manner similar to the Kyber 3.0 Dynamic Market Maker. Furthermore, the Mettalex AMM has the additional flexibility of minting or redeeming position token pairs for coins within the AMM to control slippage as individual trade size increases without changing the fee. These topics will be covered in later articles.
​

Tokens available on Mettalex DEX

Markets Available on Mettalex DEX Vega

Last modified 17d ago

Copy link

Contents

AMM Reweighting

Spot Price for Balanced

Spot Price for Highly Imbalanced Positions

Summary