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
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).
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).
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.
- 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)
All functions are piecewise linear functions. Each change in available liquidity or borrowed amount updates rate parameters. In follow formulas we use the convention:
The amount of money available in pool.
The amount of money should be in the pool if all users close their Credit Accounts and return debt. If no action happens during and , then the equation of should be
Represents total borrowed amount without accrued interest rate:
Represents current borrow APY. Depends on pool utilisation parameter and computed independently using Interest rate model.
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).
Cumulative Index is aggregated variable that shows value of borrowing money.
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
where amount_U - is amount of added underlying liquidity. Then called Pool Update().
where amount_LP - amount of removed LP tokens.Then call Pool Update().
where amount_B - borrowed amount. Then Pool Update().
PnL - is result of VA repaying:
Updating total borrowed amount:
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.
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.
Each time the trader/farmer closes the credit account, he pays back to the pool:
- Borrowed amount
- Interest accrued
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.
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:
5) Let's check that burning 95.23 will keep diesel rate as it was before this accident:
So, in this case, the treasury was used to cover some losses and behave like an insurance fund.
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).
For the current version, pools use Immutable configuration, which means that all parameters should be set before contract deployment.