@harmoniclabs/buildooor 0.1.8 → 0.1.10

package/dist/TxBuilder/TxBuilder.d.ts

@@ -3,6 +3,7 @@ import { CostModelsToLanguageViewCborOpts } from "@harmoniclabs/cardano-costmode
 import { Tx, Value, ValueUnits, TxOut, TxRedeemerTag, ScriptType, UTxO, TxRedeemer, TxWitnessSet, ScriptDataHash, ITxOut } from "@harmoniclabs/cardano-ledger-ts";
 import { CanBeCborString } from "@harmoniclabs/cbor";
 import { Data } from "@harmoniclabs/plutus-data";
+import { ExBudget, CEKValue } from "@harmoniclabs/plutus-machine";
 import { ITxBuildArgs, ITxBuildOptions, ITxBuildInput, ITxBuildSyncOptions } from "../txBuild/index.js";
 import { CanBeUInteger } from "../utils/ints.js";
 import { TxBuilderRunner } from "./TxBuilderRunner/TxBuilderRunner.js";
@@ -56,6 +57,13 @@ export declare class TxBuilder {
      */
     overrideTxRedeemers(tx: Tx, newRedeemers: TxRedeemer[], opts?: CostModelsToLanguageViewCborOpts): Tx;
     buildSync(buildArgs: ITxBuildArgs, { onScriptInvalid, onScriptResult }?: ITxBuildSyncOptions): Tx;
+    validatePhaseTwoVerbose(tx: Tx): {
+        result: CEKValue;
+        budgetSpent: ExBudget;
+        logs: string[];
+        rdmr: TxRedeemer;
+        isV2OrLess: boolean;
+    }[];
     validatePhaseTwo(tx: Tx): boolean;
     assertMinOutLovelaces(txOuts: TxOut[]): void;
     /**

package/dist/TxBuilder/TxBuilder.js

@@ -452,12 +452,13 @@ var TxBuilder = /** @class */ (function () {
         this.assertMinOutLovelaces(tx.body.outputs);
         return tx;
     };
-    TxBuilder.prototype.validatePhaseTwo = function (tx) {
+    TxBuilder.prototype.validatePhaseTwoVerbose = function (tx) {
         var txBody = tx.body;
         var rdmrs = tx.witnesses.redeemers;
         if (!Array.isArray(rdmrs) || rdmrs.length === 0)
-            return true;
+            return [];
         var nRdmrs = rdmrs.length;
+        var evalResults = [];
         var cek = this.cek;
         if (!(cek instanceof plutus_machine_1.Machine))
             throw new Error("protocol params are missing the script evaluation costs");
@@ -470,15 +471,22 @@ var TxBuilder = /** @class */ (function () {
         memRational = typeof memRational === "number" ? cbor_1.CborPositiveRational.fromNumber(memRational) : memRational;
         cpuRational = typeof cpuRational === "number" ? cbor_1.CborPositiveRational.fromNumber(cpuRational) : cpuRational;
         var _b = (0, toOnChain_1.getTxInfos)(tx, this.genesisInfos), txInfosV1 = _b.v1, txInfosV2 = _b.v2, txInfosV3 = _b.v3;
-        var totExBudget = new plutus_machine_1.ExBudget({ mem: 0, cpu: 0 });
         var _loop_3 = function (i) {
             var rdmr = rdmrs[i];
             var tag = rdmr.tag, rdmrData = rdmr.data, rdmr_idx = rdmr.index;
             // "+ 1" because we keep track of lovelaces even if in mint values these are 0
             var index = rdmr_idx + (tag === cardano_ledger_ts_1.TxRedeemerTag.Mint ? 1 : 0);
             var onlyRedeemerArg = function (script) {
-                if (!(script instanceof cardano_ledger_ts_1.Script))
-                    throw new Error("missing script for " + (0, cardano_ledger_ts_1.txRedeemerTagToString)(tag) + " redeemer " + (index - 1));
+                if (!(script instanceof cardano_ledger_ts_1.Script)) {
+                    evalResults.push({
+                        result: new uplc_1.ErrorUPLC("missig script"),
+                        budgetSpent: new plutus_machine_1.ExBudget({ mem: 0, cpu: 0 }),
+                        logs: [],
+                        rdmr: rdmr,
+                        isV2OrLess: false
+                    });
+                    return;
+                }
                 var expectedVersion = (0, utils_1.scriptTypeToDataVersion)(script.type);
                 if (typeof expectedVersion !== "string")
                     throw new Error("unexpected redeemer for native script");
@@ -486,34 +494,28 @@ var TxBuilder = /** @class */ (function () {
                 var isV2OrLess = (script.type === cardano_ledger_ts_1.ScriptType.PlutusV1 ||
                     script.type === cardano_ledger_ts_1.ScriptType.PlutusV2 ||
                     script.type === cardano_ledger_ts_1.ScriptType.NativeScript);
-                var _a = cek.eval(isV2OrLess ?
+                evalResults.push(__assign(__assign({}, cek.eval(isV2OrLess ?
                     new uplc_1.Application(new uplc_1.Application((0, uplc_1.parseUPLC)(script.bytes).body, uplc_1.UPLCConst.data(rdmrData)), uplc_1.UPLCConst.data(ctxData)) :
-                    new uplc_1.Application((0, uplc_1.parseUPLC)(script.bytes).body, uplc_1.UPLCConst.data(ctxData))), result = _a.result, budgetSpent = _a.budgetSpent, logs = _a.logs;
-                var successExec = isV2OrLess ?
-                    !(result instanceof uplc_1.ErrorUPLC) :
-                    ( // v3 requires to return unit
-                    result instanceof plutus_machine_1.CEKConst
-                        && Array.isArray(result.type)
-                        && result.type.length === 1
-                        && result.type[0] === uplc_1.ConstTyTag.unit
-                        && result.value === undefined);
-                if (!successExec)
-                    return false;
-                if (budgetSpent.cpu > rdmr.execUnits.cpu
-                    || budgetSpent.mem > rdmr.execUnits.mem)
-                    return false;
-                totExBudget.add(rdmr.execUnits);
-                return true;
+                    new uplc_1.Application((0, uplc_1.parseUPLC)(script.bytes).body, uplc_1.UPLCConst.data(ctxData)))), { rdmr: rdmr, isV2OrLess: isV2OrLess }));
             };
             if (tag === cardano_ledger_ts_1.TxRedeemerTag.Spend) {
                 var entry = (0, getScript_1.getSpendingScript)(tx, index);
-                if (!entry)
-                    return { value: false };
+                if (!entry) {
+                    evalResults.push({
+                        result: new uplc_1.ErrorUPLC("missig script"),
+                        budgetSpent: new plutus_machine_1.ExBudget({ mem: 0, cpu: 0 }),
+                        logs: [],
+                        rdmr: rdmr,
+                        isV2OrLess: false
+                    });
+                    return "continue";
+                }
+                ;
                 var script = entry.script, datum = entry.datum;
                 // TODO: check if this is correct
                 // I'm assuming native scripts are phase 1
                 if (script.type === cardano_ledger_ts_1.ScriptType.NativeScript)
-                    return { value: true };
+                    return "continue";
                 var isV2OrLess = script.type === cardano_ledger_ts_1.ScriptType.PlutusV1 || script.type === cardano_ledger_ts_1.ScriptType.PlutusV2;
                 if (datum === undefined && isV2OrLess)
                     throw new Error("missing datum for spend redeemer " + index);
@@ -521,65 +523,52 @@ var TxBuilder = /** @class */ (function () {
                 if (typeof expectedVersion !== "string")
                     throw new Error("unexpected redeemer for native script");
                 var ctxData = getCtx(script.type, (0, getSpendingPurposeData_1.getSpendingPurposeData)(rdmr, tx.body, expectedVersion), (0, getSpendingPurposeData_1.getScriptInfoData)(rdmr, tx.body, expectedVersion, datum), rdmrData, txInfosV1, txInfosV2, txInfosV3);
-                var _c = cek.eval(isV2OrLess ?
+                evalResults.push(__assign(__assign({}, cek.eval(isV2OrLess ?
                     new uplc_1.Application(new uplc_1.Application(new uplc_1.Application((0, uplc_1.parseUPLC)(script.bytes).body, uplc_1.UPLCConst.data(datum)), uplc_1.UPLCConst.data(rdmrData)), uplc_1.UPLCConst.data(ctxData)) :
-                    new uplc_1.Application((0, uplc_1.parseUPLC)(script.bytes).body, uplc_1.UPLCConst.data(ctxData))), result = _c.result, budgetSpent = _c.budgetSpent, logs = _c.logs;
-                var successExec = isV2OrLess ?
-                    !(result instanceof uplc_1.ErrorUPLC) :
-                    ( // v3 requires to return unit
-                    result instanceof plutus_machine_1.CEKConst
-                        && Array.isArray(result.type)
-                        && result.type.length === 1
-                        && result.type[0] === uplc_1.ConstTyTag.unit
-                        && result.value === undefined);
-                if (!successExec)
-                    return { value: false };
-                if (budgetSpent.cpu > rdmr.execUnits.cpu
-                    || budgetSpent.mem > rdmr.execUnits.mem)
-                    return { value: false };
-                totExBudget.add(rdmr.execUnits);
+                    new uplc_1.Application((0, uplc_1.parseUPLC)(script.bytes).body, uplc_1.UPLCConst.data(ctxData)))), { rdmr: rdmr, isV2OrLess: isV2OrLess }));
                 return "continue";
             }
-            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Mint) {
-                if (onlyRedeemerArg((0, getScript_1.getMintingScript)(tx, index)))
-                    return "continue";
-                else
-                    return { value: false };
-            }
-            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Cert) {
-                if (onlyRedeemerArg((0, getScript_1.getCeritficateScript)(tx, index)))
-                    return "continue";
-                else
-                    return { value: false };
-            }
-            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Withdraw) {
-                if (onlyRedeemerArg((0, getScript_1.getWithdrawalScript)(tx, index)))
-                    return "continue";
-                else
-                    return { value: false };
-            }
-            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Voting) {
-                if (onlyRedeemerArg((0, getScript_1.getVotingScript)(tx, index)))
-                    return "continue";
-                else
-                    return { value: false };
-            }
-            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Proposing) {
-                if (onlyRedeemerArg((0, getScript_1.getProposingScript)(tx, index)))
-                    return "continue";
-                else
-                    return { value: false };
-            }
+            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Mint)
+                onlyRedeemerArg((0, getScript_1.getMintingScript)(tx, index));
+            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Cert)
+                onlyRedeemerArg((0, getScript_1.getCeritficateScript)(tx, index));
+            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Withdraw)
+                onlyRedeemerArg((0, getScript_1.getWithdrawalScript)(tx, index));
+            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Voting)
+                onlyRedeemerArg((0, getScript_1.getVotingScript)(tx, index));
+            else if (tag === cardano_ledger_ts_1.TxRedeemerTag.Proposing)
+                onlyRedeemerArg((0, getScript_1.getProposingScript)(tx, index));
             else
-                throw new Error("unrecoignized redeemer tag " + tag);
-            return { value: false };
+                return "continue";
         };
         for (var i = 0; i < nRdmrs; i++) {
-            var state_2 = _loop_3(i);
-            if (typeof state_2 === "object")
-                return state_2.value;
+            _loop_3(i);
         } // for loop over redeemers
-        return true;
+        return evalResults;
+    };
+    TxBuilder.prototype.validatePhaseTwo = function (tx) {
+        var totExBudget = new plutus_machine_1.ExBudget({ mem: 0, cpu: 0 });
+        var results = this.validatePhaseTwoVerbose(tx);
+        return results.every(function (_a) {
+            var result = _a.result, budgetSpent = _a.budgetSpent, logs = _a.logs, isV2OrLess = _a.isV2OrLess, rdmr = _a.rdmr;
+            var successExec = isV2OrLess ?
+                !(result instanceof uplc_1.ErrorUPLC) :
+                ( // v3 requires to return unit
+                result instanceof plutus_machine_1.CEKConst
+                    && Array.isArray(result.type)
+                    && result.type.length === 1
+                    && result.type[0] === uplc_1.ConstTyTag.unit
+                    && result.value === undefined);
+            if (!successExec)
+                return false;
+            if (budgetSpent.cpu > rdmr.execUnits.cpu
+                || budgetSpent.mem > rdmr.execUnits.mem)
+                return false;
+            totExBudget.add(rdmr.execUnits);
+            return true;
+        })
+            && totExBudget.cpu <= this.protocolParamters.maxTxExecutionUnits.cpu
+            && totExBudget.mem <= this.protocolParamters.maxTxExecutionUnits.mem;
     };
     TxBuilder.prototype.assertMinOutLovelaces = function (txOuts) {
         for (var i = 0; i < txOuts.length; i++) {

package/dist/TxBuilder/utils/getScript.js

@@ -42,7 +42,9 @@ function getMintingScript(tx, index) {
     var allPolicies = mintedValue.map.map(function (entry) { return entry.policy; }).filter(function (p) { return p instanceof cardano_ledger_ts_1.Hash28; });
     if (allPolicies.length === 0)
         return undefined;
-    var policyHash = allPolicies[index];
+    var policyHash = allPolicies[index - 1];
+    if (!policyHash)
+        return undefined;
     return getScriptByHash(tx, policyHash.toBuffer());
 }
 exports.getMintingScript = getMintingScript;

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@harmoniclabs/buildooor",
-    "version": "0.1.8",
+    "version": "0.1.10",
     "description": "Cardano transaction builder in typescript",
     "main": "./dist/index.js",
     "types": "./dist/index.d.ts",