Pools
Economy

Pools

PoolSevice contract provides API for managing liquidity and computing interest rates. PoolService lends money to connected credit account managers. Let's take a look at Pool Economy first. The Pool operations are the main functions of PoolService contract.

Pool Economy

Capital is required for traders to get leverage on the platform. For this, there are Liquidity Pools(LPs): anyone can become a liquidity provider by depositing funds in the Liquidity Pool.

The profitability of LPs depends on the pool utilization ratio - the higher utilization, the higher interest rate. Each pool has an underlying asset and risk parameters such as: allowed trading tokens, allowed DEXes, stable coin pool, and others.

In the current version, we implement linear extrapolation for interest rate calculation as Aave did, in v2 we are going to use a specially designed curve - see the note (opens in a new tab).

Diesel tokens

Each pool has its own diesel (LP) tokens. Each time, when a liquidity provider adds money to the pool, he gets diesel tokens back (like c-tokens in Compound).

rate=expected  liquiditydiesel  tokens  supplyrate = \frac{expected\;liquidity}{diesel\;tokens\;supply}

Liquidity providers get profits from holding diesel tokens because they grow with expected interest. LP can keep diesel tokens on their wallets and then withdraw the deposit + interest or can use them as collateral in lending protocols or even sell them on the secondary market. Diesel tokens are 100% liquid yield-generating assets.

Basic parameters

  • EL(t) - expected liquidity
  • B(t) - total borrowed
  • r(t) - borrow rate
  • d(t) - diesel rate
  • CI(t) - cumulative index (it shows value of money at moment t)

Periods and timestamp

All functions are piecewise linear functions. Each change in available liquidity or borrowed amount updates rate parameters. In follow formulas we use the convention:

tncurrent  timestamp,t_n - current\;timestamp,
tn1timestamp  of  last  rate  updatet_{n-1} - timestamp\;of\;last\;rate\;update

Available liquidity

The amount of money available in pool.

EL(t) - Expected Liquidity

The amount of money should be in the pool if all users close their Credit Accounts and return debt. If no action happens during tn1t_{n-1} and tnt_n, then the equation of ELEL should be

EL(tn)=EL(tn1)+B(tn1)r(tn1)(tntn1)EL(t_{n})= EL(t_{n-1})+B(t_{n-1})*r(t_{n-1})*(t_{n}-t_{n-1})

Beside, Add Liquidity and Remove Liquidity will have a new formula of ELEL.

B(t) - Total borrowed

Represents total borrowed amount without accrued interest rate:

B(t)=biB(t) = \sum b_i

r(t) - Borrow APY

Represents current borrow APY. Depends on pool utilisation parameter and computed independently using Interest rate model.

d(t) Diesel rate

Liquidity providers get profits from holding diesel tokens because they grow with expected interest. LP can keep diesel tokens on their wallets and then withdraw the deposit + interest.

Diesel Rate is the price of Diesel token (LP token).

d(t)=EL(t)diesel  supply(t),if diesel supply >0d(t) = \frac{EL(t)}{diesel\;supply(t)}, \text{if diesel supply >0}
d(t)=1,if diesel supply is 0d(t) = 1, \text{if diesel supply is 0}

Cumulative Index

Cumulative Index is aggregated variable that shows value of borrowing money.

CI(tn)=CI(tn1)(1+r(tn1)(tntn1)),CI(t_{n})=CI(t_{n-1})(1+r(t_{n-1})*(t_{n}-t_{n-1})),
r(tn)=calc  interest  rate(EL(tn),available  liquidity(tn))r(t_{n})=calc\;interest\;rate(EL(t_{n}), available\;liquidity(t_n))

Rate parameters update

Updates borrow rate & cumulative index. Called each time when borrowed amount or available liquidity is changed:

  • Add liquidity
  • Remove liquidity
  • Credit account manager lends money
  • Credit account manager repays debt
CI(tn)=CI(tn1)(1+r(tn1)(tntn1)),CI(t_{n})=CI(t_{n-1})(1+r(t_{n-1})*(t_{n}-t_{n-1})),
r(tn)=calc  interest  rate(EL(tn),available  liquidity(tn))r(t_{n})=calc\;interest\;rate(EL(t_{n}), available\;liquidity(t_n))

Pool operations

Add liquidity

EL(tn)=EL(tn1)+amountU+B(tn1)r(tn1)(tntn1)EL(t_n) = EL(t_{n-1})+amount_U+B(t_{n-1})*r(t_{n-1})*(t_{n}-t_{n-1})
mint  diesel  tokens=amountUdiesel  supply(tn)EL(tn1)mint\;diesel\;tokens =amount_{U}*\frac{diesel\;supply(t_n)}{EL(t_{n-1})}

where amount_U - is amount of added underlying liquidity. Then called Pool Update().

Remove liquidity

EL(tn)=EL(tn1)+EL(t_n) = EL(t_{n-1})+
+B(tn1)r(tn1)(tntn1)amountLPEL(tn)diesel  supply(tn),+B(t_{n-1})*r(t_{n-1})*(t_{n}-t_{n-1})-amount_{LP}*\frac{EL(t_n)}{diesel\;supply(t_n)},
burn  diesel  tokens=amountLPburn\;diesel\;tokens =amount_{LP}

where amount_LP - amount of removed LP tokens.Then call Pool Update().

Lend Credit Account

B(tn)=B(tn1)+amountBB(t_n) = B(t_{n-1})+amount_B

where amount_B - borrowed amount. Then Pool Update().

Repay Credit Account

PnL - is result of VA repaying:

PnL=total  fundsamountBinterestPnL = total\;funds - amount_B - interest

Updating total borrowed amount:

B(tn)=B(tn1)amountBB(t_n) = B(t_{n-1})-amount_B

PnL>=0:

This case means that return value > borrowed amount + expected interest accrued. Interest accrued is already included in expected liquidity. At this point, the protocol keeps all funds in the pool and mint diesel tokens to treasury fund.

EL(tn)=EL(tn1)+PnLEL(t_n) = EL(t_{n-1})+PnL
amount  minted  to  treasury=PnLdiesel  rate(tn)amount\;minted\;to\;treasury = \frac{PnL}{diesel\;rate(t_{n})}

PnL<0:

This case means, that returned value < borrowed amount + expected interest rate. At this cases, pool uses treasury fund as insurance and burn tokens to keep diesel rate on the same level.

amount  to  burn  from  treasury=min(treasury  balance,PnLdiesel  rate(tn))amount\;to\;burn\;from\;treasury = min(treasury\;balance, \frac{|PnL|}{diesel\;rate(t_n)})
EL(tn)=EL(tn1)PnL+amount  to  burn  from  treasurydiesel  rate(tn)EL(t_n) = EL(t_{n-1})-|PnL|+amount\;to\;burn\;from\;treasury*diesel\;rate(t_n)

Fees distribution

Each time the trader/farmer closes the credit account, he pays back to the pool:

  • Borrowed amount
  • Interest accrued
  • Fees

The fees remain in the pool, instead, the treasury receives the pool's LP tokens. The protocol has a feature to leave part of the fees in the pool, thereby increasing the price of diesel tokens, that is, increasing the APY of the pool.

Insurance and rebalancing

In some rare cases, the remaining funds after paying liquidation premium could be less than borrowed amount + interest rate + fee. In this case, the protocol uses treasury to compensate for the shortage by burning diesel tokens to keep the diesel rate as it should be.

Let's consider an example:

1) LP adds 1000 DAI to the pool. Diesel rate =1, he got 1000 dDAI (diesel DAI tokens). Total liquidity = 2000, and diesel supply = 2000.

2) Trader borrowed 1000 DAI and used them for some period. Let's assume that interest accrued is 100DAI. So, at time of return: total liquidity = 2100, diesel rate= 2100 / 2000 = 1.05

3) LP earns on diesel rate, so their interest rate income is already accounted in 1.05 rate.

4) Trader's account was liquidated, and the remaining funds are 1000 DAI only. So, if there is no insurance fund was there, the diesel rate should return to 1 which means that LP earns nothing. However, in this case, protocol burns treasure's tokens to keep the diesel rate on the same level:

token  to  burn=2000  (1.051)/1.0595.23token\;to\;burn= 2000\;*(1.05-1)/1.05 \approx 95.23

5) Let's check that burning 95.23 will keep diesel rate as it was before this accident:

diesel  rate=2000200095.231.05diesel\;rate = \frac{2000}{2000-95.23} \approx1.05

So, in this case, the treasury was used to cover some losses and behave like an insurance fund.

Linear Interest Rate Model

LinearInterestRateModel

Linear interest rate model, similar to which Aave uses: https://docs.aave.com/risk/asset-risk/methodology (opens in a new tab). In the next version, we are going to use a specially designed curve - see the note (opens in a new tab).

LinearInterestRateModel implements IInterestRateModel.sol (opens in a new tab).

Configuration

For the current version, pools use Immutable configuration, which means that all parameters should be set before contract deployment.

Last updated on December 25, 2022