Logo

indigo

UnofficialPreliminary, reverse-engineered version published by the tx3 team for testing and exploration. It is not endorsed by the original protocol authors. Do not use in mainnet. • v2.0.0

About this Protocol

Synthetic assets (iAssets) on Cardano via CDPs, Stability Pools, and INDY staking

Parties

The participants involved in this protocol's transactions.

cdpcreatorscriptCDP Creator validator that holds the CDP_CREATOR auth tokens.
stabilitypoolscriptStability Pool validator holding iAsset deposits and pool state.
cdpuseraddrPer-user CDP output address: CdpScript payment + user's staking credential.
collectorscriptCollector validator that accumulates protocol fees.
cdpscriptCDP Spend validator holding CDP UTxOs (user collateral + CDP NFT).
stakingscriptINDY Staking validator holding staked INDY tokens and reward state.
userThe end user interacting with the Indigo protocol.

Environment

Configuration values required to execute this protocol's transactions.

cdp_creator_nameCDP creator auth token asset name (hex of "CDP_CREATOR")./$defs/Bytes
cdp_creator_policy_idMinting policy for the CDP_CREATOR auth token./$defs/Bytes
cdp_creator_refReference UTxO carrying the CDP creator validator script./$defs/UtxoRef
cdp_nft_mint_refReference UTxO carrying the CDP NFT minting policy script./$defs/UtxoRef
cdp_nft_nameCDP NFT asset name (hex of "CDP")./$defs/Bytes
cdp_nft_policy_idMinting policy for the per-CDP authentication NFT./$defs/Bytes
cdp_spend_refReference UTxO carrying the CDP spend validator script./$defs/UtxoRef
collector_refReference UTxO carrying the Collector validator script./$defs/UtxoRef
iasset_mint_refReference UTxO carrying the iAsset minting policy script./$defs/UtxoRef
iasset_policy_idMinting policy for synthetic iAssets (iUSD, iBTC, iETH, iSOL, ...)./$defs/Bytes
indy_nameINDY token asset name (hex of "INDY")./$defs/Bytes
indy_policy_idMinting policy for the INDY governance/staking token./$defs/Bytes
stability_pool_refReference UTxO carrying the Stability Pool validator script./$defs/UtxoRef
staking_manager_nft_nameStaking manager NFT asset name (hex of "STAKING_MANAGER_NFT")./$defs/Bytes
staking_manager_nft_policy_idMinting policy for the singleton STAKING_MANAGER_NFT./$defs/Bytes
staking_position_mint_refReference UTxO carrying the STAKING_POSITION minting policy script./$defs/UtxoRef
staking_position_nameStaking position NFT asset name (hex of "STAKING_POSITION")./$defs/Bytes
staking_position_policy_idMinting policy for STAKING_POSITION NFTs (minted/burned per position)./$defs/Bytes
staking_refReference UTxO carrying the INDY Staking validator script./$defs/UtxoRef

Transactions

The transactions defined in this protocol, with their parameters, inputs, and outputs.

close_cdp

Close a CDP: burn all outstanding iAsset debt and the CDP NFT, recover collateral.

Diagram

close_cdpburn_amountcdp_manager_utxocdp_utxocollector_utxoiasset_config_utxoiasset_nameoracle_utxoowner_pkhpool_iassetsp_snapshot_dsp_snapshot_epochsp_snapshot_psp_snapshot_ssp_snapshot_scalestability_pool_utxostaking_utxotimestamp_ms user collectorscript stabilitypoolscript stakingscript user source cdp_input collector_input sp_input staking_input output 2 sp_output output 1 output 4

Parameters

burn_amountIntOutstanding iAsset debt to burn to fully close the CDP.
cdp_manager_utxoUtxoRefReference UTxO with the CDP manager configuration datum.
cdp_utxoUtxoRefCDP UTxO to close.
collector_utxoUtxoRefCurrent Collector UTxO to consume for continuity.
iasset_config_utxoUtxoRefReference UTxO with the iAsset configuration datum.
iasset_nameBytesiAsset asset name held by this CDP.
oracle_utxoUtxoRefOracle reference UTxO providing the iAsset price feed.
owner_pkhBytesOwner payment public key hash (28 bytes).
pool_iassetBytesiAsset asset name carried by the Stability Pool state.
sp_snapshot_dIntStability pool snapshot D value to record on the updated pool datum.
sp_snapshot_epochIntStability pool snapshot epoch to record on the updated pool datum.
sp_snapshot_pIntStability pool snapshot P value to record on the updated pool datum.
sp_snapshot_sIntStability pool snapshot S value to record on the updated pool datum.
sp_snapshot_scaleIntStability pool snapshot scale to record on the updated pool datum.
stability_pool_utxoUtxoRefCurrent Stability Pool UTxO to consume for continuity.
staking_utxoUtxoRefCurrent Staking UTxO to consume for continuity.
timestamp_msIntPOSIX time (ms) used by the validator's time check.

Inputs

cdp_input—script
collector_input—script
sp_input—script
staking_input—script
sourceuserwallet

Outputs

stakingscriptnono
collectorscriptyesno
stabilitypoolscriptyesno
usernono

adjust_staking

Add or remove INDY from an existing staking position.

Diagram

adjust_stakingadjust_amountindy_asset_nameindy_policy_idowner_pkhposition_utxo user stakingscript user source position_input output 1 output 2

Parameters

adjust_amountIntSigned INDY amount delta (positive adds stake, negative removes).
indy_asset_nameBytesINDY asset name (passed explicitly to override env in tests).
indy_policy_idBytesINDY minting policy ID (passed explicitly to override env in tests).
owner_pkhBytesOwner payment public key hash (28 bytes).
position_utxoUtxoRefExisting Staking Position UTxO to adjust.

Inputs

position_input—script
sourceuserwallet

Outputs

stakingscriptyesno
usernono

create_sp_account

Submit a Stability Pool account creation request, depositing iAssets for batching.

Diagram

create_sp_accountcollector_utxodeposit_amountiasset_nameowner_pkhsp_snapshot_dsp_snapshot_epochsp_snapshot_psp_snapshot_ssp_snapshot_scalesp_utxo user collectorscript stabilitypoolscript user source sp_input collector_input output 2 sp_output output 3

Parameters

collector_utxoUtxoRefCurrent Collector UTxO to consume for continuity.
deposit_amountIntiAsset amount to deposit into the Stability Pool.
iasset_nameBytesiAsset asset name being deposited into the pool.
owner_pkhBytesOwner payment public key hash (28 bytes).
sp_snapshot_dIntStability pool snapshot D value to record on the updated pool datum.
sp_snapshot_epochIntStability pool snapshot epoch to record on the updated pool datum.
sp_snapshot_pIntStability pool snapshot P value to record on the updated pool datum.
sp_snapshot_sIntStability pool snapshot S value to record on the updated pool datum.
sp_snapshot_scaleIntStability pool snapshot scale to record on the updated pool datum.
sp_utxoUtxoRefCurrent Stability Pool UTxO to consume for continuity.

Inputs

sp_input—script
collector_input—script
sourceuserwallet

Outputs

stabilitypoolscriptyesno
collectorscriptyesno
usernono

create_cdp

Open a new CDP: deposit ADA collateral and mint a CDP NFT plus iAsset debt.

Diagram

create_cdpcdp_manager_utxocollateral_lovelacecollector_utxocreator_utxoiasset_config_utxoiasset_nameinterest_accumulatormint_amountoracle_utxoowner_pkhtimestamp_ms user cdpcreatorscript cdpuseraddr collectorscript user source collector_input creator_input output 2 cdp_output output 3 output 4

Parameters

cdp_manager_utxoUtxoRefReference UTxO with the CDP manager configuration datum.
collateral_lovelaceIntADA collateral to lock in the CDP, in lovelace.
collector_utxoUtxoRefCurrent Collector UTxO to consume for continuity.
creator_utxoUtxoRefCurrent CDP Creator UTxO carrying the CDP_CREATOR auth token.
iasset_config_utxoUtxoRefReference UTxO with the iAsset configuration datum.
iasset_nameBytesiAsset asset name to mint (e.g. hex of "iUSD").
interest_accumulatorIntCurrent global interest accumulator value to snapshot on the new CDP.
mint_amountIntAmount of iAsset tokens to mint against the deposited collateral.
oracle_utxoUtxoRefOracle reference UTxO providing the iAsset price feed.
owner_pkhBytesOwner payment public key hash (28 bytes).
timestamp_msIntPOSIX time (ms) used by the validator's time check.

Inputs

collector_input—script
creator_input—script
sourceuserwallet

Outputs

cdpuseraddryesno
cdpcreatorscriptyesno
collectorscriptyesno
usernono

adjust_cdp_burn

Adjust a CDP by burning iAssets to repay debt, optionally withdrawing collateral.

Diagram

adjust_cdp_burnaccumulatorburn_amountcdp_manager_utxocdp_utxocollateral_changecollector_utxoiasset_config_utxoiasset_namenew_collateralnew_minted_totaloracle_utxoowner_pkhstaking_utxotimestamp_ms user cdpuseraddr collectorscript stakingscript user source cdp_input staking_input collector_input cdp_output output 3 output 2 output 4

Parameters

accumulatorIntCurrent interest accumulator value to snapshot on the CDP.
burn_amountIntiAsset amount to burn (positive value; sent as negative on-chain).
cdp_manager_utxoUtxoRefReference UTxO with the CDP manager configuration datum.
cdp_utxoUtxoRefExisting CDP UTxO to adjust.
collateral_changeIntSigned collateral change in lovelace (negative withdraws to the user).
collector_utxoUtxoRefCurrent Collector UTxO to consume for continuity.
iasset_config_utxoUtxoRefReference UTxO with the iAsset configuration datum.
iasset_nameBytesiAsset asset name held by this CDP.
new_collateralIntNew collateral (lovelace) to record on the CDP datum.
new_minted_totalIntNew total minted iAsset amount to record on the CDP datum.
oracle_utxoUtxoRefOracle reference UTxO providing the iAsset price feed.
owner_pkhBytesOwner payment public key hash (28 bytes).
staking_utxoUtxoRefCompanion Staking UTxO required by the on-chain validator.
timestamp_msIntPOSIX time (ms) used by the validator's time check.

Inputs

cdp_input—script
staking_input—script
collector_input—script
sourceuserwallet

Outputs

cdpuseraddryesno
stakingscriptyesno
collectorscriptyesno
usernono

adjust_cdp_mint

Adjust a CDP by minting additional iAssets, increasing the CDP's debt.

Diagram

adjust_cdp_mintaccumulatoradditional_mintcdp_manager_utxocdp_utxocollector_utxoiasset_config_utxoiasset_namenew_collateralnew_minted_totaloracle_utxoowner_pkhstaking_utxotimestamp_ms user cdpuseraddr collectorscript stakingscript user source cdp_input staking_input collector_input cdp_output output 3 output 2 output 4

Parameters

accumulatorIntCurrent interest accumulator value to snapshot on the CDP.
additional_mintIntAdditional iAsset amount to mint on top of the current debt.
cdp_manager_utxoUtxoRefReference UTxO with the CDP manager configuration datum.
cdp_utxoUtxoRefExisting CDP UTxO to adjust.
collector_utxoUtxoRefCurrent Collector UTxO to consume for continuity.
iasset_config_utxoUtxoRefReference UTxO with the iAsset configuration datum.
iasset_nameBytesiAsset asset name held by this CDP.
new_collateralIntNew collateral (lovelace) to record on the CDP datum.
new_minted_totalIntNew total minted iAsset amount to record on the CDP datum.
oracle_utxoUtxoRefOracle reference UTxO providing the iAsset price feed.
owner_pkhBytesOwner payment public key hash (28 bytes).
staking_utxoUtxoRefCompanion Staking UTxO required by the on-chain validator.
timestamp_msIntPOSIX time (ms) used by the validator's time check.

Inputs

cdp_input—script
staking_input—script
collector_input—script
sourceuserwallet

Outputs

cdpuseraddryesno
stakingscriptyesno
collectorscriptyesno
usernono

create_staking

Open a new INDY staking position and mint its authenticating STAKING_POSITION NFT.

Diagram

create_stakingcurrent_snapshot_adaindy_amountmanager_utxoold_total_stakeowner_pkh user stakingscript user source manager_input manager_output position_output change_output

Parameters

current_snapshot_adaIntCurrent managerSnapshot.snapshotAda value used to seed the position snapshot.
indy_amountIntINDY token amount to stake into the new position.
manager_utxoUtxoRefCurrent Staking Manager UTxO whose totalStake will be updated.
old_total_stakeIntCurrent StakingManagerContent.totalStake value, read off-chain.
owner_pkhBytesOwner payment public key hash (28 bytes).

Inputs

manager_input—script
sourceuserwallet

Outputs

stakingscriptyesno
stakingscriptyesno
usernono

adjust_sp_account

Submit a Stability Pool account adjustment request to change the deposit size.

Diagram

adjust_sp_accountacc_snapshot_dacc_snapshot_epochacc_snapshot_pacc_snapshot_sacc_snapshot_scaleaccount_utxocollector_utxodeposit_changeiasset_nameoutput_addrowner_pkh user collectorscript stabilitypoolscript user source account_input collector_input output 2 account_output output 3

Parameters

acc_snapshot_dIntAccount snapshot D value to preserve on the updated account datum.
acc_snapshot_epochIntAccount snapshot epoch to preserve on the updated account datum.
acc_snapshot_pIntAccount snapshot P value to preserve on the updated account datum.
acc_snapshot_sIntAccount snapshot S value to preserve on the updated account datum.
acc_snapshot_scaleIntAccount snapshot scale to preserve on the updated account datum.
account_utxoUtxoRefExisting Account UTxO to attach the adjustment request to.
collector_utxoUtxoRefCurrent Collector UTxO to consume for continuity.
deposit_changeIntSigned iAsset amount delta requested (positive deposits, negative withdraws).
iasset_nameBytesiAsset asset name held by this SP account.
output_addrBytesRecipient address (raw bytes) for any funds returned by the batcher.
owner_pkhBytesOwner payment public key hash (28 bytes).

Inputs

account_input—script
collector_input—script
sourceuserwallet

Outputs

stabilitypoolscriptyesno
collectorscriptyesno
usernono

unstake

Close a staking position entirely and withdraw all INDY plus accumulated ADA rewards.

Diagram

unstakeowner_pkhposition_utxo user user source position_input output 1

Parameters

owner_pkhBytesOwner payment public key hash (28 bytes).
position_utxoUtxoRefStaking Position UTxO to consume and close.

Inputs

position_input—script
sourceuserwallet

Outputs

usernono

close_sp_account

Submit a Stability Pool account close request for batcher processing.

Diagram

close_sp_accountacc_snapshot_dacc_snapshot_epochacc_snapshot_pacc_snapshot_sacc_snapshot_scaleaccount_utxocollector_utxoiasset_nameoutput_addrowner_pkh user collectorscript stabilitypoolscript user source account_input collector_input output 2 account_output output 3

Parameters

acc_snapshot_dIntAccount snapshot D value to preserve on the updated account datum.
acc_snapshot_epochIntAccount snapshot epoch to preserve on the updated account datum.
acc_snapshot_pIntAccount snapshot P value to preserve on the updated account datum.
acc_snapshot_sIntAccount snapshot S value to preserve on the updated account datum.
acc_snapshot_scaleIntAccount snapshot scale to preserve on the updated account datum.
account_utxoUtxoRefExisting Account UTxO to attach the close request to.
collector_utxoUtxoRefCurrent Collector UTxO to consume for continuity.
iasset_nameBytesiAsset asset name held by this SP account.
output_addrBytesRecipient address (raw bytes) where the batcher will return the deposit.
owner_pkhBytesOwner payment public key hash (28 bytes).

Inputs

account_input—script
collector_input—script
sourceuserwallet

Outputs

stabilitypoolscriptyesno
collectorscriptyesno
usernono

Profiles

Pre-configured sets of environment and party values for different deployment targets.

mainnet
collectorscriptaddr1wyr4927ktgxfswlmrjwr3qxvvvkqnxar4ke0uvr6ld9mm8qrzhplwparty
cdpcreatorscriptaddr1wyy3pau5vxn37arc9hx52rezkrpv4sc6kqmtvmyjry64mxgefqrn0party
cdpscriptaddr1wyyqtkz5rken7jzptp076np606r79lmsrqjrqw8sdn4kvrqewrkdgparty
stabilitypoolscriptaddr1wxywq2vsrptrm5gvfpsdnu6wmft0mdmlxqk6pcucqcs9xhqxh5ct9party
stakingscriptaddr1wx3r0yl49yteuzwwlv7r0lr2uzq7p6v7nxl9ek645qy5rfgwwzxw6party
cdp_creator_name4344505f43524541544f52env
cdp_creator_policy_id735b37149eb0c2a5fb590bd60e39fe90ae3a96b6065b05d7aca99ebbenv
cdp_creator_refb30b10cee01675b02a269c66fa9a420f4766a71b0ebbdd87c6eefbe22b48c59b#0env
cdp_nft_mint_refc0a4c2ad340da8686c723a21b0a029aefee650fcaf5ef964742f499efb7c21f8#0env
cdp_nft_name434450env
cdp_nft_policy_id708f5e6d597fc038d09a738d7be32edd6ea779d6feb32a53668d9050env
cdp_spend_ref00430c1c2d2c57974069db6597184c8129a934ef0de6c701178bda822fd25a8a#0env
collector_reff0b4faf71b4ea83fa1a41eadd97d060863576adfc026b11e1fff106ca79e9956#0env
iasset_mint_ref99329591f444f68ed4a33ed664c146fbf278cf9202067974cfa1a26d09a34107#0env
iasset_policy_idf66d78b4a3cb3d37afa0ec36461e51ecbde00f26c8f0a68f94b69880env
indy_name494e4459env
indy_policy_id533bb94a8850ee3ccbe483106489399112b74c905342cb1792a797a0env
stability_pool_ref3356e6602d13e4fcc6563ca2c664b054d528cfe899f32258935d3e886f0d52a4#0env
staking_manager_nft_name5354414b494e475f4d414e414745525f4e4654env
staking_manager_nft_policy_id24b458412c2a7f9acb9c53c7ec4325b36806912ed56d2f91bfcf4d26env
staking_position_mint_ref71dc6b81e8832192bb28ecbc6a4f71b6e0dc0407c708f169020804371450b4e7#0env
staking_position_name5354414b494e475f504f534954494f4eenv
staking_position_policy_idfd0d72fafee1d230a74c31ac503a192abd5b71888ae3f94128c1e634env
staking_refb54cb6d920a3fe7cf59a562d3184688ad6a7cbd11b1e9dfdf13f8804541e11a1#0env
Back to all Protocols