@proto-kit/common 0.1.1-develop.187 → 0.1.1-develop.189

package/package.json

@@ -3,7 +3,7 @@
   "license": "MIT",
   "private": false,
   "type": "module",
-  "version": "0.1.1-develop.187+293421d",
+  "version": "0.1.1-develop.189+635d3e8",
   "scripts": {
     "build": "tsc -p tsconfig.json",
     "dev": "tsc -p tsconfig.json --watch",
@@ -30,5 +30,5 @@
     "@jest/globals": "^29.5.0",
     "@types/lodash": "^4.14.194"
   },
-  "gitHead": "293421d9626d4bb280e51e76e18f645985da991b"
+  "gitHead": "635d3e8efd65003407cee19981392fdbef45680e"
 }

package/dist/Constants.d.ts

@@ -1,4 +0,0 @@
-export declare const constants: {
-    stateTransitionProverBatchSize: number;
-};
-//# sourceMappingURL=Constants.d.ts.map

package/dist/Constants.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Constants.d.ts","sourceRoot":"","sources":["../src/Constants.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,SAAS;;CAErB,CAAC"}

package/dist/Constants.js

@@ -1,3 +0,0 @@
-export const constants = {
-    stateTransitionProverBatchSize: 8,
-};

package/dist/config/ConfigurationAggregator.d.ts

@@ -1,10 +0,0 @@
-import { ComponentConfig, Components, RemoveUndefinedKeys, UninitializedComponentConfig } from "./types";
-/**
- * In this context, a "Component" is just a way of generalizing Modules,
- * because they don't have to be modules, they can be any configurable unit
- */
-export declare abstract class ConfigurationAggregator<Comps extends Components> {
-    protected applyConfig(modules: Comps, currentConfig: UninitializedComponentConfig<ComponentConfig<Comps>>, config: RemoveUndefinedKeys<ComponentConfig<Comps>>): ComponentConfig<Comps>;
-    abstract configure(config: RemoveUndefinedKeys<ComponentConfig<Comps>>): void;
-}
-//# sourceMappingURL=ConfigurationAggregator.d.ts.map

package/dist/config/ConfigurationAggregator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ConfigurationAggregator.d.ts","sourceRoot":"","sources":["../../src/config/ConfigurationAggregator.ts"],"names":[],"mappings":"AAGA,OAAO,EACL,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,4BAA4B,EAC7B,MAAM,SAAS,CAAC;AAEjB;;;GAGG;AACH,8BAAsB,uBAAuB,CAAC,KAAK,SAAS,UAAU;IACpE,SAAS,CAAC,WAAW,CACnB,OAAO,EAAE,KAAK,EACd,aAAa,EAAE,4BAA4B,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EACnE,MAAM,EAAE,mBAAmB,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAClD,eAAe,CAAC,KAAK,CAAC;aAgCT,SAAS,CACvB,MAAM,EAAE,mBAAmB,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAClD,IAAI;CACR"}

package/dist/config/ConfigurationAggregator.js

@@ -1,35 +0,0 @@
-/* eslint-disable @typescript-eslint/no-explicit-any,guard-for-in,@typescript-eslint/no-unsafe-member-access,max-len,@typescript-eslint/no-unsafe-assignment,@typescript-eslint/consistent-type-assertions */
-import merge from "lodash/merge";
-/**
- * In this context, a "Component" is just a way of generalizing Modules,
- * because they don't have to be modules, they can be any configurable unit
- */
-export class ConfigurationAggregator {
-    applyConfig(modules, currentConfig, config) {
-        const nextConfig = {};
-        for (const key in config) {
-            // Set config to module
-            if (currentConfig[key] === undefined) {
-                // Initialize config with merge between config and defaultConfig
-                // eslint-disable-next-line prefer-destructuring,putout/putout
-                const defaultConfig = modules[key].defaultConfig;
-                const newConfig = config[key];
-                for (const configKey in newConfig) {
-                    defaultConfig[configKey] = newConfig[configKey];
-                }
-                // The result of that is always a valid Required<Config> since FlipOptional<Config> requires the exact opposite of Config
-                modules[key].config = defaultConfig;
-                nextConfig[key] = defaultConfig;
-            }
-            else {
-                // Append/overwrite to existing config
-                const newConfig = config[key];
-                const moduleConfig = currentConfig[key];
-                merge(moduleConfig, newConfig);
-                modules[key].config = moduleConfig;
-                nextConfig[key] = moduleConfig;
-            }
-        }
-        return nextConfig;
-    }
-}

package/dist/config/ConfigurationReceiver.d.ts

@@ -1,25 +0,0 @@
-import type { FlipOptional } from "./types";
-/**
- * Configs:
- *
- * A property that accepts undefined, is an optional argument.
- * That means that you will have to provide it via defaultConfig() and it will
- * be non-undefined via this.config. This is used by devs to indicate
- * configurability but not necessary explicit definition.
- * I.e. when the default arguments will work most of the time
- *
- * If devs want a property that can be undefined, they should use null instead
- *
- */
-export declare abstract class ConfigurationReceiver<Config> {
-    private currentConfig?;
-    /**
-     * Retrieves the configured config object.
-     * This is only available in instance methods like start(), using this in
-     * the constructor will throw an Exception
-     */
-    get config(): Required<Config>;
-    set config(config: Required<Config>);
-    abstract get defaultConfig(): FlipOptional<Config>;
-}
-//# sourceMappingURL=ConfigurationReceiver.d.ts.map

package/dist/config/ConfigurationReceiver.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ConfigurationReceiver.d.ts","sourceRoot":"","sources":["../../src/config/ConfigurationReceiver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAO5C;;;;;;;;;;;GAWG;AACH,8BAAsB,qBAAqB,CAAC,MAAM;IAChD,OAAO,CAAC,aAAa,CAAC,CAA+B;IAErD;;;;OAIG;IACH,IAAW,MAAM,IAAI,QAAQ,CAAC,MAAM,CAAC,CAOpC;IAED,IAAW,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAEzC;IAED,aAAoB,aAAa,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;CAC3D"}

package/dist/config/ConfigurationReceiver.js

@@ -1,36 +0,0 @@
-const errors = {
-    configNotSet: (name) => new Error(`RuntimeModule (${name}) config has not been set!`),
-};
-/**
- * Configs:
- *
- * A property that accepts undefined, is an optional argument.
- * That means that you will have to provide it via defaultConfig() and it will
- * be non-undefined via this.config. This is used by devs to indicate
- * configurability but not necessary explicit definition.
- * I.e. when the default arguments will work most of the time
- *
- * If devs want a property that can be undefined, they should use null instead
- *
- */
-export class ConfigurationReceiver {
-    constructor() {
-        this.currentConfig = undefined;
-    }
-    /**
-     * Retrieves the configured config object.
-     * This is only available in instance methods like start(), using this in
-     * the constructor will throw an Exception
-     */
-    get config() {
-        if (this.currentConfig === undefined) {
-            // eslint-disable-next-line no-warning-comments
-            // TODO Check properly, Config could also be void
-            throw errors.configNotSet(this.constructor.name);
-        }
-        return this.currentConfig;
-    }
-    set config(config) {
-        this.currentConfig = config;
-    }
-}

package/dist/config/types.d.ts

@@ -1,2 +0,0 @@
-export type TypedClassConstructor<Type> = new (...args: any[]) => Type;
-//# sourceMappingURL=types.d.ts.map

package/dist/config/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/config/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,qBAAqB,CAAC,IAAI,IAAI,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,IAAI,CAAC"}

package/dist/config/types.js

@@ -1 +0,0 @@
-export {};

package/dist/model/MethodPublicInput.d.ts

@@ -1,51 +0,0 @@
-import { Bool, Field } from "snarkyjs";
-declare const MethodPublicInput_base: (new (value: {
-    stateTransitionsHash: Field;
-    status: Bool;
-    transactionHash: Field;
-}) => {
-    stateTransitionsHash: Field;
-    status: Bool;
-    transactionHash: Field;
-}) & {
-    _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    stateTransitionsHash: Field;
-    status: Bool;
-    transactionHash: Field;
-}> & {
-    toInput: (x: {
-        stateTransitionsHash: Field;
-        status: Bool;
-        transactionHash: Field;
-    }) => {
-        fields?: Field[] | undefined;
-        packed?: [Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        stateTransitionsHash: Field;
-        status: Bool;
-        transactionHash: Field;
-    }) => {
-        stateTransitionsHash: string;
-        status: boolean;
-        transactionHash: string;
-    };
-    fromJSON: (x: {
-        stateTransitionsHash: string;
-        status: boolean;
-        transactionHash: string;
-    }) => {
-        stateTransitionsHash: Field;
-        status: Bool;
-        transactionHash: Field;
-    };
-};
-/**
- * Public input used to link in-circuit execution with
- * the proof's public input.
- */
-export declare class MethodPublicInput extends MethodPublicInput_base {
-}
-export {};
-//# sourceMappingURL=MethodPublicInput.d.ts.map

package/dist/model/MethodPublicInput.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"MethodPublicInput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAU,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/C;;;GAGG;AACH,qBAAa,iBAAkB,SAAQ,sBAIrC;CAAG"}

package/dist/model/MethodPublicInput.js

@@ -1,11 +0,0 @@
-import { Bool, Field, Struct } from "snarkyjs";
-/**
- * Public input used to link in-circuit execution with
- * the proof's public input.
- */
-export class MethodPublicInput extends Struct({
-    stateTransitionsHash: Field,
-    status: Bool,
-    transactionHash: Field,
-}) {
-}

package/dist/model/Option.d.ts

@@ -1,89 +0,0 @@
-import { Bool, Field, type FlexibleProvablePure } from "snarkyjs";
-declare const ProvableOption_base: (new (value: {
-    isSome: Bool;
-    value: Field;
-}) => {
-    isSome: Bool;
-    value: Field;
-}) & {
-    _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    isSome: Bool;
-    value: Field;
-}> & {
-    toInput: (x: {
-        isSome: Bool;
-        value: Field;
-    }) => {
-        fields?: Field[] | undefined;
-        packed?: [Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        isSome: Bool;
-        value: Field;
-    }) => {
-        isSome: boolean;
-        value: string;
-    };
-    fromJSON: (x: {
-        isSome: boolean;
-        value: string;
-    }) => {
-        isSome: Bool;
-        value: Field;
-    };
-};
-export declare class ProvableOption extends ProvableOption_base {
-    toSome(): this;
-}
-/**
- * Option facilitating in-circuit values that may or may not exist.
- */
-export declare class Option<Value> {
-    isSome: Bool;
-    value: Value;
-    valueType: FlexibleProvablePure<Value>;
-    /**
-     * Creates a new Option from the provided parameters
-     *
-     * @param isSome
-     * @param value
-     * @param valueType
-     * @returns New option from the provided parameters.
-     */
-    static from<Value>(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>): Option<Value>;
-    /**
-     * Creates a new Option from the provided parameters
-     *
-     * @param value
-     * @param valueType
-     * @returns New option from the provided parameters.
-     */
-    static fromValue<Value>(value: Value, valueType: FlexibleProvablePure<Value>): Option<Value>;
-    /**
-     * @returns Empty / none option
-     */
-    static none(): Option<Field>;
-    static dummyValueFields<Value>(valueType: FlexibleProvablePure<Value>): Field[];
-    /**
-     * Computes a dummy value for the given value type.
-     *
-     * @param valueType - Value type to generate the dummy value for
-     * @returns Dummy value for the given value type
-     */
-    static dummyValue<Value>(valueType: FlexibleProvablePure<Value>): Value;
-    isForcedSome: Bool;
-    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>);
-    clone(): Option<Value>;
-    forceSome(): void;
-    /**
-     * @returns Tree representation of the current value
-     */
-    get treeValue(): Field;
-    /**
-     * @returns Provable representation of the current option.
-     */
-    toProvable(): ProvableOption;
-}
-export {};
-//# sourceMappingURL=Option.d.ts.map

package/dist/model/Option.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EAEJ,KAAK,EACL,KAAK,oBAAoB,EAG1B,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElB,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK;IA+Dd,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAhE/C;;;;;;;OAOG;WACW,IAAI,CAAC,KAAK,EACtB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;;;;;OAMG;WACW,SAAS,CAAC,KAAK,EAC3B,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAKxC;;OAEG;WACW,IAAI;WAIJ,gBAAgB,CAAC,KAAK,EAClC,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK,EAAE;IAKV;;;;;OAKG;WACW,UAAU,CAAC,KAAK,EAC5B,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,GACrC,KAAK;IAOD,YAAY,OAAe;gBAGzB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAGxC,KAAK;IAIL,SAAS;IAKhB;;OAEG;IACH,IAAW,SAAS,UAQnB;IAED;;OAEG;IACI,UAAU;CAMlB"}

package/dist/model/Option.js

@@ -1,86 +0,0 @@
-import { Bool, Circuit, Field, Poseidon, Struct, } from "snarkyjs";
-export class ProvableOption extends Struct({
-    isSome: Bool,
-    value: Field,
-}) {
-    toSome() {
-        this.isSome = Bool(true);
-        return this;
-    }
-}
-/**
- * Option facilitating in-circuit values that may or may not exist.
- */
-export class Option {
-    /**
-     * Creates a new Option from the provided parameters
-     *
-     * @param isSome
-     * @param value
-     * @param valueType
-     * @returns New option from the provided parameters.
-     */
-    static from(isSome, value, valueType) {
-        return new Option(isSome, value, valueType);
-    }
-    /**
-     * Creates a new Option from the provided parameters
-     *
-     * @param value
-     * @param valueType
-     * @returns New option from the provided parameters.
-     */
-    static fromValue(value, valueType) {
-        return this.from(Bool(true), value, valueType);
-    }
-    /**
-     * @returns Empty / none option
-     */
-    static none() {
-        return new Option(Bool(false), Field(0), Field);
-    }
-    static dummyValueFields(valueType) {
-        const length = valueType.sizeInFields();
-        return Array.from({ length }, () => Field(0));
-    }
-    /**
-     * Computes a dummy value for the given value type.
-     *
-     * @param valueType - Value type to generate the dummy value for
-     * @returns Dummy value for the given value type
-     */
-    static dummyValue(valueType) {
-        const fields = Option.dummyValueFields(valueType);
-        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-        return valueType.fromFields(fields);
-    }
-    constructor(isSome, value, valueType) {
-        this.isSome = isSome;
-        this.value = value;
-        this.valueType = valueType;
-        this.isForcedSome = Bool(false);
-    }
-    clone() {
-        return new Option(this.isSome, this.value, this.valueType);
-    }
-    forceSome() {
-        this.isForcedSome = Circuit.if(this.isSome, Bool(false), Bool(true));
-        this.isSome = Bool(true);
-    }
-    /**
-     * @returns Tree representation of the current value
-     */
-    get treeValue() {
-        const treeValue = Poseidon.hash(this.valueType.toFields(this.value));
-        return Circuit.if(this.isSome.and(this.isForcedSome.not()), treeValue, Field(0));
-    }
-    /**
-     * @returns Provable representation of the current option.
-     */
-    toProvable() {
-        return new ProvableOption({
-            isSome: this.isSome,
-            value: this.treeValue,
-        });
-    }
-}

package/dist/model/Path.d.ts

@@ -1,31 +0,0 @@
-import { Field, type FlexibleProvablePure } from "snarkyjs";
-/**
- * Helps manage path (key) identifiers for key-values in trees.
- */
-export declare class Path {
-    /**
-     * Encodes a JS string as a Field
-     *
-     * @param value
-     * @returns Field representation of the provided value
-     */
-    static toField(value: string): Field;
-    /**
-     * Encodes a class name and its property name into a Field
-     *
-     * @param className
-     * @param propertyKey
-     * @returns Field representation of class name + property name
-     */
-    static fromProperty(className: string, propertyKey: string): Field;
-    /**
-     * Encodes an existing path with the provided key into a single Field.
-     *
-     * @param path
-     * @param keyType
-     * @param key
-     * @returns Field representation of the leading path + the provided key.
-     */
-    static fromKey<KeyType>(path: Field, keyType: FlexibleProvablePure<KeyType>, key: KeyType): Field;
-}
-//# sourceMappingURL=Path.d.ts.map

package/dist/model/Path.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"Path.d.ts","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,EAAE,KAAK,oBAAoB,EAAY,MAAM,UAAU,CAAC;AAItE;;GAEG;AACH,qBAAa,IAAI;IACf;;;;;OAKG;WACW,OAAO,CAAC,KAAK,EAAE,MAAM;IAInC;;;;;;OAMG;WACW,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,KAAK;IAQzE;;;;;;;OAOG;WACW,OAAO,CAAC,OAAO,EAC3B,IAAI,EAAE,KAAK,EACX,OAAO,EAAE,oBAAoB,CAAC,OAAO,CAAC,EACtC,GAAG,EAAE,OAAO,GACX,KAAK;CAIT"}

package/dist/model/Path.js

@@ -1,44 +0,0 @@
-/* eslint-disable @typescript-eslint/no-extraneous-class */
-/* eslint-disable @shopify/no-fully-static-classes */
-import { Field, Poseidon } from "snarkyjs";
-import { stringToField } from "../utils/utils";
-/**
- * Helps manage path (key) identifiers for key-values in trees.
- */
-export class Path {
-    /**
-     * Encodes a JS string as a Field
-     *
-     * @param value
-     * @returns Field representation of the provided value
-     */
-    static toField(value) {
-        return stringToField(value);
-    }
-    /**
-     * Encodes a class name and its property name into a Field
-     *
-     * @param className
-     * @param propertyKey
-     * @returns Field representation of class name + property name
-     */
-    static fromProperty(className, propertyKey) {
-        return Poseidon.hash([
-            Path.toField(className),
-            Path.toField(propertyKey),
-            Field(0),
-        ]);
-    }
-    /**
-     * Encodes an existing path with the provided key into a single Field.
-     *
-     * @param path
-     * @param keyType
-     * @param key
-     * @returns Field representation of the leading path + the provided key.
-     */
-    static fromKey(path, keyType, key) {
-        const keyHash = Poseidon.hash(keyType.toFields(key));
-        return Poseidon.hash([path, keyHash]);
-    }
-}

package/dist/model/StateTransition.d.ts

@@ -1,85 +0,0 @@
-import { Field } from "snarkyjs";
-import { Option, ProvableOption } from "./Option.js";
-declare const ProvableStateTransition_base: (new (value: {
-    path: Field;
-    from: ProvableOption;
-    to: ProvableOption;
-}) => {
-    path: Field;
-    from: ProvableOption;
-    to: ProvableOption;
-}) & {
-    _isStruct: true;
-} & import("snarkyjs/dist/node/snarky.js").ProvablePure<{
-    path: Field;
-    from: ProvableOption;
-    to: ProvableOption;
-}> & {
-    toInput: (x: {
-        path: Field;
-        from: ProvableOption;
-        to: ProvableOption;
-    }) => {
-        fields?: Field[] | undefined;
-        packed?: [Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        path: Field;
-        from: ProvableOption;
-        to: ProvableOption;
-    }) => {
-        path: string;
-        from: {
-            isSome: boolean;
-            value: string;
-        };
-        to: {
-            isSome: boolean;
-            value: string;
-        };
-    };
-    fromJSON: (x: {
-        path: string;
-        from: {
-            isSome: boolean;
-            value: string;
-        };
-        to: {
-            isSome: boolean;
-            value: string;
-        };
-    }) => {
-        path: Field;
-        from: ProvableOption;
-        to: ProvableOption;
-    };
-};
-/**
- * Provable representation of a State Transition, used to
- * normalize state transitions of various value types for
- * the state transition circuit.
- */
-export declare class ProvableStateTransition extends ProvableStateTransition_base {
-    static dummy(): ProvableStateTransition;
-}
-/**
- * Generic state transition that constraints the current method circuit
- * to external state, by providing a state anchor.
- */
-export declare class StateTransition<Value> {
-    path: Field;
-    fromValue: Option<Field> | Option<Value>;
-    toValue: Option<Field> | Option<Value>;
-    static from<Value>(path: Field, fromValue: Option<Value>): StateTransition<Value>;
-    static fromTo<Value>(path: Field, fromValue: Option<Value>, toValue: Option<Value>): StateTransition<Value>;
-    constructor(path: Field, fromValue: Option<Field> | Option<Value>, toValue: Option<Field> | Option<Value>);
-    get from(): Option<Field> | Option<Value>;
-    get to(): Option<Field> | Option<Value>;
-    /**
-     * Converts a StateTransition to a ProvableStateTransition,
-     * while enforcing the 'from' property to be 'Some' in all cases.
-     */
-    toProvable(): ProvableStateTransition;
-}
-export {};
-//# sourceMappingURL=StateTransition.d.ts.map

package/dist/model/StateTransition.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"StateTransition.d.ts","sourceRoot":"","sources":["../../src/model/StateTransition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAErD;;;;GAIG;AACH,qBAAa,uBAAwB,SAAQ,4BAQ3C;WACc,KAAK,IAAI,uBAAuB;CAO/C;AAED;;;GAGG;AACH,qBAAa,eAAe,CAAC,KAAK;IAcvB,IAAI,EAAE,KAAK;IACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;WAfjC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;WAIjD,MAAM,CAAC,KAAK,EACxB,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,EACxB,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;gBAMf,IAAI,EAAE,KAAK,EACX,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,EACxC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IAG/C,IAAW,IAAI,kCAId;IAED,IAAW,EAAE,kCAEZ;IAED;;;OAGG;IACI,UAAU,IAAI,uBAAuB;CAO7C"}

package/dist/model/StateTransition.js

@@ -1,58 +0,0 @@
-import { Field, Struct } from "snarkyjs";
-import { Option, ProvableOption } from "./Option.js";
-/**
- * Provable representation of a State Transition, used to
- * normalize state transitions of various value types for
- * the state transition circuit.
- */
-export class ProvableStateTransition extends Struct({
-    path: Field,
-    // must be applied even if `None`
-    from: ProvableOption,
-    // must be ignored if `None`
-    to: ProvableOption,
-}) {
-    static dummy() {
-        return new ProvableStateTransition({
-            path: Field(0),
-            from: Option.none().toProvable(),
-            to: Option.none().toProvable(),
-        });
-    }
-}
-/**
- * Generic state transition that constraints the current method circuit
- * to external state, by providing a state anchor.
- */
-export class StateTransition {
-    static from(path, fromValue) {
-        return new StateTransition(path, fromValue, Option.none());
-    }
-    static fromTo(path, fromValue, toValue) {
-        return new StateTransition(path, fromValue, toValue);
-    }
-    constructor(path, fromValue, toValue) {
-        this.path = path;
-        this.fromValue = fromValue;
-        this.toValue = toValue;
-    }
-    get from() {
-        const from = this.fromValue.clone();
-        from.forceSome();
-        return from;
-    }
-    get to() {
-        return this.toValue.clone();
-    }
-    /**
-     * Converts a StateTransition to a ProvableStateTransition,
-     * while enforcing the 'from' property to be 'Some' in all cases.
-     */
-    toProvable() {
-        return new ProvableStateTransition({
-            path: this.path,
-            from: this.from.toProvable(),
-            to: this.to.toProvable(),
-        });
-    }
-}