@lucid-evolution/provider 0.2.2 → 0.2.4

package/dist/index.cjs

@@ -144,7 +144,7 @@ var import_utils2 = require("@lucid-evolution/utils");
 // package.json
 var package_default = {
   name: "@lucid-evolution/provider",
-  version: "0.2.2",
+  version: "0.2.4",
   description: "",
   main: "./dist/index.js",
   types: "./dist/index.d.ts",
@@ -247,6 +247,7 @@ var fromLegacyRedeemerTag = (redeemerTag) => {
 };
 
 // src/blockfrost.ts
+var DEFAULT_REQUEST_TIMEOUT_MS = 3e4;
 var toBlockfrostQueryPredicate = (addressOrCredential) => {
   if (typeof addressOrCredential === "string") return addressOrCredential;
   if (addressOrCredential.type === "Key") {
@@ -259,12 +260,24 @@ var toBlockfrostQueryPredicate = (addressOrCredential) => {
 var Blockfrost = class {
   url;
   projectId;
-  constructor(url, projectId) {
+  requestTimeoutMs;
+  constructor(url, projectId, options = {}) {
     this.url = url;
     this.projectId = projectId || "";
+    const timeout = options.requestTimeoutMs ?? DEFAULT_REQUEST_TIMEOUT_MS;
+    if (!Number.isFinite(timeout) || timeout <= 0) {
+      throw new TypeError("requestTimeoutMs must be a positive finite number.");
+    }
+    this.requestTimeoutMs = timeout;
+  }
+  /** `fetch` bounded by the provider's request timeout, combined with any caller-supplied signal. */
+  fetch(input, init = {}) {
+    const timeout = AbortSignal.timeout(this.requestTimeoutMs);
+    const signal = init.signal == null ? timeout : typeof AbortSignal.any === "function" ? AbortSignal.any([init.signal, timeout]) : init.signal;
+    return fetch(input, { ...init, signal });
   }
   async getProtocolParameters() {
-    const result = await fetch(`${this.url}/epochs/latest/parameters`, {
+    const result = await this.fetch(`${this.url}/epochs/latest/parameters`, {
       headers: { project_id: this.projectId, lucid }
     }).then((res) => res.json());
     return {
@@ -292,7 +305,7 @@ var Blockfrost = class {
     };
   }
   async getTreasury() {
-    const result = await fetch(`${this.url}/network`, {
+    const result = await this.fetch(`${this.url}/network`, {
       headers: { project_id: this.projectId, lucid }
     }).then((res) => res.json());
     if (!result || result.error || result.supply?.treasury === void 0) {
@@ -305,7 +318,7 @@ var Blockfrost = class {
     let result = [];
     let page = 1;
     while (true) {
-      const pageResult = await fetch(
+      const pageResult = await this.fetch(
         `${this.url}/addresses/${queryPredicate}/utxos?page=${page}`,
         { headers: { project_id: this.projectId, lucid } }
       ).then((res) => res.json());
@@ -327,7 +340,7 @@ var Blockfrost = class {
     let result = [];
     let page = 1;
     while (true) {
-      const pageResult = await fetch(
+      const pageResult = await this.fetch(
         `${this.url}/addresses/${queryPredicate}/utxos/${unit}?page=${page}`,
         { headers: { project_id: this.projectId, lucid } }
       ).then((res) => res.json());
@@ -345,7 +358,7 @@ var Blockfrost = class {
     return this.blockfrostUtxosToUtxos(result);
   }
   async getUtxoByUnit(unit) {
-    const addresses = await fetch(
+    const addresses = await this.fetch(
       `${this.url}/assets/${unit}/addresses?count=2`,
       { headers: { project_id: this.projectId, lucid } }
     ).then((res) => res.json());
@@ -366,7 +379,7 @@ var Blockfrost = class {
     const queryHashes = [...new Set(outRefs.map((outRef) => outRef.txHash))];
     const utxos = await Promise.all(
       queryHashes.map(async (txHash) => {
-        const result = await fetch(`${this.url}/txs/${txHash}/utxos`, {
+        const result = await this.fetch(`${this.url}/txs/${txHash}/utxos`, {
           headers: { project_id: this.projectId, lucid }
         }).then((res) => res.json());
         if (!result || result.error) {
@@ -388,7 +401,7 @@ var Blockfrost = class {
     );
   }
   async getRewardAccount(rewardAddress) {
-    const response = await fetch(`${this.url}/accounts/${rewardAddress}`, {
+    const response = await this.fetch(`${this.url}/accounts/${rewardAddress}`, {
       headers: { project_id: this.projectId, lucid }
     });
     if (response.status === 404) {
@@ -411,9 +424,12 @@ var Blockfrost = class {
     return { poolId, rewards };
   }
   async getDatum(datumHash) {
-    const datum = await fetch(`${this.url}/scripts/datum/${datumHash}/cbor`, {
-      headers: { project_id: this.projectId, lucid }
-    }).then((res) => res.json()).then((res) => res.cbor);
+    const datum = await this.fetch(
+      `${this.url}/scripts/datum/${datumHash}/cbor`,
+      {
+        headers: { project_id: this.projectId, lucid }
+      }
+    ).then((res) => res.json()).then((res) => res.cbor);
     if (!datum || datum.error) {
       throw new Error(`No datum found for datum hash: ${datumHash}`);
     }
@@ -422,7 +438,7 @@ var Blockfrost = class {
   awaitTx(txHash, checkInterval = 3e3) {
     return new Promise((res) => {
       const confirmation = setInterval(async () => {
-        const isConfirmed = await fetch(`${this.url}/txs/${txHash}/cbor`, {
+        const isConfirmed = await this.fetch(`${this.url}/txs/${txHash}/cbor`, {
           headers: { project_id: this.projectId, lucid }
         }).then((res2) => res2.json());
         if (isConfirmed && !isConfirmed.error) {
@@ -434,7 +450,7 @@ var Blockfrost = class {
     });
   }
   async getTransactionStatus(txHash, options = {}) {
-    const response = await fetch(`${this.url}/txs/${txHash}`, {
+    const response = await this.fetch(`${this.url}/txs/${txHash}`, {
       headers: { project_id: this.projectId, lucid },
       signal: options.signal
     });
@@ -457,7 +473,7 @@ var Blockfrost = class {
     };
   }
   async submitTx(tx) {
-    const result = await fetch(`${this.url}/tx/submit`, {
+    const result = await this.fetch(`${this.url}/tx/submit`, {
       method: "POST",
       headers: {
         "Content-Type": "application/cbor",
@@ -492,19 +508,19 @@ var Blockfrost = class {
             datumHash: !r.inline_datum && r.data_hash || void 0,
             datum: r.inline_datum || void 0,
             scriptRef: r.reference_script_hash ? await (async () => {
-              const { type } = await fetch(
+              const { type } = await this.fetch(
                 `${this.url}/scripts/${r.reference_script_hash}`,
                 {
                   headers: { project_id: this.projectId, lucid }
                 }
               ).then((res) => res.json());
-              const { cbor: script } = await fetch(
+              const { cbor: script } = await this.fetch(
                 `${this.url}/scripts/${r.reference_script_hash}/cbor`,
                 { headers: { project_id: this.projectId, lucid } }
               ).then((res) => res.json());
               switch (type) {
                 case "timelock":
-                  const { json: native } = await fetch(
+                  const { json: native } = await this.fetch(
                     `${this.url}/scripts/${r.reference_script_hash}/json`,
                     { headers: { project_id: this.projectId, lucid } }
                   ).then((res) => res.json());
@@ -539,7 +555,7 @@ var Blockfrost = class {
         cbor: tx,
         ...utxos?.length ? { additionalUtxoSet: toAditionalUTXOs(utxos) } : {}
       };
-      const res = await fetch(`${this.url}/utils/txs/evaluate/utxos`, {
+      const res = await this.fetch(`${this.url}/utils/txs/evaluate/utxos`, {
         method: "POST",
         headers: {
           "Content-Type": "application/json",
@@ -1019,7 +1035,7 @@ var makePostAsUint8Array = (url, data, schema, headers) => (0, import_effect4.pi
 
 // src/kupmios.ts
 var import_platform2 = require("@effect/platform");
-var DEFAULT_REQUEST_TIMEOUT_MS = 3e4;
+var DEFAULT_REQUEST_TIMEOUT_MS2 = 3e4;
 var DEFAULT_AWAIT_TX_TIMEOUT_MS = 16e4;
 var validateTimeout = (name, timeout) => {
   if (!Number.isFinite(timeout) || timeout <= 0) {
@@ -1057,7 +1073,7 @@ var Kupmios = class {
     this.options = options;
     this.requestTimeoutMs = validateTimeout(
       "requestTimeoutMs",
-      options.requestTimeoutMs ?? DEFAULT_REQUEST_TIMEOUT_MS
+      options.requestTimeoutMs ?? DEFAULT_REQUEST_TIMEOUT_MS2
     );
     this.awaitTxTimeoutMs = validateTimeout(
       "awaitTxTimeoutMs",
@@ -1539,6 +1555,7 @@ function generateEmulatorAccount(assets) {
     privateKey: ""
   };
 }
+var DEFAULT_PROTOCOL_MAJOR_VERSION = 11;
 var Emulator = class {
   [EMULATOR_PROVIDER_BRAND] = true;
   ledger;
@@ -1793,78 +1810,94 @@ var Emulator = class {
     const datumTable = (() => {
       const table = {};
       for (let i = 0; i < (datums?.len() || 0); i++) {
-        const datum = datums.get(i);
-        const datumHash = CML.hash_plutus_data(datum).to_hex();
-        table[datumHash] = datum.to_cbor_hex();
+        (0, import_core_utils2.withCMLScope)((own) => {
+          const datum = own(datums.get(i));
+          const datumHash = own(CML.hash_plutus_data(datum)).to_hex();
+          table[datumHash] = datum.to_cbor_hex();
+        });
       }
       return table;
     })();
     const consumedHashes = /* @__PURE__ */ new Set();
-    const keyHashes = (() => {
+    const keyHashes = (0, import_core_utils2.withCMLScope)((own) => {
       const keyHashes2 = [];
-      for (let i = 0; i < (witnesses.vkeywitnesses()?.len() || 0); i++) {
-        const witness = witnesses.vkeywitnesses().get(i);
-        const publicKey = witness.vkey();
-        const keyHash = publicKey.hash().to_hex();
-        if (!publicKey.verify((0, import_core_utils2.fromHex)(txHash), witness.ed25519_signature())) {
-          throw new Error(`Invalid vkey witness. Key hash: ${keyHash}`);
-        }
-        keyHashes2.push(keyHash);
+      const vkeyWitnesses = own(witnesses.vkeywitnesses());
+      for (let i = 0; i < (vkeyWitnesses?.len() || 0); i++) {
+        (0, import_core_utils2.withCMLScope)((own2) => {
+          const witness = own2(vkeyWitnesses.get(i));
+          const publicKey = own2(witness.vkey());
+          const keyHash = own2(publicKey.hash()).to_hex();
+          if (!publicKey.verify((0, import_core_utils2.fromHex)(txHash), own2(witness.ed25519_signature()))) {
+            throw new Error(`Invalid vkey witness. Key hash: ${keyHash}`);
+          }
+          keyHashes2.push(keyHash);
+        });
       }
       return keyHashes2;
-    })();
+    });
     const edKeyHashes = CML.Ed25519KeyHashList.new();
     keyHashes.forEach(
-      (keyHash) => edKeyHashes.add(CML.Ed25519KeyHash.from_hex(keyHash))
+      (keyHash) => (0, import_core_utils2.withCMLScope)(
+        (own) => edKeyHashes.add(own(CML.Ed25519KeyHash.from_hex(keyHash)))
+      )
     );
-    const nativeHashes = (() => {
+    const nativeHashes = (0, import_core_utils2.withCMLScope)((own) => {
       const scriptHashes = [];
-      for (let i = 0; i < (witnesses.native_scripts()?.len() || 0); i++) {
-        const witness = witnesses.native_scripts().get(i);
-        const scriptHash = witness.hash().to_hex();
-        if (!witness.verify(
-          Number.isInteger(lowerBound) ? CML.BigInteger.from_str(lowerBound.toString()).to_js_value() : void 0,
-          Number.isInteger(upperBound) ? CML.BigInteger.from_str(upperBound.toString()).to_js_value() : void 0,
-          edKeyHashes
-        )) {
-          throw new Error(
-            `Invalid native script witness. Script hash: ${scriptHash}`
-          );
-        }
-        for (let i2 = 0; i2 < witness.get_required_signers().len(); i2++) {
-          const keyHash = witness.get_required_signers().get(i2).to_hex();
-          consumedHashes.add(keyHash);
-        }
-        scriptHashes.push(scriptHash);
+      const nativeScripts = own(witnesses.native_scripts());
+      for (let i = 0; i < (nativeScripts?.len() || 0); i++) {
+        (0, import_core_utils2.withCMLScope)((own2) => {
+          const witness = own2(nativeScripts.get(i));
+          const scriptHash = own2(witness.hash()).to_hex();
+          if (!witness.verify(
+            Number.isInteger(lowerBound) ? BigInt(lowerBound) : void 0,
+            Number.isInteger(upperBound) ? BigInt(upperBound) : void 0,
+            edKeyHashes
+          )) {
+            throw new Error(
+              `Invalid native script witness. Script hash: ${scriptHash}`
+            );
+          }
+          const requiredSigners = own2(witness.get_required_signers());
+          for (let j = 0; j < requiredSigners.len(); j++) {
+            const keyHash = own2(requiredSigners.get(j)).to_hex();
+            consumedHashes.add(keyHash);
+          }
+          scriptHashes.push(scriptHash);
+        });
       }
       return scriptHashes;
-    })();
+    });
+    edKeyHashes.free();
     const nativeHashesOptional = {};
     const plutusHashesOptional = [];
-    const plutusHashes = (() => {
+    const plutusV3Hashes = /* @__PURE__ */ new Set();
+    const plutusHashes = (0, import_core_utils2.withCMLScope)((own) => {
       const scriptHashes = [];
-      for (let i = 0; i < (witnesses.plutus_v1_scripts()?.len() || 0); i++) {
-        const script = witnesses.plutus_v1_scripts().get(i);
-        const scriptHash = script.hash().to_hex();
-        scriptHashes.push(scriptHash);
-      }
-      for (let i = 0; i < (witnesses.plutus_v2_scripts()?.len() || 0); i++) {
-        const script = witnesses.plutus_v2_scripts().get(i);
-        const scriptHash = script.hash().to_hex();
-        scriptHashes.push(scriptHash);
-      }
-      for (let i = 0; i < (witnesses.plutus_v3_scripts()?.len() || 0); i++) {
-        const script = witnesses.plutus_v3_scripts().get(i);
-        const scriptHash = script.hash().to_hex();
-        scriptHashes.push(scriptHash);
-      }
+      const collectHashes = (scripts, isPlutusV3 = false) => {
+        own(scripts);
+        for (let i = 0; i < (scripts?.len() || 0); i++) {
+          (0, import_core_utils2.withCMLScope)((own2) => {
+            const script = own2(scripts.get(i));
+            const scriptHash = own2(script.hash()).to_hex();
+            scriptHashes.push(scriptHash);
+            if (isPlutusV3) plutusV3Hashes.add(scriptHash);
+          });
+        }
+      };
+      collectHashes(witnesses.plutus_v1_scripts());
+      collectHashes(witnesses.plutus_v2_scripts());
+      collectHashes(witnesses.plutus_v3_scripts(), true);
       return scriptHashes;
-    })();
+    });
     const inputs = body.inputs();
     const resolvedInputs = [];
+    const inputOutRefs = /* @__PURE__ */ new Set();
     for (let i = 0; i < inputs.len(); i++) {
-      const input = inputs.get(i);
-      const outRef = input.transaction_id().to_hex() + input.index().toString();
+      const outRef = (0, import_core_utils2.withCMLScope)((own) => {
+        const input = own(inputs.get(i));
+        return own(input.transaction_id()).to_hex() + input.index().toString();
+      });
+      inputOutRefs.add(outRef);
       const entryLedger = this.ledger[outRef];
       const { entry, type } = !entryLedger ? { entry: this.mempool[outRef], type: "Mempool" } : { entry: entryLedger, type: "Ledger" };
       if (!entry || entry.spent) {
@@ -1904,7 +1937,9 @@ It does not exist or was already spent.`
             const script = CML.PlutusScript.from_v3(
               CML.PlutusV3Script.from_cbor_bytes((0, import_core_utils2.fromHex)(scriptRef.script))
             );
-            plutusHashesOptional.push(script.hash().to_hex());
+            const scriptHash = script.hash().to_hex();
+            plutusHashesOptional.push(scriptHash);
+            plutusV3Hashes.add(scriptHash);
             break;
           }
         }
@@ -1912,9 +1947,14 @@ It does not exist or was already spent.`
       if (entry.utxo.datumHash) consumedHashes.add(entry.utxo.datumHash);
       resolvedInputs.push({ entry, type });
     }
-    for (let i = 0; i < (body.reference_inputs()?.len() || 0); i++) {
-      const input = body.reference_inputs().get(i);
-      const outRef = input.transaction_id().to_hex() + input.index().toString();
+    inputs.free();
+    const referenceInputs = body.reference_inputs();
+    const nonDisjointRefInputs = [];
+    for (let i = 0; i < (referenceInputs?.len() || 0); i++) {
+      const outRef = (0, import_core_utils2.withCMLScope)((own) => {
+        const input = own(referenceInputs.get(i));
+        return own(input.transaction_id()).to_hex() + input.index().toString();
+      });
       const entry = this.ledger[outRef] || this.mempool[outRef];
       if (!entry || entry.spent) {
         throw new Error(
@@ -1925,6 +1965,11 @@ It does not exist or was already spent.`
 It does not exist or was already spent.`
         );
       }
+      if (inputOutRefs.has(outRef)) {
+        nonDisjointRefInputs.push(
+          `${entry.utxo.txHash}#${entry.utxo.outputIndex}`
+        );
+      }
       const scriptRef = entry.utxo.scriptRef;
       if (scriptRef) {
         switch (scriptRef.type) {
@@ -1953,13 +1998,16 @@ It does not exist or was already spent.`
             const script = CML.PlutusScript.from_v3(
               CML.PlutusV3Script.from_cbor_bytes((0, import_core_utils2.fromHex)(scriptRef.script))
             );
-            plutusHashesOptional.push(script.hash().to_hex());
+            const scriptHash = script.hash().to_hex();
+            plutusHashesOptional.push(scriptHash);
+            plutusV3Hashes.add(scriptHash);
             break;
           }
         }
       }
       if (entry.utxo.datumHash) consumedHashes.add(entry.utxo.datumHash);
     }
+    referenceInputs?.free();
     const redeemers = (() => {
       const tagMap = {
         0: "Spend",
@@ -2038,9 +2086,12 @@ It does not exist or was already spent.`
         }
       }
     }
-    for (let i = 0; i < (body.collateral_inputs()?.len() || 0); i++) {
-      const input = body.collateral_inputs().get(i);
-      const outRef = input.transaction_id().to_hex() + input.index().toString();
+    const collateralInputs = body.collateral_inputs();
+    for (let i = 0; i < (collateralInputs?.len() || 0); i++) {
+      const outRef = (0, import_core_utils2.withCMLScope)((own) => {
+        const input = own(collateralInputs.get(i));
+        return own(input.transaction_id()).to_hex() + input.index().toString();
+      });
       const entry = this.ledger[outRef] || this.mempool[outRef];
       if (!entry || entry.spent) {
         throw new Error(
@@ -2057,6 +2108,7 @@ It does not exist or was already spent.`
       }
       checkAndConsumeHash(paymentCredential, null, null);
     }
+    collateralInputs?.free();
     for (let i = 0; i < (body.required_signers()?.len() || 0); i++) {
       const signer = body.required_signers().get(i);
       checkAndConsumeHash({ type: "Key", hash: signer.to_hex() }, null, null);
@@ -2322,16 +2374,21 @@ It does not exist or was already spent.`
       const { paymentCredential } = (0, import_utils6.getAddressDetails)(utxo.address);
       checkAndConsumeHash(paymentCredential, "Spend", index);
     });
-    const outputs = (() => {
+    const outputs = (0, import_core_utils2.withCMLScope)((own) => {
       const collected = [];
-      for (let i = 0; i < body.outputs().len(); i++) {
-        const output = body.outputs().get(i);
-        const unspentOutput = CML.TransactionUnspentOutput.new(
-          CML.TransactionInput.new(
-            CML.TransactionHash.from_hex(txHash),
-            CML.BigInteger.from_str(i.toString()).to_js_value()
-          ),
-          output
+      const bodyOutputs = own(body.outputs());
+      for (let i = 0; i < bodyOutputs.len(); i++) {
+        const output = own(bodyOutputs.get(i));
+        const unspentOutput = own(
+          CML.TransactionUnspentOutput.new(
+            own(
+              CML.TransactionInput.new(
+                own(CML.TransactionHash.from_hex(txHash)),
+                BigInt(i)
+              )
+            ),
+            output
+          )
         );
         const utxo = (0, import_utils6.coreToUtxo)(unspentOutput);
         if (utxo.datumHash) consumedHashes.add(utxo.datumHash);
@@ -2341,7 +2398,7 @@ It does not exist or was already spent.`
         });
       }
       return collected;
-    })();
+    });
     const [extraKeyHash] = keyHashes.filter(
       (keyHash) => !consumedHashes.has(keyHash)
     );
@@ -2370,6 +2427,23 @@ It does not exist or was already spent.`
     if (extraDatumHash) {
       throw new Error(`Extraneous plutus data. Datum hash: ${extraDatumHash}`);
     }
+    if (nonDisjointRefInputs.length > 0) {
+      const protocolMajorVersion = this.protocolParameters.protocolMajorVersion ?? DEFAULT_PROTOCOL_MAJOR_VERSION;
+      const overlap = nonDisjointRefInputs.join(", ");
+      if (protocolMajorVersion === 9 || protocolMajorVersion === 10) {
+        throw new Error(
+          `BabbageNonDisjointRefInputs: reference inputs must be disjoint from inputs at protocol version ${protocolMajorVersion}. Overlapping: ${overlap}`
+        );
+      }
+      const runsPlutusV3 = [...consumedHashes].some(
+        (hash) => plutusV3Hashes.has(hash)
+      );
+      if (protocolMajorVersion >= 11 && runsPlutusV3) {
+        throw new Error(
+          `ReferenceInputsNotDisjointFromInputs: a PlutusV3 script context cannot be built while reference inputs overlap inputs. Overlapping: ${overlap}`
+        );
+      }
+    }
     resolvedInputs.forEach(({ entry, type }) => {
       const outRef = entry.utxo.txHash + entry.utxo.outputIndex;
       entry.spent = true;
@@ -2415,50 +2489,57 @@ It does not exist or was already spent.`
       this.datumTable[datumHash] = datum;
     }
     this.transactionHistory[txHash] = { status: "pending" };
+    (0, import_core_utils2.freeCML)(datums, witnesses, body, desTx);
     return Promise.resolve(txHash);
   }
   async evaluateTx(tx, additionalUTxOs) {
-    const desTx = CML.Transaction.from_cbor_hex(tx);
-    const redeemers = desTx.witness_set().redeemers();
-    if (!redeemers) {
-      return [];
-    }
-    let evalRedeemers = [];
-    const arrLegacyRedeemer = redeemers.as_arr_legacy_redeemer();
-    if (arrLegacyRedeemer) {
-      for (let i = 0; i < arrLegacyRedeemer.len(); i++) {
-        const legacyRedeemer = arrLegacyRedeemer.get(i);
-        evalRedeemers.push({
-          ex_units: {
-            mem: Number(legacyRedeemer.ex_units().mem()),
-            steps: Number(legacyRedeemer.ex_units().steps())
-          },
-          redeemer_index: Number(legacyRedeemer.index()),
-          redeemer_tag: (0, import_utils5.fromCMLRedeemerTag)(legacyRedeemer.tag())
-        });
+    return (0, import_core_utils2.withCMLScope)((own) => {
+      const desTx = own(CML.Transaction.from_cbor_hex(tx));
+      const redeemers = own(own(desTx.witness_set()).redeemers());
+      if (!redeemers) {
+        return [];
       }
-      return evalRedeemers;
-    }
-    const mapRedeemerKeyToRedeemerVal = redeemers.as_map_redeemer_key_to_redeemer_val();
-    if (mapRedeemerKeyToRedeemerVal) {
-      const keys = mapRedeemerKeyToRedeemerVal.keys();
-      for (let i = 0; i < keys.len(); i++) {
-        const key = keys.get(i);
-        const redeemerVal = mapRedeemerKeyToRedeemerVal.get(key);
-        if (redeemerVal) {
+      const evalRedeemers = [];
+      const arrLegacyRedeemer = own(redeemers.as_arr_legacy_redeemer());
+      if (arrLegacyRedeemer) {
+        for (let i = 0; i < arrLegacyRedeemer.len(); i++) {
+          const legacyRedeemer = own(arrLegacyRedeemer.get(i));
+          const exUnits = own(legacyRedeemer.ex_units());
           evalRedeemers.push({
             ex_units: {
-              mem: Number(redeemerVal.ex_units().mem()),
-              steps: Number(redeemerVal.ex_units().steps())
+              mem: Number(exUnits.mem()),
+              steps: Number(exUnits.steps())
             },
-            redeemer_index: Number(key.index),
-            redeemer_tag: (0, import_utils5.fromCMLRedeemerTag)(key.tag())
+            redeemer_index: Number(legacyRedeemer.index()),
+            redeemer_tag: (0, import_utils5.fromCMLRedeemerTag)(legacyRedeemer.tag())
           });
         }
+        return evalRedeemers;
+      }
+      const mapRedeemerKeyToRedeemerVal = own(
+        redeemers.as_map_redeemer_key_to_redeemer_val()
+      );
+      if (mapRedeemerKeyToRedeemerVal) {
+        const keys = own(mapRedeemerKeyToRedeemerVal.keys());
+        for (let i = 0; i < keys.len(); i++) {
+          const key = own(keys.get(i));
+          const redeemerVal = own(mapRedeemerKeyToRedeemerVal.get(key));
+          if (redeemerVal) {
+            const exUnits = own(redeemerVal.ex_units());
+            evalRedeemers.push({
+              ex_units: {
+                mem: Number(exUnits.mem()),
+                steps: Number(exUnits.steps())
+              },
+              redeemer_index: Number(key.index()),
+              redeemer_tag: (0, import_utils5.fromCMLRedeemerTag)(key.tag())
+            });
+          }
+        }
+        return evalRedeemers;
       }
       return evalRedeemers;
-    }
-    return evalRedeemers;
+    });
   }
   log() {
     function getRandomColor(unit) {

package/dist/index.d.cts

@@ -48,10 +48,17 @@ declare class OgmiosJsonRpcError extends KupmiosError {
     constructor(options: OgmiosJsonRpcErrorOptions);
 }
 
+interface BlockfrostOptions {
+    /** Abort any single request after this many milliseconds. Defaults to 30 000. */
+    readonly requestTimeoutMs?: number;
+}
 declare class Blockfrost implements Provider {
     url: string;
     projectId: string;
-    constructor(url: string, projectId?: string);
+    private readonly requestTimeoutMs;
+    constructor(url: string, projectId?: string, options?: BlockfrostOptions);
+    /** `fetch` bounded by the provider's request timeout, combined with any caller-supplied signal. */
+    private fetch;
     getProtocolParameters(): Promise<ProtocolParameters>;
     getTreasury(): Promise<bigint>;
     getUtxos(addressOrCredential: Address | Credential): Promise<UTxO[]>;
@@ -287,4 +294,4 @@ declare class Koios implements Provider {
     evaluateTx(tx: Transaction, additionalUTxOs?: UTxO[]): Promise<EvalRedeemer[]>;
 }
 
-export { Blockfrost, Emulator, type EmulatorAccount, Koios, KoiosError, Kupmios, KupmiosError, type KupmiosErrorOptions, type KupmiosOptions, Maestro, type MaestroConfig, type MaestroSupportedNetworks, OgmiosJsonRpcError, type OgmiosJsonRpcErrorOptions, type ProviderErrorKind, type ProviderTransportProtocol, generateEmulatorAccount, generateEmulatorAccountFromPrivateKey, isEmulatorProvider };
+export { Blockfrost, type BlockfrostOptions, Emulator, type EmulatorAccount, Koios, KoiosError, Kupmios, KupmiosError, type KupmiosErrorOptions, type KupmiosOptions, Maestro, type MaestroConfig, type MaestroSupportedNetworks, OgmiosJsonRpcError, type OgmiosJsonRpcErrorOptions, type ProviderErrorKind, type ProviderTransportProtocol, generateEmulatorAccount, generateEmulatorAccountFromPrivateKey, isEmulatorProvider };

package/dist/index.d.ts

@@ -48,10 +48,17 @@ declare class OgmiosJsonRpcError extends KupmiosError {
     constructor(options: OgmiosJsonRpcErrorOptions);
 }
 
+interface BlockfrostOptions {
+    /** Abort any single request after this many milliseconds. Defaults to 30 000. */
+    readonly requestTimeoutMs?: number;
+}
 declare class Blockfrost implements Provider {
     url: string;
     projectId: string;
-    constructor(url: string, projectId?: string);
+    private readonly requestTimeoutMs;
+    constructor(url: string, projectId?: string, options?: BlockfrostOptions);
+    /** `fetch` bounded by the provider's request timeout, combined with any caller-supplied signal. */
+    private fetch;
     getProtocolParameters(): Promise<ProtocolParameters>;
     getTreasury(): Promise<bigint>;
     getUtxos(addressOrCredential: Address | Credential): Promise<UTxO[]>;
@@ -287,4 +294,4 @@ declare class Koios implements Provider {
     evaluateTx(tx: Transaction, additionalUTxOs?: UTxO[]): Promise<EvalRedeemer[]>;
 }
 
-export { Blockfrost, Emulator, type EmulatorAccount, Koios, KoiosError, Kupmios, KupmiosError, type KupmiosErrorOptions, type KupmiosOptions, Maestro, type MaestroConfig, type MaestroSupportedNetworks, OgmiosJsonRpcError, type OgmiosJsonRpcErrorOptions, type ProviderErrorKind, type ProviderTransportProtocol, generateEmulatorAccount, generateEmulatorAccountFromPrivateKey, isEmulatorProvider };
+export { Blockfrost, type BlockfrostOptions, Emulator, type EmulatorAccount, Koios, KoiosError, Kupmios, KupmiosError, type KupmiosErrorOptions, type KupmiosOptions, Maestro, type MaestroConfig, type MaestroSupportedNetworks, OgmiosJsonRpcError, type OgmiosJsonRpcErrorOptions, type ProviderErrorKind, type ProviderTransportProtocol, generateEmulatorAccount, generateEmulatorAccountFromPrivateKey, isEmulatorProvider };

package/dist/index.js

@@ -101,7 +101,7 @@ import {
 // package.json
 var package_default = {
   name: "@lucid-evolution/provider",
-  version: "0.2.2",
+  version: "0.2.4",
   description: "",
   main: "./dist/index.js",
   types: "./dist/index.d.ts",
@@ -204,6 +204,7 @@ var fromLegacyRedeemerTag = (redeemerTag) => {
 };
 
 // src/blockfrost.ts
+var DEFAULT_REQUEST_TIMEOUT_MS = 3e4;
 var toBlockfrostQueryPredicate = (addressOrCredential) => {
   if (typeof addressOrCredential === "string") return addressOrCredential;
   if (addressOrCredential.type === "Key") {
@@ -216,12 +217,24 @@ var toBlockfrostQueryPredicate = (addressOrCredential) => {
 var Blockfrost = class {
   url;
   projectId;
-  constructor(url, projectId) {
+  requestTimeoutMs;
+  constructor(url, projectId, options = {}) {
     this.url = url;
     this.projectId = projectId || "";
+    const timeout = options.requestTimeoutMs ?? DEFAULT_REQUEST_TIMEOUT_MS;
+    if (!Number.isFinite(timeout) || timeout <= 0) {
+      throw new TypeError("requestTimeoutMs must be a positive finite number.");
+    }
+    this.requestTimeoutMs = timeout;
+  }
+  /** `fetch` bounded by the provider's request timeout, combined with any caller-supplied signal. */
+  fetch(input, init = {}) {
+    const timeout = AbortSignal.timeout(this.requestTimeoutMs);
+    const signal = init.signal == null ? timeout : typeof AbortSignal.any === "function" ? AbortSignal.any([init.signal, timeout]) : init.signal;
+    return fetch(input, { ...init, signal });
   }
   async getProtocolParameters() {
-    const result = await fetch(`${this.url}/epochs/latest/parameters`, {
+    const result = await this.fetch(`${this.url}/epochs/latest/parameters`, {
       headers: { project_id: this.projectId, lucid }
     }).then((res) => res.json());
     return {
@@ -249,7 +262,7 @@ var Blockfrost = class {
     };
   }
   async getTreasury() {
-    const result = await fetch(`${this.url}/network`, {
+    const result = await this.fetch(`${this.url}/network`, {
       headers: { project_id: this.projectId, lucid }
     }).then((res) => res.json());
     if (!result || result.error || result.supply?.treasury === void 0) {
@@ -262,7 +275,7 @@ var Blockfrost = class {
     let result = [];
     let page = 1;
     while (true) {
-      const pageResult = await fetch(
+      const pageResult = await this.fetch(
         `${this.url}/addresses/${queryPredicate}/utxos?page=${page}`,
         { headers: { project_id: this.projectId, lucid } }
       ).then((res) => res.json());
@@ -284,7 +297,7 @@ var Blockfrost = class {
     let result = [];
     let page = 1;
     while (true) {
-      const pageResult = await fetch(
+      const pageResult = await this.fetch(
         `${this.url}/addresses/${queryPredicate}/utxos/${unit}?page=${page}`,
         { headers: { project_id: this.projectId, lucid } }
       ).then((res) => res.json());
@@ -302,7 +315,7 @@ var Blockfrost = class {
     return this.blockfrostUtxosToUtxos(result);
   }
   async getUtxoByUnit(unit) {
-    const addresses = await fetch(
+    const addresses = await this.fetch(
       `${this.url}/assets/${unit}/addresses?count=2`,
       { headers: { project_id: this.projectId, lucid } }
     ).then((res) => res.json());
@@ -323,7 +336,7 @@ var Blockfrost = class {
     const queryHashes = [...new Set(outRefs.map((outRef) => outRef.txHash))];
     const utxos = await Promise.all(
       queryHashes.map(async (txHash) => {
-        const result = await fetch(`${this.url}/txs/${txHash}/utxos`, {
+        const result = await this.fetch(`${this.url}/txs/${txHash}/utxos`, {
           headers: { project_id: this.projectId, lucid }
         }).then((res) => res.json());
         if (!result || result.error) {
@@ -345,7 +358,7 @@ var Blockfrost = class {
     );
   }
   async getRewardAccount(rewardAddress) {
-    const response = await fetch(`${this.url}/accounts/${rewardAddress}`, {
+    const response = await this.fetch(`${this.url}/accounts/${rewardAddress}`, {
       headers: { project_id: this.projectId, lucid }
     });
     if (response.status === 404) {
@@ -368,9 +381,12 @@ var Blockfrost = class {
     return { poolId, rewards };
   }
   async getDatum(datumHash) {
-    const datum = await fetch(`${this.url}/scripts/datum/${datumHash}/cbor`, {
-      headers: { project_id: this.projectId, lucid }
-    }).then((res) => res.json()).then((res) => res.cbor);
+    const datum = await this.fetch(
+      `${this.url}/scripts/datum/${datumHash}/cbor`,
+      {
+        headers: { project_id: this.projectId, lucid }
+      }
+    ).then((res) => res.json()).then((res) => res.cbor);
     if (!datum || datum.error) {
       throw new Error(`No datum found for datum hash: ${datumHash}`);
     }
@@ -379,7 +395,7 @@ var Blockfrost = class {
   awaitTx(txHash, checkInterval = 3e3) {
     return new Promise((res) => {
       const confirmation = setInterval(async () => {
-        const isConfirmed = await fetch(`${this.url}/txs/${txHash}/cbor`, {
+        const isConfirmed = await this.fetch(`${this.url}/txs/${txHash}/cbor`, {
           headers: { project_id: this.projectId, lucid }
         }).then((res2) => res2.json());
         if (isConfirmed && !isConfirmed.error) {
@@ -391,7 +407,7 @@ var Blockfrost = class {
     });
   }
   async getTransactionStatus(txHash, options = {}) {
-    const response = await fetch(`${this.url}/txs/${txHash}`, {
+    const response = await this.fetch(`${this.url}/txs/${txHash}`, {
       headers: { project_id: this.projectId, lucid },
       signal: options.signal
     });
@@ -414,7 +430,7 @@ var Blockfrost = class {
     };
   }
   async submitTx(tx) {
-    const result = await fetch(`${this.url}/tx/submit`, {
+    const result = await this.fetch(`${this.url}/tx/submit`, {
       method: "POST",
       headers: {
         "Content-Type": "application/cbor",
@@ -449,19 +465,19 @@ var Blockfrost = class {
             datumHash: !r.inline_datum && r.data_hash || void 0,
             datum: r.inline_datum || void 0,
             scriptRef: r.reference_script_hash ? await (async () => {
-              const { type } = await fetch(
+              const { type } = await this.fetch(
                 `${this.url}/scripts/${r.reference_script_hash}`,
                 {
                   headers: { project_id: this.projectId, lucid }
                 }
               ).then((res) => res.json());
-              const { cbor: script } = await fetch(
+              const { cbor: script } = await this.fetch(
                 `${this.url}/scripts/${r.reference_script_hash}/cbor`,
                 { headers: { project_id: this.projectId, lucid } }
               ).then((res) => res.json());
               switch (type) {
                 case "timelock":
-                  const { json: native } = await fetch(
+                  const { json: native } = await this.fetch(
                     `${this.url}/scripts/${r.reference_script_hash}/json`,
                     { headers: { project_id: this.projectId, lucid } }
                   ).then((res) => res.json());
@@ -496,7 +512,7 @@ var Blockfrost = class {
         cbor: tx,
         ...utxos?.length ? { additionalUtxoSet: toAditionalUTXOs(utxos) } : {}
       };
-      const res = await fetch(`${this.url}/utils/txs/evaluate/utxos`, {
+      const res = await this.fetch(`${this.url}/utils/txs/evaluate/utxos`, {
         method: "POST",
         headers: {
           "Content-Type": "application/json",
@@ -981,7 +997,7 @@ var makePostAsUint8Array = (url, data, schema, headers) => pipe2(
 
 // src/kupmios.ts
 import { FetchHttpClient } from "@effect/platform";
-var DEFAULT_REQUEST_TIMEOUT_MS = 3e4;
+var DEFAULT_REQUEST_TIMEOUT_MS2 = 3e4;
 var DEFAULT_AWAIT_TX_TIMEOUT_MS = 16e4;
 var validateTimeout = (name, timeout) => {
   if (!Number.isFinite(timeout) || timeout <= 0) {
@@ -1019,7 +1035,7 @@ var Kupmios = class {
     this.options = options;
     this.requestTimeoutMs = validateTimeout(
       "requestTimeoutMs",
-      options.requestTimeoutMs ?? DEFAULT_REQUEST_TIMEOUT_MS
+      options.requestTimeoutMs ?? DEFAULT_REQUEST_TIMEOUT_MS2
     );
     this.awaitTxTimeoutMs = validateTimeout(
       "awaitTxTimeoutMs",
@@ -1469,7 +1485,7 @@ import {
   PROTOCOL_PARAMETERS_DEFAULT
 } from "@lucid-evolution/utils";
 import { coreToUtxo, getAddressDetails } from "@lucid-evolution/utils";
-import { fromHex as fromHex2 } from "@lucid-evolution/core-utils";
+import { freeCML, fromHex as fromHex2, withCMLScope } from "@lucid-evolution/core-utils";
 import { walletFromSeed } from "@lucid-evolution/wallet";
 var EMULATOR_PROVIDER_BRAND = Symbol.for(
   "@lucid-evolution/provider/Emulator"
@@ -1505,6 +1521,7 @@ function generateEmulatorAccount(assets) {
     privateKey: ""
   };
 }
+var DEFAULT_PROTOCOL_MAJOR_VERSION = 11;
 var Emulator = class {
   [EMULATOR_PROVIDER_BRAND] = true;
   ledger;
@@ -1759,78 +1776,94 @@ var Emulator = class {
     const datumTable = (() => {
       const table = {};
       for (let i = 0; i < (datums?.len() || 0); i++) {
-        const datum = datums.get(i);
-        const datumHash = CML.hash_plutus_data(datum).to_hex();
-        table[datumHash] = datum.to_cbor_hex();
+        withCMLScope((own) => {
+          const datum = own(datums.get(i));
+          const datumHash = own(CML.hash_plutus_data(datum)).to_hex();
+          table[datumHash] = datum.to_cbor_hex();
+        });
       }
       return table;
     })();
     const consumedHashes = /* @__PURE__ */ new Set();
-    const keyHashes = (() => {
+    const keyHashes = withCMLScope((own) => {
       const keyHashes2 = [];
-      for (let i = 0; i < (witnesses.vkeywitnesses()?.len() || 0); i++) {
-        const witness = witnesses.vkeywitnesses().get(i);
-        const publicKey = witness.vkey();
-        const keyHash = publicKey.hash().to_hex();
-        if (!publicKey.verify(fromHex2(txHash), witness.ed25519_signature())) {
-          throw new Error(`Invalid vkey witness. Key hash: ${keyHash}`);
-        }
-        keyHashes2.push(keyHash);
+      const vkeyWitnesses = own(witnesses.vkeywitnesses());
+      for (let i = 0; i < (vkeyWitnesses?.len() || 0); i++) {
+        withCMLScope((own2) => {
+          const witness = own2(vkeyWitnesses.get(i));
+          const publicKey = own2(witness.vkey());
+          const keyHash = own2(publicKey.hash()).to_hex();
+          if (!publicKey.verify(fromHex2(txHash), own2(witness.ed25519_signature()))) {
+            throw new Error(`Invalid vkey witness. Key hash: ${keyHash}`);
+          }
+          keyHashes2.push(keyHash);
+        });
       }
       return keyHashes2;
-    })();
+    });
     const edKeyHashes = CML.Ed25519KeyHashList.new();
     keyHashes.forEach(
-      (keyHash) => edKeyHashes.add(CML.Ed25519KeyHash.from_hex(keyHash))
+      (keyHash) => withCMLScope(
+        (own) => edKeyHashes.add(own(CML.Ed25519KeyHash.from_hex(keyHash)))
+      )
     );
-    const nativeHashes = (() => {
+    const nativeHashes = withCMLScope((own) => {
       const scriptHashes = [];
-      for (let i = 0; i < (witnesses.native_scripts()?.len() || 0); i++) {
-        const witness = witnesses.native_scripts().get(i);
-        const scriptHash = witness.hash().to_hex();
-        if (!witness.verify(
-          Number.isInteger(lowerBound) ? CML.BigInteger.from_str(lowerBound.toString()).to_js_value() : void 0,
-          Number.isInteger(upperBound) ? CML.BigInteger.from_str(upperBound.toString()).to_js_value() : void 0,
-          edKeyHashes
-        )) {
-          throw new Error(
-            `Invalid native script witness. Script hash: ${scriptHash}`
-          );
-        }
-        for (let i2 = 0; i2 < witness.get_required_signers().len(); i2++) {
-          const keyHash = witness.get_required_signers().get(i2).to_hex();
-          consumedHashes.add(keyHash);
-        }
-        scriptHashes.push(scriptHash);
+      const nativeScripts = own(witnesses.native_scripts());
+      for (let i = 0; i < (nativeScripts?.len() || 0); i++) {
+        withCMLScope((own2) => {
+          const witness = own2(nativeScripts.get(i));
+          const scriptHash = own2(witness.hash()).to_hex();
+          if (!witness.verify(
+            Number.isInteger(lowerBound) ? BigInt(lowerBound) : void 0,
+            Number.isInteger(upperBound) ? BigInt(upperBound) : void 0,
+            edKeyHashes
+          )) {
+            throw new Error(
+              `Invalid native script witness. Script hash: ${scriptHash}`
+            );
+          }
+          const requiredSigners = own2(witness.get_required_signers());
+          for (let j = 0; j < requiredSigners.len(); j++) {
+            const keyHash = own2(requiredSigners.get(j)).to_hex();
+            consumedHashes.add(keyHash);
+          }
+          scriptHashes.push(scriptHash);
+        });
       }
       return scriptHashes;
-    })();
+    });
+    edKeyHashes.free();
     const nativeHashesOptional = {};
     const plutusHashesOptional = [];
-    const plutusHashes = (() => {
+    const plutusV3Hashes = /* @__PURE__ */ new Set();
+    const plutusHashes = withCMLScope((own) => {
       const scriptHashes = [];
-      for (let i = 0; i < (witnesses.plutus_v1_scripts()?.len() || 0); i++) {
-        const script = witnesses.plutus_v1_scripts().get(i);
-        const scriptHash = script.hash().to_hex();
-        scriptHashes.push(scriptHash);
-      }
-      for (let i = 0; i < (witnesses.plutus_v2_scripts()?.len() || 0); i++) {
-        const script = witnesses.plutus_v2_scripts().get(i);
-        const scriptHash = script.hash().to_hex();
-        scriptHashes.push(scriptHash);
-      }
-      for (let i = 0; i < (witnesses.plutus_v3_scripts()?.len() || 0); i++) {
-        const script = witnesses.plutus_v3_scripts().get(i);
-        const scriptHash = script.hash().to_hex();
-        scriptHashes.push(scriptHash);
-      }
+      const collectHashes = (scripts, isPlutusV3 = false) => {
+        own(scripts);
+        for (let i = 0; i < (scripts?.len() || 0); i++) {
+          withCMLScope((own2) => {
+            const script = own2(scripts.get(i));
+            const scriptHash = own2(script.hash()).to_hex();
+            scriptHashes.push(scriptHash);
+            if (isPlutusV3) plutusV3Hashes.add(scriptHash);
+          });
+        }
+      };
+      collectHashes(witnesses.plutus_v1_scripts());
+      collectHashes(witnesses.plutus_v2_scripts());
+      collectHashes(witnesses.plutus_v3_scripts(), true);
       return scriptHashes;
-    })();
+    });
     const inputs = body.inputs();
     const resolvedInputs = [];
+    const inputOutRefs = /* @__PURE__ */ new Set();
     for (let i = 0; i < inputs.len(); i++) {
-      const input = inputs.get(i);
-      const outRef = input.transaction_id().to_hex() + input.index().toString();
+      const outRef = withCMLScope((own) => {
+        const input = own(inputs.get(i));
+        return own(input.transaction_id()).to_hex() + input.index().toString();
+      });
+      inputOutRefs.add(outRef);
       const entryLedger = this.ledger[outRef];
       const { entry, type } = !entryLedger ? { entry: this.mempool[outRef], type: "Mempool" } : { entry: entryLedger, type: "Ledger" };
       if (!entry || entry.spent) {
@@ -1870,7 +1903,9 @@ It does not exist or was already spent.`
             const script = CML.PlutusScript.from_v3(
               CML.PlutusV3Script.from_cbor_bytes(fromHex2(scriptRef.script))
             );
-            plutusHashesOptional.push(script.hash().to_hex());
+            const scriptHash = script.hash().to_hex();
+            plutusHashesOptional.push(scriptHash);
+            plutusV3Hashes.add(scriptHash);
             break;
           }
         }
@@ -1878,9 +1913,14 @@ It does not exist or was already spent.`
       if (entry.utxo.datumHash) consumedHashes.add(entry.utxo.datumHash);
       resolvedInputs.push({ entry, type });
     }
-    for (let i = 0; i < (body.reference_inputs()?.len() || 0); i++) {
-      const input = body.reference_inputs().get(i);
-      const outRef = input.transaction_id().to_hex() + input.index().toString();
+    inputs.free();
+    const referenceInputs = body.reference_inputs();
+    const nonDisjointRefInputs = [];
+    for (let i = 0; i < (referenceInputs?.len() || 0); i++) {
+      const outRef = withCMLScope((own) => {
+        const input = own(referenceInputs.get(i));
+        return own(input.transaction_id()).to_hex() + input.index().toString();
+      });
       const entry = this.ledger[outRef] || this.mempool[outRef];
       if (!entry || entry.spent) {
         throw new Error(
@@ -1891,6 +1931,11 @@ It does not exist or was already spent.`
 It does not exist or was already spent.`
         );
       }
+      if (inputOutRefs.has(outRef)) {
+        nonDisjointRefInputs.push(
+          `${entry.utxo.txHash}#${entry.utxo.outputIndex}`
+        );
+      }
       const scriptRef = entry.utxo.scriptRef;
       if (scriptRef) {
         switch (scriptRef.type) {
@@ -1919,13 +1964,16 @@ It does not exist or was already spent.`
             const script = CML.PlutusScript.from_v3(
               CML.PlutusV3Script.from_cbor_bytes(fromHex2(scriptRef.script))
             );
-            plutusHashesOptional.push(script.hash().to_hex());
+            const scriptHash = script.hash().to_hex();
+            plutusHashesOptional.push(scriptHash);
+            plutusV3Hashes.add(scriptHash);
             break;
           }
         }
       }
       if (entry.utxo.datumHash) consumedHashes.add(entry.utxo.datumHash);
     }
+    referenceInputs?.free();
     const redeemers = (() => {
       const tagMap = {
         0: "Spend",
@@ -2004,9 +2052,12 @@ It does not exist or was already spent.`
         }
       }
     }
-    for (let i = 0; i < (body.collateral_inputs()?.len() || 0); i++) {
-      const input = body.collateral_inputs().get(i);
-      const outRef = input.transaction_id().to_hex() + input.index().toString();
+    const collateralInputs = body.collateral_inputs();
+    for (let i = 0; i < (collateralInputs?.len() || 0); i++) {
+      const outRef = withCMLScope((own) => {
+        const input = own(collateralInputs.get(i));
+        return own(input.transaction_id()).to_hex() + input.index().toString();
+      });
       const entry = this.ledger[outRef] || this.mempool[outRef];
       if (!entry || entry.spent) {
         throw new Error(
@@ -2023,6 +2074,7 @@ It does not exist or was already spent.`
       }
       checkAndConsumeHash(paymentCredential, null, null);
     }
+    collateralInputs?.free();
     for (let i = 0; i < (body.required_signers()?.len() || 0); i++) {
       const signer = body.required_signers().get(i);
       checkAndConsumeHash({ type: "Key", hash: signer.to_hex() }, null, null);
@@ -2288,16 +2340,21 @@ It does not exist or was already spent.`
       const { paymentCredential } = getAddressDetails(utxo.address);
       checkAndConsumeHash(paymentCredential, "Spend", index);
     });
-    const outputs = (() => {
+    const outputs = withCMLScope((own) => {
       const collected = [];
-      for (let i = 0; i < body.outputs().len(); i++) {
-        const output = body.outputs().get(i);
-        const unspentOutput = CML.TransactionUnspentOutput.new(
-          CML.TransactionInput.new(
-            CML.TransactionHash.from_hex(txHash),
-            CML.BigInteger.from_str(i.toString()).to_js_value()
-          ),
-          output
+      const bodyOutputs = own(body.outputs());
+      for (let i = 0; i < bodyOutputs.len(); i++) {
+        const output = own(bodyOutputs.get(i));
+        const unspentOutput = own(
+          CML.TransactionUnspentOutput.new(
+            own(
+              CML.TransactionInput.new(
+                own(CML.TransactionHash.from_hex(txHash)),
+                BigInt(i)
+              )
+            ),
+            output
+          )
         );
         const utxo = coreToUtxo(unspentOutput);
         if (utxo.datumHash) consumedHashes.add(utxo.datumHash);
@@ -2307,7 +2364,7 @@ It does not exist or was already spent.`
         });
       }
       return collected;
-    })();
+    });
     const [extraKeyHash] = keyHashes.filter(
       (keyHash) => !consumedHashes.has(keyHash)
     );
@@ -2336,6 +2393,23 @@ It does not exist or was already spent.`
     if (extraDatumHash) {
       throw new Error(`Extraneous plutus data. Datum hash: ${extraDatumHash}`);
     }
+    if (nonDisjointRefInputs.length > 0) {
+      const protocolMajorVersion = this.protocolParameters.protocolMajorVersion ?? DEFAULT_PROTOCOL_MAJOR_VERSION;
+      const overlap = nonDisjointRefInputs.join(", ");
+      if (protocolMajorVersion === 9 || protocolMajorVersion === 10) {
+        throw new Error(
+          `BabbageNonDisjointRefInputs: reference inputs must be disjoint from inputs at protocol version ${protocolMajorVersion}. Overlapping: ${overlap}`
+        );
+      }
+      const runsPlutusV3 = [...consumedHashes].some(
+        (hash) => plutusV3Hashes.has(hash)
+      );
+      if (protocolMajorVersion >= 11 && runsPlutusV3) {
+        throw new Error(
+          `ReferenceInputsNotDisjointFromInputs: a PlutusV3 script context cannot be built while reference inputs overlap inputs. Overlapping: ${overlap}`
+        );
+      }
+    }
     resolvedInputs.forEach(({ entry, type }) => {
       const outRef = entry.utxo.txHash + entry.utxo.outputIndex;
       entry.spent = true;
@@ -2381,50 +2455,57 @@ It does not exist or was already spent.`
       this.datumTable[datumHash] = datum;
     }
     this.transactionHistory[txHash] = { status: "pending" };
+    freeCML(datums, witnesses, body, desTx);
     return Promise.resolve(txHash);
   }
   async evaluateTx(tx, additionalUTxOs) {
-    const desTx = CML.Transaction.from_cbor_hex(tx);
-    const redeemers = desTx.witness_set().redeemers();
-    if (!redeemers) {
-      return [];
-    }
-    let evalRedeemers = [];
-    const arrLegacyRedeemer = redeemers.as_arr_legacy_redeemer();
-    if (arrLegacyRedeemer) {
-      for (let i = 0; i < arrLegacyRedeemer.len(); i++) {
-        const legacyRedeemer = arrLegacyRedeemer.get(i);
-        evalRedeemers.push({
-          ex_units: {
-            mem: Number(legacyRedeemer.ex_units().mem()),
-            steps: Number(legacyRedeemer.ex_units().steps())
-          },
-          redeemer_index: Number(legacyRedeemer.index()),
-          redeemer_tag: fromCMLRedeemerTag(legacyRedeemer.tag())
-        });
+    return withCMLScope((own) => {
+      const desTx = own(CML.Transaction.from_cbor_hex(tx));
+      const redeemers = own(own(desTx.witness_set()).redeemers());
+      if (!redeemers) {
+        return [];
       }
-      return evalRedeemers;
-    }
-    const mapRedeemerKeyToRedeemerVal = redeemers.as_map_redeemer_key_to_redeemer_val();
-    if (mapRedeemerKeyToRedeemerVal) {
-      const keys = mapRedeemerKeyToRedeemerVal.keys();
-      for (let i = 0; i < keys.len(); i++) {
-        const key = keys.get(i);
-        const redeemerVal = mapRedeemerKeyToRedeemerVal.get(key);
-        if (redeemerVal) {
+      const evalRedeemers = [];
+      const arrLegacyRedeemer = own(redeemers.as_arr_legacy_redeemer());
+      if (arrLegacyRedeemer) {
+        for (let i = 0; i < arrLegacyRedeemer.len(); i++) {
+          const legacyRedeemer = own(arrLegacyRedeemer.get(i));
+          const exUnits = own(legacyRedeemer.ex_units());
           evalRedeemers.push({
             ex_units: {
-              mem: Number(redeemerVal.ex_units().mem()),
-              steps: Number(redeemerVal.ex_units().steps())
+              mem: Number(exUnits.mem()),
+              steps: Number(exUnits.steps())
             },
-            redeemer_index: Number(key.index),
-            redeemer_tag: fromCMLRedeemerTag(key.tag())
+            redeemer_index: Number(legacyRedeemer.index()),
+            redeemer_tag: fromCMLRedeemerTag(legacyRedeemer.tag())
           });
         }
+        return evalRedeemers;
+      }
+      const mapRedeemerKeyToRedeemerVal = own(
+        redeemers.as_map_redeemer_key_to_redeemer_val()
+      );
+      if (mapRedeemerKeyToRedeemerVal) {
+        const keys = own(mapRedeemerKeyToRedeemerVal.keys());
+        for (let i = 0; i < keys.len(); i++) {
+          const key = own(keys.get(i));
+          const redeemerVal = own(mapRedeemerKeyToRedeemerVal.get(key));
+          if (redeemerVal) {
+            const exUnits = own(redeemerVal.ex_units());
+            evalRedeemers.push({
+              ex_units: {
+                mem: Number(exUnits.mem()),
+                steps: Number(exUnits.steps())
+              },
+              redeemer_index: Number(key.index()),
+              redeemer_tag: fromCMLRedeemerTag(key.tag())
+            });
+          }
+        }
+        return evalRedeemers;
       }
       return evalRedeemers;
-    }
-    return evalRedeemers;
+    });
   }
   log() {
     function getRandomColor(unit) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lucid-evolution/provider",
-  "version": "0.2.2",
+  "version": "0.2.4",
   "description": "",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -31,9 +31,9 @@
     "@effect/schema": "^0.68.26",
     "effect": "^3.11.7",
     "@lucid-evolution/core-types": "0.3.0",
-    "@lucid-evolution/core-utils": "0.1.16",
-    "@lucid-evolution/utils": "0.1.73",
-    "@lucid-evolution/wallet": "0.2.1"
+    "@lucid-evolution/utils": "0.1.74",
+    "@lucid-evolution/core-utils": "0.1.17",
+    "@lucid-evolution/wallet": "0.2.2"
   },
   "devDependencies": {
     "@types/node": "^20.12.8",