@proto-kit/protocol 0.1.1-develop.0

package/dist/index.js

@@ -0,0 +1,58 @@
+export * from "./hooks/AccountStateHook";
+export * from "./hooks/BlockHeightHook";
+export * from "./hooks/LastStateRootBlockHook";
+export * from "./model/StateTransition";
+export * from "./model/StateTransitionProvableBatch";
+export * from "./model/Option";
+export * from "./model/Path";
+export * from "./model/network/NetworkState";
+export * from "./model/transaction/SignedTransaction";
+export * from "./model/transaction/RuntimeTransaction";
+export * from "./model/transaction/ValueOption";
+export * from "./model/MethodPublicOutput";
+export * from "./model/RuntimeLike";
+export * from "./utils/ProvableHashList";
+export * from "./utils/PrefixedProvableHashList";
+export * from "./utils/MinaPrefixedProvableHashList";
+export * from "./utils/ProvableReductionHashList";
+export * from "./utils/StateTransitionReductionList";
+export * from "./utils/utils";
+export * from "./prover/block/BlockProver";
+export * from "./prover/block/BlockProvable";
+export * from "./prover/block/accummulators/RuntimeVerificationKeyTree";
+export * from "./prover/block/accummulators/BlockHashMerkleTree";
+export * from "./prover/block/services/RuntimeVerificationKeyRootService";
+export * from "./prover/statetransition/StateTransitionProver";
+export * from "./prover/statetransition/StateTransitionProvable";
+export * from "./protocol/Protocol";
+export * from "./protocol/ProtocolModule";
+export * from "./protocol/ProtocolEnvironment";
+export * from "./protocol/ProvableTransactionHook";
+export * from "./protocol/ProvableBlockHook";
+export * from "./state/context/TransitionMethodExecutionContext";
+export * from "./state/context/RuntimeMethodExecutionContext";
+export * from "./state/protocol/ProtocolState";
+export * from "./state/State";
+export * from "./state/StateMap";
+export * from "./state/StateService";
+export * from "./state/StateServiceProvider";
+export * from "./state/assert/assert";
+export * from "./settlement/contracts/authorizations/ContractAuthorization";
+export * from "./settlement/contracts/authorizations/UpdateMessagesHashAuth";
+export * from "./settlement/contracts/authorizations/TokenBridgeDeploymentAuth";
+export * from "./settlement/contracts/SettlementSmartContract";
+export * from "./settlement/contracts/SettlementContractProtocolModule";
+export * from "./settlement/contracts/DispatchSmartContract";
+export * from "./settlement/contracts/DispatchContractProtocolModule";
+export * from "./settlement/contracts/BridgeContract";
+export * from "./settlement/contracts/BridgeContractProtocolModule";
+export * from "./settlement/contracts/TokenBridgeTree";
+export * from "./settlement/SettlementContractModule";
+export * from "./settlement/ContractModule";
+export * from "./settlement/modularity/ProvableSettlementHook";
+export * from "./settlement/messages/OutgoingMessageArgument";
+export * from "./settlement/modules/NetworkStateSettlementModule";
+export * from "./settlement/messages/Deposit";
+export * from "./settlement/messages/Withdrawal";
+export { constants as ProtocolConstants } from "./Constants";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,gCAAgC,CAAC;AAC/C,cAAc,yBAAyB,CAAC;AACxC,cAAc,sCAAsC,CAAC;AACrD,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uCAAuC,CAAC;AACtD,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,4BAA4B,CAAC;AAC3C,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kCAAkC,CAAC;AACjD,cAAc,sCAAsC,CAAC;AACrD,cAAc,mCAAmC,CAAC;AAClD,cAAc,sCAAsC,CAAC;AACrD,cAAc,eAAe,CAAC;AAC9B,cAAc,4BAA4B,CAAC;AAC3C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,yDAAyD,CAAC;AACxE,cAAc,kDAAkD,CAAC;AACjE,cAAc,2DAA2D,CAAC;AAC1E,cAAc,gDAAgD,CAAC;AAC/D,cAAc,kDAAkD,CAAC;AACjE,cAAc,qBAAqB,CAAC;AACpC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC;AACnD,cAAc,8BAA8B,CAAC;AAC7C,cAAc,kDAAkD,CAAC;AACjE,cAAc,+CAA+C,CAAC;AAC9D,cAAc,gCAAgC,CAAC;AAC/C,cAAc,eAAe,CAAC;AAC9B,cAAc,kBAAkB,CAAC;AACjC,cAAc,sBAAsB,CAAC;AACrC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,uBAAuB,CAAC;AACtC,cAAc,6DAA6D,CAAC;AAC5E,cAAc,8DAA8D,CAAC;AAC7E,cAAc,iEAAiE,CAAC;AAChF,cAAc,gDAAgD,CAAC;AAC/D,cAAc,yDAAyD,CAAC;AACxE,cAAc,8CAA8C,CAAC;AAC7D,cAAc,uDAAuD,CAAC;AACtE,cAAc,uCAAuC,CAAC;AACtD,cAAc,qDAAqD,CAAC;AACpE,cAAc,wCAAwC,CAAC;AACvD,cAAc,uCAAuC,CAAC;AACtD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,gDAAgD,CAAC;AAC/D,cAAc,+CAA+C,CAAC;AAC9D,cAAc,mDAAmD,CAAC;AAClE,cAAc,+BAA+B,CAAC;AAC9C,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,SAAS,IAAI,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/model/MethodPublicOutput.d.ts

@@ -0,0 +1,113 @@
+declare const MethodPublicOutput_base: (new (value: {
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+    status: import("o1js/dist/node/lib/provable/bool").Bool;
+    transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+    networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    stateTransitionsHash: bigint;
+    status: boolean;
+    transactionHash: bigint;
+    networkStateHash: bigint;
+    isMessage: boolean;
+    eventsHash: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+        eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        stateTransitionsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        status: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        eventsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+        eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+        eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+        eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        stateTransitionsHash: string;
+        status: boolean;
+        transactionHash: string;
+        networkStateHash: string;
+        isMessage: boolean;
+        eventsHash: string;
+    };
+    fromJSON: (x: {
+        stateTransitionsHash: string;
+        status: boolean;
+        transactionHash: string;
+        networkStateHash: string;
+        isMessage: boolean;
+        eventsHash: string;
+    }) => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+        eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        stateTransitionsHash: import("o1js/dist/node/lib/provable/field").Field;
+        status: import("o1js/dist/node/lib/provable/bool").Bool;
+        transactionHash: import("o1js/dist/node/lib/provable/field").Field;
+        networkStateHash: import("o1js/dist/node/lib/provable/field").Field;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+        eventsHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+/**
+ * Public input used to link in-circuit execution with
+ * the proof's public input.
+ */
+export declare class MethodPublicOutput extends MethodPublicOutput_base {
+}
+export {};
+//# sourceMappingURL=MethodPublicOutput.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAOtC;CAAG"}

package/dist/model/MethodPublicOutput.js

@@ -0,0 +1,15 @@
+import { Bool, Field, Struct } from "o1js";
+/**
+ * Public input used to link in-circuit execution with
+ * the proof's public input.
+ */
+export class MethodPublicOutput extends Struct({
+    stateTransitionsHash: Field,
+    status: Bool,
+    transactionHash: Field,
+    networkStateHash: Field,
+    isMessage: Bool,
+    eventsHash: Field,
+}) {
+}
+//# sourceMappingURL=MethodPublicOutput.js.map

package/dist/model/MethodPublicOutput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MethodPublicOutput.js","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE3C;;;GAGG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,oBAAoB,EAAE,KAAK;IAC3B,MAAM,EAAE,IAAI;IACZ,eAAe,EAAE,KAAK;IACtB,gBAAgB,EAAE,KAAK;IACvB,SAAS,EAAE,IAAI;IACf,UAAU,EAAE,KAAK;CAClB,CAAC;CAAG"}

package/dist/model/Option.d.ts

@@ -0,0 +1,122 @@
+import { Bool, Field, type FlexibleProvablePure } from "o1js";
+declare const ProvableOption_base: (new (value: {
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    isSome: boolean;
+    value: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        isSome: boolean;
+        value: string;
+    };
+    fromJSON: (x: {
+        isSome: boolean;
+        value: string;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class ProvableOption extends ProvableOption_base {
+    toSome(): this;
+}
+export declare abstract class OptionBase {
+    isSome: Bool;
+    isForcedSome: Bool;
+    protected constructor(isSome: Bool, isForcedSome: Bool);
+    protected abstract encodeValueToFields(): Field[];
+    protected abstract clone(): OptionBase;
+    /**
+     * @returns Tree representation of the current value
+     */
+    get treeValue(): import("o1js/dist/node/lib/provable/field").Field;
+    forceSome(): void;
+    /**
+     * 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;
+    toJSON(): {
+        isSome: boolean;
+        isForcedSome: boolean;
+        value: string[];
+    };
+}
+/**
+ * Option facilitating in-circuit values that may or may not exist.
+ */
+export declare class Option<Value> extends OptionBase {
+    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("o1js/dist/node/lib/provable/field").Field>;
+    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>, isForcedSome?: import("o1js/dist/node/lib/provable/bool").Bool);
+    encodeValueToFields(): Field[];
+    clone(): Option<Value>;
+    /**
+     * @returns Returns the value of this option if it isSome,
+     * otherwise returns the given defaultValue
+     */
+    orElse(defaultValue: Value): Value;
+    toConstant(): Option<Value>;
+}
+export {};
+//# sourceMappingURL=Option.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAK1B,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEd,qBAAa,cAAe,SAAQ,mBAGlC;IACO,MAAM;CAId;AAED,8BAAsB,UAAU;IAErB,MAAM,EAAE,IAAI;IACZ,YAAY,EAAE,IAAI;IAF3B,SAAS,aACA,MAAM,EAAE,IAAI,EACZ,YAAY,EAAE,IAAI;IAG3B,SAAS,CAAC,QAAQ,CAAC,mBAAmB,IAAI,KAAK,EAAE;IAEjD,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,UAAU;IAEtC;;OAEG;IACH,IAAW,SAAS,sDAQnB;IAEM,SAAS;IAKhB;;;OAGG;IACI,QAAQ,IAAI,KAAK,EAAE;IAO1B;;OAEG;IACI,UAAU;IAOV,MAAM;;;;;CASd;AAED;;GAEG;AACH,qBAAa,MAAM,CAAC,KAAK,CAAE,SAAQ,UAAU;IAwClC,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC;IAxC/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;gBAKhB,MAAM,EAAE,IAAI,EACL,KAAK,EAAE,KAAK,EACZ,SAAS,EAAE,oBAAoB,CAAC,KAAK,CAAC,EAC7C,YAAY,kDAAc;IAKrB,mBAAmB,IAAI,KAAK,EAAE;IAI9B,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC;IAS7B;;;OAGG;IACI,MAAM,CAAC,YAAY,EAAE,KAAK,GAAG,KAAK;IASlC,UAAU;CAelB"}

package/dist/model/Option.js

@@ -0,0 +1,111 @@
+import { Bool, Field, Poseidon, Provable, Struct, } from "o1js";
+export class ProvableOption extends Struct({
+    isSome: Bool,
+    value: Field,
+}) {
+    toSome() {
+        this.isSome = Bool(true);
+        return this;
+    }
+}
+export class OptionBase {
+    constructor(isSome, isForcedSome) {
+        this.isSome = isSome;
+        this.isForcedSome = isForcedSome;
+    }
+    /**
+     * @returns Tree representation of the current value
+     */
+    get treeValue() {
+        const treeValue = Poseidon.hash(this.encodeValueToFields());
+        return Provable.if(this.isSome.and(this.isForcedSome.not()), treeValue, Field(0));
+    }
+    forceSome() {
+        this.isForcedSome = Provable.if(this.isSome, Bool(false), Bool(true));
+        this.isSome = Bool(true);
+    }
+    /**
+     * Returns the `to`-value as decoded as a list of fields
+     * Not in circuit
+     */
+    toFields() {
+        if (this.isSome.toBoolean()) {
+            return this.encodeValueToFields();
+        }
+        return [Field(0)];
+    }
+    /**
+     * @returns Provable representation of the current option.
+     */
+    toProvable() {
+        return new ProvableOption({
+            isSome: this.isSome,
+            value: this.treeValue,
+        });
+    }
+    toJSON() {
+        const value = this.encodeValueToFields().map((field) => field.toString());
+        return {
+            isSome: this.isSome.toBoolean(),
+            isForcedSome: this.isForcedSome.toBoolean(),
+            value,
+        };
+    }
+}
+/**
+ * Option facilitating in-circuit values that may or may not exist.
+ */
+export class Option extends OptionBase {
+    /**
+     * 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, isForcedSome = Bool(false)) {
+        super(isSome, isForcedSome);
+        this.value = value;
+        this.valueType = valueType;
+    }
+    encodeValueToFields() {
+        return this.valueType.toFields(this.value);
+    }
+    clone() {
+        return new Option(this.isSome, this.value, this.valueType, this.isForcedSome);
+    }
+    /**
+     * @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);
+    }
+    toConstant() {
+        // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
+        const valueConstant = this.valueType.fromFields(this.valueType.toFields(this.value).map((field) => field.toConstant()));
+        const boolConstant = (bool) => Bool.fromFields([bool.toField().toConstant()]);
+        return new Option(boolConstant(this.isSome), valueConstant, this.valueType, boolConstant(this.isForcedSome));
+    }
+}
+//# sourceMappingURL=Option.js.map

package/dist/model/Option.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Option.js","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EAEL,QAAQ,EACR,QAAQ,EAER,MAAM,GACP,MAAM,MAAM,CAAC;AAEd,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC;IACzC,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,KAAK;CACb,CAAC;IACO,MAAM;QACX,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,MAAM,OAAgB,UAAU;IAC9B,YACS,MAAY,EACZ,YAAkB;QADlB,WAAM,GAAN,MAAM,CAAM;QACZ,iBAAY,GAAZ,YAAY,CAAM;IACxB,CAAC;IAMJ;;OAEG;IACH,IAAW,SAAS;QAClB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC;QAE5D,OAAO,QAAQ,CAAC,EAAE,CAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,EACxC,SAAS,EACT,KAAK,CAAC,CAAC,CAAC,CACT,CAAC;IACJ,CAAC;IAEM,SAAS;QACd,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED;;;OAGG;IACI,QAAQ;QACb,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE;YAC3B,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;SACnC;QACD,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED;;OAEG;IACI,UAAU;QACf,OAAO,IAAI,cAAc,CAAC;YACxB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,SAAS;SACtB,CAAC,CAAC;IACL,CAAC;IAEM,MAAM;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,mBAAmB,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;QAE1E,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE;YAC/B,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE;YAC3C,KAAK;SACN,CAAC;IACJ,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,MAAc,SAAQ,UAAU;IAC3C;;;;;;;OAOG;IACI,MAAM,CAAC,IAAI,CAChB,MAAY,EACZ,KAAY,EACZ,SAAsC;QAEtC,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CAAC,SAAS,CACrB,KAAY,EACZ,SAAsC;QAEtC,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,IAAI;QAChB,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IAED,YACE,MAAY,EACL,KAAY,EACZ,SAAsC,EAC7C,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC;QAE1B,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAJrB,UAAK,GAAL,KAAK,CAAO;QACZ,cAAS,GAAT,SAAS,CAA6B;IAI/C,CAAC;IAEM,mBAAmB;QACxB,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAEM,KAAK;QACV,OAAO,IAAI,MAAM,CACf,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,YAAY,CAClB,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,YAAmB;QAC/B,OAAO,QAAQ,CAAC,EAAE,CAChB,IAAI,CAAC,MAAM,EACX,IAAI,CAAC,SAAS,EACd,IAAI,CAAC,KAAK,EACV,YAAY,CACb,CAAC;IACJ,CAAC;IAEM,UAAU;QACf,yEAAyE;QACzE,MAAM,aAAa,GAAI,IAAI,CAAC,SAAiC,CAAC,UAAU,CACtE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CACvE,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,IAAU,EAAE,EAAE,CAClC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAEjD,OAAO,IAAI,MAAM,CACf,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EACzB,aAAa,EACb,IAAI,CAAC,SAAS,EACd,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAChC,CAAC;IACJ,CAAC;CACF"}

package/dist/model/Path.d.ts

@@ -0,0 +1,31 @@
+import { Field, type FlexibleProvablePure } from "o1js";
+/**
+ * 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): import("o1js/dist/node/lib/provable/field").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

@@ -0,0 +1 @@
+{"version":3,"file":"Path.d.ts","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,oBAAoB,EAAY,MAAM,MAAM,CAAC;AAIlE;;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

@@ -0,0 +1,43 @@
+import { Field, Poseidon } from "o1js";
+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]);
+    }
+}
+//# sourceMappingURL=Path.js.map

package/dist/model/Path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Path.js","sourceRoot":"","sources":["../../src/model/Path.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAA6B,QAAQ,EAAE,MAAM,MAAM,CAAC;AAElE,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;GAEG;AACH,MAAM,OAAO,IAAI;IACf;;;;;OAKG;IACI,MAAM,CAAC,OAAO,CAAC,KAAa;QACjC,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IAED;;;;;;OAMG;IACI,MAAM,CAAC,YAAY,CAAC,SAAiB,EAAE,WAAmB;QAC/D,OAAO,QAAQ,CAAC,IAAI,CAAC;YACnB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;YACzB,KAAK,CAAC,CAAC,CAAC;SACT,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;OAOG;IACI,MAAM,CAAC,OAAO,CACnB,IAAW,EACX,OAAsC,EACtC,GAAY;QAEZ,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACxC,CAAC;CACF"}

package/dist/model/RuntimeLike.d.ts

@@ -0,0 +1,11 @@
+export type RuntimeMethodInvocationType = "INCOMING_MESSAGE" | "SIGNATURE";
+export type RuntimeMethodIdMapping = Record<`${string}.${string}`, {
+    methodId: bigint;
+    type: RuntimeMethodInvocationType;
+}>;
+export interface RuntimeLike {
+    get methodIdResolver(): {
+        methodIdMap: () => RuntimeMethodIdMapping;
+    };
+}
+//# sourceMappingURL=RuntimeLike.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeLike.d.ts","sourceRoot":"","sources":["../../src/model/RuntimeLike.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,2BAA2B,GAAG,kBAAkB,GAAG,WAAW,CAAC;AAE3E,MAAM,MAAM,sBAAsB,GAAG,MAAM,CACzC,GAAG,MAAM,IAAI,MAAM,EAAE,EACrB;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,2BAA2B,CAAA;CAAE,CACxD,CAAC;AAEF,MAAM,WAAW,WAAW;IAC1B,IAAI,gBAAgB,IAAI;QACtB,WAAW,EAAE,MAAM,sBAAsB,CAAC;KAC3C,CAAC;CACH"}

package/dist/model/RuntimeLike.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=RuntimeLike.js.map

package/dist/model/RuntimeLike.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeLike.js","sourceRoot":"","sources":["../../src/model/RuntimeLike.ts"],"names":[],"mappings":""}