Mechanism

# Mechanism #

## Liquidity Pools #

Terraswap creates automated markets for pairs of tokens (or native Terra coins like UST) called pools which enable users to exchange one asset for the other directly on-chain. Pools maintain balances of both assets, to which users can provide liquidity in exchange for reward-bearing LP tokens. A more detailed explanation about LP tokens and their relationship with Terraswap can be found in the Uniswap docs.

## Constant Product #

Terraswap pools make prices based on a constant product invariant.

$XY=k$

The product of the number of tokens on each side of the pool should remain constant across trading operations (buying / selling).

## Pricing #

In order to preserve the constant product invariant, Terraswap will make prices that ensure the product of resultant balances of the pool is as close as possible to product calculated prior to the trade. With $$X$$ being the current balance of the pool’s source asset and and $$Y$$ being that of the target asset:

$XY=k=(X+A_{\text{in}})(Y−B_{\text{out}})$

To determine the proper value of $$B_{out}$$ given the trader’s offered asset $$A_{in}$$ :

$B_{\text{out}} = \frac{YA_{\text{in}}}{X+A_{\text{in}}}$

Terraswap is able to execute trades with only the current balances of the pool and the number of incoming tokens. The market price is encoded the number of pool’s target tokens divided by the source asset (also called the pool ratio). The spread between the executed and the expected trade is:

$\text{spread} = \max\bigg(\frac{YA_{\text{in}}}{X+A_{\text{in}}} - \frac{YA_{\text{in}}}{X}, 0\bigg)$

When a pool has large balances of tokens on both sides from liquidity providers, the spread becomes smaller and helps the pool execute closer to its reported price of $$Y/X$$ .