@helios-lang/effect 0.6.13 → 0.6.15

package/dist/Cardano/ZK.js

@@ -0,0 +1,232 @@
+import { Context, Data, Effect, Either, Schema } from "effect";
+import * as Uplc from "./Uplc/index.js";
+export const fieldModulus = 52435875175126190479447740508185965837690552500527637822603658699938581184513n;
+export const ProverInput = Schema.Struct({
+    name: Schema.String,
+    type: Schema.String
+});
+export const WitnessInput = Schema.extend(ProverInput, Schema.Struct({
+    captureId: Schema.String
+}));
+export const VerificationKey = Schema.Struct({
+    alphaG1: Schema.Uint8ArrayFromHex,
+    betaG2: Schema.Uint8ArrayFromHex,
+    gammaG2: Schema.Uint8ArrayFromHex,
+    deltaG2: Schema.Uint8ArrayFromHex,
+    publicInputsG1: Schema.Array(Schema.Uint8ArrayFromHex)
+});
+export const InputValue = Schema.Union(Schema.BigInt, Schema.Boolean, Schema.Uint8ArrayFromHex, Schema.Array(Schema.suspend(() => InputValue)));
+/**
+ * Describes the public/private inputs required by a prover.
+ *
+ * This is the part of a prover that callers need in order to construct
+ * witnesses, but it does not include constraints, keys, or evaluator metadata.
+ *
+ * Compiler-v2 emits the circuit so that the proof-engine private input vector is
+ * `privateInputs` first, followed by captured `witnessInputs`. Public inputs
+ * are prepared independently from `publicInputs`.
+ */
+export const ProverInputs = Schema.Struct({
+    privateInputs: Schema.Array(ProverInput),
+    witnessInputs: Schema.Array(WitnessInput),
+    publicInputs: Schema.Array(ProverInput)
+});
+/**
+ * Minimal compiler artifact consumed by a proof engine.
+ *
+ * This intentionally excludes input metadata and evaluator bytes. Those fields
+ * are only needed by this module to prepare positional inputs before calling the
+ * proof engine.
+ */
+export const Prover = Schema.Struct({
+    name: Schema.optional(Schema.String),
+    constraints: Schema.Uint8ArrayFromHex
+});
+/**
+ * Compiler artifact with metadata needed to prepare proof inputs.
+ *
+ * Field roles:
+ * - inputs: public, private, and proof-engine witness input interface emitted by
+ *   the compiler.
+ * - evaluator: verbose latest-version UPLC script bytes used to fill captured
+ *   witness inputs before proving.
+ */
+export const ProverWithMetadata = Schema.extend(Prover, Schema.Struct({
+    evaluator: Schema.optional(Schema.Uint8ArrayFromHex),
+    inputs: ProverInputs
+}));
+/**
+ * Minimal proof-engine artifact with derived key material.
+ *
+ * `provingKey` is used to create proofs for this circuit, while
+ * `verificationKey` is public material used to verify those proofs.
+ */
+export const ProverWithDerivedKeys = Schema.extend(Prover, Schema.Struct({
+    provingKey: Schema.Uint8ArrayFromHex,
+    verificationKey: VerificationKey
+}));
+export class MissingWitnessInput extends Data.TaggedError("Cardano.ZK.MissingWitnessInput") {
+    constructor(kind, name) {
+        super({
+            kind,
+            name,
+            message: `missing ${kind} witness input '${name}'`
+        });
+    }
+}
+export class MissingEvaluator extends Data.TaggedError("Cardano.ZK.MissingEvaluator") {
+    constructor() {
+        super({
+            message: "missing evaluator script for captured witness inputs"
+        });
+    }
+}
+export class EvaluatorFailed extends Data.TaggedError("Cardano.ZK.EvaluatorFailed") {
+    constructor(message) {
+        super({ message });
+    }
+}
+export class MissingCapture extends Data.TaggedError("Cardano.ZK.MissingCapture") {
+    constructor(captureId) {
+        super({
+            captureId,
+            message: `missing captured evaluator value '${captureId}'`
+        });
+    }
+}
+export class InvalidCapturedValue extends Data.TaggedError("Cardano.ZK.InvalidCapturedValue") {
+    constructor(captureId) {
+        super({
+            captureId,
+            message: `captured evaluator value '${captureId}' is not a valid input value`
+        });
+    }
+}
+export class InvalidInputValue extends Data.TaggedError("Cardano.ZK.InvalidInputValue") {
+    constructor(kind, name) {
+        super({
+            kind,
+            name,
+            message: `input '${name}' cannot be converted to a UPLC evaluator argument`
+        });
+    }
+}
+export class ProofEngine extends Context.Tag("Cardano.ZK.ProofEngine")() {
+}
+export const setup = (prover) => Effect.gen(function* () {
+    const engine = yield* ProofEngine;
+    const keys = yield* engine.setup(prover);
+    return {
+        ...prover,
+        ...keys
+    };
+});
+export const prove = (prover, publicInputs, privateInputs) => Effect.gen(function* () {
+    const engine = yield* ProofEngine;
+    const positionalPublicInputs = [];
+    for (const { name } of prover.inputs.publicInputs) {
+        const publicInput = publicInputs[name];
+        if (publicInput === undefined) {
+            return yield* Effect.fail(new MissingWitnessInput("public", name));
+        }
+        positionalPublicInputs.push(publicInput);
+    }
+    const positionalPrivateInputs = [];
+    for (const { name } of prover.inputs.privateInputs) {
+        const privateInput = privateInputs[name];
+        if (privateInput === undefined) {
+            return yield* Effect.fail(new MissingWitnessInput("private", name));
+        }
+        positionalPrivateInputs.push(privateInput);
+    }
+    if (prover.inputs.witnessInputs.length > 0) {
+        const captured = yield* evaluate(prover, positionalPublicInputs, positionalPrivateInputs);
+        for (const input of prover.inputs.witnessInputs) {
+            const captureId = input.captureId;
+            const capturedWitnessInput = captured[captureId];
+            if (capturedWitnessInput === undefined) {
+                return yield* Effect.fail(new MissingWitnessInput("witness", captureId));
+            }
+            positionalPrivateInputs.push(capturedWitnessInput);
+        }
+    }
+    return yield* engine.prove(prover, positionalPublicInputs, positionalPrivateInputs);
+});
+export const verify = (prover, publicInputs, proof) => Effect.gen(function* () {
+    const engine = yield* ProofEngine;
+    const positionalPublicInputs = [];
+    for (const { name } of prover.inputs.publicInputs) {
+        const publicInput = publicInputs[name];
+        if (publicInput === undefined) {
+            return yield* Effect.fail(new MissingWitnessInput("public", name));
+        }
+        positionalPublicInputs.push(publicInput);
+    }
+    return yield* engine.verify(prover, positionalPublicInputs, proof);
+});
+const evaluate = (prover, publicInputs, privateInputs) => Effect.gen(function* () {
+    const evaluator = prover.evaluator;
+    if (evaluator === undefined) {
+        return yield* Effect.fail(new MissingEvaluator());
+    }
+    const args = [
+        ...publicInputs.map(inputValueToUplcValue),
+        ...privateInputs.map(inputValueToUplcValue)
+    ];
+    const result = yield* Uplc.Script.eval({
+        version: 3,
+        root: evaluator
+    }, args).pipe(Effect.mapError((error) => new EvaluatorFailed(error instanceof Error ? error.message : String(error))));
+    if (Either.isLeft(result.value)) {
+        return yield* Effect.fail(new EvaluatorFailed(result.value.left.error));
+    }
+    const capturedWitnessValue = {};
+    for (const { id, value } of result.capturedValues) {
+        if (value._tag != "Const") {
+            throw new Error("Unexpected captured Cek frame");
+        }
+        capturedWitnessValue[id] = uplcValueToInputValue(value.value);
+    }
+    return capturedWitnessValue;
+});
+function inputValueToUplcValue(inputValue) {
+    if (typeof inputValue == "bigint") {
+        return inputValue;
+    }
+    else if (typeof inputValue == "boolean") {
+        return inputValue;
+    }
+    else if (inputValue instanceof Uint8Array) {
+        return inputValue;
+    }
+    else {
+        const items = inputValue.map(inputValueToUplcValue);
+        if (items.length == 0) {
+            throw new Error("Expected lists to contain at least 1 entry");
+        }
+        return {
+            itemType: Uplc.Value.toType(items[0]),
+            items
+        };
+    }
+}
+function uplcValueToInputValue(uplcValue) {
+    if (typeof uplcValue == "bigint") {
+        return uplcValue;
+    }
+    else if (typeof uplcValue == "boolean") {
+        return uplcValue;
+    }
+    else if (uplcValue instanceof Uint8Array) {
+        return uplcValue;
+    }
+    else if (uplcValue !== null &&
+        typeof uplcValue == "object" &&
+        "items" in uplcValue) {
+        return uplcValue.items.map(uplcValueToInputValue);
+    }
+    else {
+        throw new Error("Unsupported UplcValue to InputValue conversion");
+    }
+}
+//# sourceMappingURL=ZK.js.map

package/dist/Cardano/ZK.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ZK.js","sourceRoot":"","sources":["../../src/Cardano/ZK.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC9D,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAEvC,MAAM,CAAC,MAAM,YAAY,GACvB,8EAA8E,CAAA;AAEhF,MAAM,CAAC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,MAAM,CAAC,MAAM;CACpB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CACvC,WAAW,EACX,MAAM,CAAC,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC,CACH,CAAA;AAID,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC,iBAAiB;IACjC,MAAM,EAAE,MAAM,CAAC,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC,iBAAiB;IACjC,OAAO,EAAE,MAAM,CAAC,iBAAiB;IACjC,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC;CACvD,CAAC,CAAA;AAYF,MAAM,CAAC,MAAM,UAAU,GACrB,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,iBAAiB,EACxB,MAAM,CAAC,KAAK,CACV,MAAM,CAAC,OAAO,CACZ,GAAiD,EAAE,CAAC,UAAU,CAC/D,CACF,CACF,CAAA;AAEH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;IACxC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IACzC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;CACxC,CAAC,CAAA;AAIF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC,iBAAiB;CACtC,CAAC,CAAA;AAIF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAC7C,MAAM,EACN,MAAM,CAAC,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,iBAAiB,CAAC;IACpD,MAAM,EAAE,YAAY;CACrB,CAAC,CACH,CAAA;AAID;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CAChD,MAAM,EACN,MAAM,CAAC,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC,iBAAiB;IACpC,eAAe,EAAE,eAAe;CACjC,CAAC,CACH,CAAA;AAQD,MAAM,OAAO,mBAAoB,SAAQ,IAAI,CAAC,WAAW,CACvD,gCAAgC,CAKhC;IACA,YAAY,IAAsC,EAAE,IAAY;QAC9D,KAAK,CAAC;YACJ,IAAI;YACJ,IAAI;YACJ,OAAO,EAAE,WAAW,IAAI,mBAAmB,IAAI,GAAG;SACnD,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CACpD,6BAA6B,CACA;IAC7B;QACE,KAAK,CAAC;YACJ,OAAO,EAAE,sDAAsD;SAChE,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CACnD,4BAA4B,CACC;IAC7B,YAAY,OAAe;QACzB,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,CAAA;IACpB,CAAC;CACF;AAED,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAClD,2BAA2B,CAC8B;IACzD,YAAY,SAAiB;QAC3B,KAAK,CAAC;YACJ,SAAS;YACT,OAAO,EAAE,qCAAqC,SAAS,GAAG;SAC3D,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,oBAAqB,SAAQ,IAAI,CAAC,WAAW,CACxD,iCAAiC,CACwB;IACzD,YAAY,SAAiB;QAC3B,KAAK,CAAC;YACJ,SAAS;YACT,OAAO,EAAE,6BAA6B,SAAS,8BAA8B;SAC9E,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CACrD,8BAA8B,CAK9B;IACA,YAAY,IAAsC,EAAE,IAAY;QAC9D,KAAK,CAAC;YACJ,IAAI;YACJ,IAAI;YACJ,OAAO,EAAE,UAAU,IAAI,oDAAoD;SAC5E,CAAC,CAAA;IACJ,CAAC;CACF;AAwBD,MAAM,OAAO,WAAY,SAAQ,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,EAGnE;CAAG;AAEN,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAA0B,EAK1B,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAA;IACjC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAExC,OAAO;QACL,GAAG,MAAM;QACT,GAAG,IAAI;KACR,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,MAAkD,EAClD,YAAwC,EACxC,aAAyC,EACQ,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAA;IAEjC,MAAM,sBAAsB,GAAiB,EAAE,CAAA;IAE/C,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QAClD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QAEtC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAA;QACpE,CAAC;QAED,sBAAsB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IAC1C,CAAC;IAED,MAAM,uBAAuB,GAAiB,EAAE,CAAA;IAEhD,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QACnD,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,CAAA;QACxC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAA;QACrE,CAAC;QAED,uBAAuB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC5C,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAC9B,MAAM,EACN,sBAAsB,EACtB,uBAAuB,CACxB,CAAA;QAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;YAChD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAA;YAEjC,MAAM,oBAAoB,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAA;YAEhD,IAAI,oBAAoB,KAAK,SAAS,EAAE,CAAC;gBACvC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC,CAC9C,CAAA;YACH,CAAC;YAED,uBAAuB,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;QACpD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CACxB,MAAM,EACN,sBAAsB,EACtB,uBAAuB,CACxB,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,MAAkD,EAClD,YAAwC,EACxC,KAAiB,EAC6B,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,WAAW,CAAA;IAEjC,MAAM,sBAAsB,GAAiB,EAAE,CAAA;IAE/C,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;QAClD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QACtC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAA;QACpE,CAAC;QAED,sBAAsB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;IAC1C,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,EAAE,KAAK,CAAC,CAAA;AACpE,CAAC,CAAC,CAAA;AAEJ,MAAM,QAAQ,GAAG,CACf,MAA0B,EAC1B,YAA0B,EAC1B,aAA2B,EAC3B,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAA;IAElC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,EAAE,CAAC,CAAA;IACnD,CAAC;IAED,MAAM,IAAI,GAAuB;QAC/B,GAAG,YAAY,CAAC,GAAG,CAAC,qBAAqB,CAAC;QAC1C,GAAG,aAAa,CAAC,GAAG,CAAC,qBAAqB,CAAC;KAC5C,CAAA;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CACpC;QACE,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,SAAS;KAChB,EACD,IAAI,CACL,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,eAAe,CACjB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACvD,CACJ,CACF,CAAA;IAED,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACzE,CAAC;IAED,MAAM,oBAAoB,GAA+B,EAAE,CAAA;IAE3D,KAAK,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAClD,IAAI,KAAK,CAAC,IAAI,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAA;QAClD,CAAC;QAED,oBAAoB,CAAC,EAAE,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC/D,CAAC;IAED,OAAO,oBAAoB,CAAA;AAC7B,CAAC,CAAC,CAAA;AAEJ,SAAS,qBAAqB,CAAC,UAAsB;IACnD,IAAI,OAAO,UAAU,IAAI,QAAQ,EAAE,CAAC;QAClC,OAAO,UAAU,CAAA;IACnB,CAAC;SAAM,IAAI,OAAO,UAAU,IAAI,SAAS,EAAE,CAAC;QAC1C,OAAO,UAAU,CAAA;IACnB,CAAC;SAAM,IAAI,UAAU,YAAY,UAAU,EAAE,CAAC;QAC5C,OAAO,UAAU,CAAA;IACnB,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;QAEnD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAA;QAC/D,CAAC;QAED,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACrC,KAAK;SACN,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,SAA2B;IACxD,IAAI,OAAO,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,OAAO,SAAS,CAAA;IAClB,CAAC;SAAM,IAAI,OAAO,SAAS,IAAI,SAAS,EAAE,CAAC;QACzC,OAAO,SAAS,CAAA;IAClB,CAAC;SAAM,IAAI,SAAS,YAAY,UAAU,EAAE,CAAC;QAC3C,OAAO,SAAS,CAAA;IAClB,CAAC;SAAM,IACL,SAAS,KAAK,IAAI;QAClB,OAAO,SAAS,IAAI,QAAQ;QAC5B,OAAO,IAAI,SAAS,EACpB,CAAC;QACD,OAAO,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACnD,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAA;IACnE,CAAC;AACH,CAAC"}

package/dist/Cardano/index.js

@@ -7,4 +7,5 @@ export * as ScriptContext from "./ScriptContext.js";
 export * as TxBuilder from "./TxBuilder.js";
 export * as Uplc from "./Uplc/index.js";
 export * as Wallet from "./Wallet.js";
+export * as ZK from "./ZK.js";
 //# sourceMappingURL=index.js.map

package/dist/Cardano/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/Cardano/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/Cardano/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,KAAK,OAAO,MAAM,oBAAoB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@helios-lang/effect",
-  "version": "0.6.13",
+  "version": "0.6.15",
   "description": "",
   "type": "module",
   "main": "./dist/index.js",

package/types/Cardano/Contract.d.ts

@@ -3,7 +3,7 @@ import { Assets, PubKeyHash, ValidatorHash, UTxO, UTxORef } from "./Ledger/index
 import { Data, Script } from "./Uplc/index.js";
 import * as Network from "./Network/index.js";
 import * as TxBuilder from "./TxBuilder.js";
-export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<1 | 2 | 3>, Error, never>;
+export declare function make(seed: UTxORef.UTxORef): Effect.Effect<Script.Script<2 | 1 | 3>, Error, never>;
 declare const Contract_base: Context.TagClass<Contract, "Cardano.Contract", Script.Script<3>>;
 export declare class Contract extends Contract_base {
 }
@@ -63,23 +63,23 @@ declare const $utxos: () => Effect.Effect<{
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
-}[], Network.ConnectionError | Network.UnexpectedFormat, Network.IsMainnet | Network.UTxOsAt | Contract>;
+}[], Network.ConnectionError | Network.UnexpectedFormat, Network.IsMainnet | Contract | Network.UTxOsAt>;
 export { $utxos as utxos };
-export declare const initialize: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxO | TxBuilder.GetDatum | Contract>;
-export declare const addValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
-export declare const addValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
-export declare const addAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
-export declare const addAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
-export declare const addWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
-export declare const addWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
-export declare const removeValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
-export declare const removeValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
-export declare const removeAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
-export declare const removeAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
-export declare const removeWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
-export declare const removeWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
-export declare const mint: (assets: Assets.Assets) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | Contract>;
-export declare const mintEffect: (assets: Assets.Assets) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | Contract | R>;
-export declare const spend: (inputs: UTxO.UTxO | UTxO.UTxO[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract>;
-export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Network.UTxOsAt | TxBuilder.GetDatum | Contract | R>;
+export declare const initialize: (witnesses: Witness[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Network.UTxO | Contract>;
+export declare const addValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const addValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const addAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const addAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const addWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const addWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const removeValidator: (vh: ValidatorHash.ValidatorHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const removeValidatorEffect: (vh: ValidatorHash.ValidatorHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const removeAdmin: (pkh: PubKeyHash.PubKeyHash) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const removeAdminEffect: (pkh: PubKeyHash.PubKeyHash) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const removeWitness: (witness: Witness) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const removeWitnessEffect: (witness: Witness) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, string | Error | import("effect/ParseResult").ParseError | E, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const mint: (assets: Assets.Assets) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const mintEffect: (assets: Assets.Assets) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, Network.IsMainnet | Contract | Network.UTxOsAt | R>;
+export declare const spend: (inputs: UTxO.UTxO | UTxO.UTxO[]) => (b: TxBuilder.TxBuilder) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt>;
+export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder.TxBuilder, E, R>) => Effect.Effect<TxBuilder.TxBuilder, Error | import("effect/ParseResult").ParseError | E, TxBuilder.GetDatum | Network.IsMainnet | Contract | Network.UTxOsAt | R>;
 //# sourceMappingURL=Contract.d.ts.map

package/types/Cardano/ScriptContext.d.ts

@@ -1160,6 +1160,7 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
 } & {
     dcert: import("./Ledger/DCert.js").DCert;
 }), Data.Data, never>, Schema.SchemaClass<{
+    readonly _tag: "Minting";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1175,13 +1176,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Minting";
     readonly policyIndex: number;
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
 } | {
+    readonly _tag: "Spending";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1197,13 +1198,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
     readonly inputIndex: number;
 } | {
+    readonly _tag: "Rewarding";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1219,13 +1220,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
     readonly withdrawalIndex: number;
 } | {
+    readonly _tag: "Certifying";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1241,13 +1242,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
     readonly dcertIndex: number;
 }, {
+    readonly _tag: "Minting";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1263,13 +1264,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Minting";
     readonly policyIndex: number;
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
 } | {
+    readonly _tag: "Spending";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1285,13 +1286,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
     readonly inputIndex: number;
 } | {
+    readonly _tag: "Rewarding";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1307,13 +1308,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
     readonly withdrawalIndex: number;
 } | {
+    readonly _tag: "Certifying";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1329,7 +1330,6 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;

package/types/Cardano/TxBuilder.d.ts

@@ -204,8 +204,8 @@ export declare const signEffect: (...signers: PubKeyHash.PubKeyHash[]) => <E, R>
 type SpendOptions = {
     dedupe?: "fail" | "keep" | "update";
 };
-export declare const spend: ({ dedupe }?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Assets.SomeNonPositive, GetDatum>;
-export declare const spendEffect: (options?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Assets.SomeNonPositive | E, GetDatum | R>;
+export declare const spend: ({ dedupe }?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Network.ConnectionError | Assets.SomeNonPositive, GetDatum>;
+export declare const spendEffect: (options?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Network.ConnectionError | Assets.SomeNonPositive | E, GetDatum | R>;
 export declare const validFromSlot: (slot: number) => (b: TxBuilder) => TxBuilder;
 export declare const validFromSlotEffect: (slot: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
 /**
@@ -264,7 +264,7 @@ export interface BabelFeeOptions {
      */
     readonly assetClass: AssetClass.AssetClass;
 }
-export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet>;
-export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError | E, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet | R>;
+export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | BalancingWallet | Network.IsMainnet | Network.UTxO>;
+export declare const buildEffect: (options?: BuildOptions) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError | E, Network.Params.params | BalancingWallet | Network.IsMainnet | Network.UTxO | R>;
 export {};
 //# sourceMappingURL=TxBuilder.d.ts.map

package/types/Cardano/Uplc/Cek.d.ts

@@ -6,10 +6,6 @@ export type EvalContext = {
     builtins: readonly Builtin[];
     costParams: readonly number[];
     logger?: Logger | undefined;
-    capture?: CaptureConfig | undefined;
-};
-export type CaptureConfig = {
-    prefix?: string | undefined;
 };
 export type CapturedValue = {
     index: number;
@@ -124,7 +120,7 @@ export type Result = {
         callSite?: CallSite | undefined;
     }[];
     breakdown: Cost.Breakdown;
-    captured: CapturedValue[];
+    capturedValues: CapturedValue[];
 };
 /**
  * This is main evaluation function of the CEK Machine
@@ -135,9 +131,6 @@ export type Result = {
  */
 declare function eval$(entryPoint: Term, evalContext: EvalContext): Result;
 export { eval$ as eval };
-export declare function evalWithCapture(entryPoint: Term, evalContext: Omit<EvalContext, "capture"> & {
-    capture?: CaptureConfig | undefined;
-}): Result;
 /**
  * @param callSite
  * @returns

package/types/Cardano/Uplc/Cek.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Cek.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,EAIV,KAAK,EAML,UAAU,EACV,IAAI,EAEL,MAAM,WAAW,CAAA;AAGlB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC3B,OAAO,CAAC,EAAE,aAAa,GAAG,SAAS,CAAA;CACpC,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;CAChC,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,WAAW;IACjD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAA;IAE3B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC7C,cAAc,IAAI,MAAM,GAAG,SAAS,CAAA;IACpC,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;CAClE;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,KAAK,CAAA;AAE9B;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,KAAK,GACb,YAAY,GACZ,UAAU,GACV,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf,MAAM,MAAM,QAAQ,GAAG;IACrB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,CAAA;CAChC,CAAA;AAWD,MAAM,MAAM,KAAK,GAAG;IAClB,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,SAAS,EAAE,QAAQ,EAAE,CAAA;CACtB,CAAA;AAED,MAAM,WAAW,MAAM;IACrB,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACpD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,KAAK,CAAC,EAAE,MAAM,IAAI,CAAA;IAClB,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,KAAK,IAAI,CAAA;CAC/C;AAiMD;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;KAAE,CAAC,CAAA;IACrE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;IACf,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;KAAE,EAAE,CAAA;IAC5D,SAAS,EAAE,IAAI,CAAC,SAAS,CAAA;IACzB,QAAQ,EAAE,aAAa,EAAE,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,MAAM,CAmJjE;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,eAAe,CAC7B,UAAU,EAAE,IAAI,EAChB,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG;IAAE,OAAO,CAAC,EAAE,aAAa,GAAG,SAAS,CAAA;CAAE,GAClF,MAAM,CAKR;AAyTD;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,OAAO,CAO3E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,QAAQ,IAAI,QAAQ,CAEtB;AAqBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAKhE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,KAAK,CAOP;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AAySD;;GAEG"}
+{"version":3,"file":"Cek.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,EAIV,KAAK,EAML,UAAU,EACV,IAAI,EAEL,MAAM,WAAW,CAAA;AAGlB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;CAChC,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,WAAW;IACjD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAA;IAE3B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC7C,cAAc,IAAI,MAAM,GAAG,SAAS,CAAA;IACpC,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;CAClE;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,KAAK,CAAA;AAE9B;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,KAAK,GACb,YAAY,GACZ,UAAU,GACV,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf,MAAM,MAAM,QAAQ,GAAG;IACrB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,CAAA;CAChC,CAAA;AAWD,MAAM,MAAM,KAAK,GAAG;IAClB,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,SAAS,EAAE,QAAQ,EAAE,CAAA;CACtB,CAAA;AAED,MAAM,WAAW,MAAM;IACrB,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACpD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,KAAK,CAAC,EAAE,MAAM,IAAI,CAAA;IAClB,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,KAAK,IAAI,CAAA;CAC/C;AAwMD;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;KAAE,CAAC,CAAA;IACrE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;IACf,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;KAAE,EAAE,CAAA;IAC5D,SAAS,EAAE,IAAI,CAAC,SAAS,CAAA;IACzB,cAAc,EAAE,aAAa,EAAE,CAAA;CAChC,CAAA;AAED;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,MAAM,CAwJjE;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AA6WxB;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,OAAO,CAO3E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,QAAQ,IAAI,QAAQ,CAEtB;AAqBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAKhE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,KAAK,CAOP;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AA8RD;;GAEG"}

package/types/Cardano/Uplc/Metadata.d.ts

@@ -0,0 +1,31 @@
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import type { Term } from "./Term.js";
+export type Metadata = {
+    sourceNames: string[];
+    sourceSpans: number[];
+    argNames: [number, string][];
+    names: [number, string][];
+    descriptions: [number, string][];
+    captures: [number, string][];
+};
+export declare function traverseTerms(root: Term, callback: (term: Term, index: number) => void): void;
+export declare function termByIndex(root: Term): Map<number, Term>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Metadata>;
+export declare const encode: (metadata: Metadata) => number[];
+export declare const fromRootTerm: (root: Term) => Metadata;
+export declare function isEmpty(metadata: Metadata): boolean;
+/**
+ * Metadata is applied to the UPLC Ast in 5 loops:
+ *  1. source spans
+ *  2. lambda arg names
+ *  3. term names
+ *  4. term descriptions
+ *  5. capture ids
+ *
+ * The Ast fields are mutated
+ * @param root
+ * @param metadata
+ */
+export declare function apply(root: Term, metadata: Metadata): void;
+//# sourceMappingURL=Metadata.d.ts.map

package/types/Cardano/Uplc/Metadata.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Metadata.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Metadata.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAErC,MAAM,MAAM,QAAQ,GAAG;IACrB,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,WAAW,EAAE,MAAM,EAAE,CAAA;IACrB,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;IAC5B,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;IACzB,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;IAChC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAA;CAC7B,CAAA;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,GAC5C,IAAI,CAmCN;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAQzD;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,QAAQ,CA0B1B,CAAA;AAEH,eAAO,MAAM,MAAM,GAAI,UAAU,QAAQ,KAAG,MAAM,EAO9C,CAAA;AAWJ,eAAO,MAAM,YAAY,GAAI,MAAM,IAAI,KAAG,QAsDzC,CAAA;AAED,wBAAgB,OAAO,CAAC,QAAQ,EAAE,QAAQ,GAAG,OAAO,CASnD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CA8D1D"}

package/types/Cardano/Uplc/Script.d.ts

@@ -1,9 +1,8 @@
-import { Effect, Either, Schema } from "effect";
+import { Effect, Schema } from "effect";
 import * as Bytes from "../../Codecs/Bytes.js";
 import * as Cbor from "../../Codecs/Cbor.js";
 import type { ValidatorHash } from "../Ledger/ValidatorHash.js";
 import * as Cek from "./Cek.js";
-import * as Term from "./Term.js";
 import * as Value from "./Value.js";
 export declare const Version: Schema.Union<[Schema.Literal<[1]>, Schema.Literal<[2]>, Schema.Literal<[3]>]>;
 export type Version = Schema.Schema.Type<typeof Version>;
@@ -54,7 +53,6 @@ export type Script<V extends Version = Version> = {
     root: Uint8Array;
     verbose?: Uint8Array | undefined;
 };
-export declare const entryPoint: (script: Script) => Either.Either<Term.Term, Error>;
 export declare const decodeRoot: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<{
     uplcVersion: string;
     root: Uint8Array;
@@ -70,7 +68,6 @@ export declare function encode(script: Script): number[];
  * @param costParams
  */
 declare const eval$: (script: Script, args: readonly Value.Value[] | undefined, costParams?: readonly number[] | undefined, logger?: Cek.Logger | undefined) => Effect.Effect<Cek.Result, Error, never>;
-export declare const evalWithCapture: (script: Script, args: readonly Value.Value[] | undefined, costParams?: readonly number[] | undefined, logger?: Cek.Logger | undefined, capture?: Cek.CaptureConfig) => Effect.Effect<Cek.Result, Error, never>;
 export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<1 | 2 | 3>, Error, never>;
 export declare const extractParams: (script: Script) => Effect.Effect<Value.Value[], Error, never>;
 export { eval$ as eval };

package/types/Cardano/Uplc/Script.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAE/B,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,OAAO,+EAInB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAUxD;;;;;GAKG;AACH,eAAO,MAAM,MAAM;IAbjB;;OAEG;;;;;GAgBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IApBnB;;OAEG;;;;;GAuBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IA3BnB;;OAEG;;;;;GA8BJ,CAAA;AAED,eAAO,MAAM,QAAQ;IAlCnB;;OAEG;;;;;GAqCJ,CAAA;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI;IAChD,OAAO,EAAE,CAAC,CAAA;IACV,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,UAAU,GAAI,QAAQ,MAAM,oCAAiC,CAAA;AAE1E,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAqB1D,CAAA;AAEJ,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,MAC7B,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAgCjD,CAAA;AAEN,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE/C;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,KAAK,GACT,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,aAAY,SAAS,MAAM,EAAE,GAAG,SAAqB,EACrD,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB,4CAOxC,CAAA;AAEJ,eAAO,MAAM,eAAe,GAC1B,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,aAAY,SAAS,MAAM,EAAE,GAAG,SAAqB,EACrD,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB,EAC1C,UAAS,GAAG,CAAC,aAAkB,4CAU7B,CAAA;AAkDJ,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,EAAE,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,mDAyC9D,CAAA;AAEJ,eAAO,MAAM,aAAa,GAAI,QAAQ,MAAM,+CAaxC,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAMlD;AAED,eAAO,MAAM,SAAS,GACnB,CAAC,SAAS,OAAO,EAAE,GAAG,CAAC,MACvB,QAAQ,MAAM,KAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CACf,CAAA"}
+{"version":3,"file":"Script.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Script.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAG5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE/D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAG/B,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,eAAO,MAAM,OAAO,+EAInB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAUxD;;;;;GAKG;AACH,eAAO,MAAM,MAAM;IAbjB;;OAEG;;;;;GAgBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IApBnB;;OAEG;;;;;GAuBJ,CAAA;AAED,eAAO,MAAM,QAAQ;IA3BnB;;OAEG;;;;;GA8BJ,CAAA;AAED,eAAO,MAAM,QAAQ;IAlCnB;;OAEG;;;;;GAqCJ,CAAA;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI;IAChD,OAAO,EAAE,CAAC,CAAA;IACV,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;CACjC,CAAA;AAED,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAqB1D,CAAA;AAEJ,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,OAAO,EAAE,SAAS,CAAC,MAC7B,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAgCjD,CAAA;AAEN,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAE/C;AAED;;;;;;;GAOG;AACH,QAAA,MAAM,KAAK,GACT,QAAQ,MAAM,EACd,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,EACxC,aAAY,SAAS,MAAM,EAAE,GAAG,SAAqB,EACrD,SAAQ,GAAG,CAAC,MAAM,GAAG,SAAqB,4CAOxC,CAAA;AAkDJ,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,EAAE,MAAM,SAAS,KAAK,CAAC,KAAK,EAAE,mDAsC9D,CAAA;AAEJ,eAAO,MAAM,aAAa,GAAI,QAAQ,MAAM,+CAaxC,CAAA;AAEJ,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAMlD;AAED,eAAO,MAAM,SAAS,GACnB,CAAC,SAAS,OAAO,EAAE,GAAG,CAAC,MACvB,QAAQ,MAAM,KAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CACf,CAAA"}