Skip to content
LaunchPad Docs

Formula Reference

Sources

Section titled “Sources”
  • PutManager.collateralFromFT
  • PutManager.ftFromCollateral
  • PutManager.getAssetFTPrice

All oracle-scaled values use 1e8 precision.

Collateral from FT

Section titled “Collateral from FT”
collateral = ftAmount * (1e8^2 * 10^tokenDecimals) / (strike * ftPerUSD * 1e18)

FT from collateral

Section titled “FT from collateral”
ft = collateral * (strike * ftPerUSD * 1e18) / (1e8^2 * 10^tokenDecimals)

Deposit-time pricing outputs

Section titled “Deposit-time pricing outputs”

getAssetFTPrice(token, amount) returns:

  • ftOut
  • strike
  • ftPerUSD

Exit paths in implementation

Section titled “Exit paths in implementation”
  • Redeem path (exercise protection): divest and divestUnderlying
  • Withdraw path (claim project token): withdrawFT

Both compute collateral amount from FT amount using the conversion functions above.