@pbgtoken/rwa-contract 1.0.0

package/dist/CardanoWalletProvider.d.ts

@@ -0,0 +1,27 @@
+import { type Address } from "@helios-lang/ledger";
+import { type BlockfrostV0Client } from "@helios-lang/tx-utils";
+import { type PricesProvider } from "./PricesProvider";
+import { type TokenizedAccountProvider } from "./TokenizedAccountProvider";
+/**
+ * Constructs a CardanoWallet-specific implementation of TokenizedAccountClient.
+ *
+ * @param provider
+ * Must be a mainnet provider!
+ * TODO: generalize to allow any Cardano provider
+ *
+ * @param address
+ * Must be a Shelley-era address on mainnet
+ *
+ * @param prices
+ * A provider for USD/ADA prices etc.
+ *
+ * @throws
+ * If the `provider` isn't for mainnet.
+ *
+ * @throws
+ * If the `address` isn't a Shelley-era address.
+ *
+ * @returns
+ * A CardanoWallet-specific implementation of TokenizedAccountClient.
+ */
+export declare function makeCardanoWalletProvider(provider: BlockfrostV0Client, address: Address, prices: PricesProvider): TokenizedAccountProvider;

package/dist/PricesProvider.d.ts

@@ -0,0 +1,13 @@
+export interface PricesProvider {
+    /**
+     * @param asset
+     * eg. ADA
+     *
+     * @param currency
+     * eg. USD
+     *
+     * @returns
+     * A number `currency` for one `asset`
+     */
+    getSpotPrice(asset: string, currency: string): Promise<number>;
+}

package/dist/RWADatumProvider.d.ts

@@ -0,0 +1,51 @@
+import { StrictType } from "@helios-lang/contract-utils";
+import { MintingPolicyHash } from "@helios-lang/ledger";
+import { ReadonlyCardanoClient } from "@helios-lang/tx-utils";
+declare const castDatum: (config: import("@helios-lang/contract-utils").CastConfig) => import("@helios-lang/contract-utils").Cast<{
+    current_supply: bigint;
+    supply_after_last_mint: bigint;
+    transfer_id_before_last_mint: number[];
+    type: string;
+    account: number[];
+    name: string;
+    description: string;
+    decimals: bigint;
+    ticker: string;
+    url: string;
+    logo: string;
+}, {
+    current_supply: import("@helios-lang/codec-utils").IntLike;
+    supply_after_last_mint: import("@helios-lang/codec-utils").IntLike;
+    transfer_id_before_last_mint: number[];
+    type: string;
+    account: number[];
+    name: string;
+    description: string;
+    decimals: import("@helios-lang/codec-utils").IntLike;
+    ticker: string;
+    url: string;
+    logo: string;
+}>;
+export type RWADatum = StrictType<typeof castDatum>;
+/**
+ * Export the interface, not the class itself.
+ *
+ * This approach allows as to add/remove/rename private properties without breaking compatibiliy.
+ * This also prevents the use of `instanceof`, which is an evil operator.
+ */
+export interface RWADatumProvider {
+    fetch(policy: MintingPolicyHash): Promise<RWADatum>;
+}
+/**
+ * Constructs a RWADatumProvider instance.
+ *
+ * @param client
+ * The Cardano provider, initialized to the correct network
+ *
+ * TODO: generalize to be able to use any Cardano provider
+ *
+ * @returns
+ * A RWADatumProvider instance.
+ */
+export declare function makeRWADatumProvider(provider: ReadonlyCardanoClient): RWADatumProvider;
+export {};

package/dist/TokenizedAccountProvider.d.ts

@@ -0,0 +1,21 @@
+import { type TransferID } from "./TransferID";
+export interface TokenizedAccountProvider {
+    /**
+     * @returns
+     * USD value of account holdings
+     */
+    balance: Promise<number>;
+    /**
+     * @returns
+     * All historical transfer IDs, sorted from earliest to latest
+     */
+    transferHistory: Promise<TransferID[]>;
+    /**
+     * @param transfers
+     * Only aggregate the deposits/withdrawals of these transfers (so not of all transfers)
+     *
+     * @returns
+     * USD value aggregate of deposits (positive) and withdrawals (negative)
+     */
+    deposits(transfers: TransferID[]): Promise<number>;
+}

package/dist/TransferID.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Hex encoded transfer ID bytes
+ *
+ * A hex string is easier to work with than a list of numbers
+ */
+export type TransferID = string;
+/**
+ * @param transfers
+ * List of sorted transfers, earliest first
+ *
+ * @param after
+ * Not including this transfer
+ *
+ * @returns
+ * Filtered list of transfers
+ */
+export declare function filterTransfersAfter(transfers: TransferID[], after: TransferID): TransferID[];

package/dist/index.d.ts

@@ -0,0 +1,5 @@
+export { makeCardanoWalletProvider } from "./CardanoWalletProvider";
+export { type PricesProvider } from "./PricesProvider";
+export { makeRWADatumProvider, type RWADatumProvider } from "./RWADatumProvider";
+export { type TokenizedAccountProvider } from "./TokenizedAccountProvider";
+export { filterTransfersAfter, type TransferID } from "./TransferID";

package/dist/index.js

@@ -0,0 +1,473 @@
+// src/CardanoWalletProvider.ts
+import { addValues, makeTxId, makeValue } from "@helios-lang/ledger";
+import { getAssetClassInfo } from "@helios-lang/tx-utils";
+
+// src/retryExpBackoff.ts
+async function retryExpBackoff(callback, config) {
+  let attempt = 1;
+  let lastError = void 0;
+  while (attempt <= config.maxRetries) {
+    try {
+      const res = await callback();
+      return res;
+    } catch (e) {
+      lastError = e;
+    }
+    attempt++;
+    if (attempt <= config.maxRetries) {
+      await new Promise((resolve) => {
+        setTimeout(resolve, config.delay * Math.pow(2, attempt - 1));
+      });
+    }
+  }
+  throw lastError;
+}
+
+// src/CardanoWalletProvider.ts
+function makeCardanoWalletProvider(provider, address, prices) {
+  if (!provider.isMainnet()) {
+    throw new Error("not a mainnet Cardano provider");
+  }
+  if (address.era != "Shelley") {
+    throw new Error("not a Shelley era address");
+  }
+  if (!address.mainnet) {
+    throw new Error("not a mainnet Cardano wallet address");
+  }
+  return new CardanoWalletProviderImpl(provider, address, prices);
+}
+var CardanoWalletProviderImpl = class {
+  provider;
+  address;
+  prices;
+  /**
+   * @param provider
+   * The Cardano client
+   * 
+   * @param address
+   * The mainnet address for which to fetch the balance and transactions.
+   * 
+   * @param prices
+   */
+  constructor(provider, address, prices) {
+    this.provider = provider;
+    this.address = address;
+    this.prices = prices;
+  }
+  /**
+   * @returns
+   * The USD total value of the Cardano wallet
+   */
+  get balance() {
+    return (async () => {
+      const utxos = await this.provider.getUtxos(this.address);
+      const v = addValues(utxos);
+      const ada = await this.aggregateValue(v);
+      const adaPrice = await this.prices.getSpotPrice("ADA", "USD");
+      return ada * adaPrice;
+    })();
+  }
+  /**
+   * @returns
+   * A list of hex encoded transaction IDs
+   */
+  get transferHistory() {
+    return (async () => {
+      const txInfos = await this.provider.getAddressTxs(this.address);
+      txInfos.sort((a, b) => {
+        return a.blockTime - b.blockTime;
+      });
+      return txInfos.map((txInfo) => txInfo.id.toHex());
+    })();
+  }
+  /**
+   * @param transfers
+   * Sum over the given transfers only
+   * 
+   * @returns
+   * USD value of deposits (positive) and withdrawals (negative)
+   */
+  async deposits(transfers) {
+    let txs = [];
+    for (let i = 0; i < transfers.length; i++) {
+      const id = transfers[i];
+      const tx = await retryExpBackoff(
+        async () => {
+          return await this.provider.getTxInfo(makeTxId(id));
+        },
+        {
+          delay: 1e3,
+          maxRetries: 3
+        }
+      );
+      txs.push(tx);
+    }
+    const depositValue = txs.reduce((value, tx) => {
+      value = tx.inputs.reduce((v, input) => {
+        if (input.address.isEqual(this.address)) {
+          return v.subtract(input.value);
+        } else {
+          return v;
+        }
+      }, value);
+      value = tx.outputs.reduce((v, output) => {
+        if (output.address.isEqual(this.address)) {
+          return v.add(output.value);
+        } else {
+          return v;
+        }
+      }, value);
+      return value;
+    }, makeValue(0n));
+    return await this.aggregateValue(depositValue);
+  }
+  /**
+   * CNTs are Cardano Native Tokens
+   * 
+   * @param value
+   * Lovelace + CNTs
+   *
+   * @returns
+   * A number of USD
+   */
+  async aggregateValue(value) {
+    let ada = Number(value.lovelace) / 1e6;
+    for (let ac of value.assets.assetClasses) {
+      try {
+        const { ticker, decimals } = await getAssetClassInfo(
+          this.provider,
+          ac
+        );
+        try {
+          const tickerPrice = await this.prices.getSpotPrice(
+            ticker,
+            "ADA"
+          );
+          const qty = value.assets.getAssetClassQuantity(ac);
+          ada += Number(qty) / Math.pow(10, decimals) * tickerPrice;
+        } catch (e) {
+          console.error(
+            `${ticker} price not yet available (${e.message})`
+          );
+        }
+      } catch (e) {
+        console.error(
+          `${ac.toString()} doesn't have CIP26 metadata, ignoring (${e.message})`
+        );
+      }
+    }
+    const adaPrice = await this.prices.getSpotPrice("ADA", "USD");
+    return ada * adaPrice;
+  }
+};
+
+// src/RWADatumProvider.ts
+import { bytesToHex } from "@helios-lang/codec-utils";
+import { makeShelleyAddress, makeValidatorHash } from "@helios-lang/ledger";
+import { expectDefined } from "@helios-lang/type-utils";
+
+// src/validators/index.ts
+import { makeCast, makeUserFunc } from "@helios-lang/contract-utils";
+var tokenized_account = {
+  $name: "tokenized_account",
+  $purpose: "mixed",
+  $currentScriptIndex: 0,
+  $sourceCode: `mixed tokenized_account
+
+import { get_current_input, tx } from ScriptContext
+
+struct State {
+    current_supply:             Int       "current_supply" // smaller or equal to supply_after_last_mint
+    supply_after_last_mint:     Int       "supply_after_last_mint"
+    transfer_id_before_last_mint: ByteArray "transfer_id_before_last_mint" // this is hash, because it might contain data that shouldn't be public
+
+    type:        String    "type"    // eg. CardanoWallet or Private
+    account:     ByteArray "account" // if type==Private -> this is a hash of the actual account type + address
+
+    name:        String "name"
+    description: String "description"
+    decimals:    Int    "decimals"    // can't change
+    ticker:      String "ticker"      // can't change
+    url:         String "url"
+    logo:        String "logo"
+}
+
+enum Cip68Extra {
+    Unused
+}
+
+enum Metadata {
+    Cip68 {
+        state:   State
+        version: Int
+        extra:   Cip68Extra
+    }
+
+    func state(self) -> State {
+        self.switch{
+            x: Cip68 => x.state
+        }
+    }
+}
+
+struct Redeemer {
+    total_reserves:                    Real // usually a USD value, 6 decimal places is enough
+    reserves_change:                   Real
+    latest_transfer_id: ByteArray
+}
+
+const SEED_ID          = TxOutputId::new(TxId::new(#), 0)
+const ORACLE_KEYS      = []PubKeyHash{}
+const INITIAL_PRICE: Real = 0.001 // 1000 USD per token -> 0.001 USD per microtoken
+const TYPE             = "Private"
+const ACCOUNT          = #
+const TICKER           = "USDT"
+const NAME             = TICKER + " RWA"
+const DESCRIPTION      = TICKER + " RWA operated by PBG"
+const DECIMALS         = 6
+const URL              = "https://www.pbg.io"
+const LOGO             = "https://assets.pbg.io/usdt_bridge.png"
+
+const ticker_bytes    = TICKER.encode_utf8()
+const user_token_name = Cip67::fungible_token_label + ticker_bytes
+const ref_token_name  = Cip67::reference_token_label + ticker_bytes
+
+const own_hash    = Scripts::tokenized_account
+const own_mph     = MintingPolicyHash::from_script_hash(own_hash)
+const own_address = Address::new(
+    SpendingCredential::new_validator(
+        ValidatorHash::from_script_hash(own_hash)
+    ),
+    Option[StakingCredential]::None
+)
+
+const ref_token_asset_class  = AssetClass::new(own_mph, ref_token_name)
+const user_token_asset_class = AssetClass::new(own_mph, user_token_name)
+
+func validate_initialization() -> () {
+    assert(tx.inputs.any((input: TxInput) -> {
+        input.output_id == SEED_ID
+    }), "seed UTXO not spent")
+
+    ref_utxo = tx.outputs.find((output: TxOutput) -> {
+        output.address == own_address
+        && output.value.get_safe(ref_token_asset_class) == 1
+    })
+
+    metadata = ref_utxo.datum.inline.as_strictly[Metadata]
+
+    assert(metadata == Metadata::Cip68{
+        State{
+            current_supply:               0,
+            supply_after_last_mint:       0,
+            transfer_id_before_last_mint: #,
+
+            type:    TYPE,
+            account: ACCOUNT,
+
+            name:        NAME,
+            description: DESCRIPTION,
+            decimals:    DECIMALS,
+            ticker:      TICKER,
+            url:         URL,
+            logo:        LOGO
+        },
+        1,
+        Cip68Extra::Unused
+    }, "metadata not initialized correctly")
+}
+
+func signed_by_quorum() -> Bool {
+    n_signers = ORACLE_KEYS.fold((n_signers: Int, key: PubKeyHash) -> {
+        n_signers + tx.is_signed_by(key).to_int()
+    }, 0)
+
+    n_signers > (ORACLE_KEYS.length/2)
+}
+
+func calc_token_price(R: Real, Delta: Real, current_supply: Int, supply_after_last_mint: Int) -> Real {
+    if (current_supply == 0 || supply_after_last_mint == 0) {
+        INITIAL_PRICE
+    } else {
+        p_last = (R - Delta)/supply_after_last_mint
+        p_curr = R / current_supply
+
+        if (p_last < p_curr) {
+            p_last
+        } else {
+            p_curr
+        }
+    }
+}
+
+func validate_state_change(redeemer: Redeemer, input: TxInput) -> () {
+    state0 = input.datum.inline.as[Metadata].state()
+
+    output = tx.outputs.find((output: TxOutput) -> {
+        output.address == own_address
+        && output.value.get_safe(ref_token_asset_class) > 0
+    })
+
+    state1 = output.datum.inline.as_strictly[Metadata].state()
+
+    // ensure constant metadata fields don't change
+    assert(state1.type == state0.type, "type not constant")
+    assert(state1.account == state0.account, "account not constant")
+    assert(state1.ticker == state0.ticker, "metadata ticker not constant")
+    assert(state1.decimals == state0.decimals, "metadata decimals not constant")
+
+    n = tx.minted.get_safe(user_token_asset_class)
+    N0 = state0.current_supply
+    N1 = state1.current_supply
+
+    assert((N1 - N0) == n, "current token supply not updated correctly")
+
+    if (n > 0) {
+        Redeemer{R, Delta, latest_transfer_id} = redeemer
+
+        p = calc_token_price(R, Delta, N0, state0.supply_after_last_mint)
+
+        assert(N1*p <= R, "too many tokens minted")
+        assert(state1.transfer_id_before_last_mint == latest_transfer_id, "transfer_id_before_last_mint not updated correctly")
+        assert(state1.supply_after_last_mint == N1, "supply_after_last_mint not updated correctly")
+        assert(signed_by_quorum(), "not signed by simple quorum of oracles")
+    } else {
+        assert(state1.supply_after_last_mint == state0.supply_after_last_mint, "supply_after_last_mint can't change during burn")
+        assert(state1.transfer_id_before_last_mint == state0.transfer_id_before_last_mint, "transfer_id_before_last_mint can't change during burn")
+    }
+}
+
+func main(args: MixedArgs) -> () {
+    args.switch{
+        s: Spending => {
+            redeemer = s.redeemer.as[Redeemer]
+
+            utxo = get_current_input()
+
+            tokens = utxo.value.get_policy(own_mph)
+
+            if (tokens.is_empty()) {
+                // UTXOs that don't contain any tokens from current policy can always be spent.
+                // This can be used to remove garbage.
+                ()
+            } else {
+                (name, _) = tokens.head
+
+                if (name == ref_token_name) {
+                    validate_state_change(redeemer, utxo)
+                } else {
+                    error("unexpected token name")
+                }
+            }
+        },
+        Other => {
+            tokens = tx.minted.get_policy(own_mph)
+
+            (name, qty) = tokens.head
+            tail = tokens.tail
+
+            assert(tail.is_empty(), "only one token kind can be minted or burned")
+
+            if (name == user_token_name && qty != 0) {
+                // metadata token must be spent, which triggers Spending witness
+                assert(tx.inputs.any((input: TxInput) -> {
+                    input.address == own_address
+                    && input.value.get_safe(ref_token_asset_class) > 0
+                }), "ref token not spent")
+            } else if (qty == 1 && (name == ref_token_name)) {
+                validate_initialization()
+            } else {
+                error("invalid minted tokens")
+            }
+        }
+    }
+}`,
+  $dependencies: [],
+  $hashDependencies: [],
+  $dependsOnOwnHash: true,
+  $Redeemer: (config) => makeCast({ "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] }, config),
+  $Datum: (config) => makeCast({ "kind": "internal", "name": "Data" }, config),
+  $types: {
+    State: (config) => makeCast({ "kind": "struct", "format": "map", "id": "__module__tokenized_account__State[]", "name": "State", "fieldTypes": [{ "name": "current_supply", "type": { "kind": "internal", "name": "Int" }, "key": "current_supply" }, { "name": "supply_after_last_mint", "type": { "kind": "internal", "name": "Int" }, "key": "supply_after_last_mint" }, { "name": "transfer_id_before_last_mint", "type": { "kind": "internal", "name": "ByteArray" }, "key": "transfer_id_before_last_mint" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "account", "type": { "kind": "internal", "name": "ByteArray" }, "key": "account" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }] }, config),
+    Cip68Extra: (config) => makeCast({ "kind": "enum", "name": "Cip68Extra", "id": "__module__tokenized_account__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__tokenized_account__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] }, config),
+    Metadata: (config) => makeCast({ "kind": "enum", "name": "Metadata", "id": "__module__tokenized_account__Metadata[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__tokenized_account__Metadata[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "state", "type": { "kind": "struct", "format": "map", "id": "__module__tokenized_account__State[]", "name": "State", "fieldTypes": [{ "name": "current_supply", "type": { "kind": "internal", "name": "Int" }, "key": "current_supply" }, { "name": "supply_after_last_mint", "type": { "kind": "internal", "name": "Int" }, "key": "supply_after_last_mint" }, { "name": "transfer_id_before_last_mint", "type": { "kind": "internal", "name": "ByteArray" }, "key": "transfer_id_before_last_mint" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "account", "type": { "kind": "internal", "name": "ByteArray" }, "key": "account" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__tokenized_account__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__tokenized_account__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] }, config),
+    Redeemer: (config) => makeCast({ "kind": "struct", "format": "list", "id": "__module__tokenized_account__Redeemer[]", "name": "Redeemer", "fieldTypes": [{ "name": "total_reserves", "type": { "kind": "internal", "name": "Real" } }, { "name": "reserves_change", "type": { "kind": "internal", "name": "Real" } }, { "name": "latest_transfer_id", "type": { "kind": "internal", "name": "ByteArray" } }] }, config)
+  },
+  $functions: {
+    "Metadata::state": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "Metadata::state", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "self", "isOptional": false, "type": { "kind": "enum", "name": "Metadata", "id": "__module__tokenized_account__Metadata[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__tokenized_account__Metadata[]__Cip68", "name": "Cip68", "fieldTypes": [{ "name": "state", "type": { "kind": "struct", "format": "map", "id": "__module__tokenized_account__State[]", "name": "State", "fieldTypes": [{ "name": "current_supply", "type": { "kind": "internal", "name": "Int" }, "key": "current_supply" }, { "name": "supply_after_last_mint", "type": { "kind": "internal", "name": "Int" }, "key": "supply_after_last_mint" }, { "name": "transfer_id_before_last_mint", "type": { "kind": "internal", "name": "ByteArray" }, "key": "transfer_id_before_last_mint" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "account", "type": { "kind": "internal", "name": "ByteArray" }, "key": "account" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }] } }, { "name": "version", "type": { "kind": "internal", "name": "Int" } }, { "name": "extra", "type": { "kind": "enum", "name": "Cip68Extra", "id": "__module__tokenized_account__Cip68Extra[]", "variantTypes": [{ "kind": "variant", "tag": 0, "id": "__module__tokenized_account__Cip68Extra[]__Unused", "name": "Unused", "fieldTypes": [] }] } }] }] } }], "returns": { "kind": "struct", "format": "map", "id": "__module__tokenized_account__State[]", "name": "State", "fieldTypes": [{ "name": "current_supply", "type": { "kind": "internal", "name": "Int" }, "key": "current_supply" }, { "name": "supply_after_last_mint", "type": { "kind": "internal", "name": "Int" }, "key": "supply_after_last_mint" }, { "name": "transfer_id_before_last_mint", "type": { "kind": "internal", "name": "ByteArray" }, "key": "transfer_id_before_last_mint" }, { "name": "type", "type": { "kind": "internal", "name": "String" }, "key": "type" }, { "name": "account", "type": { "kind": "internal", "name": "ByteArray" }, "key": "account" }, { "name": "name", "type": { "kind": "internal", "name": "String" }, "key": "name" }, { "name": "description", "type": { "kind": "internal", "name": "String" }, "key": "description" }, { "name": "decimals", "type": { "kind": "internal", "name": "Int" }, "key": "decimals" }, { "name": "ticker", "type": { "kind": "internal", "name": "String" }, "key": "ticker" }, { "name": "url", "type": { "kind": "internal", "name": "String" }, "key": "url" }, { "name": "logo", "type": { "kind": "internal", "name": "String" }, "key": "logo" }] } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "SEED_ID": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "SEED_ID", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "TxOutputId" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ORACLE_KEYS": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ORACLE_KEYS", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "list", "itemType": { "kind": "internal", "name": "PubKeyHash" } } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "INITIAL_PRICE": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "INITIAL_PRICE", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Real" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "TYPE": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "TYPE", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ACCOUNT": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ACCOUNT", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "TICKER": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "TICKER", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "NAME": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "NAME", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "DESCRIPTION": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "DESCRIPTION", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "DECIMALS": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "DECIMALS", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Int" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "URL": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "URL", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "LOGO": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "LOGO", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "String" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ticker_bytes": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ticker_bytes", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "user_token_name": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "user_token_name", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ref_token_name": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ref_token_name", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ByteArray" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_hash": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_hash", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "ScriptHash" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_mph": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_mph", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "MintingPolicyHash" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "own_address": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "own_address", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "Address" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "ref_token_asset_class": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "ref_token_asset_class", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "AssetClass" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "user_token_asset_class": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "user_token_asset_class", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [], "returns": { "kind": "internal", "name": "AssetClass" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "validate_initialization": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "validate_initialization", "requiresCurrentScript": false, "requiresScriptContext": true, "arguments": [] }, castConfig: config, validatorIndices: __validatorIndices }),
+    "signed_by_quorum": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "signed_by_quorum", "requiresCurrentScript": false, "requiresScriptContext": true, "arguments": [], "returns": { "kind": "internal", "name": "Bool" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "calc_token_price": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "calc_token_price", "requiresCurrentScript": false, "requiresScriptContext": false, "arguments": [{ "name": "R", "isOptional": false, "type": { "kind": "internal", "name": "Real" } }, { "name": "Delta", "isOptional": false, "type": { "kind": "internal", "name": "Real" } }, { "name": "current_supply", "isOptional": false, "type": { "kind": "internal", "name": "Int" } }, { "name": "supply_after_last_mint", "isOptional": false, "type": { "kind": "internal", "name": "Int" } }], "returns": { "kind": "internal", "name": "Real" } }, castConfig: config, validatorIndices: __validatorIndices }),
+    "validate_state_change": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "validate_state_change", "requiresCurrentScript": false, "requiresScriptContext": true, "arguments": [{ "name": "redeemer", "isOptional": false, "type": { "kind": "struct", "format": "list", "id": "__module__tokenized_account__Redeemer[]", "name": "Redeemer", "fieldTypes": [{ "name": "total_reserves", "type": { "kind": "internal", "name": "Real" } }, { "name": "reserves_change", "type": { "kind": "internal", "name": "Real" } }, { "name": "latest_transfer_id", "type": { "kind": "internal", "name": "ByteArray" } }] } }, { "name": "input", "isOptional": false, "type": { "kind": "internal", "name": "TxInput" } }] }, castConfig: config, validatorIndices: __validatorIndices }),
+    "main": (uplc, config) => makeUserFunc(uplc, { ...{ "name": "main", "arguments": [{ "name": "$datum", "isOptional": true, "type": { "kind": "internal", "name": "Data" } }, { "name": "args", "isOptional": false, "type": { "kind": "enum", "id": "__helios__mixedargs", "name": "MixedArgs", "variantTypes": [{ "kind": "variant", "name": "Other", "id": "__helios__mixedargs__other", "tag": 0, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }, { "kind": "variant", "name": "Spending", "id": "__helios__mixedargs__spending", "tag": 1, "fieldTypes": [{ "name": "redeemer", "type": { "kind": "internal", "name": "Data" } }] }] } }], "requiresCurrentScript": false, "requiresScriptContext": true }, castConfig: config, validatorIndices: __validatorIndices })
+  }
+};
+var __validatorIndices = { "tokenized_account": 0 };
+
+// src/RWADatumProvider.ts
+var castMetadata = tokenized_account.$types.Metadata;
+var castDatum = tokenized_account.$types.State;
+function makeRWADatumProvider(provider) {
+  return new RWADatumProviderImpl(provider);
+}
+var RWADatumProviderImpl = class {
+  provider;
+  constructor(provider) {
+    this.provider = provider;
+  }
+  async fetch(policy) {
+    const utxo = await this.fetchMetadataUTXO(policy);
+    const metadata = castMetadata({ isMainnet: this.isMainnet }).fromUplcData(expectDefined(utxo.datum?.data, "metadata UTXO doesn't have datum"));
+    return metadata.Cip68.state;
+  }
+  get isMainnet() {
+    return this.provider.isMainnet();
+  }
+  async fetchMetadataUTXO(policy) {
+    const vh = makeValidatorHash(policy.bytes);
+    const addr = makeShelleyAddress(this.isMainnet, vh);
+    let utxos = await this.provider.getUtxos(addr);
+    utxos = utxos.filter(
+      (utxo) => utxo.value.assets.assets.some(
+        ([mph, tokens]) => mph.isEqual(policy) && tokens.some(
+          ([tokenName, qty]) => bytesToHex(tokenName.slice(0, 4)) == "000643b0" && qty == 1n
+        )
+      )
+    );
+    return expectDefined(utxos[0], "expected 1 metadata UTXO");
+  }
+};
+
+// src/TransferID.ts
+function filterTransfersAfter(transfers, after) {
+  const cutOff = transfers.findIndex((id) => id == after);
+  if (cutOff != -1) {
+    return transfers.slice(cutOff + 1);
+  } else {
+    return transfers;
+  }
+}
+export {
+  filterTransfersAfter,
+  makeCardanoWalletProvider,
+  makeRWADatumProvider
+};

package/dist/retryExpBackoff.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Internal helper for retrying network requests
+ *
+ * @param callback
+ * @param config
+ * delay is a number in milliseconds
+ *
+ * @returns
+ */
+export declare function retryExpBackoff<T>(callback: () => Promise<T>, config: {
+    delay: number;
+    maxRetries: number;
+}): Promise<T>;

package/dist/tokens.d.ts

@@ -0,0 +1,2 @@
+import { type MintingPolicyHash } from "@helios-lang/ledger";
+export declare function makeMetadataAssetClass(mph: MintingPolicyHash, ticker: string): import("@helios-lang/ledger").AssetClass<unknown>;