@lucid-evolution/uplc 0.4.0 → 0.5.1

package/dist/size/node/uplc_tx_bg.wasm.d.ts

@@ -1,13 +1,41 @@
 /* tslint:disable */
 /* eslint-disable */
 export const memory: WebAssembly.Memory;
+export const __wbg_evalbuiltinresult_free: (a: number, b: number) => void;
 export const __wbg_evalprogramresult_free: (a: number, b: number) => void;
-export const __wbg_get_evalprogramresult_cpu: (a: number) => bigint;
+export const __wbg_get_evalbuiltinresult_cpu: (a: number) => bigint;
+export const __wbg_get_evalbuiltinresult_error: (a: number) => [number, number];
+export const __wbg_get_evalbuiltinresult_error_kind: (a: number) => number;
+export const __wbg_get_evalbuiltinresult_mem: (a: number) => bigint;
+export const __wbg_get_evalbuiltinresult_ok: (a: number) => number;
+export const __wbg_get_evalbuiltinresult_result: (
+  a: number,
+) => [number, number];
+export const __wbg_get_evalbuiltinresult_result_kind: (a: number) => number;
 export const __wbg_get_evalprogramresult_error_kind: (a: number) => number;
 export const __wbg_get_evalprogramresult_logs: (a: number) => [number, number];
-export const __wbg_get_evalprogramresult_mem: (a: number) => bigint;
 export const __wbg_get_evalprogramresult_ok: (a: number) => number;
-export const __wbg_set_evalprogramresult_cpu: (a: number, b: bigint) => void;
+export const __wbg_set_evalbuiltinresult_cpu: (a: number, b: bigint) => void;
+export const __wbg_set_evalbuiltinresult_error: (
+  a: number,
+  b: number,
+  c: number,
+) => void;
+export const __wbg_set_evalbuiltinresult_error_kind: (
+  a: number,
+  b: number,
+) => void;
+export const __wbg_set_evalbuiltinresult_mem: (a: number, b: bigint) => void;
+export const __wbg_set_evalbuiltinresult_ok: (a: number, b: number) => void;
+export const __wbg_set_evalbuiltinresult_result: (
+  a: number,
+  b: number,
+  c: number,
+) => void;
+export const __wbg_set_evalbuiltinresult_result_kind: (
+  a: number,
+  b: number,
+) => void;
 export const __wbg_set_evalprogramresult_error_kind: (
   a: number,
   b: number,
@@ -17,7 +45,6 @@ export const __wbg_set_evalprogramresult_logs: (
   b: number,
   c: number,
 ) => void;
-export const __wbg_set_evalprogramresult_mem: (a: number, b: bigint) => void;
 export const __wbg_set_evalprogramresult_ok: (a: number, b: number) => void;
 export const apply_params_to_script: (
   a: number,
@@ -25,6 +52,14 @@ export const apply_params_to_script: (
   c: number,
   d: number,
 ) => [number, number, number, number];
+export const eval_builtin_raw: (
+  a: number,
+  b: number,
+  c: number,
+  d: number,
+  e: number,
+  f: number,
+) => [number, number, number];
 export const eval_phase_two_raw: (
   a: number,
   b: number,
@@ -56,7 +91,10 @@ export const eval_program_raw: (
   k: number,
 ) => [number, number, number];
 export const uplc_build_info: () => [number, number];
-export const __wbindgen_export_0: WebAssembly.Table;
+export const __wbg_get_evalprogramresult_mem: (a: number) => bigint;
+export const __wbg_set_evalprogramresult_mem: (a: number, b: bigint) => void;
+export const __wbg_set_evalprogramresult_cpu: (a: number, b: bigint) => void;
+export const __wbg_get_evalprogramresult_cpu: (a: number) => bigint;
 export const __wbindgen_malloc: (a: number, b: number) => number;
 export const __wbindgen_realloc: (
   a: number,
@@ -64,8 +102,9 @@ export const __wbindgen_realloc: (
   c: number,
   d: number,
 ) => number;
-export const __externref_table_alloc: () => number;
+export const __wbindgen_externrefs: WebAssembly.Table;
 export const __externref_table_dealloc: (a: number) => void;
-export const __externref_drop_slice: (a: number, b: number) => void;
 export const __wbindgen_free: (a: number, b: number, c: number) => void;
+export const __externref_table_alloc: () => number;
+export const __externref_drop_slice: (a: number, b: number) => void;
 export const __wbindgen_start: () => void;

package/dist/size/node.d.ts

@@ -0,0 +1,11 @@
+export {
+  apply_params_to_script,
+  eval_builtin_raw,
+  eval_phase_two_raw,
+  eval_program_raw,
+  uplc_build_info,
+  BuiltinErrorKind,
+  BuiltinValueKind,
+  EvalBuiltinResult,
+  EvalProgramResult,
+} from "./node/uplc_tx.js";

package/dist/size/node.js

@@ -0,0 +1,17 @@
+"use strict";
+
+// The Node.js entry: the bindings in ./node, recovering from a wasm trap (see
+// ../recover-from-trap.js). Each export is assigned by name so that ES module
+// imports of this CommonJS file see it.
+const bindings = require("./node/uplc_tx.js");
+const recovering = require("../recover-from-trap.js")(bindings);
+
+exports.apply_params_to_script = recovering(bindings.apply_params_to_script);
+exports.eval_builtin_raw = recovering(bindings.eval_builtin_raw);
+exports.eval_phase_two_raw = recovering(bindings.eval_phase_two_raw);
+exports.eval_program_raw = recovering(bindings.eval_program_raw);
+exports.uplc_build_info = recovering(bindings.uplc_build_info);
+exports.BuiltinErrorKind = bindings.BuiltinErrorKind;
+exports.BuiltinValueKind = bindings.BuiltinValueKind;
+exports.EvalBuiltinResult = bindings.EvalBuiltinResult;
+exports.EvalProgramResult = bindings.EvalProgramResult;

package/dist/speed/browser/uplc_tx.d.ts

@@ -1,5 +1,194 @@
 /* tslint:disable */
 /* eslint-disable */
+
+/**
+ * Why the builtin given to [`eval_builtin_raw`] did not return a value: the
+ * codes of the result's `error_kind`.
+ */
+export enum BuiltinErrorKind {
+  /**
+   * The builtin returned a value.
+   */
+  Ok = 0,
+  /**
+   * The builtin is not available to Plutus V3 at the protocol version.
+   */
+  NotAvailable = 1,
+  /**
+   * The builtin did not accept its arguments, which fails the application
+   * before it is costed.
+   */
+  RejectedArguments = 2,
+  /**
+   * The builtin failed after it was costed.
+   */
+  Failed = 3,
+}
+
+/**
+ * How a value of [`eval_builtin_raw`] is encoded: the codes of its
+ * `arg_kinds` and of the result's `result_kind`.
+ */
+export enum BuiltinValueKind {
+  /**
+   * A flat-encoded program whose body is a constant,
+   * `(program 1.1.0 (con …))`. A result in this form is always version
+   * 1.1.0.
+   */
+  Flat = 0,
+  /**
+   * A BLS12-381 G1 point, as its 48-byte compressed encoding.
+   */
+  G1 = 1,
+  /**
+   * A BLS12-381 G2 point, as its 96-byte compressed encoding.
+   */
+  G2 = 2,
+  /**
+   * A list of BLS12-381 G1 points, as their compressed encodings one after
+   * the other.
+   */
+  G1List = 3,
+  /**
+   * A list of BLS12-381 G2 points, as their compressed encodings one after
+   * the other.
+   */
+  G2List = 4,
+  /**
+   * An array of BLS12-381 G1 points, as their compressed encodings one after
+   * the other.
+   */
+  G1Array = 5,
+  /**
+   * An array of BLS12-381 G2 points, as their compressed encodings one after
+   * the other.
+   */
+  G2Array = 6,
+}
+
+/**
+ * The outcome of [`eval_builtin_raw`].
+ */
+export class EvalBuiltinResult {
+  private constructor();
+  free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * The CPU the builtin's cost model charges for this application, under
+   * Plutus' default cost model for Plutus V3 at the protocol version; 0
+   * when the builtin was not costed (error kinds 1 and 2). It leaves out the
+   * machine's own step costs for evaluating the application (the builtin,
+   * each force and each apply).
+   */
+  cpu: bigint;
+  /**
+   * Why the builtin did not return a value, a [`BuiltinErrorKind`]: 0 when
+   * it did, 1 when it is not available to Plutus V3 at the protocol version,
+   * 2 when it did not accept its arguments (so the machine fails before
+   * costing it) and 3 when it failed after being costed.
+   */
+  error_kind: number;
+  /**
+   * The evaluator's description of why the builtin did not return a value;
+   * empty when it did.
+   */
+  error: string;
+  /**
+   * The memory the builtin's cost model charges for this application; see
+   * `cpu`.
+   */
+  mem: bigint;
+  /**
+   * Whether the builtin returned a value.
+   */
+  ok: boolean;
+  /**
+   * How `result` encodes the value, a [`BuiltinValueKind`] as for the
+   * arguments of [`eval_builtin_raw`]; 0 when there is no value.
+   */
+  result_kind: number;
+  /**
+   * The value the builtin returned; empty when there is none.
+   */
+  result: Uint8Array;
+}
+
+/**
+ * The outcome of [`eval_program_raw`].
+ */
+export class EvalProgramResult {
+  private constructor();
+  free(): void;
+  [Symbol.dispose](): void;
+  /**
+   * The CPU the program used. A program that went over budget is charged
+   * what it used up to the point where the machine stopped it.
+   */
+  cpu: bigint;
+  /**
+   * Why the program did not succeed: 0 when it did, 1 when it went over
+   * budget, 2 when it failed in any other way and 3 when a Plutus V3 program
+   * returned something other than unit.
+   */
+  error_kind: number;
+  /**
+   * The messages the program traced, in order.
+   */
+  logs: string[];
+  /**
+   * The memory the program used.
+   */
+  mem: bigint;
+  /**
+   * Whether the program succeeded: it did not fail and, for Plutus V3, it
+   * returned unit.
+   */
+  ok: boolean;
+}
+
+export function apply_params_to_script(
+  params_bytes: Uint8Array,
+  plutus_script_bytes: Uint8Array,
+): Uint8Array;
+
+/**
+ * Evaluates the builtin `tag` applied to `args` as a Plutus V3 script
+ * evaluates it at a protocol version, without any program around it: the
+ * result, or how it fails, is what the machine gives for the saturated
+ * application.
+ *
+ * - `tag`: the builtin's flat tag (0 for addInteger to 100 for scaleValue).
+ *   The Miller-loop builtins (68 to 70) are not supported, since their
+ *   results cannot be returned.
+ * - `args`: exactly the builtin's arguments, in order, each encoded as the
+ *   matching entry of `arg_kinds` says, a [`BuiltinValueKind`]: 0 for a
+ *   flat-encoded `(program 1.1.0 (con …))`, 1 for a compressed G1 point, 2
+ *   for a compressed G2 point, 3 for a list of G1 points, 4 for a list of G2
+ *   points, 5 for an array of G1 points and 6 for an array of G2 points, each
+ *   list or array as the compressed points one after the other. Flat cannot
+ *   encode BLS12-381 points, so they cross as their compressed bytes.
+ * - `protocol_major_version`: from 9 (Chang, which introduced Plutus V3) to
+ *   12 (Dijkstra). It decides which builtins are available and the semantics
+ *   they have.
+ *
+ * The result's `cpu` and `mem` are the builtin's charge for the application
+ * under Plutus' default Plutus V3 cost model (not the ledger's protocol
+ * parameters), excluding the machine's per-step costs.
+ *
+ * Fails only when the inputs are malformed or unsupported: an unknown or
+ * Miller-loop tag, a number of arguments other than the builtin's arity, an
+ * argument that does not decode as its kind says or is not a constant, an
+ * invalid compressed point, a protocol version out of range, or a result that
+ * none of the kinds can encode. A builtin that fails is an
+ * [`EvalBuiltinResult`] that is not `ok`.
+ */
+export function eval_builtin_raw(
+  tag: number,
+  args: Uint8Array[],
+  arg_kinds: Uint8Array,
+  protocol_major_version: number,
+): EvalBuiltinResult;
+
 export function eval_phase_two_raw(
   tx_bytes: Uint8Array,
   utxos_bytes_x: Uint8Array[],
@@ -12,10 +201,7 @@ export function eval_phase_two_raw(
   slot_config_z: number,
   protocol_major_version?: number | null,
 ): Uint8Array[];
-export function apply_params_to_script(
-  params_bytes: Uint8Array,
-  plutus_script_bytes: Uint8Array,
-): Uint8Array;
+
 /**
  * Evaluates a UPLC program applied to Data arguments, outside of any
  * transaction: the caller builds whatever arguments the program expects,
@@ -48,6 +234,7 @@ export function eval_program_raw(
   budget_mem: bigint,
   strict_budget: boolean,
 ): EvalProgramResult;
+
 /**
  * Describes this build of the evaluator as JSON: the uplc crate it was built
  * from, the length of each Plutus version's cost model, and a digest of what a
@@ -56,34 +243,3 @@ export function eval_program_raw(
  * programs; `selfTest` says whether this one gives the expected results.
  */
 export function uplc_build_info(): string;
-/**
- * The outcome of [`eval_program_raw`].
- */
-export class EvalProgramResult {
-  private constructor();
-  free(): void;
-  /**
-   * Whether the program succeeded: it did not fail and, for Plutus V3, it
-   * returned unit.
-   */
-  ok: boolean;
-  /**
-   * The CPU the program used. A program that went over budget is charged
-   * what it used up to the point where the machine stopped it.
-   */
-  cpu: bigint;
-  /**
-   * The memory the program used.
-   */
-  mem: bigint;
-  /**
-   * Why the program did not succeed: 0 when it did, 1 when it went over
-   * budget, 2 when it failed in any other way and 3 when a Plutus V3 program
-   * returned something other than unit.
-   */
-  error_kind: number;
-  /**
-   * The messages the program traced, in order.
-   */
-  logs: string[];
-}

package/dist/speed/browser/uplc_tx.js

@@ -1,5 +1,9 @@
+/* @ts-self-types="./uplc_tx.d.ts" */
 import * as wasm from "./uplc_tx_bg.wasm";
-export * from "./uplc_tx_bg.js";
 import { __wbg_set_wasm } from "./uplc_tx_bg.js";
+
 __wbg_set_wasm(wasm);
 wasm.__wbindgen_start();
+export {
+    BuiltinErrorKind, BuiltinValueKind, EvalBuiltinResult, EvalProgramResult, apply_params_to_script, eval_builtin_raw, eval_phase_two_raw, eval_program_raw, uplc_build_info
+} from "./uplc_tx_bg.js";