@indigo-labs/indigo-sdk 0.1.20 → 0.1.22

package/src/contracts/stability-pool/transactions.ts

@@ -1,660 +0,0 @@
-import {
-  Constr,
-  fromText,
-  LucidEvolution,
-  TxBuilder,
-  validatorToScriptHash,
-  Data,
-  UTxO,
-  credentialToAddress,
-  fromHex,
-  OutRef,
-  toHex,
-} from '@lucid-evolution/lucid';
-import { ActionReturnDatum } from './types';
-import { SystemParams } from '../../types/system-params';
-import {
-  addrDetails,
-  getInlineDatumOrThrow,
-  scriptRef,
-} from '../../utils/lucid-utils';
-import { mkStabilityPoolValidatorFromSP } from './scripts';
-import {
-  adjustmentHelper,
-  setSumInEpochToScaleToSum,
-  updatePoolSnapshotWithdrawalFee,
-} from './helpers';
-import { calculateFeeFromPercentage } from '../../utils/indigo-helpers';
-import { GovDatum, parseGovDatumOrThrow } from '../gov/types';
-import { IAssetContent, parseIAssetDatumOrThrow } from '../cdp/types';
-import { EvoCommon } from '@3rd-eye-labs/cardano-offchain-common';
-import {
-  AccountAction,
-  AccountContent,
-  EpochToScaleToSum,
-  fromSPInteger,
-  mkSPInteger,
-  parseAccountDatum,
-  parseStabilityPoolDatum,
-  serialiseStabilityPoolDatum,
-  serialiseStabilityPoolRedeemer,
-  spAdd,
-  spDiv,
-  spMul,
-  spSub,
-  StabilityPoolRedeemer,
-  StabilityPoolSnapshot,
-} from './types-new';
-import { collectorFeeTx } from '../collector/transactions';
-
-export async function createSpAccount(
-  asset: string,
-  amount: bigint,
-  params: SystemParams,
-  lucid: LucidEvolution,
-): Promise<TxBuilder> {
-  const [pkh, _skh] = await addrDetails(lucid);
-  const minLovelaces = BigInt(
-    params.stabilityPoolParams.accountCreateFeeLovelaces +
-      params.stabilityPoolParams.requestCollateralLovelaces,
-  );
-  const datum: AccountContent = {
-    owner: fromHex(pkh.hash),
-    asset: fromHex(fromText(asset)),
-    accountSnapshot: {
-      productVal: { value: 0n },
-      depositVal: { value: 0n },
-      sumVal: { value: 0n },
-      epoch: 0n,
-      scale: 0n,
-    },
-    request: 'Create',
-  };
-
-  return lucid
-    .newTx()
-    .pay.ToContract(
-      credentialToAddress(lucid.config().network!, {
-        hash: validatorToScriptHash(
-          mkStabilityPoolValidatorFromSP(params.stabilityPoolParams),
-        ),
-        type: 'Script',
-      }),
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({ Account: datum }),
-      },
-      {
-        lovelace: minLovelaces,
-        [params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-        fromText(asset)]: amount,
-      },
-    )
-    .addSignerKey(pkh.hash);
-}
-
-export async function adjustSpAccount(
-  asset: string,
-  amount: bigint,
-  accountUtxo: UTxO,
-  params: SystemParams,
-  lucid: LucidEvolution,
-): Promise<TxBuilder> {
-  const myAddress = await lucid.wallet().address();
-
-  const stabilityPoolScriptRef = await scriptRef(
-    params.scriptReferences.stabilityPoolValidatorRef,
-    lucid,
-  );
-
-  const oldAccountDatum: AccountContent = parseAccountDatum(
-    getInlineDatumOrThrow(accountUtxo),
-  );
-
-  const newAccountDatum: AccountContent = {
-    ...oldAccountDatum,
-    request: {
-      Adjust: {
-        amount: amount,
-        outputAddress: EvoCommon.addressFromBech32(myAddress),
-      },
-    },
-  };
-
-  const value = {
-    lovelace: BigInt(
-      params.stabilityPoolParams.requestCollateralLovelaces +
-        params.stabilityPoolParams.accountAdjustmentFeeLovelaces,
-    ),
-    [params.stabilityPoolParams.accountToken[0].unCurrencySymbol +
-    fromText(params.stabilityPoolParams.accountToken[1].unTokenName)]: 1n,
-  };
-
-  if (amount > 0n) {
-    value[
-      params.stabilityPoolParams.assetSymbol.unCurrencySymbol + fromText(asset)
-    ] = amount;
-  }
-
-  return lucid
-    .newTx()
-    .readFrom([stabilityPoolScriptRef])
-    .collectFrom(
-      [accountUtxo],
-      serialiseStabilityPoolRedeemer({
-        RequestAction: {
-          Adjust: {
-            amount: amount,
-            outputAddress: EvoCommon.addressFromBech32(myAddress),
-          },
-        },
-      }),
-    )
-    .pay.ToContract(
-      credentialToAddress(lucid.config().network!, {
-        hash: validatorToScriptHash(
-          mkStabilityPoolValidatorFromSP(params.stabilityPoolParams),
-        ),
-        type: 'Script',
-      }),
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({
-          Account: newAccountDatum,
-        }),
-      },
-      value,
-    )
-    .addSignerKey(toHex(oldAccountDatum.owner));
-}
-
-export async function closeSpAccount(
-  accountUtxo: UTxO,
-  params: SystemParams,
-  lucid: LucidEvolution,
-): Promise<TxBuilder> {
-  const myAddress = await lucid.wallet().address();
-
-  const stabilityPoolScriptRef = await scriptRef(
-    params.scriptReferences.stabilityPoolValidatorRef,
-    lucid,
-  );
-
-  const request: AccountAction = {
-    Close: {
-      outputAddress: EvoCommon.addressFromBech32(myAddress),
-    },
-  };
-  const oldAccountDatum: AccountContent = parseAccountDatum(
-    getInlineDatumOrThrow(accountUtxo),
-  );
-  const newAccountDatum: AccountContent = {
-    ...oldAccountDatum,
-    request: request,
-  };
-
-  return lucid
-    .newTx()
-    .readFrom([stabilityPoolScriptRef])
-    .collectFrom(
-      [accountUtxo],
-      serialiseStabilityPoolRedeemer({ RequestAction: request }),
-    )
-    .pay.ToContract(
-      credentialToAddress(lucid.config().network!, {
-        hash: validatorToScriptHash(
-          mkStabilityPoolValidatorFromSP(params.stabilityPoolParams),
-        ),
-        type: 'Script',
-      }),
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({ Account: newAccountDatum }),
-      },
-      {
-        lovelace: BigInt(
-          params.stabilityPoolParams.requestCollateralLovelaces +
-            params.stabilityPoolParams.accountAdjustmentFeeLovelaces,
-        ),
-        [params.stabilityPoolParams.accountToken[0].unCurrencySymbol +
-        fromText(params.stabilityPoolParams.accountToken[1].unTokenName)]: 1n,
-      },
-    )
-    .addSignerKey(toHex(oldAccountDatum.owner));
-}
-
-export async function processSpRequest(
-  asset: string,
-  stabilityPoolUtxo: UTxO,
-  accountUtxo: UTxO,
-  govUtxo: UTxO,
-  iAssetUtxo: UTxO,
-  newSnapshotUtxo: UTxO | undefined,
-  params: SystemParams,
-  lucid: LucidEvolution,
-  collectorOref: OutRef,
-): Promise<TxBuilder> {
-  const redeemer: StabilityPoolRedeemer = {
-    ProcessRequest: {
-      txHash: { hash: fromHex(accountUtxo.txHash) },
-      outputIndex: BigInt(accountUtxo.outputIndex),
-    },
-  };
-  const stabilityPoolScriptRef = await scriptRef(
-    params.scriptReferences.stabilityPoolValidatorRef,
-    lucid,
-  );
-
-  const accountDatum = parseAccountDatum(getInlineDatumOrThrow(accountUtxo));
-
-  const stabilityPoolDatum = parseStabilityPoolDatum(
-    getInlineDatumOrThrow(stabilityPoolUtxo),
-  );
-
-  const tx = lucid
-    .newTx()
-    .collectFrom([stabilityPoolUtxo], serialiseStabilityPoolRedeemer(redeemer))
-    .collectFrom([accountUtxo], serialiseStabilityPoolRedeemer(redeemer))
-    .readFrom([iAssetUtxo, govUtxo, stabilityPoolScriptRef]);
-
-  if (!accountDatum.request) throw new Error('Account Request is null');
-
-  if (accountDatum.request === 'Create') {
-    const accountTokenScriptRef = await scriptRef(
-      params.scriptReferences.authTokenPolicies.accountTokenRef,
-      lucid,
-    );
-    tx.readFrom([accountTokenScriptRef]);
-
-    const iassetUnit =
-      params.stabilityPoolParams.assetSymbol.unCurrencySymbol + fromText(asset);
-    const reqAmount = accountUtxo.assets[iassetUnit] ?? 0n;
-
-    const newAccountSnapshot: StabilityPoolSnapshot = {
-      ...stabilityPoolDatum.poolSnapshot,
-      depositVal: {
-        value: spAdd(
-          accountDatum.accountSnapshot.depositVal,
-          mkSPInteger(reqAmount),
-        ).value,
-      },
-    };
-
-    const newDeposit = spAdd(
-      stabilityPoolDatum.poolSnapshot.depositVal,
-      mkSPInteger(reqAmount),
-    );
-
-    const newSum = spAdd(
-      stabilityPoolDatum.poolSnapshot.sumVal,
-      spDiv(
-        spMul(
-          mkSPInteger(
-            BigInt(params.stabilityPoolParams.accountCreateFeeLovelaces),
-          ),
-          stabilityPoolDatum.poolSnapshot.productVal,
-        ),
-        newDeposit,
-      ),
-    );
-
-    const newStabilityPoolSnapshot: StabilityPoolSnapshot = {
-      ...stabilityPoolDatum.poolSnapshot,
-      depositVal: newDeposit,
-      sumVal: newSum,
-    };
-
-    const newEpochToScaleToSum: EpochToScaleToSum = setSumInEpochToScaleToSum(
-      stabilityPoolDatum.epochToScaleToSum,
-      stabilityPoolDatum.poolSnapshot.epoch,
-      stabilityPoolDatum.poolSnapshot.scale,
-      newSum,
-    );
-
-    const stabilityPoolAssetToken = stabilityPoolUtxo.assets[iassetUnit] ?? 0n;
-    const poolOutputValue = {
-      lovelace:
-        stabilityPoolUtxo.assets.lovelace +
-        BigInt(params.stabilityPoolParams.accountCreateFeeLovelaces),
-      [params.stabilityPoolParams.stabilityPoolToken[0].unCurrencySymbol +
-      fromText(params.stabilityPoolParams.stabilityPoolToken[1].unTokenName)]:
-        1n,
-      [params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-      fromText(asset)]: stabilityPoolAssetToken + reqAmount,
-    };
-
-    tx.mintAssets(
-      {
-        [params.stabilityPoolParams.accountToken[0].unCurrencySymbol +
-        fromText(params.stabilityPoolParams.accountToken[1].unTokenName)]: 1n,
-      },
-      Data.to(new Constr(0, [])),
-    );
-
-    tx.pay.ToContract(
-      stabilityPoolUtxo.address,
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({
-          StabilityPool: {
-            ...stabilityPoolDatum,
-            poolSnapshot: newStabilityPoolSnapshot,
-            epochToScaleToSum: newEpochToScaleToSum,
-          },
-        }),
-      },
-      poolOutputValue,
-    );
-
-    tx.pay.ToContract(
-      stabilityPoolUtxo.address,
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({
-          Account: {
-            ...accountDatum,
-            accountSnapshot: newAccountSnapshot,
-            request: null,
-          },
-        }),
-      },
-      {
-        lovelace:
-          accountUtxo.assets.lovelace -
-          BigInt(params.stabilityPoolParams.accountCreateFeeLovelaces),
-        [params.stabilityPoolParams.accountToken[0].unCurrencySymbol +
-        fromText(params.stabilityPoolParams.accountToken[1].unTokenName)]: 1n,
-      },
-    );
-  } else if ('Adjust' in accountDatum.request) {
-    const amount = accountDatum.request.Adjust.amount;
-    const outputAddress = EvoCommon.addressToBech32(
-      accountDatum.request.Adjust.outputAddress,
-      lucid.config().network!,
-    );
-    const myAddress = await lucid.wallet().address();
-    const [updatedAccountSnapshot, reward, refInputs] = adjustmentHelper(
-      stabilityPoolUtxo,
-      newSnapshotUtxo,
-      stabilityPoolDatum.poolSnapshot,
-      stabilityPoolDatum.epochToScaleToSum,
-      accountDatum.accountSnapshot,
-    );
-    const govDatum: GovDatum = parseGovDatumOrThrow(
-      getInlineDatumOrThrow(govUtxo),
-    );
-    const iassetDatum: IAssetContent = parseIAssetDatumOrThrow(
-      getInlineDatumOrThrow(iAssetUtxo),
-    );
-    const rewardLovelacesFee = calculateFeeFromPercentage(
-      govDatum.protocolParams.collateralFeePercentage,
-      reward,
-    );
-    const isDepositOrRewardWithdrawal: boolean = amount > 0n;
-    const bigIntMax = (...args: bigint[]): bigint =>
-      args.reduce((m, e) => (e > m ? e : m));
-
-    const balanceChange: bigint = isDepositOrRewardWithdrawal
-      ? amount
-      : bigIntMax(amount, -fromSPInteger(updatedAccountSnapshot.depositVal));
-    const newAccountSnapshot: StabilityPoolSnapshot = {
-      ...updatedAccountSnapshot,
-      depositVal: spAdd(
-        updatedAccountSnapshot.depositVal,
-        mkSPInteger(balanceChange),
-      ),
-    };
-    const _newPoolDepositExcludingFee = spAdd(
-      stabilityPoolDatum.poolSnapshot.depositVal,
-      mkSPInteger(balanceChange),
-    );
-    const newPoolDepositExcludingFee =
-      _newPoolDepositExcludingFee.value > 0n
-        ? _newPoolDepositExcludingFee
-        : mkSPInteger(0n);
-    const withdrawalFee =
-      isDepositOrRewardWithdrawal || newPoolDepositExcludingFee.value === 0n
-        ? 0n
-        : calculateFeeFromPercentage(
-            iassetDatum.stabilityPoolWithdrawalFeePercentage,
-            -balanceChange,
-          );
-    const newPoolDeposit = spAdd(
-      newPoolDepositExcludingFee,
-      mkSPInteger(withdrawalFee),
-    );
-    const newPoolProduct =
-      withdrawalFee === 0n
-        ? stabilityPoolDatum.poolSnapshot.productVal
-        : spMul(
-            stabilityPoolDatum.poolSnapshot.productVal,
-            spAdd(
-              mkSPInteger(1n),
-              spDiv(mkSPInteger(withdrawalFee), newPoolDepositExcludingFee),
-            ),
-          );
-    const newPoolSum = spAdd(
-      stabilityPoolDatum.poolSnapshot.sumVal,
-      spDiv(
-        spMul(
-          mkSPInteger(
-            BigInt(params.stabilityPoolParams.accountAdjustmentFeeLovelaces),
-          ),
-          newPoolProduct,
-        ),
-        newPoolDeposit,
-      ),
-    );
-    const newPoolSnapshot: StabilityPoolSnapshot = {
-      ...stabilityPoolDatum.poolSnapshot,
-      depositVal: newPoolDeposit,
-      sumVal: newPoolSum,
-      productVal: newPoolProduct,
-    };
-    const newEpochToScaleToSum: EpochToScaleToSum = setSumInEpochToScaleToSum(
-      stabilityPoolDatum.epochToScaleToSum,
-      stabilityPoolDatum.poolSnapshot.epoch,
-      stabilityPoolDatum.poolSnapshot.scale,
-      newPoolSum,
-    );
-    await collectorFeeTx(rewardLovelacesFee, lucid, params, tx, collectorOref);
-    tx.readFrom([govUtxo, iAssetUtxo, ...refInputs]);
-    tx.pay.ToContract(
-      stabilityPoolUtxo.address,
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({
-          StabilityPool: {
-            ...stabilityPoolDatum,
-            poolSnapshot: newPoolSnapshot,
-            epochToScaleToSum: newEpochToScaleToSum,
-          },
-        }),
-      },
-      {
-        lovelace:
-          stabilityPoolUtxo.assets.lovelace +
-          BigInt(params.stabilityPoolParams.accountAdjustmentFeeLovelaces) -
-          reward,
-        [params.stabilityPoolParams.stabilityPoolToken[0].unCurrencySymbol +
-        fromText(params.stabilityPoolParams.stabilityPoolToken[1].unTokenName)]:
-          1n,
-        [params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-        fromText(asset)]:
-          stabilityPoolUtxo.assets[
-            params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-              fromText(asset)
-          ] +
-          balanceChange +
-          withdrawalFee,
-      },
-    );
-    tx.pay.ToContract(
-      stabilityPoolUtxo.address,
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({
-          Account: {
-            ...accountDatum,
-            accountSnapshot: newAccountSnapshot,
-            request: null,
-          },
-        }),
-      },
-      {
-        lovelace:
-          accountUtxo.assets.lovelace -
-          BigInt(params.stabilityPoolParams.accountAdjustmentFeeLovelaces) -
-          2_000_000n,
-        [params.stabilityPoolParams.accountToken[0].unCurrencySymbol +
-        fromText(params.stabilityPoolParams.accountToken[1].unTokenName)]: 1n,
-      },
-    );
-    if (myAddress !== outputAddress) {
-      tx.pay.ToAddressWithData(
-        outputAddress,
-        {
-          kind: 'inline',
-          value: Data.to(
-            {
-              IndigoStabilityPoolAccountAdjustment: {
-                spent_account: {
-                  txHash: { hash: accountUtxo.txHash },
-                  outputIndex: BigInt(accountUtxo.outputIndex),
-                },
-              },
-            },
-            ActionReturnDatum,
-          ),
-        },
-        {
-          lovelace: reward - rewardLovelacesFee + 2_000_000n,
-          ...(amount < 0n
-            ? {
-                [params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-                fromText(asset)]: -(amount - withdrawalFee),
-              }
-            : {}),
-        },
-      );
-    } else {
-      // TODO: User is self-handling the process request, so we will need to handle the change datum
-    }
-  } else if ('Close' in accountDatum.request) {
-    const outputAddress = EvoCommon.addressToBech32(
-      accountDatum.request.Close.outputAddress,
-      lucid.config().network!,
-    );
-    const myAddress = await lucid.wallet().address();
-    const [updatedAccountSnapshot, reward, refInputs] = adjustmentHelper(
-      stabilityPoolUtxo,
-      newSnapshotUtxo,
-      stabilityPoolDatum.poolSnapshot,
-      stabilityPoolDatum.epochToScaleToSum,
-      accountDatum.accountSnapshot,
-    );
-    const govDatum: GovDatum = parseGovDatumOrThrow(
-      getInlineDatumOrThrow(govUtxo),
-    );
-    const iassetDatum: IAssetContent = parseIAssetDatumOrThrow(
-      getInlineDatumOrThrow(iAssetUtxo),
-    );
-    const rewardLovelacesFee = calculateFeeFromPercentage(
-      govDatum.protocolParams.collateralFeePercentage,
-      reward,
-    );
-    const fund = updatedAccountSnapshot.depositVal;
-    const newPoolDepositExcludingFee = spSub(
-      stabilityPoolDatum.poolSnapshot.depositVal,
-      fund,
-    );
-    const withdrawnAmt = fund.value < 0n ? mkSPInteger(0n) : fund;
-    const withdrawalFeeAmount =
-      newPoolDepositExcludingFee.value === 0n
-        ? 0n
-        : calculateFeeFromPercentage(
-            iassetDatum.stabilityPoolWithdrawalFeePercentage,
-            withdrawnAmt.value,
-          );
-    const [newPoolDeposit, newPoolProduct] = updatePoolSnapshotWithdrawalFee(
-      mkSPInteger(withdrawalFeeAmount),
-      newPoolDepositExcludingFee,
-      stabilityPoolDatum.poolSnapshot,
-    );
-    const newPoolSnapshot: StabilityPoolSnapshot = {
-      ...stabilityPoolDatum.poolSnapshot,
-      depositVal: newPoolDeposit,
-      productVal: newPoolProduct,
-    };
-    const accountTokenRef = await scriptRef(
-      params.scriptReferences.authTokenPolicies.accountTokenRef,
-      lucid,
-    );
-    await collectorFeeTx(rewardLovelacesFee, lucid, params, tx, collectorOref);
-    tx.readFrom([govUtxo, iAssetUtxo, accountTokenRef, ...refInputs]);
-    tx.mintAssets(
-      {
-        [params.stabilityPoolParams.accountToken[0].unCurrencySymbol +
-        fromText(params.stabilityPoolParams.accountToken[1].unTokenName)]: -1n,
-      },
-      Data.to(new Constr(0, [])),
-    );
-    const assetOutputAmountForSP =
-      stabilityPoolUtxo.assets[
-        params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-          fromText(asset)
-      ] -
-      fromSPInteger(withdrawnAmt) -
-      withdrawalFeeAmount;
-    tx.pay.ToContract(
-      stabilityPoolUtxo.address,
-      {
-        kind: 'inline',
-        value: serialiseStabilityPoolDatum({
-          StabilityPool: {
-            ...stabilityPoolDatum,
-            poolSnapshot: newPoolSnapshot,
-          },
-        }),
-      },
-      {
-        lovelace: stabilityPoolUtxo.assets.lovelace - reward,
-        [params.stabilityPoolParams.stabilityPoolToken[0].unCurrencySymbol +
-        fromText(params.stabilityPoolParams.stabilityPoolToken[1].unTokenName)]:
-          1n,
-        ...(assetOutputAmountForSP > 0n
-          ? {
-              [params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-              fromText(asset)]: assetOutputAmountForSP,
-            }
-          : {}),
-      },
-    );
-    if (myAddress !== outputAddress) {
-      tx.pay.ToAddressWithData(
-        outputAddress,
-        {
-          kind: 'inline',
-          value: Data.to(
-            {
-              IndigoStabilityPoolAccountClosure: {
-                closed_account: {
-                  txHash: { hash: accountUtxo.txHash },
-                  outputIndex: BigInt(accountUtxo.outputIndex),
-                },
-              },
-            },
-            ActionReturnDatum,
-          ),
-        },
-        {
-          lovelace: accountUtxo.assets.lovelace + reward - rewardLovelacesFee,
-          [params.stabilityPoolParams.assetSymbol.unCurrencySymbol +
-          fromText(asset)]: fromSPInteger(withdrawnAmt) - withdrawalFeeAmount,
-        },
-      );
-    }
-  }
-
-  return tx;
-}