@proto-kit/protocol 0.1.1-develop.191 → 0.1.1-develop.2024

package/dist/model/AppliedStateTransitionBatch.d.ts

@@ -0,0 +1,114 @@
+import { Field } from "o1js";
+declare const AppliedStateTransitionBatch_base: (new (value: {
+    batchHash: import("o1js/dist/node/lib/provable/field").Field;
+    applied: import("o1js/dist/node/lib/provable/bool").Bool;
+}) => {
+    batchHash: import("o1js/dist/node/lib/provable/field").Field;
+    applied: import("o1js/dist/node/lib/provable/bool").Bool;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    batchHash: import("o1js/dist/node/lib/provable/field").Field;
+    applied: import("o1js/dist/node/lib/provable/bool").Bool;
+}, {
+    batchHash: bigint;
+    applied: boolean;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        applied: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+} & {
+    fromValue: (value: {
+        batchHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        applied: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        applied: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    toInput: (x: {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        applied: import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        applied: import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        batchHash: string;
+        applied: boolean;
+    };
+    fromJSON: (x: {
+        batchHash: string;
+        applied: boolean;
+    }) => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        applied: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    empty: () => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        applied: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+};
+export declare class AppliedStateTransitionBatch extends AppliedStateTransitionBatch_base {
+}
+declare const AppliedStateTransitionBatchState_base: (new (value: {
+    batchHash: import("o1js/dist/node/lib/provable/field").Field;
+    root: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    batchHash: import("o1js/dist/node/lib/provable/field").Field;
+    root: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    batchHash: import("o1js/dist/node/lib/provable/field").Field;
+    root: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    batchHash: bigint;
+    root: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        root: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        batchHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        root: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        root: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        root: 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: {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        root: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        batchHash: string;
+        root: string;
+    };
+    fromJSON: (x: {
+        batchHash: string;
+        root: string;
+    }) => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        root: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        batchHash: import("o1js/dist/node/lib/provable/field").Field;
+        root: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class AppliedStateTransitionBatchState extends AppliedStateTransitionBatchState_base {
+    hashOrZero(): Field;
+}
+export {};
+//# sourceMappingURL=AppliedStateTransitionBatch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AppliedStateTransitionBatch.d.ts","sourceRoot":"","sources":["../../src/model/AppliedStateTransitionBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,EAA8B,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D,qBAAa,2BAA4B,SAAQ,gCAG/C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,gCAAiC,SAAQ,qCAGpD;IACO,UAAU,IAAI,KAAK;CAI3B"}

package/dist/model/AppliedStateTransitionBatch.js

@@ -0,0 +1,16 @@
+import { Bool, Field, Poseidon, Provable, Struct } from "o1js";
+export class AppliedStateTransitionBatch extends Struct({
+    batchHash: Field,
+    applied: Bool,
+}) {
+}
+export class AppliedStateTransitionBatchState extends Struct({
+    batchHash: Field,
+    root: Field,
+}) {
+    hashOrZero() {
+        const hash = Poseidon.hash(AppliedStateTransitionBatchState.toFields(this));
+        return Provable.if(this.batchHash.equals(0), Field(0), hash);
+    }
+}
+//# sourceMappingURL=AppliedStateTransitionBatch.js.map

package/dist/model/AppliedStateTransitionBatch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AppliedStateTransitionBatch.js","sourceRoot":"","sources":["../../src/model/AppliedStateTransitionBatch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAE/D,MAAM,OAAO,2BAA4B,SAAQ,MAAM,CAAC;IACtD,SAAS,EAAE,KAAK;IAChB,OAAO,EAAE,IAAI;CACd,CAAC;CAAG;AAEL,MAAM,OAAO,gCAAiC,SAAQ,MAAM,CAAC;IAC3D,SAAS,EAAE,KAAK;IAChB,IAAI,EAAE,KAAK;CACZ,CAAC;IACO,UAAU;QACf,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,gCAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5E,OAAO,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC/D,CAAC;CACF"}

package/dist/model/MethodPublicOutput.d.ts

@@ -1,51 +1,106 @@
 declare const MethodPublicOutput_base: (new (value: {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    status: import("snarkyjs/dist/node/lib/bool").Bool;
-    transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/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;
 }) => {
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    status: import("snarkyjs/dist/node/lib/bool").Bool;
-    transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/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;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    stateTransitionsHash: import("snarkyjs/dist/node/lib/field").Field;
-    status: import("snarkyjs/dist/node/lib/bool").Bool;
-    transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-    networkStateHash: import("snarkyjs/dist/node/lib/field").Field;
-}> & {
+} & 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("snarkyjs/dist/node/lib/field").Field;
-        status: import("snarkyjs/dist/node/lib/bool").Bool;
-        transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/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;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        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("snarkyjs/dist/node/lib/field").Field;
-        status: import("snarkyjs/dist/node/lib/bool").Bool;
-        transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/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;
     }) => {
         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("snarkyjs/dist/node/lib/field").Field;
-        status: import("snarkyjs/dist/node/lib/bool").Bool;
-        transactionHash: import("snarkyjs/dist/node/lib/field").Field;
-        networkStateHash: import("snarkyjs/dist/node/lib/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;
+    };
+    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;
     };
 };
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"MethodPublicOutput.d.ts","sourceRoot":"","sources":["../../src/model/MethodPublicOutput.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEA;;;GAGG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;CAAG"}
+{"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

@@ -1,4 +1,4 @@
-import { Bool, Field, Struct } from "snarkyjs";
+import { Bool, Field, Struct } from "o1js";
 /**
  * Public input used to link in-circuit execution with
  * the proof's public input.
@@ -8,5 +8,8 @@ export class MethodPublicOutput extends Struct({
     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

@@ -1,26 +1,41 @@
-import { Bool, Field, type FlexibleProvablePure } from "snarkyjs";
+import { Bool, Field, type FlexibleProvablePure } from "o1js";
 declare const ProvableOption_base: (new (value: {
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/field").Field;
 }) => {
-    isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-    value: import("snarkyjs/dist/node/lib/field").Field;
+    isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+    value: import("o1js/dist/node/lib/provable/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;
-}> & {
+} & 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("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
-        fields?: import("snarkyjs/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("snarkyjs/dist/node/lib/field").Field, number][] | undefined;
+        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("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: import("o1js/dist/node/lib/provable/field").Field;
     }) => {
         isSome: boolean;
         value: string;
@@ -29,18 +44,47 @@ declare const ProvableOption_base: (new (value: {
         isSome: boolean;
         value: string;
     }) => {
-        isSome: import("snarkyjs/dist/node/lib/bool").Bool;
-        value: import("snarkyjs/dist/node/lib/field").Field;
+        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> {
-    isSome: Bool;
+export declare class Option<Value> extends OptionBase {
     value: Value;
     valueType: FlexibleProvablePure<Value>;
     /**
@@ -63,36 +107,16 @@ export declare class Option<Value> {
     /**
      * @returns Empty / none option
      */
-    static none(): Option<import("snarkyjs/dist/node/lib/field").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: import("snarkyjs/dist/node/lib/bool").Bool;
-    constructor(isSome: Bool, value: Value, valueType: FlexibleProvablePure<Value>);
+    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>;
-    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.
+     * @returns Returns the value of this option if it isSome,
+     * otherwise returns the given defaultValue
      */
-    toProvable(): ProvableOption;
-    toJSON(): {
-        isSome: boolean;
-        value: string;
-    };
+    orElse(defaultValue: Value): Value;
+    toConstant(): Option<Value>;
 }
 export {};
 //# sourceMappingURL=Option.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"Option.d.ts","sourceRoot":"","sources":["../../src/model/Option.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EACL,KAAK,oBAAoB,EAI1B,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,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;IAOV,MAAM;;;;CAYd"}
+{"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

@@ -1,4 +1,4 @@
-import { Bool, Field, Poseidon, Provable, Struct, } from "snarkyjs";
+import { Bool, Field, Poseidon, Provable, Struct, } from "o1js";
 export class ProvableOption extends Struct({
     isSome: Bool,
     value: Field,
@@ -8,10 +8,54 @@ export class ProvableOption extends Struct({
         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 {
+export class Option extends OptionBase {
     /**
      * Creates a new Option from the provided parameters
      *
@@ -39,68 +83,29 @@ export class 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;
+    constructor(isSome, value, valueType, isForcedSome = Bool(false)) {
+        super(isSome, isForcedSome);
         this.value = value;
         this.valueType = valueType;
-        this.isForcedSome = Bool(false);
     }
-    clone() {
-        return new Option(this.isSome, this.value, this.valueType);
+    encodeValueToFields() {
+        return this.valueType.toFields(this.value);
     }
-    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)];
+    clone() {
+        return new Option(this.isSome, this.value, this.valueType, this.isForcedSome);
     }
     /**
-     * @returns Provable representation of the current option.
+     * @returns Returns the value of this option if it isSome,
+     * otherwise returns the given defaultValue
      */
-    toProvable() {
-        return new ProvableOption({
-            isSome: this.isSome,
-            value: this.treeValue,
-        });
+    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}]`,
-        };
+    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

@@ -1,4 +1,4 @@
-import { Field, type FlexibleProvablePure } from "snarkyjs";
+import { Field, type FlexibleProvablePure } from "o1js";
 /**
  * Helps manage path (key) identifiers for key-values in trees.
  */
@@ -9,15 +9,16 @@ export declare class Path {
      * @param value
      * @returns Field representation of the provided value
      */
-    static toField(value: string): import("snarkyjs/dist/node/lib/field").Field;
+    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
+     * @param prefix
      * @returns Field representation of class name + property name
      */
-    static fromProperty(className: string, propertyKey: string): Field;
+    static fromProperty(className: string, propertyKey: string, prefix: string): Field;
     /**
      * Encodes an existing path with the provided key into a single Field.
      *