@proto-kit/module 0.1.1-develop.211 → 0.1.1-develop.2137

package/dist/module/src/runtime/Runtime.js

@@ -1,184 +0,0 @@
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-var Runtime_1;
-// eslint-disable-next-line max-len
-/* eslint-disable @typescript-eslint/no-explicit-any,@typescript-eslint/no-unsafe-assignment,max-lines */
-import { Experimental } from "snarkyjs";
-import { injectable } from "tsyringe";
-import { ModuleContainer, ZkProgrammable, } from "@proto-kit/common";
-import { MethodPublicOutput, StateServiceProvider, } from "@proto-kit/protocol";
-import { combineMethodName, isRuntimeMethod, toWrappedMethod, } from "../method/runtimeMethod";
-import { MethodIdFactory } from "../factories/MethodIdFactory";
-const errors = {
-    methodNotFound: (methodKey) => new Error(`Unable to find method with id ${methodKey}`),
-};
-export class RuntimeZkProgrammable extends ZkProgrammable {
-    // eslint-disable-next-line @typescript-eslint/no-use-before-define
-    constructor(runtime) {
-        super();
-        this.runtime = runtime;
-    }
-    get appChain() {
-        return this.runtime.appChain;
-    }
-    zkProgramFactory() {
-        // We need to use explicit type annotations here,
-        // therefore we can't use destructuring
-        // eslint-disable-next-line max-len
-        // eslint-disable-next-line @typescript-eslint/no-use-before-define,prefer-destructuring,putout/putout
-        const runtime = this.runtime;
-        const runtimeMethods = runtime.runtimeModuleNames.reduce((allMethods, runtimeModuleName) => {
-            runtime.isValidModuleName(runtime.definition.modules, runtimeModuleName);
-            /**
-             * Couldnt find a better way to circumvent the type assertion
-             * regarding resolving only known modules. We assert in the line above
-             * but we cast it to any anyways to satisfy the proof system.
-             */
-            // eslint-disable-next-line max-len
-            // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-            const runtimeModule = runtime.resolve(runtimeModuleName);
-            // eslint-disable-next-line max-len
-            // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-            const modulePrototype = Object.getPrototypeOf(runtimeModule);
-            const modulePrototypeMethods = Object.getOwnPropertyNames(modulePrototype);
-            const moduleMethods = modulePrototypeMethods.reduce((allModuleMethods, methodName) => {
-                if (isRuntimeMethod(runtimeModule, methodName)) {
-                    const combinedMethodName = combineMethodName(runtimeModuleName, methodName);
-                    const method = modulePrototype[methodName];
-                    const wrappedMethod = Reflect.apply(toWrappedMethod, runtimeModule, [methodName, method]);
-                    // eslint-disable-next-line no-warning-comments
-                    // TODO: find out how to import the Tuple type
-                    const privateInputs = Reflect.getMetadata("design:paramtypes", runtimeModule, methodName);
-                    return {
-                        ...allModuleMethods,
-                        [combinedMethodName]: {
-                            privateInputs,
-                            method: wrappedMethod,
-                        },
-                    };
-                }
-                return allModuleMethods;
-            }, {});
-            return {
-                ...allMethods,
-                ...moduleMethods,
-            };
-        }, {});
-        const sortedRuntimeMethods = Object.fromEntries(
-        // eslint-disable-next-line @typescript-eslint/require-array-sort-compare
-        Object.entries(runtimeMethods).sort());
-        const program = Experimental.ZkProgram({
-            publicOutput: MethodPublicOutput,
-            methods: sortedRuntimeMethods,
-        });
-        const SelfProof = Experimental.ZkProgram.Proof(program);
-        const methods = Object.keys(sortedRuntimeMethods).reduce((boundMethods, methodName) => {
-            boundMethods[methodName] = program[methodName].bind(program);
-            return boundMethods;
-        }, {});
-        return {
-            compile: program.compile.bind(program),
-            verify: program.verify.bind(program),
-            Proof: SelfProof,
-            methods,
-        };
-    }
-}
-/**
- * Wrapper for an application specific runtime, which helps orchestrate
- * runtime modules into an interoperable runtime.
- */
-let Runtime = Runtime_1 = class Runtime extends ModuleContainer {
-    static from(definition) {
-        return new Runtime_1(definition);
-    }
-    /**
-     * Creates a new Runtime from the provided config
-     *
-     * @param modules - Configuration object for the constructed Runtime
-     */
-    constructor(definition) {
-        super(definition);
-        this.stateServiceProviderInstance = new StateServiceProvider(
-        // eslint-disable-next-line etc/no-deprecated
-        this.definition.state);
-        this.definition = definition;
-        this.zkProgrammable = new RuntimeZkProgrammable(this);
-    }
-    // eslint-disable-next-line no-warning-comments
-    // TODO Remove after changing DFs to type-based approach
-    start() {
-        this.registerValue({
-            Runtime: this,
-        });
-        this.registerDependencyFactories([MethodIdFactory]);
-    }
-    get appChain() {
-        return this.container.resolve("AppChain");
-    }
-    get stateService() {
-        return this.stateServiceProviderInstance.stateService;
-    }
-    get stateServiceProvider() {
-        return this.stateServiceProviderInstance;
-    }
-    /**
-     * @returns The dependency injection container of this runtime
-     */
-    get dependencyContainer() {
-        return this.container;
-    }
-    /**
-     * @param methodId The encoded name of the method to call.
-     * Encoding: "stringToField(module.name) << 128 + stringToField(method-name)"
-     */
-    getMethodById(methodId) {
-        const methodDescriptor = this.container
-            .resolve("MethodIdResolver")
-            .getMethodNameFromId(methodId);
-        if (methodDescriptor === undefined) {
-            return undefined;
-        }
-        const [moduleName, methodName] = methodDescriptor;
-        this.isValidModuleName(this.definition.modules, moduleName);
-        const module = this.resolve(moduleName);
-        // eslint-disable-next-line max-len
-        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions,@typescript-eslint/no-unsafe-member-access
-        const method = module[methodName];
-        if (method === undefined) {
-            throw errors.methodNotFound(`${moduleName}.${methodName}`);
-        }
-        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-        return method.bind(module);
-    }
-    /**
-     * Add a name and other respective properties required by RuntimeModules,
-     * that come from the current Runtime
-     *
-     * @param moduleName - Name of the runtime module to decorate
-     * @param containedModule
-     */
-    decorateModule(moduleName, containedModule) {
-        containedModule.name = moduleName;
-        containedModule.runtime = this;
-        super.decorateModule(moduleName, containedModule);
-    }
-    /**
-     * @returns A list of names of all the registered module names
-     */
-    get runtimeModuleNames() {
-        return Object.keys(this.definition.modules);
-    }
-};
-Runtime = Runtime_1 = __decorate([
-    injectable(),
-    __metadata("design:paramtypes", [Object])
-], Runtime);
-export { Runtime };

package/dist/module/src/runtime/RuntimeModule.d.ts

@@ -1,35 +0,0 @@
-import { ConfigurableModule, Presets } from "@proto-kit/common";
-import { NetworkState, RuntimeTransaction, StateService } from "@proto-kit/protocol";
-import type { Runtime, RuntimeDefinition, RuntimeModulesRecord } from "./Runtime";
-/**
- * This type exists to carry over certain runtime properties
- * to runtime modules, until we can inject them through DI.
- */
-export interface PartialRuntime extends Pick<Runtime<RuntimeModulesRecord>, "zkProgrammable"> {
-    definition: Pick<RuntimeDefinition<RuntimeModulesRecord>, "state">;
-    get stateService(): StateService;
-}
-/**
- * Base class for runtime modules providing the necessary utilities.
- */
-export declare class RuntimeModule<Config> extends ConfigurableModule<Config> {
-    static presets: Presets<unknown>;
-    /**
-     * Holds all method names that are callable throw transactions
-     */
-    readonly runtimeMethodNames: string[];
-    /**
-     * This property exists only to typecheck that the RuntimeModule
-     * was extended correctly in e.g. a decorator. We need at least
-     * one non-optional property in this class to make the typechecking work.
-     */
-    isRuntimeModule: boolean;
-    name?: string;
-    test?: number;
-    runtime?: Runtime<RuntimeModulesRecord>;
-    constructor();
-    private getInputs;
-    get transaction(): RuntimeTransaction;
-    get network(): NetworkState;
-}
-//# sourceMappingURL=RuntimeModule.d.ts.map

package/dist/module/src/runtime/RuntimeModule.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"RuntimeModule.d.ts","sourceRoot":"","sources":["../../../../src/runtime/RuntimeModule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAEhE,OAAO,EACL,YAAY,EACZ,kBAAkB,EAClB,YAAY,EAGb,MAAM,qBAAqB,CAAC;AAI7B,OAAO,KAAK,EACV,OAAO,EACP,iBAAiB,EACjB,oBAAoB,EACrB,MAAM,WAAW,CAAC;AAMnB;;;GAGG;AACH,MAAM,WAAW,cACf,SAAQ,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,EAAE,gBAAgB,CAAC;IAC7D,UAAU,EAAE,IAAI,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC,CAAC;IAEnE,IAAI,YAAY,IAAI,YAAY,CAAC;CAClC;AAED;;GAEG;AACH,qBACa,aAAa,CAAC,MAAM,CAAE,SAAQ,kBAAkB,CAAC,MAAM,CAAC;IACnE,OAAc,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAM;IAE7C;;OAEG;IACH,SAAgB,kBAAkB,EAAE,MAAM,EAAE,CAAM;IAElD;;;;OAIG;IACI,eAAe,UAAQ;IAEvB,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,OAAO,CAAC,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC;;IAY/C,OAAO,CAAC,SAAS;IAWjB,IAAW,WAAW,IAAI,kBAAkB,CAE3C;IAED,IAAW,OAAO,IAAI,YAAY,CAEjC;CACF"}

package/dist/module/src/runtime/RuntimeModule.js

@@ -1,56 +0,0 @@
-var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
-    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
-    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
-    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
-    return c > 3 && r && Object.defineProperty(target, key, r), r;
-};
-var __metadata = (this && this.__metadata) || function (k, v) {
-    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
-};
-import { ConfigurableModule } from "@proto-kit/common";
-import { container, injectable } from "tsyringe";
-import { RuntimeMethodExecutionContext, } from "@proto-kit/protocol";
-import { runtimeMethodNamesMetadataKey } from "../method/runtimeMethod";
-const errors = {
-    inputDataNotSet: () => new Error("Input data for runtime execution not set"),
-};
-/**
- * Base class for runtime modules providing the necessary utilities.
- */
-let RuntimeModule = class RuntimeModule extends ConfigurableModule {
-    constructor() {
-        super();
-        /**
-         * Holds all method names that are callable throw transactions
-         */
-        this.runtimeMethodNames = [];
-        /**
-         * This property exists only to typecheck that the RuntimeModule
-         * was extended correctly in e.g. a decorator. We need at least
-         * one non-optional property in this class to make the typechecking work.
-         */
-        this.isRuntimeModule = true;
-        // eslint-disable-next-line @typescript-eslint/no-unsafe-assignment
-        const methodNames = Reflect.getMetadata(runtimeMethodNamesMetadataKey, this);
-        this.runtimeMethodNames = methodNames ?? [];
-    }
-    getInputs() {
-        const { input } = container.resolve(RuntimeMethodExecutionContext);
-        if (input === undefined) {
-            throw errors.inputDataNotSet();
-        }
-        return input;
-    }
-    get transaction() {
-        return this.getInputs().transaction;
-    }
-    get network() {
-        return this.getInputs().networkState;
-    }
-};
-RuntimeModule.presets = {};
-RuntimeModule = __decorate([
-    injectable(),
-    __metadata("design:paramtypes", [])
-], RuntimeModule);
-export { RuntimeModule };

package/dist/module/src/state/InMemoryStateService.d.ts

@@ -1,11 +0,0 @@
-import { Field } from "snarkyjs";
-import { StateService } from "@proto-kit/protocol";
-/**
- * Naive implementation of a StateService for testing purposes
- */
-export declare class InMemoryStateService implements StateService {
-    values: Record<string, Field[] | undefined>;
-    get(key: Field): Field[] | undefined;
-    set(key: Field, value: Field[] | undefined): void;
-}
-//# sourceMappingURL=InMemoryStateService.d.ts.map

package/dist/module/src/state/InMemoryStateService.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"InMemoryStateService.d.ts","sourceRoot":"","sources":["../../../../src/state/InMemoryStateService.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD;;GAEG;AACH,qBAAa,oBAAqB,YAAW,YAAY;IAChD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,CAAM;IAEjD,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,EAAE,GAAG,SAAS;IAIpC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,SAAS;CAWlD"}

package/dist/module/src/state/InMemoryStateService.js

@@ -1,21 +0,0 @@
-/**
- * Naive implementation of a StateService for testing purposes
- */
-export class InMemoryStateService {
-    constructor() {
-        this.values = {};
-    }
-    get(key) {
-        return this.values[key.toString()];
-    }
-    set(key, value) {
-        if (value === undefined &&
-            Object.prototype.hasOwnProperty.call(this.values, key.toString())) {
-            // eslint-disable-next-line @typescript-eslint/no-dynamic-delete
-            delete this.values[key.toString()];
-        }
-        else {
-            this.values[key.toString()] = value;
-        }
-    }
-}

package/dist/module/src/state/decorator.d.ts

@@ -1,7 +0,0 @@
-import type { RuntimeModule } from "../runtime/RuntimeModule.js";
-/**
- * Decorates a runtime module property as state, passing down some
- * underlying values to improve developer experience.
- */
-export declare function state(): <TargetRuntimeModule extends RuntimeModule<unknown>>(target: TargetRuntimeModule, propertyKey: string) => void;
-//# sourceMappingURL=decorator.d.ts.map

package/dist/module/src/state/decorator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"decorator.d.ts","sourceRoot":"","sources":["../../../../src/state/decorator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAgBjE;;;GAGG;AACH,wBAAgB,KAAK,mGAGJ,MAAM,UAqCtB"}

package/dist/module/src/state/decorator.js

@@ -1,42 +0,0 @@
-import { Path } from "@proto-kit/protocol";
-const errors = {
-    missingName: (className) => new Error(`Unable to provide a unique identifier for state, ${className} is missing a name. 
-      Did you forget to extend your runtime module with 'extends RuntimeModule'?`),
-    missingRuntime: (className) => new Error(`Unable to provide 'runtime' for state, ${className} is missing a name. 
-      Did you forget to extend your runtime module with 'extends RuntimeModule'?`),
-};
-/**
- * Decorates a runtime module property as state, passing down some
- * underlying values to improve developer experience.
- */
-export function state() {
-    return (target, propertyKey) => {
-        // eslint-disable-next-line @typescript-eslint/init-declarations
-        let value;
-        Object.defineProperty(target, propertyKey, {
-            enumerable: true,
-            get: function get() {
-                // eslint-disable-next-line max-len
-                // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
-                const self = this;
-                if (self.name === undefined) {
-                    throw errors.missingName(self.constructor.name);
-                }
-                if (!self.runtime) {
-                    throw errors.missingRuntime(self.constructor.name);
-                }
-                const path = Path.fromProperty(self.name, propertyKey);
-                if (value) {
-                    value.path = path;
-                    // eslint-disable-next-line no-warning-comments
-                    // TODO: why is this complaining about `any`?
-                    value.stateServiceProvider = self.runtime.stateServiceProvider;
-                }
-                return value;
-            },
-            set: (newValue) => {
-                value = newValue;
-            },
-        });
-    };
-}

package/dist/protocol/src/model/Option.d.ts

@@ -1,98 +0,0 @@
-import { Bool, Field, type FlexibleProvablePure } from "snarkyjs";
-declare const ProvableOption_base: (new (value: {
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
-}) => {
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
-}) & {
-    _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
-}> & {
-    toInput: (x: {
-        isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
-    }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
-    }) => {
-        isSome: boolean;
-        value: string;
-    };
-    fromJSON: (x: {
-        isSome: boolean;
-        value: string;
-    }) => {
-        isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
-    };
-};
-export declare class ProvableOption extends ProvableOption_base {
-    toSome(): this;
-}
-export interface ToFieldable {
-    toFields: () => Field[];
-}
-/**
- * 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<import("snarkyjs/dist/node/lib/field").Field>;
-    isForcedSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>);
-    clone(): Option<Value>;
-    forceSome(): void;
-    /**
-     * @returns Tree representation of the current value
-     */
-    get treeValue(): import("snarkyjs/dist/node/lib/field").Field;
-    /**
-     * Returns the `to`-value as decoded as a list of fields
-     * Not in circuit
-     */
-    toFields(): Field[];
-    /**
-     * @returns Provable representation of the current option.
-     */
-    toProvable(): ProvableOption;
-    /**
-     * @returns Returns the value of this option if it isSome,
-     * otherwise returns the given defaultValue
-     */
-    orElse(defaultValue: Value): Value;
-    toJSON(): {
-        isSome: boolean;
-        value: string;
-    };
-}
-export {};
-//# sourceMappingURL=Option.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../../../../protocol/src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EAEL,KAAK,oBAAoB,EAI1B,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElB,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,KAAK,EAAE,CAAC;CACzB;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK;IAyCd,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IA1C/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;IAIX,YAAY,6CAAe;gBAGzB,MAAM,EAAE,IAAI,EACZ,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAGxC,KAAK;IAIL,SAAS;IAKhB;;OAEG;IACH,IAAW,SAAS,iDAQnB;IAED;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;IAOjB;;;OAGG;IACI,MAAM,CAAC,YAAY,EAAE,KAAK,GAAG,KAAK;IASlC,MAAM;;;;CAYd"}

package/dist/protocol/src/model/Option.js

@@ -1,98 +0,0 @@
-import { Bool, Field, Poseidon, Provable, 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);
-    }
-    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 = Provable.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 Provable.if(this.isSome.and(this.isForcedSome.not()), treeValue, Field(0));
-    }
-    /**
-     * Returns the `to`-value as decoded as a list of fields
-     * Not in circuit
-     */
-    toFields() {
-        if (this.isSome.toBoolean()) {
-            return this.valueType.toFields(this.value);
-        }
-        return [Field(0)];
-    }
-    /**
-     * @returns Provable representation of the current option.
-     */
-    toProvable() {
-        return new ProvableOption({
-            isSome: this.isSome,
-            value: this.treeValue,
-        });
-    }
-    /**
-     * @returns Returns the value of this option if it isSome,
-     * otherwise returns the given defaultValue
-     */
-    orElse(defaultValue) {
-        return Provable.if(this.isSome, this.valueType, this.value, defaultValue);
-    }
-    toJSON() {
-        const valueContent = this.valueType
-            .toFields(this.value)
-            .map((field) => field.toString())
-            .reduce((a, b) => `${a}, ${b}`);
-        return {
-            isSome: this.isSome.toBoolean(),
-            value: `[${valueContent}]`,
-        };
-    }
-}

package/dist/protocol/src/model/StateTransition.d.ts

@@ -1,96 +0,0 @@
-import { Field } from "snarkyjs";
-import { Option, ProvableOption } from "./Option.js";
-declare const ProvableStateTransition_base: (new (value: {
-    path: import("snarkyjs/dist/node/lib/field.js").Field;
-    from: ProvableOption;
-    to: ProvableOption;
-}) => {
-    path: import("snarkyjs/dist/node/lib/field.js").Field;
-    from: ProvableOption;
-    to: ProvableOption;
-}) & {
-    _isStruct: true;
-} & import("snarkyjs/dist/node/snarky.js").ProvablePure<{
-    path: import("snarkyjs/dist/node/lib/field.js").Field;
-    from: ProvableOption;
-    to: ProvableOption;
-}> & {
-    toInput: (x: {
-        path: import("snarkyjs/dist/node/lib/field.js").Field;
-        from: ProvableOption;
-        to: ProvableOption;
-    }) => {
-        fields?: import("snarkyjs/dist/node/lib/field.js").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field.js").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        path: import("snarkyjs/dist/node/lib/field.js").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: import("snarkyjs/dist/node/lib/field.js").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<import("snarkyjs/dist/node/lib/field.js").Field> | Option<Value>;
-    get to(): Option<import("snarkyjs/dist/node/lib/field.js").Field> | Option<Value>;
-    /**
-     * Converts a StateTransition to a ProvableStateTransition,
-     * while enforcing the 'from' property to be 'Some' in all cases.
-     */
-    toProvable(): ProvableStateTransition;
-    toJSON(): {
-        path: string;
-        from: {
-            isSome: boolean;
-            value: string;
-        };
-        to: {
-            isSome: boolean;
-            value: string;
-        };
-    };
-}
-export {};
-//# sourceMappingURL=StateTransition.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"StateTransition.d.ts","sourceRoot":"","sources":["../../../../../protocol/src/model/StateTransition.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAU,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAe,MAAM,aAAa,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAElE;;;;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,4EAId;IAED,IAAW,EAAE,4EAEZ;IAED;;;OAGG;IACI,UAAU,IAAI,uBAAuB;IAQrC,MAAM;;;;;;;;;;;CAOd"}