@indigo-labs/indigo-sdk 0.5.4 → 0.5.6

package/src/contracts/cdp/helpers.ts

@@ -1,173 +0,0 @@
-import { Assets } from '@lucid-evolution/lucid';
-import { calculateAccruedInterest } from '../interest-oracle/helpers';
-import { match, P } from 'ts-pattern';
-import { calculateFeeFromRatio } from '../../utils/indigo-helpers';
-import { assetClassValueOf } from '@3rd-eye-labs/cardano-offchain-common';
-import { InterestOracleDatum } from '../interest-oracle/types-new';
-import { CDPContent } from './types-new';
-import {
-  Rational,
-  rationalAdd,
-  rationalCeil,
-  rationalDiv,
-  rationalFloor,
-  rationalFromInt,
-  rationalMul,
-  rationalNegate,
-  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),
-  );
-}
-
-export function cdpCollateralRatioPercentage(
-  /**
-   * Should be ideally the result of the following: lucid.slotToUnixTime(lucid.currentSlot()).
-   * Otherwise, the unix timestamp should suffice, but might not be 100% precise as on-chain.
-   */
-  now: bigint,
-  iassetPrice: Rational,
-  cdpUtxoAssets: Assets,
-  cdpContent: CDPContent,
-  interestOracleDatum: InterestOracleDatum,
-): number {
-  return match(cdpContent.cdpFees)
-    .with({ ActiveCDPInterestTracking: P.select() }, (interest) => {
-      const interestAmt = calculateAccruedInterest(
-        now,
-        interest.unitaryInterestSnapshot,
-        cdpContent.mintedAmt,
-        interest.lastSettled,
-        interestOracleDatum,
-      );
-
-      const collateral = assetClassValueOf(
-        cdpUtxoAssets,
-        cdpContent.collateralAsset,
-      );
-
-      const ratio = rationalDiv(
-        rationalFromInt(collateral),
-        rationalMul(
-          rationalFromInt(cdpContent.mintedAmt + interestAmt),
-          iassetPrice,
-        ),
-      );
-
-      return (Number(ratio.numerator) * 100) / Number(ratio.denominator);
-    })
-    .with({ FrozenCDPAccumulatedFees: P.any }, () => 0)
-    .exhaustive();
-}
-
-/**
- * The amount of iassets to redeem to reach the RMR.
- */
-export function calculateIAssetRedemptionAmt(
-  collateralAmt: bigint,
-  mintedAmt: bigint,
-  price: Rational,
-  rmr: Rational,
-): bigint {
-  return rationalCeil(
-    rationalDiv(
-      rationalAdd(
-        rationalNegate(rationalDiv(rationalFromInt(collateralAmt), price)),
-        rationalMul(rmr, rationalFromInt(mintedAmt)),
-      ),
-      rationalSub(rmr, rationalFromInt(1n)),
-    ),
-  );
-}
-
-/**
- * Calculates the allowable redemption amount so the min collateral constraint still holds.
- * It caps the redemption amount to still satisfy the min collateral.
- *
- * Returns uncapped max iassets /\ capped max iassets
- *
- * The derived calculation comes from the following equation where:
- * c - collateral
- * m - min collateral
- * r - reimburstment ratio
- * x - redemption amount
- *
- * `c - x + r * x = m`
- * `-x + r * x = m - c`
- * `x * (r - 1) = m - c`
- * `x = (m - c) / r - 1`
- */
-export function calculateMinCollateralCappedIAssetRedemptionAmt(
-  collateralAmt: bigint,
-  mintedAmt: bigint,
-  price: Rational,
-  rmr: Rational,
-  reimbursementRatio: Rational,
-  minCollateral: bigint,
-): {
-  uncappedIAssetRedemptionAmt: bigint;
-  cappedIAssetRedemptionAmt: bigint;
-} {
-  const uncappedMaxIAssetRedemptionAmt = calculateIAssetRedemptionAmt(
-    collateralAmt,
-    mintedAmt,
-    price,
-    rmr,
-  );
-  const uncappedMaxRedemptionLovelacesAmt = rationalFloor(
-    rationalMul(price, rationalFromInt(uncappedMaxIAssetRedemptionAmt)),
-  );
-
-  const maxReimburstment = calculateFeeFromRatio(
-    reimbursementRatio,
-    uncappedMaxRedemptionLovelacesAmt,
-  );
-
-  const doesMaxBreakMinCollateral =
-    collateralAmt - uncappedMaxRedemptionLovelacesAmt + maxReimburstment <
-    minCollateral;
-
-  if (!doesMaxBreakMinCollateral) {
-    return {
-      uncappedIAssetRedemptionAmt: uncappedMaxIAssetRedemptionAmt,
-      cappedIAssetRedemptionAmt: uncappedMaxIAssetRedemptionAmt,
-    };
-    // already below min collateral
-  } else if (collateralAmt <= minCollateral) {
-    return {
-      uncappedIAssetRedemptionAmt: uncappedMaxIAssetRedemptionAmt,
-      cappedIAssetRedemptionAmt: 0n,
-    };
-  } else {
-    const resLovelaces = rationalDiv(
-      rationalFromInt(minCollateral - collateralAmt),
-      rationalSub(reimbursementRatio, rationalFromInt(1n)),
-    );
-    const resIAsset = rationalDiv(resLovelaces, price);
-
-    return {
-      uncappedIAssetRedemptionAmt: uncappedMaxIAssetRedemptionAmt,
-      cappedIAssetRedemptionAmt: rationalFloor(resIAsset),
-    };
-  }
-}
-
-export function adjustPriceToDecimals(
-  extraDecimals: bigint,
-  price: Rational,
-): Rational {
-  return extraDecimals === 0n
-    ? price
-    : extraDecimals > 0n
-      ? rationalMul(price, rationalFromInt(10n ** extraDecimals))
-      : rationalDiv(price, rationalFromInt(10n ** -extraDecimals));
-}

package/src/contracts/cdp/scripts.ts

@@ -1,70 +0,0 @@
-import {
-  applyParamsToScript,
-  SpendingValidator,
-  WithdrawalValidator,
-} from '@lucid-evolution/lucid';
-import {
-  CdpParamsSP,
-  CdpRedeemParamsSP,
-  fromSystemParamsAssetLucid,
-} from '../../types/system-params';
-import { castCdpParams, castCdpRedeemParams } from './types';
-import { _cdpValidator } from '../../validators/cdp-validator';
-import { _cdpRedeemValidator } from '../../validators/cdp-redeem-validator';
-
-export const mkCdpValidatorFromSP = (
-  params: CdpParamsSP,
-): SpendingValidator => {
-  return {
-    type: 'PlutusV3',
-    script: applyParamsToScript(_cdpValidator.cborHex, [
-      castCdpParams({
-        cdp_auth_token: fromSystemParamsAssetLucid(params.cdpAuthToken),
-        cdp_asset_symbol: params.cdpAssetSymbol.unCurrencySymbol,
-        iasset_auth_token: fromSystemParamsAssetLucid(params.iAssetAuthToken),
-        collateral_asset_auth_token: fromSystemParamsAssetLucid(
-          params.collateralAssetAuthToken,
-        ),
-        stability_pool_auth_token: fromSystemParamsAssetLucid(
-          params.stabilityPoolAuthToken,
-        ),
-        upgrade_token: fromSystemParamsAssetLucid(params.upgradeToken),
-        version_record_token: fromSystemParamsAssetLucid(
-          params.versionRecordToken,
-        ),
-        interest_collector_val_hash: params.interestCollectorValHash,
-        sp_val_hash: params.spValHash,
-        iasset_val_hash: params.iassetValHash,
-        treasury_val_hash: params.treasuryValHash,
-        cdp_redeem_val_hash: params.cdpRedeemValHash,
-        bias_time: BigInt(params.biasTime),
-      }),
-    ]),
-  };
-};
-
-export const mkCdpRedeemValidatorFromSP = (
-  params: CdpRedeemParamsSP,
-): WithdrawalValidator => {
-  return {
-    type: 'PlutusV3',
-    script: applyParamsToScript(_cdpRedeemValidator.cborHex, [
-      castCdpRedeemParams({
-        cdp_auth_token: fromSystemParamsAssetLucid(params.cdpAuthToken),
-        cdp_asset_symbol: params.cdpAssetSymbol.unCurrencySymbol,
-        iasset_auth_token: fromSystemParamsAssetLucid(params.iAssetAuthToken),
-        collateral_asset_auth_token: fromSystemParamsAssetLucid(
-          params.collateralAssetAuthToken,
-        ),
-        interest_collector_val_hash: params.interestCollectorValHash,
-        iasset_val_hash: params.iassetValHash,
-        treasury_val_hash: params.treasuryValHash,
-        gov_nft: fromSystemParamsAssetLucid(params.govNFT),
-        partial_redemption_extra_fee_lovelace: BigInt(
-          params.partialRedemptionExtraFeeLovelace,
-        ),
-        bias_time: BigInt(params.biasTime),
-      }),
-    ]),
-  };
-};