@midnames/sdk 1.0.3 → 1.0.4

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/built-ins.js

@@ -1,216 +0,0 @@
-// This file is part of Compact.
-// Copyright (C) 2025 Midnight Foundation
-// SPDX-License-Identifier: Apache-2.0
-// Licensed under the Apache License, Version 2.0 (the "License");
-// you may not use this file except in compliance with the License.
-// You may obtain a copy of the License at
-//
-// 	http://www.apache.org/licenses/LICENSE-2.0
-//
-// Unless required by applicable law or agreed to in writing, software
-// distributed under the License is distributed on an "AS IS" BASIS,
-// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-// See the License for the specific language governing permissions and
-// limitations under the License.
-import * as ocrt from '@midnight-ntwrk/onchain-runtime-v3';
-import { MAX_FIELD } from './constants.js';
-import { CompactTypeJubjubPoint } from './compact-types.js';
-import { CompactError } from './error.js';
-const FIELD_MODULUS = MAX_FIELD + 1n;
-/**
- * Field addition
- * returns the result of adding x and y, wrapping if necessary
- * x and y are assumed to be values in the range [0, FIELD_MODULUS)
- */
-export function addField(x, y) {
-    const t = x + y;
-    // effectively mod(x + y, FIELD_MODULUS) for x and y in the assumed range
-    // (x + y) % FIELD_MODULUS would also work but would likely be more expensive
-    return t < FIELD_MODULUS ? t : t - FIELD_MODULUS;
-}
-/**
- * Field subtraction
- * returns the result of subtracting y from x, wrapping if necessary
- * x and y are assumed to be values in the range [0, FIELD_MODULUS)
- */
-export function subField(x, y) {
-    // effectively mod(x - y, FIELD_MODULUS) for x and y in the assumed range
-    // NB: JavaScript % implements remainder rather than modulus, so
-    // (x - y) % FIELD_MODULUS would return an incorrect value for negative values of x - y.
-    // also, any implementation involving % would likely be more expensive
-    const t = x - y;
-    return t >= 0 ? t : t + FIELD_MODULUS;
-}
-/**
- * Field multiplication
- * returns the result of multipying x and y, wrapping if necessary
- * x and y are assumed to be values in the range [0, FIELD_MODULUS)
- */
-export function mulField(x, y) {
-    // effectively mod(x * y, FIELD_MODULUS) for x and y in the assumed range
-    // (although JavaScript % implements remainder rather than modulo, remainder
-    // and modulo coincide for nonnegative inputs)
-    return (x * y) % FIELD_MODULUS;
-}
-/**
- * The Compact builtin `transient_hash` function
- *
- * This function is a circuit-efficient compression function from arbitrary
- * data to field elements, which is not guaranteed to persist between upgrades.
- * It should not be used to derive state data, but can be used for consistency
- * checks.
- */
-export function transientHash(rtType, value) {
-    return ocrt.valueToBigInt(ocrt.transientHash(rtType.alignment(), rtType.toValue(value)));
-}
-/**
- * The Compact builtin `transient_commit` function
- *
- * This function is a circuit-efficient commitment function from arbitrary
- * values representable in Compact, and a field element commitment opening, to
- * field elements, which is not guaranteed to persist between
- * upgrades. It should not be used to derive state data, but can be used for
- * consistency checks.
- *
- * @throws If `opening` is out of range for field elements
- */
-export function transientCommit(rtType, value, opening) {
-    return ocrt.valueToBigInt(ocrt.transientCommit(rtType.alignment(), rtType.toValue(value), ocrt.bigIntToValue(opening)));
-}
-/**
- * The Compact builtin `persistent_hash` function
- *
- * This function is a non-circuit-optimised hash function for mostly arbitrary
- * data. It is guaranteed to persist between upgrades, with the exception of
- * devnet. It *should* be used to derive state data, and not for consistency
- * checks where avoidable.
- *
- * Note that data containing `Opaque` elements *may* throw runtime errors, and
- * cannot be relied upon as a consistent representation.
- *
- * @throws If `rtType` encodes a type containing Compact 'Opaque' types
- */
-export function persistentHash(rtType, value) {
-    const wrapped = ocrt.persistentHash(rtType.alignment(), rtType.toValue(value))[0];
-    const res = new Uint8Array(32);
-    res.set(wrapped, 0);
-    return res;
-}
-/**
- * The Compact builtin `persistent_commit` function
- *
- * This function is a non-circuit-optimised commitment function from arbitrary
- * values representable in Compact, and a 256-bit bytestring opening, to a
- * 256-bit bytestring. It is guaranteed to persist between upgrades. It
- * *should* be used to derive state data, and not for consistency checks where
- * avoidable.
- *
- * Note that data containing `Opaque` elements *may* throw runtime errors, and
- * cannot be relied upon as a consistent representation.
- *
- * @throws If `rtType` encodes a type containing Compact 'Opaque' types, or
- * `opening` is not 32 bytes long
- */
-export function persistentCommit(rtType, value, opening) {
-    if (opening.length != 32) {
-        throw new CompactError('Expected 32-byte string');
-    }
-    const wrapped = ocrt.persistentCommit(rtType.alignment(), rtType.toValue(value), [opening])[0];
-    const res = new Uint8Array(32);
-    res.set(wrapped, 0);
-    return res;
-}
-/**
- * The Compact builtin `degrade_to_transient` function
- *
- * This function "degrades" the output of a {@link persistentHash} or
- * {@link persistentCommit} to a field element, which can then be used in
- * {@link transientHash} or {@link transientCommit}.
- *
- * @throws If `x` is not 32 bytes long
- */
-export function degradeToTransient(x) {
-    if (x.length != 32) {
-        throw new CompactError('Expected 32-byte string');
-    }
-    return ocrt.valueToBigInt(ocrt.degradeToTransient([x]));
-}
-/**
- * The Compact builtin `upgrade_from_transient` function
- *
- * This function "upgrades" the output of a {@link transientHash} or
- * {@link transientCommit} to 256-bit byte string, which can then be used in
- * {@link persistentHash} or {@link persistentCommit}.
- *
- * @throws If `x` is not a valid field element
- */
-export function upgradeFromTransient(x) {
-    const wrapped = ocrt.upgradeFromTransient(ocrt.bigIntToValue(x))[0];
-    const res = new Uint8Array(32);
-    res.set(wrapped, 0);
-    return res;
-}
-export function jubjubPointX(pt) {
-    return pt.x;
-}
-export function jubjubPointY(pt) {
-    return pt.y;
-}
-export function constructJubjubPoint(x, y) {
-    return { x: x, y: y };
-}
-/**
- * The Compact builtin `hash_to_curve` function
- *
- * This function maps arbitrary values representable in Compact to elliptic
- * curve points in the proof system's embedded curve.
- *
- * Outputs are guaranteed to have unknown discrete logarithm with respect to
- * the group base, and any other output, but are not guaranteed to be unique (a
- * given input can be proven correct for multiple outputs).
- *
- * Inputs of different types may have the same output, if they have the same
- * field-aligned binary representation.
- */
-export function hashToCurve(rtType, x) {
-    return CompactTypeJubjubPoint.fromValue(ocrt.hashToCurve(rtType.alignment(), rtType.toValue(x)));
-}
-/**
- * The Compact builtin `ec_add` function
- *
- * This function add two elliptic curve points (in multiplicative notation)
- */
-export function ecAdd(a, b) {
-    return CompactTypeJubjubPoint.fromValue(ocrt.ecAdd(CompactTypeJubjubPoint.toValue(a), CompactTypeJubjubPoint.toValue(b)));
-}
-/**
- * The Compact builtin `ec_mul` function
- *
- * This function multiplies an elliptic curve point by a scalar (in
- * multiplicative notation)
- */
-export function ecMul(a, b) {
-    return CompactTypeJubjubPoint.fromValue(ocrt.ecMul(CompactTypeJubjubPoint.toValue(a), ocrt.bigIntToValue(b)));
-}
-/**
- * The Compact builtin `ec_mul_generator` function
- *
- * This function multiplies the primary group generator of the embedded curve
- * by a scalar (in multiplicative notation)
- */
-export function ecMulGenerator(b) {
-    return CompactTypeJubjubPoint.fromValue(ocrt.ecMulGenerator(ocrt.bigIntToValue(b)));
-}
-/**
- * Concatenates multiple {@link AlignedValue}s
- * @internal
- */
-export function alignedConcat(...values) {
-    const res = { value: [], alignment: [] };
-    for (const value of values) {
-        res.value = res.value.concat(value.value);
-        res.alignment = res.alignment.concat(value.alignment);
-    }
-    return res;
-}
-//# sourceMappingURL=built-ins.js.map

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/built-ins.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"built-ins.js","sourceRoot":"","sources":["../src/built-ins.ts"],"names":[],"mappings":"AAAA,gCAAgC;AAChC,yCAAyC;AACzC,sCAAsC;AACtC,kEAAkE;AAClE,mEAAmE;AACnE,0CAA0C;AAC1C,EAAE;AACF,8CAA8C;AAC9C,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,2EAA2E;AAC3E,sEAAsE;AACtE,iCAAiC;AAEjC,OAAO,KAAK,IAAI,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAe,sBAAsB,EAAe,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,MAAM,aAAa,GAAW,SAAS,GAAG,EAAE,CAAC;AAE7C;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,yEAAyE;IACzE,6EAA6E;IAC7E,OAAO,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,yEAAyE;IACzE,gEAAgE;IAChE,wFAAwF;IACxF,sEAAsE;IACtE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IAC3C,yEAAyE;IACzE,4EAA4E;IAC5E,8CAA8C;IAC9C,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,aAAa,CAAC;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAI,MAAsB,EAAE,KAAQ;IAC/D,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,eAAe,CAAI,MAAsB,EAAE,KAAQ,EAAE,OAAe;IAClF,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC1H,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAI,MAAsB,EAAE,KAAQ;IAChE,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACpB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAI,MAAsB,EAAE,KAAQ,EAAE,OAAmB;IACvF,IAAI,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzB,MAAM,IAAI,YAAY,CAAC,yBAAyB,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACpB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAa;IAC9C,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACnB,MAAM,IAAI,YAAY,CAAC,yBAAyB,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,CAAS;IAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAC/B,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACpB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAe;IAC1C,OAAO,EAAE,CAAC,CAAC,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAe;IAC1C,OAAO,EAAE,CAAC,CAAC,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,CAAS,EAAE,CAAS;IACrD,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,WAAW,CAAI,MAAsB,EAAE,CAAI;IACzD,OAAO,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnG,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,KAAK,CAAC,CAAc,EAAE,CAAc;IAClD,OAAO,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5H,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CAAC,CAAc,EAAE,CAAS;IAC7C,OAAO,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAChH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,CAAS;IACtC,OAAO,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,GAAG,MAA2B;IAC1D,MAAM,GAAG,GAAsB,EAAE,KAAK,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1C,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/casts.d.ts

@@ -1,15 +0,0 @@
-/**
- * Compiler internal for typecasts
- * @internal
- */
-export declare function convertFieldToBytes(n: number, x: bigint, src: string): Uint8Array;
-/**
- * Compiler internal for typecasts
- * @internal
- */
-export declare function convertBytesToField(n: number, a: Uint8Array, src: string): bigint;
-/**
- * Compiler internal for typecasts
- * @internal
- */
-export declare function convertBytesToUint(maxval: number, n: number, a: Uint8Array, src: string): bigint;

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/casts.js

@@ -1,65 +0,0 @@
-// This file is part of Compact.
-// Copyright (C) 2025 Midnight Foundation
-// SPDX-License-Identifier: Apache-2.0
-// Licensed under the Apache License, Version 2.0 (the "License");
-// you may not use this file except in compliance with the License.
-// You may obtain a copy of the License at
-//
-// 	http://www.apache.org/licenses/LICENSE-2.0
-//
-// Unless required by applicable law or agreed to in writing, software
-// distributed under the License is distributed on an "AS IS" BASIS,
-// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-// See the License for the specific language governing permissions and
-// limitations under the License.
-import { MAX_FIELD } from './constants.js';
-import { CompactError } from './error.js';
-/**
- * Compiler internal for typecasts
- * @internal
- */
-export function convertFieldToBytes(n, x, src) {
-    const x_0 = x;
-    const a = new Uint8Array(n);
-    // counting on new Uint8Array setting all elements to zero; those not set are
-    // intentionally left with a value of zero
-    for (let i = 0; i < n; i++) {
-        a[i] = Number(x & 0xffn);
-        x = x / 0x100n;
-        if (x == 0n)
-            return a;
-    }
-    const msg = `range error at ${src}: Field or Uint value ${x_0} does not fit into ${n} bytes`;
-    throw new CompactError(msg);
-}
-/**
- * Compiler internal for typecasts
- * @internal
- */
-export function convertBytesToField(n, a, src) {
-    let x = 0n;
-    for (let i = n - 1; i >= 0; i -= 1) {
-        x = x * 0x100n + BigInt(a[i]);
-        if (x > MAX_FIELD) {
-            const msg = `range error at ${src}: the integer value of ${a} is greater than the maximum value of a Field`;
-            throw new CompactError(msg);
-        }
-    }
-    return x;
-}
-/**
- * Compiler internal for typecasts
- * @internal
- */
-export function convertBytesToUint(maxval, n, a, src) {
-    let x = 0n;
-    for (let i = n - 1; i >= 0; i -= 1) {
-        x = x * 0x100n + BigInt(a[i]);
-        if (x > maxval) {
-            const msg = `range error at ${src}: the integer value of ${a} is greater than the maximum value of Uint<0..${maxval + 1}>`;
-            throw new CompactError(msg);
-        }
-    }
-    return x;
-}
-//# sourceMappingURL=casts.js.map

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/casts.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"casts.js","sourceRoot":"","sources":["../src/casts.ts"],"names":[],"mappings":"AAAA,gCAAgC;AAChC,yCAAyC;AACzC,sCAAsC;AACtC,kEAAkE;AAClE,mEAAmE;AACnE,0CAA0C;AAC1C,EAAE;AACF,8CAA8C;AAC9C,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,2EAA2E;AAC3E,sEAAsE;AACtE,iCAAiC;AAEjC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,CAAS,EAAE,CAAS,EAAE,GAAW;IACnE,MAAM,GAAG,GAAG,CAAC,CAAC;IACd,MAAM,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5B,6EAA6E;IAC7E,0CAA0C;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;QACzB,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACf,IAAI,CAAC,IAAI,EAAE;YAAE,OAAO,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,GAAG,GAAG,kBAAkB,GAAG,yBAAyB,GAAG,sBAAsB,CAAC,QAAQ,CAAC;IAC7F,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,CAAS,EAAE,CAAa,EAAE,GAAW;IACvE,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,kBAAkB,GAAG,0BAA0B,CAAC,+CAA+C,CAAC;YAC5G,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,MAAc,EAAE,CAAS,EAAE,CAAa,EAAE,GAAW;IACtF,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,CAAC,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,kBAAkB,GAAG,0BAA0B,CAAC,iDAAiD,MAAM,GAAC,CAAC,GAAG,CAAC;YACzH,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/circuit-context.d.ts

@@ -1,66 +0,0 @@
-import * as ocrt from '@midnight-ntwrk/onchain-runtime-v3';
-import { EncodedCoinPublicKey, EncodedZswapLocalState, ZswapLocalState } from './zswap.js';
-import { PartialProofData, ProofData } from './proof-data.js';
-/**
- * The external information accessible from within a Compact circuit call
- */
-export interface CircuitContext<PS = any> {
-    /**
-     * The current private state for the contract.
-     */
-    currentPrivateState: PS;
-    /**
-     * The current Zswap local state. Tracks inputs and outputs produced during circuit execution.
-     */
-    currentZswapLocalState: EncodedZswapLocalState;
-    /**
-     * The current on-chain context the transaction is evolving.
-     */
-    currentQueryContext: ocrt.QueryContext;
-    /**
-     * The cost model to use for the execution.
-     */
-    costModel: ocrt.CostModel;
-    /**
-     * The gas limit for this circuit.
-     */
-    gasLimit?: ocrt.RunningCost;
-}
-export declare const createCircuitContext: <PS>(contractAddress: ocrt.ContractAddress, coinPublicKeyOrZswapState: ocrt.CoinPublicKey | EncodedCoinPublicKey | ZswapLocalState | EncodedZswapLocalState, contractState: ocrt.ContractState | ocrt.StateValue | ocrt.ChargedState, privateState: PS, gasLimit?: ocrt.RunningCost, costModel?: ocrt.CostModel, time?: number) => CircuitContext<PS>;
-/**
- * Function for creating an initial running cost of zero.
- *
- * @internal
- */
-export declare const emptyRunningCost: () => ocrt.RunningCost;
-/**
- * The results of the call to a Compact circuit
- */
-export interface CircuitResults<PS = any, R = any> {
-    /**
-     * The primary result, as returned from Compact
-     */
-    result: R;
-    /**
-     * The data required to prove this circuit run
-     */
-    proofData: ProofData;
-    /**
-     * The updated context after the circuit execution, that can be used to
-     * inform further runs
-     */
-    context: CircuitContext<PS>;
-    /**
-     * The gas consumption of the circuit execution
-     */
-    gasCost: ocrt.RunningCost;
-}
-/**
- * Runs a program (query) against the current ledger state in the given circuit context. Records the transcript in the
- * given partial proof data.
- *
- * @param circuitContext The context for the currently executing circuit.
- * @param partialProofData The partial proof data to insert the query results into.
- * @param program The query to run.
- */
-export declare const queryLedgerState: (circuitContext: CircuitContext, partialProofData: PartialProofData, program: ocrt.Op<null>[]) => ocrt.AlignedValue | ocrt.GatherResult[];

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/circuit-context.js

@@ -1,150 +0,0 @@
-// This file is part of Compact.
-// Copyright (C) 2025 Midnight Foundation
-// SPDX-License-Identifier: Apache-2.0
-// Licensed under the Apache License, Version 2.0 (the "License");
-// you may not use this file except in compliance with the License.
-// You may obtain a copy of the License at
-//
-// 	http://www.apache.org/licenses/LICENSE-2.0
-//
-// Unless required by applicable law or agreed to in writing, software
-// distributed under the License is distributed on an "AS IS" BASIS,
-// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-// See the License for the specific language governing permissions and
-// limitations under the License.
-import * as ocrt from '@midnight-ntwrk/onchain-runtime-v3';
-import { emptyZswapLocalState, encodeZswapLocalState, } from './zswap.js';
-import { CompactError } from './error.js';
-/**
- * @internal
- */
-const coerceToChargedState = (contractState) => {
-    let state;
-    if (contractState instanceof ocrt.ChargedState) {
-        state = contractState;
-    }
-    else if (contractState instanceof ocrt.ContractState) {
-        state = contractState.data;
-    }
-    else if (contractState instanceof ocrt.StateValue) {
-        state = new ocrt.ChargedState(contractState);
-    }
-    else {
-        throw new CompactError(`'contractState' parameter ${contractState} has unexpected type`);
-    }
-    return state;
-};
-/**
- * @internal
- */
-const createInitialQueryContext = (contractState, contractAddress, time) => {
-    const initialQueryContext = new ocrt.QueryContext(coerceToChargedState(contractState), contractAddress);
-    const balance = contractState instanceof ocrt.ContractState ? contractState.balance : new Map();
-    initialQueryContext.block = {
-        ...initialQueryContext.block,
-        balance,
-        ownAddress: contractAddress,
-        secondsSinceEpoch: BigInt(time ?? Math.floor(Date.now() / 1_000)),
-    };
-    return initialQueryContext;
-};
-/**
- * @internal
- */
-const isZswapLocalState = (value) => {
-    return (typeof value === 'object' &&
-        value !== null &&
-        'coinPublicKey' in value &&
-        typeof value.coinPublicKey === 'string' &&
-        'currentIndex' in value &&
-        'inputs' in value &&
-        'outputs' in value);
-};
-/**
- * @internal
- */
-const isEncodedZswapLocalState = (value) => {
-    return (typeof value === 'object' &&
-        value !== null &&
-        'coinPublicKey' in value &&
-        typeof value.coinPublicKey === 'object' &&
-        value.coinPublicKey !== null &&
-        'bytes' in value.coinPublicKey &&
-        'currentIndex' in value &&
-        'inputs' in value &&
-        'outputs' in value);
-};
-export const createCircuitContext = (contractAddress, coinPublicKeyOrZswapState, contractState, privateState, gasLimit, costModel, time) => {
-    const initialQueryContext = createInitialQueryContext(contractState, contractAddress, time);
-    let zswapLocalState;
-    if (isZswapLocalState(coinPublicKeyOrZswapState)) {
-        // Convert ZswapLocalState to EncodedZswapLocalState
-        zswapLocalState = encodeZswapLocalState(coinPublicKeyOrZswapState);
-    }
-    else if (isEncodedZswapLocalState(coinPublicKeyOrZswapState)) {
-        // Use EncodedZswapLocalState directly
-        zswapLocalState = coinPublicKeyOrZswapState;
-    }
-    else {
-        // It's a CoinPublicKey or EncodedCoinPublicKey, create empty state
-        zswapLocalState = emptyZswapLocalState(coinPublicKeyOrZswapState);
-    }
-    return {
-        currentPrivateState: privateState,
-        currentZswapLocalState: zswapLocalState,
-        currentQueryContext: initialQueryContext,
-        costModel: costModel ?? ocrt.CostModel.initialCostModel(),
-        gasLimit,
-    };
-};
-/**
- * Function for creating an initial running cost of zero.
- *
- * @internal
- */
-export const emptyRunningCost = () => ({
-    readTime: 0n,
-    computeTime: 0n,
-    bytesWritten: 0n,
-    bytesDeleted: 0n,
-});
-/**
- * Runs a program (query) against the current ledger state in the given circuit context. Records the transcript in the
- * given partial proof data.
- *
- * @param circuitContext The context for the currently executing circuit.
- * @param partialProofData The partial proof data to insert the query results into.
- * @param program The query to run.
- */
-export const queryLedgerState = (circuitContext, partialProofData, program) => {
-    try {
-        const res = circuitContext.currentQueryContext.query(program, circuitContext.costModel, circuitContext.gasLimit);
-        circuitContext.currentQueryContext = res.context;
-        // @ts-expect-error: We use a hidden variable to track running cost so we can move it to `CircuitResults` at the end
-        circuitContext['gasCost'] = res.gasCost;
-        const reads = res.events.filter((e) => e.tag === 'read');
-        let i = 0;
-        partialProofData.publicTranscript = partialProofData.publicTranscript.concat(program.map((op) => typeof op === 'object' && 'popeq' in op
-            ? {
-                popeq: {
-                    ...op.popeq,
-                    result: reads[i++].content,
-                },
-            }
-            : op));
-        if (res.events.length === 1) {
-            const event = res.events[0];
-            if (event.tag === 'read') {
-                return event.content;
-            }
-        }
-        return res.events;
-    }
-    catch (err) {
-        if (err instanceof Error) {
-            throw new CompactError(err.toString());
-        }
-        throw err;
-    }
-};
-//# sourceMappingURL=circuit-context.js.map

package/node_modules/@midnames/ns/node_modules/@midnight-ntwrk/compact-runtime/dist/circuit-context.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"circuit-context.js","sourceRoot":"","sources":["../src/circuit-context.ts"],"names":[],"mappings":"AAAA,gCAAgC;AAChC,yCAAyC;AACzC,sCAAsC;AACtC,kEAAkE;AAClE,mEAAmE;AACnE,0CAA0C;AAC1C,EAAE;AACF,8CAA8C;AAC9C,EAAE;AACF,sEAAsE;AACtE,oEAAoE;AACpE,2EAA2E;AAC3E,sEAAsE;AACtE,iCAAiC;AAEjC,OAAO,KAAK,IAAI,MAAM,oCAAoC,CAAC;AAC3D,OAAO,EACL,oBAAoB,EAIpB,qBAAqB,GACtB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AA4B1C;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAAC,aAAuE,EAAqB,EAAE;IAC1H,IAAI,KAAK,CAAC;IACV,IAAI,aAAa,YAAY,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/C,KAAK,GAAG,aAAa,CAAC;IACxB,CAAC;SAAM,IAAI,aAAa,YAAY,IAAI,CAAC,aAAa,EAAE,CAAC;QACvD,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC;IAC7B,CAAC;SAAM,IAAI,aAAa,YAAY,IAAI,CAAC,UAAU,EAAE,CAAC;QACpD,KAAK,GAAG,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,YAAY,CAAC,6BAA6B,aAAa,sBAAsB,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,yBAAyB,GAAG,CAChC,aAAuE,EACvE,eAAqC,EACrC,IAAa,EACM,EAAE;IACrB,MAAM,mBAAmB,GAAG,IAAI,IAAI,CAAC,YAAY,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC,CAAC;IACxG,MAAM,OAAO,GAAG,aAAa,YAAY,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;IAChG,mBAAmB,CAAC,KAAK,GAAG;QAC1B,GAAG,mBAAmB,CAAC,KAAK;QAC5B,OAAO;QACP,UAAU,EAAE,eAAe;QAC3B,iBAAiB,EAAE,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC;KAClE,CAAC;IACF,OAAO,mBAAmB,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,iBAAiB,GAAG,CAAC,KAAU,EAA4B,EAAE;IACjE,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,eAAe,IAAI,KAAK;QACxB,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ;QACvC,cAAc,IAAI,KAAK;QACvB,QAAQ,IAAI,KAAK;QACjB,SAAS,IAAI,KAAK,CACnB,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,KAAU,EAAmC,EAAE;IAC/E,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,eAAe,IAAI,KAAK;QACxB,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ;QACvC,KAAK,CAAC,aAAa,KAAK,IAAI;QAC5B,OAAO,IAAI,KAAK,CAAC,aAAa;QAC9B,cAAc,IAAI,KAAK;QACvB,QAAQ,IAAI,KAAK;QACjB,SAAS,IAAI,KAAK,CACnB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,eAAqC,EACrC,yBAA+G,EAC/G,aAAuE,EACvE,YAAgB,EAChB,QAA2B,EAC3B,SAA0B,EAC1B,IAAa,EACO,EAAE;IACtB,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,aAAa,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IAE5F,IAAI,eAAuC,CAAC;IAE5C,IAAI,iBAAiB,CAAC,yBAAyB,CAAC,EAAE,CAAC;QACjD,oDAAoD;QACpD,eAAe,GAAG,qBAAqB,CAAC,yBAAyB,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,wBAAwB,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAC/D,sCAAsC;QACtC,eAAe,GAAG,yBAAyB,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,mEAAmE;QACnE,eAAe,GAAG,oBAAoB,CAAC,yBAAyB,CAAC,CAAC;IACpE,CAAC;IAED,OAAO;QACL,mBAAmB,EAAE,YAAY;QACjC,sBAAsB,EAAE,eAAe;QACvC,mBAAmB,EAAE,mBAAmB;QACxC,SAAS,EAAE,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE;QACzD,QAAQ;KACT,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAqB,EAAE,CAAC,CAAC;IACvD,QAAQ,EAAE,EAAE;IACZ,WAAW,EAAE,EAAE;IACf,YAAY,EAAE,EAAE;IAChB,YAAY,EAAE,EAAE;CACjB,CAAC,CAAC;AAyBH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,cAA8B,EAC9B,gBAAkC,EAClC,OAAwB,EACiB,EAAE;IAC3C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,cAAc,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,CAAC,SAAS,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC;QACjH,cAAc,CAAC,mBAAmB,GAAG,GAAG,CAAC,OAAO,CAAC;QACjD,oHAAoH;QACpH,cAAc,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC;QACzD,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,gBAAgB,CAAC,gBAAgB,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,CAC1E,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACjB,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,IAAI,EAAE;YACrC,CAAC,CAAC;gBACE,KAAK,EAAE;oBACL,GAAG,EAAE,CAAC,KAAK;oBACX,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO;iBAC3B;aACF;YACH,CAAC,CAAC,EAAE,CACyB,CAClC,CAAC;QACF,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC,OAAO,CAAC;YACvB,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC,MAAM,CAAC;IACpB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,GAAG,CAAC;IACZ,CAAC;AACH,CAAC,CAAC"}