@indigo-labs/indigo-sdk 0.3.9 → 0.3.11

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@indigo-labs/indigo-sdk",
-  "version": "0.3.9",
+  "version": "0.3.11",
   "description": "Indigo SDK for interacting with Indigo endpoints via lucid-evolution",
   "main": "dist/index.js",
   "module": "dist/index.mjs",

package/src/contracts/cdp/helpers.ts

@@ -17,6 +17,18 @@ import {
   rationalSub,
 } from '../../types/rational';
 
+/**
+ * Amount of iasset equal in value to the given number of collateral amount.
+ */
+export function iassetValueOfCollateral(
+  collateralAmt: bigint,
+  oraclePrice: Rational,
+): bigint {
+  return rationalFloor(
+    rationalDiv(rationalFromInt(collateralAmt), oraclePrice),
+  );
+}
+
 /**
  * This is mostly for debugging purposes.
  */

package/src/contracts/cdp/transactions.ts

@@ -84,7 +84,10 @@ export async function openCdp(
   collateralAssetOref: OutRef,
   priceOracleOref: OutRef | undefined,
   interestOracleOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   lucid: LucidEvolution,
   currentSlot: number,
   pythMessage: string | undefined = undefined,
@@ -310,7 +313,10 @@ export async function adjustCdp(
   collateralAssetOref: OutRef,
   priceOracleOref: OutRef | undefined,
   interestOracleOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   interestCollectorOref: OutRef,
   sysParams: SystemParams,
   lucid: LucidEvolution,
@@ -542,7 +548,10 @@ export async function depositCdp(
   iassetOref: OutRef,
   collateralAssetOref: OutRef,
   interestOracleOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   interestCollectorOref: OutRef,
   params: SystemParams,
   lucid: LucidEvolution,
@@ -571,7 +580,10 @@ export async function withdrawCdp(
   collateralAssetOref: OutRef,
   priceOracleOref: OutRef | undefined,
   interestOracleOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   interestCollectorOref: OutRef,
   params: SystemParams,
   lucid: LucidEvolution,
@@ -604,7 +616,10 @@ export async function mintCdp(
   collateralAssetOref: OutRef,
   priceOracleOref: OutRef | undefined,
   interestOracleOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   interestCollectorOref: OutRef,
   params: SystemParams,
   lucid: LucidEvolution,
@@ -636,7 +651,10 @@ export async function burnCdp(
   iassetOref: OutRef,
   collateralAssetOref: OutRef,
   interestOracleOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   interestCollectorOref: OutRef,
   params: SystemParams,
   lucid: LucidEvolution,
@@ -805,7 +823,10 @@ export async function redeemCdp(
   priceOracleOref: OutRef | undefined,
   interestOracleOref: OutRef,
   interestCollectorOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   govOref: OutRef,
   sysParams: SystemParams,
   lucid: LucidEvolution,
@@ -1290,7 +1311,10 @@ export async function liquidateCdp(
   cdpOref: OutRef,
   stabilityPoolOref: OutRef,
   interestCollectorOref: OutRef,
-  treasuryOref: OutRef,
+  /**
+   * `undefined` in case using direct treasury payment.
+   */
+  treasuryOref: OutRef | undefined,
   sysParams: SystemParams,
   lucid: LucidEvolution,
 ): Promise<TxBuilder> {

package/src/contracts/gov/helpers.ts

@@ -159,6 +159,64 @@ export async function findRelativeCollateralAssetForInsertion(
   );
 }
 
+/**
+ * A generic solution for iassets and collateral assets chain.
+ */
+async function findFirstAsset<
+  T extends Uint8Array<ArrayBufferLike> | AssetClass,
+  K,
+>(
+  allIAssetOrefs: OutRef[],
+  lucid: LucidEvolution,
+  assetOrd: Ord.Ord<T>,
+  getComparisonAsset: (datum: K) => T,
+  parseDatum: (utxo: UTxO) => K,
+): Promise<O.Option<ParsedOutput<K>>> {
+  const parsedUtxos = await Promise.all(
+    allIAssetOrefs.map(async (oref) => {
+      const utxo = matchSingle(
+        await lucid.utxosByOutRef([oref]),
+        (_) => new Error('Expected a single UTXO'),
+      );
+
+      const datum = parseDatum(utxo);
+
+      return { datum: datum, utxo: utxo };
+    }),
+  );
+
+  // The iasset just before the new token name based on assets ordering
+  return pipe(
+    parsedUtxos,
+    // Sort by the asset names
+    A.sort(
+      Ord.contramap<T, ParsedOutput<K>>((a) => getComparisonAsset(a.datum))(
+        assetOrd,
+      ),
+    ),
+    A.head,
+  );
+}
+
+/**
+ * Find the collateral asset that is first in the distributed list.
+ * In case there are no collateral assets, none should be returned.
+ */
+export async function findFirstCollateralAsset(
+  allCollateralAssetOrefs: OutRef[],
+  lucid: LucidEvolution,
+): Promise<O.Option<CollateralAssetOutput>> {
+  return findFirstAsset(
+    allCollateralAssetOrefs,
+    lucid,
+    Ord.contramap<string, AssetClass>((x) => getAssetClassComparisonStr(x))(
+      S.Ord,
+    ),
+    (d) => d.collateralAsset,
+    (utxo) => parseCollateralAssetDatumOrThrow(getInlineDatumOrThrow(utxo)),
+  );
+}
+
 type IAssetCreationDatumHelperReturnType = {
   newIAsset: IAssetContent;
   newReferencedIAsset: O.Option<IAssetContent>;

package/src/contracts/gov/transactions.ts

@@ -20,6 +20,7 @@ import {
 } from '../../utils/lucid-utils';
 
 import {
+  adaAssetClass,
   assetClassValueOf,
   isAssetsZero,
   isSameAssetClass,
@@ -50,6 +51,7 @@ import { pollPassQuorum } from '../poll/helpers';
 import {
   collateralAssetCreationDatumHelper,
   createValueFromWithdrawal,
+  findFirstCollateralAsset,
   findRelativeCollateralAssetForInsertion,
   findRelativeIAssetForInsertion,
   iassetCreationDatumHelper,
@@ -252,11 +254,7 @@ export async function createProposal(
         ),
       )
       .validFrom(Number(currentTime) - ONE_SECOND)
-      .validTo(
-        Number(currentTime) +
-          Number(sysParams.govParams.gBiasTime) -
-          ONE_SECOND,
-      )
+      .validTo(Number(currentTime + sysParams.govParams.gBiasTime) - ONE_SECOND)
       .addSigner(ownAddr),
     newPollId,
   ];
@@ -325,9 +323,7 @@ export async function createShardsChunks(
     .newTx()
     .validFrom(Number(currentTime) - ONE_SECOND)
     .validTo(
-      Number(currentTime) +
-        Number(sysParams.pollManagerParams.pBiasTime) -
-        ONE_SECOND,
+      Number(currentTime + sysParams.pollManagerParams.pBiasTime) - ONE_SECOND,
     )
     .mintAssets(mkAssetsOf(pollNft, shardsCount), Data.void())
     // Ref scripts
@@ -580,9 +576,7 @@ export async function mergeShards(
     .newTx()
     .validFrom(Number(currentTime) - ONE_SECOND)
     .validTo(
-      Number(currentTime) +
-        Number(sysParams.pollManagerParams.pBiasTime) -
-        ONE_SECOND,
+      Number(currentTime + sysParams.pollManagerParams.pBiasTime) - ONE_SECOND,
     )
     .readFrom([
       pollShardRefScriptUtxo,
@@ -1188,6 +1182,11 @@ export async function executeProposal(
         1n,
       );
 
+      const firstCollateralAsset = await findFirstCollateralAsset(
+        allCollateralAssetsOrefsOfIAsset,
+        lucid,
+      );
+
       tx.readFrom([
         iassetRefScriptUtxo,
         collateralAssetTokenPolicyRefScriptUtxo,
@@ -1270,6 +1269,30 @@ export async function executeProposal(
           },
         ),
       );
+
+      // Provide proof of existence or non-existence of ADA collateral.
+      if (
+        !isSameAssetClass(newCollateralAsset.collateralAsset, adaAssetClass)
+      ) {
+        F.pipe(
+          newReferencedCollateralAsset,
+          O.match(
+            () => {},
+            (referencedAsset) =>
+              referencedAsset.firstCollateralAsset
+                ? {}
+                : F.pipe(
+                    firstCollateralAsset,
+                    O.match(
+                      () => {},
+                      (firstAsset) => {
+                        tx.readFrom([firstAsset.utxo]);
+                      },
+                    ),
+                  ),
+          ),
+        );
+      }
     })
     .with(
       { UpdateCollateralAsset: P.select() },
@@ -1561,9 +1584,7 @@ export async function executeProposal(
 
   tx.readFrom([upgradeTokenPolicyRefScriptUtxo, executeRefScriptUtxo])
     .validFrom(Number(currentTime) - ONE_SECOND)
-    .validTo(
-      Number(currentTime) + Number(sysParams.govParams.gBiasTime) - ONE_SECOND,
-    )
+    .validTo(Number(currentTime + sysParams.govParams.gBiasTime) - ONE_SECOND)
     .collectFrom([executeUtxo], Data.void())
     .mintAssets(
       mkAssetsOf(fromSystemParamsAsset(sysParams.govParams.upgradeToken), -1n),

package/src/contracts/iasset/helpers.ts

@@ -32,6 +32,8 @@ import { AssetClass } from '@3rd-eye-labs/cardano-offchain-common';
 import * as Core from '@evolution-sdk/evolution';
 import { decodePriceUpdate, decodePythMessage } from '../../utils/pyth';
 
+export const MAX_COLLATERAL_ASSETS_COUNT_PER_IASSET = 8;
+
 type Interval = {
   validFrom: number;
   validTo: number;
@@ -95,6 +97,7 @@ export function attachOracle(
     .with(
       { DeferredValidation: { feedValHash: P.select() } },
       async (feedValHash) => {
+        if (priceOracleOref) throw new Error('Cannot pass price oracle oref');
         if (!pythMessage) throw new Error('Missing Pyth message');
         if (!pythStateOref) throw new Error('Missing pyth state out ref');
 

package/src/contracts/price-oracle/types-new.ts

@@ -20,7 +20,7 @@ export const OracleIdxSchema = TSchema.Union(
   TSchema.Literal('OracleVoid', { flatInUnion: true }),
 );
 
-export type OracleIdx = typeof OracleIdxSchema;
+export type OracleIdx = typeof OracleIdxSchema.Type;
 
 const PriceOracleDatumSchema = TSchema.Struct({
   price: RationalSchema,