Minting / Burning

Just like bonding curves, users may buy (mint) / sell (burn) ibAsset to / from an initialized IBC. The IBC acts as the counterparty for such trades, utilizing its liquidity reserve as market liquidity.

Just like regular bonding curves, the amount of reserve assets required to mint a certain amount of ibAssets is equivalent to the area under the IBC's price curve (integral of the curve). While values for minting and burning can be calculated with integration, it can also be derived from the curve's invariant with ease:

i=RSu=R+ΔR(S+ΔS)u=const.i=\frac{R}{S^u}=\frac{R+\Delta R}{{\left(S+\Delta S\right)}^u}=const.


New ibAssets can be minted (bought) by supplying reserve assets to the relevant IBC, from which the IBC of the reserve asset calculates the amount to be minted. If the amount of reserve assets supplied is ΔR\Delta R and the amount being minted is ΔS\Delta S, the below must be satisfied.

SS+ΔS=(RR+ΔR)1u\frac{S}{S+\Delta S}={\left(\frac{R}{R+\Delta R}\right)}^{\frac{1}{u}}

Thereby yielding ΔS\Delta S as:

ΔS=(1+ΔRR)1uSS\Delta S={\left(1+\frac{\Delta R}{R}\right)}^{\frac{1}{u}}S-S

The spot price post-mint is the updated to become the below:

iu(S+ΔS)1u\frac{iu}{{\left(S+\Delta S\right)}^{1-u}}


Users may also burn minted ibAssets via the relevant IBC to receive reserve assets. The amount of ibAssets burnt (ΔS\Delta S) and the amount of reserve assets given (ΔR\Delta R) has the relationship of:

RRΔR=(SSΔS)u\frac{R}{R-\Delta R}={\left(\frac{S}{S-\Delta S}\right)}^{u}

From which ΔR\Delta R comes out as:

ΔR=R(1ΔSS)uR\Delta R=R-{\left(1-\frac{\Delta S}{S}\right)}^{u}R

The post-burn price then becomes:

iu(SΔS)1u\frac{iu}{{\left(S-\Delta S\right)}^{1-u}}

Last updated