Swap calculation

Relevant and important files:

  • base/SwapCalculation.sol

  • libraries/PriceMovementMath.sol

  • libraries/TokenDeltaMath.sol

AMM Base

Algebra AMM is based on the same principles as classical CPF-AMM (e.g., UniswapV2). The internal state of AMM as a system must always satisfy a given invariant, which, in the case of CPF-AMM looks like:

X∗Y=KX * Y = K

Where X,YX, Y – “token reserves”, KK - constant. Tokens are conventionally called token1 (Y) and token0 (X): address(token1)>address(token0)address(token1) \gt address(token0).

Uniswap V3 transformed the system to a new form. While preserving the basic invariant, two new values are introduced:

P\sqrt P is the root of the current price of token0 relative to token1. In the limit, at infinitesimal values, it reduces to ΔY/ΔX\sqrt {\Delta Y / \Delta X}.

LL is liquidity

At each point in time, the state of the AMM as a dynamic system is given by these two values. Interactions with AMM Algebras during swaps, adding or removing liquidity change the state of the AMM, affecting these values. Only one of these values changes at any given time, with the change in the price root and liquidity being related by the following formulas:

ΔP=ΔY/L\Delta \sqrt P = \Delta Y / L

Δ1/P=ΔX/L\Delta 1 / \sqrt P = \Delta X / L

Where XX is the balance change of token0 at the pool, and YYis the balance change of token1 at the pool. Thus, a change in the price root "generates" the movement of tokens in and out of the pool. Basically, swap can be described as a process of "movement" of the price to some value.

However, the peculiarity of AMM Algebra is concentrated liquidity - in the course of price movement liquidity can increase or decrease due to crossing of position boundaries of liquidity providers. For this purpose, a tick mechanism is implemented

Swap as price movement from tick to tick

Main cycle

In each tick is recorded the value of LL, which should be added/subtracted to the liquidity, depending on the direction in which the tick crosses (left to right or right to left). Due to this, the whole swap process is represented as a price movement towards the next active tick (to the right or left depending on the swap direction - zeroToOne to the left/down, oneToZero to the right/up). If the price reaches an active tick, the current liquidity changes and the movement continues to the next tick:

  1. Find out the current price (P_current)

  2. Find out the price on the next active tick (P_next)

  3. Calculate token entry and exit for price movement to (P_next)

  4. If token input/output does not exceed the input conditions, then cross the tick and change the current liquidity value. P_current := P_next. Return to step 2.

  5. If there is unspent token input/output left, determine to what price the current price can be moved to using the remaining stock.

So as it is possible, the price moves from tick to tick, and then its movement stops somewhere between ticks, depending on the set number of tokens on the input or output of the swap.

Limit on the number of tokens (amountRequired)

The limit on the number of tokens at swap can be set in two ways, which are conventionally called exactInput and exactOutput:

exactInput - swap should use no more input tokens than specified.

exactOutput - the swap should output no more tokens than specified.

Restriction on price changes

Additionally, the parameter limitSqrtPrice is taken into account when calculating the swap, which imposes a limit on the possible price movement - if the price reaches this value, the swap is stopped.

This parameter allows to simplify some scenarios of AMM usage, including arbitrage or token price adjustment.

Fees calculation

Fees

The protocol is supported by the use of liquidity (tokens), which is provided by liquidity providers. One of the incentives for providing liquidity is to receive fees, which is charged to traders at each swap. To simplify the calculation, fees are always taken in the input token.

Fees value is set as a fraction of the sum of tokens at the input of the swap and is a constant during the swap.

Famountx=Xinput∗fee/1000000F_{amount}^x = X_{input} * fee / 1000000

Famounty=Yinput∗fee/1000000F_{amount}^y = Y_{input} * fee / 1000000

At each iteration of the main swap cycle, the price movement is calculated by taking into account the need to use an appropriate share of the input tokens to pay fees to liquidity providers.

The accumulator value of the following form is used to distribute the accumulated fees among active liquidity providers:

totalFeeGrowth=Famount/LtotalFeeGrowth = F_{amount} / L

Each swap, or rather each iteration within the main swap cycle, increases this accumulator by a new summand. Further, liquidity providers get their share of the collected commissions by multiplying their contribution to liquidity by the corresponding delta of the values of this accumulator (more detailed description in the article about positions and liquidity).

CommunityFee

The protocol also takes a portion of the fees for itself. This share of fees in Algebra Integral is called communityFee. CommunityFee is calculated as a fraction of also within each iteration of the main swap cycle:

communityFeeAmount=Famount∗communityFee/1000communityFeeAmount = F_{amount} * communityFee / 1000

Comparing logic with source code

The described logic is implemented in different libraries and abstract smart contracts.

TokenDeltaMath.sol

This library implements token delta calculations using the formulas mentioned above:

ΔP=ΔY/L\Delta \sqrt P = \Delta Y / L

Δ1/P=ΔX/L\Delta 1 / \sqrt P = \Delta X / L

Accordingly, X is called token0Delta and Y is called token1Delta.

To obtain deltas, the formulas are converted to the following form:

ΔY=(P1−P0)∗L\Delta Y = (\sqrt P_1 - \sqrt P_0 )* L

ΔX=(P0−P1)∗L/(P0∗P1)\Delta X = (\sqrt P_0 - \sqrt P_1 )* L / ( \sqrt P_0 * \sqrt P_1)

PriceMovementMath.sol

A key component of this library is the movePriceTowardsTarget method, which provides the parameter values that result from moving the price to a given target under specified conditions.

Given an input/output token constraint, target price, current price, commission value, and swap direction, the method determines:

  • The price value resulting from the price movement

  • Required number of input tokens (including commission)

  • Number of output tokens

  • Number of tokens collected as commission

SwapCalculation.sol

This abstract contract contains the logic of the basic swap cycle (see previous sections).

Using PriceMovementMath method _calculateSwap in a loop calculates the price movement by ticks in a given direction and the result of this movement, taking into account the commission and communityFee.

Input parameters:

zeroToOne - price movement direction (zeroToOne - down, oneToZero - up). If zeroToOne == true, the input token is token0 and the output token is token1. Otherwise it is vice versa.

amountRequired - limit on tokens. If this value is positive, it is treated as exactInput (use N input tokens). If this value is negative, it is treated as exactOutput (get N tokens as output)

limitSqrtPrice - limit value, up to which it is allowed to move the price

Return values:

amount0, amount1 - changes of pool balances for token0 and token1. If the value is negative, then this amount should be transferred to the user. If the value is positive, this amount should be taken from the user.

currentPrice - price at the end of the swap

currentTick - tick corresponding to currentPrice (may be inactive)

currentLiquidity - liquidity at the end of the swap

communityFeeAmount - collected amount of communityFee

Last updated