@meshsdk/common 1.9.0-beta.23 → 1.9.0-beta.25

package/dist/index.cjs

@@ -81,6 +81,7 @@ __export(index_exports, {
   hexToString: () => hexToString,
   integer: () => integer,
   isNetwork: () => isNetwork,
+  jsonProofToPlutusData: () => jsonProofToPlutusData,
   keepRelevant: () => keepRelevant,
   largestFirst: () => largestFirst,
   largestFirstMultiAsset: () => largestFirstMultiAsset,
@@ -99,12 +100,14 @@ __export(index_exports, {
   mOutputReference: () => mOutputReference,
   mPlutusBSArrayToString: () => mPlutusBSArrayToString,
   mPubKeyAddress: () => mPubKeyAddress,
+  mScript: () => mScript,
   mScriptAddress: () => mScriptAddress,
   mSome: () => mSome,
   mStringToPlutusBSArray: () => mStringToPlutusBSArray,
   mTuple: () => mTuple,
   mTxOutRef: () => mTxOutRef,
   mValue: () => mValue,
+  mVerificationKey: () => mVerificationKey,
   maybeStakingHash: () => maybeStakingHash,
   mergeAssets: () => mergeAssets,
   metadataStandardKeys: () => metadataStandardKeys,
@@ -113,6 +116,7 @@ __export(index_exports, {
   none: () => none,
   option: () => option,
   outputReference: () => outputReference,
+  pairs: () => pairs,
   parseAssetUnit: () => parseAssetUnit,
   plutusBSArrayToString: () => plutusBSArrayToString,
   policyId: () => policyId,
@@ -125,6 +129,7 @@ __export(index_exports, {
   resolveSlotNo: () => resolveSlotNo,
   resolveTxFees: () => resolveTxFees,
   royaltiesStandardKeys: () => royaltiesStandardKeys,
+  script: () => script,
   scriptAddress: () => scriptAddress,
   scriptHash: () => scriptHash,
   slotToBeginUnixTime: () => slotToBeginUnixTime,
@@ -139,7 +144,8 @@ __export(index_exports, {
   txOutRef: () => txOutRef,
   unixTimeToEnclosingSlot: () => unixTimeToEnclosingSlot,
   validityRangeToObj: () => validityRangeToObj,
-  value: () => value
+  value: () => value,
+  verificationKey: () => verificationKey
 });
 module.exports = __toCommonJS(index_exports);
 
@@ -1092,14 +1098,16 @@ var mSome = (value2) => mConStr0([value2]);
 var mNone = () => mConStr1([]);
 
 // src/data/mesh/credentials.ts
+var mVerificationKey = (bytes) => mConStr0([bytes]);
+var mScript = (bytes) => mConStr1([bytes]);
 var mMaybeStakingHash = (stakeCredential, isStakeScriptCredential = false) => {
   if (stakeCredential === "") {
     return mConStr1([]);
   }
   if (isStakeScriptCredential) {
-    return mConStr0([mConStr0([mConStr1([stakeCredential])])]);
+    return mConStr0([mConStr0([mScript(stakeCredential)])]);
   }
-  return mConStr0([mConStr0([mConStr0([stakeCredential])])]);
+  return mConStr0([mConStr0([mVerificationKey(stakeCredential)])]);
 };
 var mPubKeyAddress = (bytes, stakeCredential, isStakeScriptCredential = false) => mConStr0([
   { alternative: 0, fields: [bytes] },
@@ -1109,7 +1117,7 @@ var mScriptAddress = (bytes, stakeCredential, isStakeScriptCredential = false) =
   { alternative: 1, fields: [bytes] },
   mMaybeStakingHash(stakeCredential || "", isStakeScriptCredential)
 ]);
-var mCredential = (hash, isScriptCredential = false) => isScriptCredential ? mConStr1([hash]) : mConStr0([hash]);
+var mCredential = (hash, isScriptCredential = false) => isScriptCredential ? mScript(hash) : mVerificationKey(hash);
 
 // src/data/mesh/primitives.ts
 var mBool = (b) => b ? mConStr1([]) : mConStr0([]);
@@ -1197,11 +1205,25 @@ var assocMap = (mapItems, validation = true) => ({
     return { k, v };
   })
 });
+var pairs = (mapItems, validation = true) => ({
+  map: mapItems.map(([k, v]) => {
+    if (validation) {
+      if (typeof k !== "object" || typeof v !== "object") {
+        throw new Error(
+          `Map item of JSON Cardano data type must be an object - ${k}, ${v}`
+        );
+      }
+    }
+    return { k, v };
+  })
+});
 
 // src/data/json/aliases.ts
 var hashByteString = (bytes) => {
   if (bytes.length !== 56) {
-    throw new Error(`Invalid hash for [${bytes}] - should be 56 bytes long`);
+    throw new Error(
+      `Invalid hash for [${bytes}] - should be 28 bytes (56 hex length) long`
+    );
   }
   return byteString(bytes);
 };
@@ -1210,7 +1232,7 @@ var pubKeyHash = (bytes) => hashByteString(bytes);
 var policyId = (bytes) => {
   if (bytes.length !== POLICY_ID_LENGTH && bytes !== "") {
     throw new Error(
-      `Invalid policy id for [${bytes}] - should be ${POLICY_ID_LENGTH} bytes long or empty string for lovelace`
+      `Invalid policy id for [${bytes}] - should be ${POLICY_ID_LENGTH / 2} bytes (${POLICY_ID_LENGTH} hex length) long or empty string for lovelace`
     );
   }
   return byteString(bytes);
@@ -1253,28 +1275,56 @@ var some = (value2) => conStr0([value2]);
 var none = () => conStr1([]);
 
 // src/data/json/credentials.ts
+var verificationKey = (bytes) => conStr0([pubKeyHash(bytes)]);
+var script = (bytes) => conStr1([scriptHash(bytes)]);
 var maybeStakingHash = (stakeCredential, isStakeScriptCredential = false) => {
   if (stakeCredential === "") {
     return conStr1([]);
   }
   if (isStakeScriptCredential) {
-    return conStr0([
-      conStr0([conStr1([scriptHash(stakeCredential)])])
-    ]);
+    return conStr0([conStr0([script(stakeCredential)])]);
   }
-  return conStr0([
-    conStr0([conStr0([pubKeyHash(stakeCredential)])])
-  ]);
+  return conStr0([conStr0([verificationKey(stakeCredential)])]);
 };
 var pubKeyAddress = (bytes, stakeCredential, isStakeScriptCredential = false) => conStr0([
   conStr0([pubKeyHash(bytes)]),
   maybeStakingHash(stakeCredential || "", isStakeScriptCredential)
 ]);
 var scriptAddress = (bytes, stakeCredential, isStakeScriptCredential = false) => conStr0([
-  conStr1([scriptHash(bytes)]),
+  script(bytes),
   maybeStakingHash(stakeCredential || "", isStakeScriptCredential)
 ]);
-var credential = (hash, isScriptCredential = false) => isScriptCredential ? conStr1([scriptHash(hash)]) : conStr0([pubKeyHash(hash)]);
+var credential = (hash, isScriptCredential = false) => isScriptCredential ? script(hash) : verificationKey(hash);
+
+// src/data/json/mpf.ts
+var jsonProofToPlutusData = (proof) => {
+  const proofSteps = [];
+  const proofJson = proof;
+  proofJson.forEach((proof2) => {
+    const skip = integer(proof2.skip);
+    switch (proof2.type) {
+      case "branch":
+        proofSteps.push(
+          conStr0([skip, byteString(proof2.neighbors.toString("hex"))])
+        );
+        break;
+      case "fork":
+        const { prefix, nibble, root } = proof2.neighbor;
+        const neighbor = conStr0([
+          integer(nibble),
+          byteString(prefix.toString("hex")),
+          byteString(root.toString("hex"))
+        ]);
+        proofSteps.push(conStr1([skip, neighbor]));
+        break;
+      case "leaf":
+        const { key, value: value2 } = proof2.neighbor;
+        proofSteps.push(conStr2([skip, byteString(key), byteString(value2)]));
+        break;
+    }
+  });
+  return proofSteps;
+};
 
 // src/data/parser.ts
 var bytesToHex = (bytes) => Buffer.from(bytes).toString("hex");
@@ -1723,7 +1773,7 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
   const selectedInputs = /* @__PURE__ */ new Set();
   const onlyLovelace = /* @__PURE__ */ new Set();
   const singletons = /* @__PURE__ */ new Set();
-  const pairs = /* @__PURE__ */ new Set();
+  const pairs2 = /* @__PURE__ */ new Set();
   const rest = /* @__PURE__ */ new Set();
   const collaterals = /* @__PURE__ */ new Set();
   for (let i = 0; i < inputs.length; i++) {
@@ -1742,7 +1792,7 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
         break;
       }
       case 3: {
-        pairs.add(i);
+        pairs2.add(i);
         break;
       }
       default: {
@@ -1775,10 +1825,10 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
       if (!assetRequired || Number(assetRequired) <= 0) break;
       addUtxoWithAssetAmount(inputIndex, assetUnit, singletons);
     }
-    for (const inputIndex of pairs) {
+    for (const inputIndex of pairs2) {
       const assetRequired = totalRequiredAssets.get(assetUnit);
       if (!assetRequired || Number(assetRequired) <= 0) break;
-      addUtxoWithAssetAmount(inputIndex, assetUnit, pairs);
+      addUtxoWithAssetAmount(inputIndex, assetUnit, pairs2);
     }
     for (const inputIndex of rest) {
       const assetRequired = totalRequiredAssets.get(assetUnit);
@@ -1796,10 +1846,10 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
     if (!assetRequired || Number(assetRequired) <= 0) break;
     addUtxoWithAssetAmount(inputIndex, "lovelace", singletons);
   }
-  for (const inputIndex of pairs) {
+  for (const inputIndex of pairs2) {
     const assetRequired = totalRequiredAssets.get("lovelace");
     if (!assetRequired || Number(assetRequired) <= 0) break;
-    addUtxoWithAssetAmount(inputIndex, "lovelace", pairs);
+    addUtxoWithAssetAmount(inputIndex, "lovelace", pairs2);
   }
   for (const inputIndex of rest) {
     const assetRequired = totalRequiredAssets.get("lovelace");
@@ -2029,6 +2079,7 @@ var import_bip39 = require("bip39");
   hexToString,
   integer,
   isNetwork,
+  jsonProofToPlutusData,
   keepRelevant,
   largestFirst,
   largestFirstMultiAsset,
@@ -2047,12 +2098,14 @@ var import_bip39 = require("bip39");
   mOutputReference,
   mPlutusBSArrayToString,
   mPubKeyAddress,
+  mScript,
   mScriptAddress,
   mSome,
   mStringToPlutusBSArray,
   mTuple,
   mTxOutRef,
   mValue,
+  mVerificationKey,
   maybeStakingHash,
   mergeAssets,
   metadataStandardKeys,
@@ -2061,6 +2114,7 @@ var import_bip39 = require("bip39");
   none,
   option,
   outputReference,
+  pairs,
   parseAssetUnit,
   plutusBSArrayToString,
   policyId,
@@ -2073,6 +2127,7 @@ var import_bip39 = require("bip39");
   resolveSlotNo,
   resolveTxFees,
   royaltiesStandardKeys,
+  script,
   scriptAddress,
   scriptHash,
   slotToBeginUnixTime,
@@ -2087,5 +2142,6 @@ var import_bip39 = require("bip39");
   txOutRef,
   unixTimeToEnclosingSlot,
   validityRangeToObj,
-  value
+  value,
+  verificationKey
 });

package/dist/index.d.cts

@@ -731,22 +731,42 @@ declare const mSome: <T extends Data>(value: T) => MSome<T>;
  */
 declare const mNone: () => MNone;
 
+/**
+ * The Mesh Data verification key
+ */
+type MVerificationKey = MConStr0<[string]>;
+/**
+ * The Mesh Data script key
+ */
+type MScript = MConStr1<[string]>;
 /**
  * The Mesh Data staking credential
  */
-type MMaybeStakingHash = MConStr1<[]> | MConStr0<[MConStr0<[MConStr0<[string]>]>]> | MConStr0<[MConStr0<[MConStr1<[string]>]>]>;
+type MMaybeStakingHash = MConStr1<[]> | MConStr0<[MConStr0<[MVerificationKey]>]> | MConStr0<[MConStr0<[MScript]>]>;
 /**
  * The Mesh Data public key address
  */
-type MPubKeyAddress = MConStr0<[MConStr0<[string]>, MMaybeStakingHash]>;
+type MPubKeyAddress = MConStr0<[MVerificationKey, MMaybeStakingHash]>;
 /**
  * The Mesh Data script address
  */
-type MScriptAddress = MConStr0<[MConStr1<[string]>, MMaybeStakingHash]>;
+type MScriptAddress = MConStr0<[MScript, MMaybeStakingHash]>;
 /**
  * The Mesh Data credential
  */
-type MCredential = MConStr0<[string]> | MConStr1<[string]>;
+type MCredential = MVerificationKey | MScript;
+/**
+ * The utility function to create a Mesh Data verification key
+ * @param bytes The public key hash in hex
+ * @returns The Mesh Data verification key object
+ */
+declare const mVerificationKey: (bytes: string) => MVerificationKey;
+/**
+ * The utility function to create a Mesh Data script key
+ * @param bytes The script hash in hex
+ * @returns The Mesh Data script key object
+ */
+declare const mScript: (bytes: string) => MScript;
 /**
  * The utility function to create a Mesh Data staking hash
  * @param stakeCredential The staking credential in hex
@@ -893,11 +913,27 @@ type AssocMapItem<K, V> = {
     v: V;
 };
 /**
+ * PlutusTx alias
  * The Plutus Data association map in JSON
  */
 type AssocMap<K = any, V = any> = {
     map: AssocMapItem<K, V>[];
 };
+/**
+ * Aiken alias
+ * The Plutus Data association map item in JSON
+ */
+type Pair<K, V> = {
+    k: K;
+    v: V;
+};
+/**
+ * Aiken alias
+ * The Plutus Data association map in JSON
+ */
+type Pairs<K = any, V = any> = {
+    map: Pair<K, V>[];
+};
 /**
  * The utility function to create a Plutus Data boolean in JSON
  * @param b boolean value
@@ -948,6 +984,13 @@ declare const plutusBSArrayToString: (bsArray: List<ByteString>) => string;
  * @returns The Plutus Data association map object
  */
 declare const assocMap: <K, V>(mapItems: [K, V][], validation?: boolean) => AssocMap<K, V>;
+/**
+ * The utility function to create a Plutus Data Pairs in JSON
+ * @param mapItems The items map in array
+ * @param validation Default true - If current data construction would perform validation (introducing this flag due to possible performance issue in loop validation)
+ * @returns The Plutus Data Pairs object
+ */
+declare const pairs: <K, V>(mapItems: [K, V][], validation?: boolean) => Pairs<K, V>;
 
 /**
  * All the type aliases here represent the type name used in smart contracts from PlutusTx or Aiken.
@@ -1056,7 +1099,7 @@ declare const scriptHash: (bytes: string) => ScriptHash;
  * @param bytes The script hash in hex
  * @returns The Plutus Data script hash object
  */
-declare const pubKeyHash: (bytes: string) => ScriptHash;
+declare const pubKeyHash: (bytes: string) => PubKeyHash;
 /**
  * The utility function to create a Plutus Data policy id in JSON
  * @param bytes The policy id in hex
@@ -1141,22 +1184,42 @@ declare const some: <T>(value: T) => Some<T>;
  */
 declare const none: () => None;
 
+/**
+ * The Plutus Data verification key in JSON
+ */
+type VerificationKey = ConStr0<[PubKeyHash]>;
+/**
+ * The Plutus Data Script key in JSON
+ */
+type Script = ConStr1<[ScriptHash]>;
 /**
  * The Plutus Data staking credential in JSON
  */
-type MaybeStakingHash = ConStr1<[]> | ConStr0<[ConStr0<[ConStr0<[PubKeyHash]>]>]> | ConStr0<[ConStr0<[ConStr1<[ScriptHash]>]>]>;
+type MaybeStakingHash = ConStr1<[]> | ConStr0<[ConStr0<[VerificationKey]>]> | ConStr0<[ConStr0<[Script]>]>;
 /**
  * The Plutus Data public key address in JSON
  */
-type PubKeyAddress = ConStr0<[ConStr0<[PubKeyHash]>, MaybeStakingHash]>;
+type PubKeyAddress = ConStr0<[VerificationKey, MaybeStakingHash]>;
 /**
  * The Plutus Data script address in JSON
  */
-type ScriptAddress = ConStr0<[ConStr1<[ScriptHash]>, MaybeStakingHash]>;
+type ScriptAddress = ConStr0<[Script, MaybeStakingHash]>;
 /**
  * The Plutus Data credential in JSON
  */
-type Credential = ConStr0<[PubKeyHash]> | ConStr1<[ScriptHash]>;
+type Credential = VerificationKey | Script;
+/**
+ * The utility function to create a Plutus Data verification key in JSON
+ * @param bytes The public key hash in hex
+ * @returns The Plutus Data verification key object
+ */
+declare const verificationKey: (bytes: string) => VerificationKey;
+/**
+ * The utility function to create a Plutus Data script key in JSON
+ * @param bytes The script hash in hex
+ * @returns The Plutus Data script key object
+ * */
+declare const script: (bytes: string) => Script;
 /**
  * The utility function to create a Plutus Data staking hash in JSON
  * @param stakeCredential The staking credential in hex
@@ -1188,7 +1251,33 @@ declare const scriptAddress: (bytes: string, stakeCredential?: string, isStakeSc
  */
 declare const credential: (hash: string, isScriptCredential?: boolean) => Credential;
 
-type PlutusData = ConStr | Bool | ByteString | Integer | List | AssocMap | MaybeStakingHash | PubKeyAddress | ScriptAddress | AssetClass | OutputReference | PubKeyHash | POSIXTime | Dict<any> | Tuple<any, any>;
+type ProofStep = ProofStepBranch | ProofStepFork | ProofStepLeaf;
+type ProofStepBranch = ConStr0<[
+    Integer,
+    ByteString
+]>;
+type ProofStepFork = ConStr1<[
+    Integer,
+    ForkNeighbor
+]>;
+type ProofStepLeaf = ConStr2<[
+    Integer,
+    ByteString,
+    ByteString
+]>;
+type ForkNeighbor = ConStr0<[
+    Integer,
+    ByteString,
+    ByteString
+]>;
+/**
+ * The utility function to transform a JSON proof from Aiken TS offchain library to Mesh JSON Data type
+ * @param proof The proof object from Aiken TS offchain library
+ * @returns The proof object in Mesh JSON Data type
+ */
+declare const jsonProofToPlutusData: (proof: object) => ProofStep[];
+
+type PlutusData = ConStr | Bool | ByteString | Integer | List | AssocMap | Pairs | MaybeStakingHash | PubKeyAddress | ScriptAddress | AssetClass | OutputReference | PubKeyHash | POSIXTime | Dict<any> | Tuple<any, any>;
 
 /**
  * Converting bytes to hex string
@@ -1681,4 +1770,4 @@ declare const hashDrepAnchor: (jsonLD: object) => string;
 
 declare function getFile(url: string): string;
 
-export { type AccountInfo, type Action, type Anchor, type Asset, type AssetClass, type AssetExtended, AssetFingerprint, type AssetMetadata, type AssetName, type AssocMap, type AssocMapItem, type BasicVote, BigNum, type BlockInfo, type Bool, type Budget, type BuilderData, type BuiltinByteString, type ByteString, CIP68_100, CIP68_222, type Certificate, type CertificateType, type ConStr, type ConStr0, type ConStr1, type ConStr2, type ConStr3, type Credential, type CurrencySymbol, DEFAULT_FETCHER_OPTIONS, DEFAULT_PROTOCOL_PARAMETERS, DEFAULT_REDEEMER_BUDGET, DEFAULT_V1_COST_MODEL_LIST, DEFAULT_V2_COST_MODEL_LIST, DEFAULT_V3_COST_MODEL_LIST, DREP_DEPOSIT, type DRep, type Data, type DataSignature, type DatumSource, type DeserializedAddress, type DeserializedScript, type Dict, type DictItem, type Era, type Files, type FungibleAssetMetadata, type GovernanceProposalInfo, HARDENED_KEY_START, type IDeserializer, type IEvaluator, type IFetcher, type IFetcherOptions, type IInitiator, type IListener, type IMeshTxSerializer, type IMintingBlueprint, type IResolver, type ISigner, type ISpendingBlueprint, type ISubmitter, type IWallet, type IWithdrawalBlueprint, type ImageAssetMetadata, type Integer, LANGUAGE_VERSIONS, type LanguageVersion, type List, type MAssetClass, type MBool, type MConStr, type MConStr0, type MConStr1, type MConStr2, type MConStr3, type MCredential, type MMaybeStakingHash, type MNone, type MOption, type MOutputReference, type MPubKeyAddress, type MScriptAddress, type MSome, type MTuple, type MTxOutRef, type MValue, type MaybeStakingHash, type MeshTxBuilderBody, MeshValue, type Message, type Metadata, type Metadatum, type MetadatumMap, type Mint, type MintItem, type NativeScript, type Network, type NonFungibleAssetMetadata, type None, type Option, type Output, type OutputReference, POLICY_ID_LENGTH, type POSIXTime, type PlutusData, type PlutusDataType, type PlutusScript, type PolicyId, type PoolMetadata, type PoolParams, type Protocol, type PubKeyAddress, type PubKeyHash, type PubKeyTxIn, type PubKeyWithdrawal, type Quantity, type Recipient, type Redeemer, type RedeemerTagType, type RefTxIn, type Relay, type RequiredWith, type RoyaltiesStandard, SLOT_CONFIG_NETWORK, SUPPORTED_CLOCKS, SUPPORTED_HANDLES, SUPPORTED_LANGUAGE_VIEWS, SUPPORTED_OGMIOS_LINKS, SUPPORTED_TOKENS, SUPPORTED_WALLETS, type ScriptAddress, type ScriptHash, type ScriptSource, type ScriptTxIn, type ScriptTxInParameter, type ScriptVote, type ScriptWithdrawal, type SimpleScriptSourceInfo, type SimpleScriptTxIn, type SimpleScriptTxInParameter, type SimpleScriptVote, type SimpleScriptWithdrawal, type SlotConfig, type Some, type Token, type TokenName, type TransactionInfo, type Tuple, type TxIn, type TxInParameter, type TxMetadata, type TxOutRef, type UTxO, type Unit, UtxoSelection, type UtxoSelectionStrategy, type ValidityRange, type Value, type Vote, type VoteKind, type VoteType, type Voter, type VotingProcedure, type Wallet, type Withdrawal, assetClass, assetName, assocMap, bool, builtinByteString, byteString, bytesToHex, castProtocol, conStr, conStr0, conStr1, conStr2, conStr3, credential, currencySymbol, dict, emptyTxBuilderBody, experimentalSelectUtxos, fromUTF8, fungibleAssetKeys, getFile, hashByteString, hashDrepAnchor, hexToBytes, hexToString, integer, isNetwork, keepRelevant, largestFirst, largestFirstMultiAsset, list, mAssetClass, mBool, mConStr, mConStr0, mConStr1, mConStr2, mConStr3, mCredential, mMaybeStakingHash, mNone, mOption, mOutputReference, mPlutusBSArrayToString, mPubKeyAddress, mScriptAddress, mSome, mStringToPlutusBSArray, mTuple, mTxOutRef, mValue, maybeStakingHash, mergeAssets, metadataStandardKeys, metadataToCip68, none, option, outputReference, parseAssetUnit, plutusBSArrayToString, policyId, posixTime, pubKeyAddress, pubKeyHash, resolveEpochNo, resolveFingerprint, resolveLanguageView, resolveSlotNo, resolveTxFees, royaltiesStandardKeys, scriptAddress, scriptHash, slotToBeginUnixTime, some, stringToBSArray, stringToHex, toBytes, toUTF8, tokenName, tuple, txInToUtxo, txOutRef, unixTimeToEnclosingSlot, validityRangeToObj, value };
+export { type AccountInfo, type Action, type Anchor, type Asset, type AssetClass, type AssetExtended, AssetFingerprint, type AssetMetadata, type AssetName, type AssocMap, type AssocMapItem, type BasicVote, BigNum, type BlockInfo, type Bool, type Budget, type BuilderData, type BuiltinByteString, type ByteString, CIP68_100, CIP68_222, type Certificate, type CertificateType, type ConStr, type ConStr0, type ConStr1, type ConStr2, type ConStr3, type Credential, type CurrencySymbol, DEFAULT_FETCHER_OPTIONS, DEFAULT_PROTOCOL_PARAMETERS, DEFAULT_REDEEMER_BUDGET, DEFAULT_V1_COST_MODEL_LIST, DEFAULT_V2_COST_MODEL_LIST, DEFAULT_V3_COST_MODEL_LIST, DREP_DEPOSIT, type DRep, type Data, type DataSignature, type DatumSource, type DeserializedAddress, type DeserializedScript, type Dict, type DictItem, type Era, type Files, type ForkNeighbor, type FungibleAssetMetadata, type GovernanceProposalInfo, HARDENED_KEY_START, type IDeserializer, type IEvaluator, type IFetcher, type IFetcherOptions, type IInitiator, type IListener, type IMeshTxSerializer, type IMintingBlueprint, type IResolver, type ISigner, type ISpendingBlueprint, type ISubmitter, type IWallet, type IWithdrawalBlueprint, type ImageAssetMetadata, type Integer, LANGUAGE_VERSIONS, type LanguageVersion, type List, type MAssetClass, type MBool, type MConStr, type MConStr0, type MConStr1, type MConStr2, type MConStr3, type MCredential, type MMaybeStakingHash, type MNone, type MOption, type MOutputReference, type MPubKeyAddress, type MScript, type MScriptAddress, type MSome, type MTuple, type MTxOutRef, type MValue, type MVerificationKey, type MaybeStakingHash, type MeshTxBuilderBody, MeshValue, type Message, type Metadata, type Metadatum, type MetadatumMap, type Mint, type MintItem, type NativeScript, type Network, type NonFungibleAssetMetadata, type None, type Option, type Output, type OutputReference, POLICY_ID_LENGTH, type POSIXTime, type Pair, type Pairs, type PlutusData, type PlutusDataType, type PlutusScript, type PolicyId, type PoolMetadata, type PoolParams, type ProofStep, type ProofStepBranch, type ProofStepFork, type ProofStepLeaf, type Protocol, type PubKeyAddress, type PubKeyHash, type PubKeyTxIn, type PubKeyWithdrawal, type Quantity, type Recipient, type Redeemer, type RedeemerTagType, type RefTxIn, type Relay, type RequiredWith, type RoyaltiesStandard, SLOT_CONFIG_NETWORK, SUPPORTED_CLOCKS, SUPPORTED_HANDLES, SUPPORTED_LANGUAGE_VIEWS, SUPPORTED_OGMIOS_LINKS, SUPPORTED_TOKENS, SUPPORTED_WALLETS, type Script, type ScriptAddress, type ScriptHash, type ScriptSource, type ScriptTxIn, type ScriptTxInParameter, type ScriptVote, type ScriptWithdrawal, type SimpleScriptSourceInfo, type SimpleScriptTxIn, type SimpleScriptTxInParameter, type SimpleScriptVote, type SimpleScriptWithdrawal, type SlotConfig, type Some, type Token, type TokenName, type TransactionInfo, type Tuple, type TxIn, type TxInParameter, type TxMetadata, type TxOutRef, type UTxO, type Unit, UtxoSelection, type UtxoSelectionStrategy, type ValidityRange, type Value, type VerificationKey, type Vote, type VoteKind, type VoteType, type Voter, type VotingProcedure, type Wallet, type Withdrawal, assetClass, assetName, assocMap, bool, builtinByteString, byteString, bytesToHex, castProtocol, conStr, conStr0, conStr1, conStr2, conStr3, credential, currencySymbol, dict, emptyTxBuilderBody, experimentalSelectUtxos, fromUTF8, fungibleAssetKeys, getFile, hashByteString, hashDrepAnchor, hexToBytes, hexToString, integer, isNetwork, jsonProofToPlutusData, keepRelevant, largestFirst, largestFirstMultiAsset, list, mAssetClass, mBool, mConStr, mConStr0, mConStr1, mConStr2, mConStr3, mCredential, mMaybeStakingHash, mNone, mOption, mOutputReference, mPlutusBSArrayToString, mPubKeyAddress, mScript, mScriptAddress, mSome, mStringToPlutusBSArray, mTuple, mTxOutRef, mValue, mVerificationKey, maybeStakingHash, mergeAssets, metadataStandardKeys, metadataToCip68, none, option, outputReference, pairs, parseAssetUnit, plutusBSArrayToString, policyId, posixTime, pubKeyAddress, pubKeyHash, resolveEpochNo, resolveFingerprint, resolveLanguageView, resolveSlotNo, resolveTxFees, royaltiesStandardKeys, script, scriptAddress, scriptHash, slotToBeginUnixTime, some, stringToBSArray, stringToHex, toBytes, toUTF8, tokenName, tuple, txInToUtxo, txOutRef, unixTimeToEnclosingSlot, validityRangeToObj, value, verificationKey };

package/dist/index.d.ts

@@ -731,22 +731,42 @@ declare const mSome: <T extends Data>(value: T) => MSome<T>;
  */
 declare const mNone: () => MNone;
 
+/**
+ * The Mesh Data verification key
+ */
+type MVerificationKey = MConStr0<[string]>;
+/**
+ * The Mesh Data script key
+ */
+type MScript = MConStr1<[string]>;
 /**
  * The Mesh Data staking credential
  */
-type MMaybeStakingHash = MConStr1<[]> | MConStr0<[MConStr0<[MConStr0<[string]>]>]> | MConStr0<[MConStr0<[MConStr1<[string]>]>]>;
+type MMaybeStakingHash = MConStr1<[]> | MConStr0<[MConStr0<[MVerificationKey]>]> | MConStr0<[MConStr0<[MScript]>]>;
 /**
  * The Mesh Data public key address
  */
-type MPubKeyAddress = MConStr0<[MConStr0<[string]>, MMaybeStakingHash]>;
+type MPubKeyAddress = MConStr0<[MVerificationKey, MMaybeStakingHash]>;
 /**
  * The Mesh Data script address
  */
-type MScriptAddress = MConStr0<[MConStr1<[string]>, MMaybeStakingHash]>;
+type MScriptAddress = MConStr0<[MScript, MMaybeStakingHash]>;
 /**
  * The Mesh Data credential
  */
-type MCredential = MConStr0<[string]> | MConStr1<[string]>;
+type MCredential = MVerificationKey | MScript;
+/**
+ * The utility function to create a Mesh Data verification key
+ * @param bytes The public key hash in hex
+ * @returns The Mesh Data verification key object
+ */
+declare const mVerificationKey: (bytes: string) => MVerificationKey;
+/**
+ * The utility function to create a Mesh Data script key
+ * @param bytes The script hash in hex
+ * @returns The Mesh Data script key object
+ */
+declare const mScript: (bytes: string) => MScript;
 /**
  * The utility function to create a Mesh Data staking hash
  * @param stakeCredential The staking credential in hex
@@ -893,11 +913,27 @@ type AssocMapItem<K, V> = {
     v: V;
 };
 /**
+ * PlutusTx alias
  * The Plutus Data association map in JSON
  */
 type AssocMap<K = any, V = any> = {
     map: AssocMapItem<K, V>[];
 };
+/**
+ * Aiken alias
+ * The Plutus Data association map item in JSON
+ */
+type Pair<K, V> = {
+    k: K;
+    v: V;
+};
+/**
+ * Aiken alias
+ * The Plutus Data association map in JSON
+ */
+type Pairs<K = any, V = any> = {
+    map: Pair<K, V>[];
+};
 /**
  * The utility function to create a Plutus Data boolean in JSON
  * @param b boolean value
@@ -948,6 +984,13 @@ declare const plutusBSArrayToString: (bsArray: List<ByteString>) => string;
  * @returns The Plutus Data association map object
  */
 declare const assocMap: <K, V>(mapItems: [K, V][], validation?: boolean) => AssocMap<K, V>;
+/**
+ * The utility function to create a Plutus Data Pairs in JSON
+ * @param mapItems The items map in array
+ * @param validation Default true - If current data construction would perform validation (introducing this flag due to possible performance issue in loop validation)
+ * @returns The Plutus Data Pairs object
+ */
+declare const pairs: <K, V>(mapItems: [K, V][], validation?: boolean) => Pairs<K, V>;
 
 /**
  * All the type aliases here represent the type name used in smart contracts from PlutusTx or Aiken.
@@ -1056,7 +1099,7 @@ declare const scriptHash: (bytes: string) => ScriptHash;
  * @param bytes The script hash in hex
  * @returns The Plutus Data script hash object
  */
-declare const pubKeyHash: (bytes: string) => ScriptHash;
+declare const pubKeyHash: (bytes: string) => PubKeyHash;
 /**
  * The utility function to create a Plutus Data policy id in JSON
  * @param bytes The policy id in hex
@@ -1141,22 +1184,42 @@ declare const some: <T>(value: T) => Some<T>;
  */
 declare const none: () => None;
 
+/**
+ * The Plutus Data verification key in JSON
+ */
+type VerificationKey = ConStr0<[PubKeyHash]>;
+/**
+ * The Plutus Data Script key in JSON
+ */
+type Script = ConStr1<[ScriptHash]>;
 /**
  * The Plutus Data staking credential in JSON
  */
-type MaybeStakingHash = ConStr1<[]> | ConStr0<[ConStr0<[ConStr0<[PubKeyHash]>]>]> | ConStr0<[ConStr0<[ConStr1<[ScriptHash]>]>]>;
+type MaybeStakingHash = ConStr1<[]> | ConStr0<[ConStr0<[VerificationKey]>]> | ConStr0<[ConStr0<[Script]>]>;
 /**
  * The Plutus Data public key address in JSON
  */
-type PubKeyAddress = ConStr0<[ConStr0<[PubKeyHash]>, MaybeStakingHash]>;
+type PubKeyAddress = ConStr0<[VerificationKey, MaybeStakingHash]>;
 /**
  * The Plutus Data script address in JSON
  */
-type ScriptAddress = ConStr0<[ConStr1<[ScriptHash]>, MaybeStakingHash]>;
+type ScriptAddress = ConStr0<[Script, MaybeStakingHash]>;
 /**
  * The Plutus Data credential in JSON
  */
-type Credential = ConStr0<[PubKeyHash]> | ConStr1<[ScriptHash]>;
+type Credential = VerificationKey | Script;
+/**
+ * The utility function to create a Plutus Data verification key in JSON
+ * @param bytes The public key hash in hex
+ * @returns The Plutus Data verification key object
+ */
+declare const verificationKey: (bytes: string) => VerificationKey;
+/**
+ * The utility function to create a Plutus Data script key in JSON
+ * @param bytes The script hash in hex
+ * @returns The Plutus Data script key object
+ * */
+declare const script: (bytes: string) => Script;
 /**
  * The utility function to create a Plutus Data staking hash in JSON
  * @param stakeCredential The staking credential in hex
@@ -1188,7 +1251,33 @@ declare const scriptAddress: (bytes: string, stakeCredential?: string, isStakeSc
  */
 declare const credential: (hash: string, isScriptCredential?: boolean) => Credential;
 
-type PlutusData = ConStr | Bool | ByteString | Integer | List | AssocMap | MaybeStakingHash | PubKeyAddress | ScriptAddress | AssetClass | OutputReference | PubKeyHash | POSIXTime | Dict<any> | Tuple<any, any>;
+type ProofStep = ProofStepBranch | ProofStepFork | ProofStepLeaf;
+type ProofStepBranch = ConStr0<[
+    Integer,
+    ByteString
+]>;
+type ProofStepFork = ConStr1<[
+    Integer,
+    ForkNeighbor
+]>;
+type ProofStepLeaf = ConStr2<[
+    Integer,
+    ByteString,
+    ByteString
+]>;
+type ForkNeighbor = ConStr0<[
+    Integer,
+    ByteString,
+    ByteString
+]>;
+/**
+ * The utility function to transform a JSON proof from Aiken TS offchain library to Mesh JSON Data type
+ * @param proof The proof object from Aiken TS offchain library
+ * @returns The proof object in Mesh JSON Data type
+ */
+declare const jsonProofToPlutusData: (proof: object) => ProofStep[];
+
+type PlutusData = ConStr | Bool | ByteString | Integer | List | AssocMap | Pairs | MaybeStakingHash | PubKeyAddress | ScriptAddress | AssetClass | OutputReference | PubKeyHash | POSIXTime | Dict<any> | Tuple<any, any>;
 
 /**
  * Converting bytes to hex string
@@ -1681,4 +1770,4 @@ declare const hashDrepAnchor: (jsonLD: object) => string;
 
 declare function getFile(url: string): string;
 
-export { type AccountInfo, type Action, type Anchor, type Asset, type AssetClass, type AssetExtended, AssetFingerprint, type AssetMetadata, type AssetName, type AssocMap, type AssocMapItem, type BasicVote, BigNum, type BlockInfo, type Bool, type Budget, type BuilderData, type BuiltinByteString, type ByteString, CIP68_100, CIP68_222, type Certificate, type CertificateType, type ConStr, type ConStr0, type ConStr1, type ConStr2, type ConStr3, type Credential, type CurrencySymbol, DEFAULT_FETCHER_OPTIONS, DEFAULT_PROTOCOL_PARAMETERS, DEFAULT_REDEEMER_BUDGET, DEFAULT_V1_COST_MODEL_LIST, DEFAULT_V2_COST_MODEL_LIST, DEFAULT_V3_COST_MODEL_LIST, DREP_DEPOSIT, type DRep, type Data, type DataSignature, type DatumSource, type DeserializedAddress, type DeserializedScript, type Dict, type DictItem, type Era, type Files, type FungibleAssetMetadata, type GovernanceProposalInfo, HARDENED_KEY_START, type IDeserializer, type IEvaluator, type IFetcher, type IFetcherOptions, type IInitiator, type IListener, type IMeshTxSerializer, type IMintingBlueprint, type IResolver, type ISigner, type ISpendingBlueprint, type ISubmitter, type IWallet, type IWithdrawalBlueprint, type ImageAssetMetadata, type Integer, LANGUAGE_VERSIONS, type LanguageVersion, type List, type MAssetClass, type MBool, type MConStr, type MConStr0, type MConStr1, type MConStr2, type MConStr3, type MCredential, type MMaybeStakingHash, type MNone, type MOption, type MOutputReference, type MPubKeyAddress, type MScriptAddress, type MSome, type MTuple, type MTxOutRef, type MValue, type MaybeStakingHash, type MeshTxBuilderBody, MeshValue, type Message, type Metadata, type Metadatum, type MetadatumMap, type Mint, type MintItem, type NativeScript, type Network, type NonFungibleAssetMetadata, type None, type Option, type Output, type OutputReference, POLICY_ID_LENGTH, type POSIXTime, type PlutusData, type PlutusDataType, type PlutusScript, type PolicyId, type PoolMetadata, type PoolParams, type Protocol, type PubKeyAddress, type PubKeyHash, type PubKeyTxIn, type PubKeyWithdrawal, type Quantity, type Recipient, type Redeemer, type RedeemerTagType, type RefTxIn, type Relay, type RequiredWith, type RoyaltiesStandard, SLOT_CONFIG_NETWORK, SUPPORTED_CLOCKS, SUPPORTED_HANDLES, SUPPORTED_LANGUAGE_VIEWS, SUPPORTED_OGMIOS_LINKS, SUPPORTED_TOKENS, SUPPORTED_WALLETS, type ScriptAddress, type ScriptHash, type ScriptSource, type ScriptTxIn, type ScriptTxInParameter, type ScriptVote, type ScriptWithdrawal, type SimpleScriptSourceInfo, type SimpleScriptTxIn, type SimpleScriptTxInParameter, type SimpleScriptVote, type SimpleScriptWithdrawal, type SlotConfig, type Some, type Token, type TokenName, type TransactionInfo, type Tuple, type TxIn, type TxInParameter, type TxMetadata, type TxOutRef, type UTxO, type Unit, UtxoSelection, type UtxoSelectionStrategy, type ValidityRange, type Value, type Vote, type VoteKind, type VoteType, type Voter, type VotingProcedure, type Wallet, type Withdrawal, assetClass, assetName, assocMap, bool, builtinByteString, byteString, bytesToHex, castProtocol, conStr, conStr0, conStr1, conStr2, conStr3, credential, currencySymbol, dict, emptyTxBuilderBody, experimentalSelectUtxos, fromUTF8, fungibleAssetKeys, getFile, hashByteString, hashDrepAnchor, hexToBytes, hexToString, integer, isNetwork, keepRelevant, largestFirst, largestFirstMultiAsset, list, mAssetClass, mBool, mConStr, mConStr0, mConStr1, mConStr2, mConStr3, mCredential, mMaybeStakingHash, mNone, mOption, mOutputReference, mPlutusBSArrayToString, mPubKeyAddress, mScriptAddress, mSome, mStringToPlutusBSArray, mTuple, mTxOutRef, mValue, maybeStakingHash, mergeAssets, metadataStandardKeys, metadataToCip68, none, option, outputReference, parseAssetUnit, plutusBSArrayToString, policyId, posixTime, pubKeyAddress, pubKeyHash, resolveEpochNo, resolveFingerprint, resolveLanguageView, resolveSlotNo, resolveTxFees, royaltiesStandardKeys, scriptAddress, scriptHash, slotToBeginUnixTime, some, stringToBSArray, stringToHex, toBytes, toUTF8, tokenName, tuple, txInToUtxo, txOutRef, unixTimeToEnclosingSlot, validityRangeToObj, value };
+export { type AccountInfo, type Action, type Anchor, type Asset, type AssetClass, type AssetExtended, AssetFingerprint, type AssetMetadata, type AssetName, type AssocMap, type AssocMapItem, type BasicVote, BigNum, type BlockInfo, type Bool, type Budget, type BuilderData, type BuiltinByteString, type ByteString, CIP68_100, CIP68_222, type Certificate, type CertificateType, type ConStr, type ConStr0, type ConStr1, type ConStr2, type ConStr3, type Credential, type CurrencySymbol, DEFAULT_FETCHER_OPTIONS, DEFAULT_PROTOCOL_PARAMETERS, DEFAULT_REDEEMER_BUDGET, DEFAULT_V1_COST_MODEL_LIST, DEFAULT_V2_COST_MODEL_LIST, DEFAULT_V3_COST_MODEL_LIST, DREP_DEPOSIT, type DRep, type Data, type DataSignature, type DatumSource, type DeserializedAddress, type DeserializedScript, type Dict, type DictItem, type Era, type Files, type ForkNeighbor, type FungibleAssetMetadata, type GovernanceProposalInfo, HARDENED_KEY_START, type IDeserializer, type IEvaluator, type IFetcher, type IFetcherOptions, type IInitiator, type IListener, type IMeshTxSerializer, type IMintingBlueprint, type IResolver, type ISigner, type ISpendingBlueprint, type ISubmitter, type IWallet, type IWithdrawalBlueprint, type ImageAssetMetadata, type Integer, LANGUAGE_VERSIONS, type LanguageVersion, type List, type MAssetClass, type MBool, type MConStr, type MConStr0, type MConStr1, type MConStr2, type MConStr3, type MCredential, type MMaybeStakingHash, type MNone, type MOption, type MOutputReference, type MPubKeyAddress, type MScript, type MScriptAddress, type MSome, type MTuple, type MTxOutRef, type MValue, type MVerificationKey, type MaybeStakingHash, type MeshTxBuilderBody, MeshValue, type Message, type Metadata, type Metadatum, type MetadatumMap, type Mint, type MintItem, type NativeScript, type Network, type NonFungibleAssetMetadata, type None, type Option, type Output, type OutputReference, POLICY_ID_LENGTH, type POSIXTime, type Pair, type Pairs, type PlutusData, type PlutusDataType, type PlutusScript, type PolicyId, type PoolMetadata, type PoolParams, type ProofStep, type ProofStepBranch, type ProofStepFork, type ProofStepLeaf, type Protocol, type PubKeyAddress, type PubKeyHash, type PubKeyTxIn, type PubKeyWithdrawal, type Quantity, type Recipient, type Redeemer, type RedeemerTagType, type RefTxIn, type Relay, type RequiredWith, type RoyaltiesStandard, SLOT_CONFIG_NETWORK, SUPPORTED_CLOCKS, SUPPORTED_HANDLES, SUPPORTED_LANGUAGE_VIEWS, SUPPORTED_OGMIOS_LINKS, SUPPORTED_TOKENS, SUPPORTED_WALLETS, type Script, type ScriptAddress, type ScriptHash, type ScriptSource, type ScriptTxIn, type ScriptTxInParameter, type ScriptVote, type ScriptWithdrawal, type SimpleScriptSourceInfo, type SimpleScriptTxIn, type SimpleScriptTxInParameter, type SimpleScriptVote, type SimpleScriptWithdrawal, type SlotConfig, type Some, type Token, type TokenName, type TransactionInfo, type Tuple, type TxIn, type TxInParameter, type TxMetadata, type TxOutRef, type UTxO, type Unit, UtxoSelection, type UtxoSelectionStrategy, type ValidityRange, type Value, type VerificationKey, type Vote, type VoteKind, type VoteType, type Voter, type VotingProcedure, type Wallet, type Withdrawal, assetClass, assetName, assocMap, bool, builtinByteString, byteString, bytesToHex, castProtocol, conStr, conStr0, conStr1, conStr2, conStr3, credential, currencySymbol, dict, emptyTxBuilderBody, experimentalSelectUtxos, fromUTF8, fungibleAssetKeys, getFile, hashByteString, hashDrepAnchor, hexToBytes, hexToString, integer, isNetwork, jsonProofToPlutusData, keepRelevant, largestFirst, largestFirstMultiAsset, list, mAssetClass, mBool, mConStr, mConStr0, mConStr1, mConStr2, mConStr3, mCredential, mMaybeStakingHash, mNone, mOption, mOutputReference, mPlutusBSArrayToString, mPubKeyAddress, mScript, mScriptAddress, mSome, mStringToPlutusBSArray, mTuple, mTxOutRef, mValue, mVerificationKey, maybeStakingHash, mergeAssets, metadataStandardKeys, metadataToCip68, none, option, outputReference, pairs, parseAssetUnit, plutusBSArrayToString, policyId, posixTime, pubKeyAddress, pubKeyHash, resolveEpochNo, resolveFingerprint, resolveLanguageView, resolveSlotNo, resolveTxFees, royaltiesStandardKeys, script, scriptAddress, scriptHash, slotToBeginUnixTime, some, stringToBSArray, stringToHex, toBytes, toUTF8, tokenName, tuple, txInToUtxo, txOutRef, unixTimeToEnclosingSlot, validityRangeToObj, value, verificationKey };

package/dist/index.js

@@ -947,14 +947,16 @@ var mSome = (value2) => mConStr0([value2]);
 var mNone = () => mConStr1([]);
 
 // src/data/mesh/credentials.ts
+var mVerificationKey = (bytes) => mConStr0([bytes]);
+var mScript = (bytes) => mConStr1([bytes]);
 var mMaybeStakingHash = (stakeCredential, isStakeScriptCredential = false) => {
   if (stakeCredential === "") {
     return mConStr1([]);
   }
   if (isStakeScriptCredential) {
-    return mConStr0([mConStr0([mConStr1([stakeCredential])])]);
+    return mConStr0([mConStr0([mScript(stakeCredential)])]);
   }
-  return mConStr0([mConStr0([mConStr0([stakeCredential])])]);
+  return mConStr0([mConStr0([mVerificationKey(stakeCredential)])]);
 };
 var mPubKeyAddress = (bytes, stakeCredential, isStakeScriptCredential = false) => mConStr0([
   { alternative: 0, fields: [bytes] },
@@ -964,7 +966,7 @@ var mScriptAddress = (bytes, stakeCredential, isStakeScriptCredential = false) =
   { alternative: 1, fields: [bytes] },
   mMaybeStakingHash(stakeCredential || "", isStakeScriptCredential)
 ]);
-var mCredential = (hash, isScriptCredential = false) => isScriptCredential ? mConStr1([hash]) : mConStr0([hash]);
+var mCredential = (hash, isScriptCredential = false) => isScriptCredential ? mScript(hash) : mVerificationKey(hash);
 
 // src/data/mesh/primitives.ts
 var mBool = (b) => b ? mConStr1([]) : mConStr0([]);
@@ -1052,11 +1054,25 @@ var assocMap = (mapItems, validation = true) => ({
     return { k, v };
   })
 });
+var pairs = (mapItems, validation = true) => ({
+  map: mapItems.map(([k, v]) => {
+    if (validation) {
+      if (typeof k !== "object" || typeof v !== "object") {
+        throw new Error(
+          `Map item of JSON Cardano data type must be an object - ${k}, ${v}`
+        );
+      }
+    }
+    return { k, v };
+  })
+});
 
 // src/data/json/aliases.ts
 var hashByteString = (bytes) => {
   if (bytes.length !== 56) {
-    throw new Error(`Invalid hash for [${bytes}] - should be 56 bytes long`);
+    throw new Error(
+      `Invalid hash for [${bytes}] - should be 28 bytes (56 hex length) long`
+    );
   }
   return byteString(bytes);
 };
@@ -1065,7 +1081,7 @@ var pubKeyHash = (bytes) => hashByteString(bytes);
 var policyId = (bytes) => {
   if (bytes.length !== POLICY_ID_LENGTH && bytes !== "") {
     throw new Error(
-      `Invalid policy id for [${bytes}] - should be ${POLICY_ID_LENGTH} bytes long or empty string for lovelace`
+      `Invalid policy id for [${bytes}] - should be ${POLICY_ID_LENGTH / 2} bytes (${POLICY_ID_LENGTH} hex length) long or empty string for lovelace`
     );
   }
   return byteString(bytes);
@@ -1108,28 +1124,56 @@ var some = (value2) => conStr0([value2]);
 var none = () => conStr1([]);
 
 // src/data/json/credentials.ts
+var verificationKey = (bytes) => conStr0([pubKeyHash(bytes)]);
+var script = (bytes) => conStr1([scriptHash(bytes)]);
 var maybeStakingHash = (stakeCredential, isStakeScriptCredential = false) => {
   if (stakeCredential === "") {
     return conStr1([]);
   }
   if (isStakeScriptCredential) {
-    return conStr0([
-      conStr0([conStr1([scriptHash(stakeCredential)])])
-    ]);
+    return conStr0([conStr0([script(stakeCredential)])]);
   }
-  return conStr0([
-    conStr0([conStr0([pubKeyHash(stakeCredential)])])
-  ]);
+  return conStr0([conStr0([verificationKey(stakeCredential)])]);
 };
 var pubKeyAddress = (bytes, stakeCredential, isStakeScriptCredential = false) => conStr0([
   conStr0([pubKeyHash(bytes)]),
   maybeStakingHash(stakeCredential || "", isStakeScriptCredential)
 ]);
 var scriptAddress = (bytes, stakeCredential, isStakeScriptCredential = false) => conStr0([
-  conStr1([scriptHash(bytes)]),
+  script(bytes),
   maybeStakingHash(stakeCredential || "", isStakeScriptCredential)
 ]);
-var credential = (hash, isScriptCredential = false) => isScriptCredential ? conStr1([scriptHash(hash)]) : conStr0([pubKeyHash(hash)]);
+var credential = (hash, isScriptCredential = false) => isScriptCredential ? script(hash) : verificationKey(hash);
+
+// src/data/json/mpf.ts
+var jsonProofToPlutusData = (proof) => {
+  const proofSteps = [];
+  const proofJson = proof;
+  proofJson.forEach((proof2) => {
+    const skip = integer(proof2.skip);
+    switch (proof2.type) {
+      case "branch":
+        proofSteps.push(
+          conStr0([skip, byteString(proof2.neighbors.toString("hex"))])
+        );
+        break;
+      case "fork":
+        const { prefix, nibble, root } = proof2.neighbor;
+        const neighbor = conStr0([
+          integer(nibble),
+          byteString(prefix.toString("hex")),
+          byteString(root.toString("hex"))
+        ]);
+        proofSteps.push(conStr1([skip, neighbor]));
+        break;
+      case "leaf":
+        const { key, value: value2 } = proof2.neighbor;
+        proofSteps.push(conStr2([skip, byteString(key), byteString(value2)]));
+        break;
+    }
+  });
+  return proofSteps;
+};
 
 // src/data/parser.ts
 var bytesToHex = (bytes) => Buffer.from(bytes).toString("hex");
@@ -1578,7 +1622,7 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
   const selectedInputs = /* @__PURE__ */ new Set();
   const onlyLovelace = /* @__PURE__ */ new Set();
   const singletons = /* @__PURE__ */ new Set();
-  const pairs = /* @__PURE__ */ new Set();
+  const pairs2 = /* @__PURE__ */ new Set();
   const rest = /* @__PURE__ */ new Set();
   const collaterals = /* @__PURE__ */ new Set();
   for (let i = 0; i < inputs.length; i++) {
@@ -1597,7 +1641,7 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
         break;
       }
       case 3: {
-        pairs.add(i);
+        pairs2.add(i);
         break;
       }
       default: {
@@ -1630,10 +1674,10 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
       if (!assetRequired || Number(assetRequired) <= 0) break;
       addUtxoWithAssetAmount(inputIndex, assetUnit, singletons);
     }
-    for (const inputIndex of pairs) {
+    for (const inputIndex of pairs2) {
       const assetRequired = totalRequiredAssets.get(assetUnit);
       if (!assetRequired || Number(assetRequired) <= 0) break;
-      addUtxoWithAssetAmount(inputIndex, assetUnit, pairs);
+      addUtxoWithAssetAmount(inputIndex, assetUnit, pairs2);
     }
     for (const inputIndex of rest) {
       const assetRequired = totalRequiredAssets.get(assetUnit);
@@ -1651,10 +1695,10 @@ var experimentalSelectUtxos = (requiredAssets, inputs, threshold) => {
     if (!assetRequired || Number(assetRequired) <= 0) break;
     addUtxoWithAssetAmount(inputIndex, "lovelace", singletons);
   }
-  for (const inputIndex of pairs) {
+  for (const inputIndex of pairs2) {
     const assetRequired = totalRequiredAssets.get("lovelace");
     if (!assetRequired || Number(assetRequired) <= 0) break;
-    addUtxoWithAssetAmount(inputIndex, "lovelace", pairs);
+    addUtxoWithAssetAmount(inputIndex, "lovelace", pairs2);
   }
   for (const inputIndex of rest) {
     const assetRequired = totalRequiredAssets.get("lovelace");
@@ -1883,6 +1927,7 @@ export {
   hexToString,
   integer,
   isNetwork,
+  jsonProofToPlutusData,
   keepRelevant,
   largestFirst,
   largestFirstMultiAsset,
@@ -1901,12 +1946,14 @@ export {
   mOutputReference,
   mPlutusBSArrayToString,
   mPubKeyAddress,
+  mScript,
   mScriptAddress,
   mSome,
   mStringToPlutusBSArray,
   mTuple,
   mTxOutRef,
   mValue,
+  mVerificationKey,
   maybeStakingHash,
   mergeAssets,
   metadataStandardKeys,
@@ -1915,6 +1962,7 @@ export {
   none,
   option,
   outputReference,
+  pairs,
   parseAssetUnit,
   plutusBSArrayToString,
   policyId,
@@ -1927,6 +1975,7 @@ export {
   resolveSlotNo,
   resolveTxFees,
   royaltiesStandardKeys,
+  script,
   scriptAddress,
   scriptHash,
   slotToBeginUnixTime,
@@ -1941,5 +1990,6 @@ export {
   txOutRef,
   unixTimeToEnclosingSlot,
   validityRangeToObj,
-  value
+  value,
+  verificationKey
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@meshsdk/common",
-  "version": "1.9.0-beta.23",
+  "version": "1.9.0-beta.25",
   "description": "Contains constants, types and interfaces used across the SDK and different serialization libraries",
   "main": "./dist/index.cjs",
   "browser": "./dist/index.js",