Blindex
Search…
⌃K

Minting and Redeeming

Detailing the process of minting and redeeming BD-Stables

Minting

All BD-Stable tokens are fungible with one another and entitled to the same proportion of collateral no matter what collateral ratio they were minted at. This system of equations describes the minting function of the Blindex Protocol:
BD=(YPy)collateral value+(ZPz)BDX valueBD = \overbrace{(Y*P_y)}^{\text{collateral value}} + \overbrace{(Z*P_z)}^{\text{BDX value}}
(1Cr)(YPy)=Cr(ZPz)(1-C_r)(Y*P_y) = C_r(Z*P_z)
BDBD
is the units of newly minted BD-Stable
CrC_r
is the collateral ratio
YY
is the units of collateral transferred to the system
PyP_y
is the price in BD-Stable underlying fiat of
YY
collateral
ZZ
is the units of BDX burned
PzP_z
is the price in BD-Stable underlying fiat of BDX
​Mint: Send collateral (BTC/ETH) & BDX -> receive the desired BD-Stable in return

Example A: Minting BD-Stable (BDEU - EUR pegged stable) at a collateral ratio of 100% with 0.05 ETH (ETH/EUR = 4000)

To be explicit, we can start by finding the BDX needed to mint BDEU with 0.05 ETH (worth 200 EUR) at a collateral ratio of 1.00
(11.00)(1001.00)=1.00(ZPz)(1-1.00)(100*1.00) = 1.00(Z*P_z)
0=(ZPz)0 = (Z * P_z)
Thus, we show that no BDX is needed to mint BDEU when the protocol collateral ratio is 100% (fully collateralized). Next, we solve for how much BDEU we will get with the 0.05 ETH worth 200 EUR.
BD=(2001.00)+(0)BD = (200*1.00) + (0)
BD=200BD = 200
200 BDEU are minted in this scenario. Notice how the entire value of BDEU is in euro value of the collateral when the ratio is at 100%. Any amount of BDX attempting to be burned to mint BDEU is returned to the user because the second part of the equation cancels to 0 regardless of the value of
ZZ
and
PzP_z
.

Example B: Minting BDEU at a collateral ratio of 80% with 0.03 ETH worth 120 EUR (ETH/EUR = 4000) and BDX/EUR =2.

First, we need to figure out how much BDX we need to match the corresponding amount of ETH.
(10.8)(1201.00)=0.8(Z2.00)(1 - 0.8)(120 * 1.00) = 0.8(Z*2.00)
Z=15Z = 15
Thus, we need to deposit 15 BDX alongside 0.03 ETH (worth 120 EUR) under these conditions. Next, we compute how much BDEU we will get.
BD=(1201.00)+(152.00)BD = (120*1.00) + (15*2.00)
BD=150BD = 150
150 BDEU are minted in this scenario. 120 BDEU are backed by the value of ETH as collateral while the remaining 30 BDEU are not backed by anything. Instead, BDX is burned and removed from circulation proportional to the value of minted algorithmic BDEU.

Redeeming

Redeeming BD-Stable is done by rearranging the previous system of equations for simplicity, and solving for the units of collateral,
YY
, and the units of BDX,
ZZ
. However, there are 2 new components introduced. Effective Collateral Ratio and BDX Effective Coverage Ratio. Both described in the Price Stability section.
Y=BD(min(efCr,Cr))PyY = \dfrac{BD*(min(efC_r,C_r))}{P_y}
Z=efBDXCrBD(1min(efCr,Cr))PzZ = \dfrac{efBDXC_r * BD*(1-min(efC_r,C_r))}{P_z}
BDBD
are the units of BD-Stable redeemed
CrC_r
is the collateral ratio
efCrefC_r
is the effective collateral ratio
efBDXCrefBDXC_r
is the effective BDX coverage ratio
YY
are the units of collateral transferred to the user
PyP_y
is the price in BD-Stable underlying fiat of
YY
collateral
ZZ
are the units of BDX minted to the user
PzP_z
is the price in BD-Stable underlying fiat of BDX
​Redeem & Collect: Burn BD-Stables -> receive the collateral (BTC/ETH) + BDX in return

Example D: Redeeming 170 BDEU at a collateral ratio of 65%, effective collateral ratio of 100%, effective BDX coverage ratio = 100%, ETH/EUR = 4000 and BDX/EUR = 3.75.

Y=170(.65)4000Y = \dfrac{170*(.65)}{4000}
Z=1170(.35)3.75Z = \dfrac{1 * 170*(.35)}{3.75}
Thus,
Y=0.027625Y = 0.027625
and
Z=15.867Z = 15.867
Redeeming 170 BDEU returns 170 EUR of value to the redeemer: 0.027625 ETH (worth 110.5 EUR) from the collateral pool and 15.867 of BDX (worth 59.5 EUR) from BDX reserves (stored in BDEU treasury) at the current BDX market price.

Example E: Redeeming 170 BDEU at a collateral ratio of 65%, effective collateral ratio of 60%, effective BDX coverage ratio = 75%, ETH/EUR = 4000 and BDX/EUR = 3.75.

Y=170(.6)4000Y = \dfrac{170*(.6)}{4000}
Z=0.75170(.4)3.75Z = \dfrac{0.75 * 170*(.4)}{3.75}
Thus,
Y=110.5Y = 110.5
and
Z=15.867Z = 15.867
Redeeming 170 BDEU returns 0.0255 ETH (worth 102 EUR) of value to the redeemer from the collateral pool and 13.6 of BDX (worth 51 EUR) from BDX reserves (stored in BDEU treasury) at the current BDX market price. Please note that 170 BDEU were exchanged for the value of only 152 EUR. This is an important modification to the original FRAX protocol. In times when collateralization is low, we prevent the early dumpers from benefitting from leaving the protocol early at the expense of faithful holders.
Additionally, there is a 1 block delay parameter (adjustable by governance) on withdrawing redeemed collateral to protect against flash loans.

NOTE: These examples do not account for the mint and redeem fees, which are set to 0.3%