@proto-kit/protocol 0.1.1-develop.651 → 0.1.1-develop.833

package/dist/model/transaction/ProtocolTransaction.d.ts

@@ -1,70 +1,70 @@
-import { Bool, Field, PublicKey, Signature, UInt64 } from "o1js";
-declare const ProtocolTransaction_base: (new (value: {
-    methodId: import("o1js/dist/node/lib/field").Field;
-    nonce: UInt64;
-    sender: PublicKey;
-    argsHash: import("o1js/dist/node/lib/field").Field;
-    signature: Signature;
-}) => {
-    methodId: import("o1js/dist/node/lib/field").Field;
-    nonce: UInt64;
-    sender: PublicKey;
-    argsHash: import("o1js/dist/node/lib/field").Field;
-    signature: Signature;
-}) & {
-    _isStruct: true;
-} & import("o1js/dist/node/snarky").ProvablePure<{
-    methodId: import("o1js/dist/node/lib/field").Field;
-    nonce: UInt64;
-    sender: PublicKey;
-    argsHash: import("o1js/dist/node/lib/field").Field;
-    signature: Signature;
-}> & {
-    toInput: (x: {
-        methodId: import("o1js/dist/node/lib/field").Field;
-        nonce: UInt64;
-        sender: PublicKey;
-        argsHash: import("o1js/dist/node/lib/field").Field;
-        signature: Signature;
-    }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        methodId: import("o1js/dist/node/lib/field").Field;
-        nonce: UInt64;
-        sender: PublicKey;
-        argsHash: import("o1js/dist/node/lib/field").Field;
-        signature: Signature;
-    }) => {
-        methodId: string;
-        nonce: string;
-        sender: string;
-        argsHash: string;
-        signature: any;
-    };
-    fromJSON: (x: {
-        methodId: string;
-        nonce: string;
-        sender: string;
-        argsHash: string;
-        signature: any;
-    }) => {
-        methodId: import("o1js/dist/node/lib/field").Field;
-        nonce: UInt64;
-        sender: PublicKey;
-        argsHash: import("o1js/dist/node/lib/field").Field;
-        signature: Signature;
-    };
-};
-export declare class ProtocolTransaction extends ProtocolTransaction_base {
-    static getSignatureData(args: {
-        methodId: Field;
-        nonce: UInt64;
-        argsHash: Field;
-    }): Field[];
-    getSignatureData(): Field[];
-    validateSignature(): Bool;
-}
-export {};
+import { Bool, Field, PublicKey, Signature, UInt64 } from "o1js";
+declare const ProtocolTransaction_base: (new (value: {
+    methodId: import("o1js/dist/node/lib/field").Field;
+    nonce: UInt64;
+    sender: PublicKey;
+    argsHash: import("o1js/dist/node/lib/field").Field;
+    signature: Signature;
+}) => {
+    methodId: import("o1js/dist/node/lib/field").Field;
+    nonce: UInt64;
+    sender: PublicKey;
+    argsHash: import("o1js/dist/node/lib/field").Field;
+    signature: Signature;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/snarky").ProvablePure<{
+    methodId: import("o1js/dist/node/lib/field").Field;
+    nonce: UInt64;
+    sender: PublicKey;
+    argsHash: import("o1js/dist/node/lib/field").Field;
+    signature: Signature;
+}> & {
+    toInput: (x: {
+        methodId: import("o1js/dist/node/lib/field").Field;
+        nonce: UInt64;
+        sender: PublicKey;
+        argsHash: import("o1js/dist/node/lib/field").Field;
+        signature: Signature;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        methodId: import("o1js/dist/node/lib/field").Field;
+        nonce: UInt64;
+        sender: PublicKey;
+        argsHash: import("o1js/dist/node/lib/field").Field;
+        signature: Signature;
+    }) => {
+        methodId: string;
+        nonce: string;
+        sender: string;
+        argsHash: string;
+        signature: any;
+    };
+    fromJSON: (x: {
+        methodId: string;
+        nonce: string;
+        sender: string;
+        argsHash: string;
+        signature: any;
+    }) => {
+        methodId: import("o1js/dist/node/lib/field").Field;
+        nonce: UInt64;
+        sender: PublicKey;
+        argsHash: import("o1js/dist/node/lib/field").Field;
+        signature: Signature;
+    };
+};
+export declare class ProtocolTransaction extends ProtocolTransaction_base {
+    static getSignatureData(args: {
+        methodId: Field;
+        nonce: UInt64;
+        argsHash: Field;
+    }): Field[];
+    getSignatureData(): Field[];
+    validateSignature(): Bool;
+}
+export {};
 //# sourceMappingURL=ProtocolTransaction.d.ts.map

package/dist/model/transaction/ProtocolTransaction.js

@@ -1,18 +1,18 @@
-import { Field, PublicKey, Signature, Struct, UInt64 } from "o1js";
-export class ProtocolTransaction extends Struct({
-    methodId: Field,
-    nonce: UInt64,
-    sender: PublicKey,
-    argsHash: Field,
-    signature: Signature,
-}) {
-    static getSignatureData(args) {
-        return [args.methodId, ...args.nonce.toFields(), args.argsHash];
-    }
-    getSignatureData() {
-        return ProtocolTransaction.getSignatureData(this);
-    }
-    validateSignature() {
-        return this.signature.verify(this.sender, this.getSignatureData());
-    }
-}
+import { Field, PublicKey, Signature, Struct, UInt64 } from "o1js";
+export class ProtocolTransaction extends Struct({
+    methodId: Field,
+    nonce: UInt64,
+    sender: PublicKey,
+    argsHash: Field,
+    signature: Signature,
+}) {
+    static getSignatureData(args) {
+        return [args.methodId, ...args.nonce.toFields(), args.argsHash];
+    }
+    getSignatureData() {
+        return ProtocolTransaction.getSignatureData(this);
+    }
+    validateSignature() {
+        return this.signature.verify(this.sender, this.getSignatureData());
+    }
+}

package/dist/model/transaction/RuntimeTransaction.d.ts

@@ -1,35 +1,63 @@
-import { Bool, Field, Provable, PublicKey, UInt64 } from "o1js";
+import { Bool, Field, PublicKey, UInt64 } from "o1js";
 import { PublicKeyOption, UInt64Option } from "./ValueOption";
 declare const RuntimeTransaction_base: (new (value: {
-    methodId: import("o1js/dist/node/lib/field").Field;
-    argsHash: import("o1js/dist/node/lib/field").Field;
+    methodId: import("o1js/dist/node/lib/provable/field").Field;
+    argsHash: import("o1js/dist/node/lib/provable/field").Field;
     nonce: UInt64Option;
     sender: PublicKeyOption;
 }) => {
-    methodId: import("o1js/dist/node/lib/field").Field;
-    argsHash: import("o1js/dist/node/lib/field").Field;
+    methodId: import("o1js/dist/node/lib/provable/field").Field;
+    argsHash: import("o1js/dist/node/lib/provable/field").Field;
     nonce: UInt64Option;
     sender: PublicKeyOption;
 }) & {
     _isStruct: true;
-} & Provable<{
-    methodId: import("o1js/dist/node/lib/field").Field;
-    argsHash: import("o1js/dist/node/lib/field").Field;
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
+    methodId: import("o1js/dist/node/lib/provable/field").Field;
+    argsHash: import("o1js/dist/node/lib/provable/field").Field;
     nonce: UInt64Option;
     sender: PublicKeyOption;
+}, {
+    methodId: bigint;
+    argsHash: bigint;
+    nonce: {
+        isSome: boolean;
+        value: any;
+    };
+    sender: {
+        isSome: boolean;
+        value: any;
+    };
 }> & {
+    fromValue: (value: {
+        methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        nonce: UInt64Option | {
+            isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+            value: any;
+        };
+        sender: PublicKeyOption | {
+            isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+            value: any;
+        };
+    }) => {
+        methodId: import("o1js/dist/node/lib/provable/field").Field;
+        argsHash: import("o1js/dist/node/lib/provable/field").Field;
+        nonce: UInt64Option;
+        sender: PublicKeyOption;
+    };
     toInput: (x: {
-        methodId: import("o1js/dist/node/lib/field").Field;
-        argsHash: import("o1js/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/provable/field").Field;
+        argsHash: import("o1js/dist/node/lib/provable/field").Field;
         nonce: UInt64Option;
         sender: PublicKeyOption;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/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: {
-        methodId: import("o1js/dist/node/lib/field").Field;
-        argsHash: import("o1js/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/provable/field").Field;
+        argsHash: import("o1js/dist/node/lib/provable/field").Field;
         nonce: UInt64Option;
         sender: PublicKeyOption;
     }) => {
@@ -56,8 +84,14 @@ declare const RuntimeTransaction_base: (new (value: {
             value: any;
         };
     }) => {
-        methodId: import("o1js/dist/node/lib/field").Field;
-        argsHash: import("o1js/dist/node/lib/field").Field;
+        methodId: import("o1js/dist/node/lib/provable/field").Field;
+        argsHash: import("o1js/dist/node/lib/provable/field").Field;
+        nonce: UInt64Option;
+        sender: PublicKeyOption;
+    };
+    empty: () => {
+        methodId: import("o1js/dist/node/lib/provable/field").Field;
+        argsHash: import("o1js/dist/node/lib/provable/field").Field;
         nonce: UInt64Option;
         sender: PublicKeyOption;
     };

package/dist/model/transaction/RuntimeTransaction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RuntimeTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/RuntimeTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EAEL,QAAQ,EACR,SAAS,EAET,MAAM,EACP,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAG9D;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;WACc,eAAe,CAAC,KAAK,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,SAAS,CAAC;KACnB;WASa,WAAW,CAAC,EACxB,QAAQ,EACR,QAAQ,GACT,EAAE;QACD,QAAQ,EAAE,KAAK,CAAC;QAChB,QAAQ,EAAE,KAAK,CAAC;KACjB;WASa,gBAAgB,IAAI,kBAAkB;IAe7C,qBAAqB,CAAC,SAAS,EAAE,IAAI;IAerC,QAAQ,IAAI,KAAK,EAAE;WASZ,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE;IAiBnC,IAAI,IAAI,KAAK;CAGrB"}
+{"version":3,"file":"RuntimeTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/RuntimeTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAY,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAGxE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE9D;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;WACc,eAAe,CAAC,KAAK,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,SAAS,CAAC;KACnB;WASa,WAAW,CAAC,EACxB,QAAQ,EACR,QAAQ,GACT,EAAE;QACD,QAAQ,EAAE,KAAK,CAAC;QAChB,QAAQ,EAAE,KAAK,CAAC;KACjB;WASa,gBAAgB,IAAI,kBAAkB;IAe7C,qBAAqB,CAAC,SAAS,EAAE,IAAI;IAerC,QAAQ,IAAI,KAAK,EAAE;WASZ,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE;IAiBnC,IAAI,IAAI,KAAK;CAGrB"}

package/dist/model/transaction/RuntimeTransaction.js

@@ -1,6 +1,6 @@
-import { Bool, Field, Poseidon, PublicKey, Struct, UInt64, } from "o1js";
-import { PublicKeyOption, UInt64Option } from "./ValueOption";
+import { Bool, Field, Poseidon, PublicKey, Struct, UInt64 } from "o1js";
 import { EMPTY_PUBLICKEY, EMPTY_PUBLICKEY_X } from "@proto-kit/common";
+import { PublicKeyOption, UInt64Option } from "./ValueOption";
 /**
  * This struct is used to expose transaction information to the runtime method
  * execution. This class has not all data included in transactions on purpose.
@@ -16,8 +16,8 @@ export class RuntimeTransaction extends Struct({
         return new RuntimeTransaction({
             methodId: input.methodId,
             argsHash: input.argsHash,
-            nonce: UInt64Option.fromValue(input.nonce),
-            sender: PublicKeyOption.fromValue(input.sender),
+            nonce: UInt64Option.fromSome(input.nonce),
+            sender: PublicKeyOption.fromSome(input.sender),
         });
     }
     static fromMessage({ methodId, argsHash, }) {

package/dist/model/transaction/SignedTransaction.d.ts

@@ -8,16 +8,48 @@ declare const SignedTransaction_base: (new (value: {
     signature: Signature;
 }) & {
     _isStruct: true;
-} & import("o1js/dist/node/lib/provable").Provable<{
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
     transaction: RuntimeTransaction;
     signature: Signature;
+}, {
+    transaction: {
+        methodId: bigint;
+        argsHash: bigint;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
+    };
+    signature: any;
 }> & {
+    fromValue: (value: {
+        transaction: RuntimeTransaction | {
+            methodId: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            argsHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            nonce: import("./ValueOption").UInt64Option | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+            sender: import("./ValueOption").PublicKeyOption | {
+                isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+                value: any;
+            };
+        };
+        signature: any;
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    };
     toInput: (x: {
         transaction: RuntimeTransaction;
         signature: Signature;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/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: {
         transaction: RuntimeTransaction;
@@ -55,6 +87,10 @@ declare const SignedTransaction_base: (new (value: {
         transaction: RuntimeTransaction;
         signature: Signature;
     };
+    empty: () => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    };
 };
 export declare class SignedTransaction extends SignedTransaction_base {
     static getSignatureData(args: {

package/dist/model/transaction/SignedTransaction.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SignedTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EAEL,SAAS,EAET,MAAM,EACP,MAAM,MAAM,CAAC;AAEd,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE1D,qBAAa,iBAAkB,SAAQ,sBAGrC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;WAIG,KAAK,IAAI,iBAAiB;IAWjC,IAAI,IAAI,KAAK;IAIb,gBAAgB,IAAI,KAAK,EAAE;IAS3B,iBAAiB,IAAI,IAAI;CAMjC"}
+{"version":3,"file":"SignedTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAU,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE1D,qBAAa,iBAAkB,SAAQ,sBAGrC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;WAIG,KAAK,IAAI,iBAAiB;IAWjC,IAAI,IAAI,KAAK;IAIb,gBAAgB,IAAI,KAAK,EAAE;IAS3B,iBAAiB,IAAI,IAAI;CAMjC"}

package/dist/model/transaction/SignedTransaction.js

@@ -1,4 +1,4 @@
-import { Field, Scalar, Signature, Struct, } from "o1js";
+import { Field, Scalar, Signature, Struct } from "o1js";
 import { RuntimeTransaction } from "./RuntimeTransaction";
 export class SignedTransaction extends Struct({
     transaction: RuntimeTransaction,

package/dist/model/transaction/ValueOption.d.ts

@@ -1,47 +1,70 @@
 import { PublicKey, UInt64 } from "o1js";
 declare const UInt64Option_base: {
     new (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
-    fromValue(value: UInt64): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromSome(value: UInt64): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
     none(value: UInt64): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
     _isStruct: true;
     toFields: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
-    }) => import("o1js/dist/node/lib/field").Field[];
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
     toAuxiliary: (value?: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     } | undefined) => any[];
-    fromFields: (fields: import("o1js/dist/node/lib/field").Field[], aux: any[]) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
     sizeInFields(): number;
     check: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }) => void;
+    toValue: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromValue: ((x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    } | {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) & ((value: {
+        isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    });
     toInput: (x: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/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("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     }) => {
         isSome: boolean;
@@ -51,7 +74,11 @@ declare const UInt64Option_base: {
         isSome: boolean;
         value: any;
     }) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: UInt64;
     };
 };
@@ -59,47 +86,70 @@ export declare class UInt64Option extends UInt64Option_base {
 }
 declare const PublicKeyOption_base: {
     new (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
-    fromValue(value: PublicKey): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromSome(value: PublicKey): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
     none(value: PublicKey): {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
     _isStruct: true;
     toFields: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
-    }) => import("o1js/dist/node/lib/field").Field[];
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
     toAuxiliary: (value?: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     } | undefined) => any[];
-    fromFields: (fields: import("o1js/dist/node/lib/field").Field[], aux: any[]) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[], aux: any[]) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
     sizeInFields(): number;
     check: (value: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }) => void;
+    toValue: (x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromValue: ((x: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    } | {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) & ((value: {
+        isSome: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    });
     toInput: (x: {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }) => {
-        fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
-        packed?: [import("o1js/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("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     }) => {
         isSome: boolean;
@@ -109,7 +159,11 @@ declare const PublicKeyOption_base: {
         isSome: boolean;
         value: any;
     }) => {
-        isSome: import("o1js/dist/node/lib/bool").Bool;
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
         value: PublicKey;
     };
 };

package/dist/model/transaction/ValueOption.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ValueOption.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBzE,qBAAa,YAAa,SAAQ,iBAAoC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEzE,qBAAa,eAAgB,SAAQ,oBAEpC;CAAG"}
+{"version":3,"file":"ValueOption.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuBzE,qBAAa,YAAa,SAAQ,iBAAoC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEzE,qBAAa,eAAgB,SAAQ,oBAEpC;CAAG"}

package/dist/model/transaction/ValueOption.js

@@ -4,7 +4,7 @@ function genericOptionFactory(valueType) {
         isSome: Bool,
         value: valueType,
     }) {
-        static fromValue(value) {
+        static fromSome(value) {
             return new Generic({
                 isSome: Bool(true),
                 value,

package/dist/protocol/Protocol.d.ts

@@ -3,12 +3,12 @@ import { DependencyContainer } from "tsyringe";
 import { BlockProvable } from "../prover/block/BlockProvable";
 import { StateTransitionProvable } from "../prover/statetransition/StateTransitionProvable";
 import { StateServiceProvider } from "../state/StateServiceProvider";
-import { StateService } from "../state/StateService";
-import { ProtocolModule } from "./ProtocolModule";
-import { ProtocolEnvironment } from "./ProtocolEnvironment";
-import { AccountStateHook } from "../hooks/AccountStateHook";
+import { SimpleAsyncStateService } from "../state/StateService";
 import { BlockHeightHook } from "../hooks/BlockHeightHook";
 import { LastStateRootBlockHook } from "../hooks/LastStateRootBlockHook";
+import { AccountStateHook } from "../hooks/AccountStateHook";
+import { ProtocolModule } from "./ProtocolModule";
+import { ProtocolEnvironment } from "./ProtocolEnvironment";
 export type ProtocolModulesRecord = ModulesRecord<TypedClass<ProtocolModule<unknown>>>;
 export interface BlockProverType extends ProtocolModule, BlockProvable {
 }
@@ -29,7 +29,7 @@ export declare class Protocol<Modules extends ProtocolModulesRecord & MandatoryP
     static from<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): TypedClass<Protocol<Modules>>;
     definition: ProtocolDefinition<Modules>;
     constructor(definition: ProtocolDefinition<Modules>);
-    get stateService(): StateService;
+    get stateService(): SimpleAsyncStateService;
     get stateServiceProvider(): StateServiceProvider;
     decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
     get dependencyContainer(): DependencyContainer;
@@ -38,5 +38,6 @@ export declare class Protocol<Modules extends ProtocolModulesRecord & MandatoryP
     get stateTransitionProver(): StateTransitionProvable;
     getAreProofsEnabled(): AreProofsEnabled;
     create(childContainerProvider: ChildContainerProvider): void;
+    start(): Promise<void>;
 }
 //# sourceMappingURL=Protocol.d.ts.map

package/dist/protocol/Protocol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAa,MAAM,UAAU,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAE9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAE5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAG7D,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAUzE,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAC/C,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,MAAM,WAAW,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAEzE,MAAM,WAAW,yBACf,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;IAC7D,YAAY,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,aAAa,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC;CACnD,CAAC;AAEF,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB;WAEhB,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAQ/D,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAE5B,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAK1D,IAAW,YAAY,IAAI,YAAY,CAEtC;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAEM,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAY9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;IAEM,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;CAoD7D"}
+{"version":3,"file":"Protocol.d.ts","sourceRoot":"","sources":["../../src/protocol/Protocol.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,sBAAsB,EAEtB,eAAe,EACf,aAAa,EACb,aAAa,EACb,WAAW,EACX,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,mBAAmB,EAAa,MAAM,UAAU,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAGzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAG7D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAS5D,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAC/C,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CACpC,CAAC;AAEF,MAAM,WAAW,eAAgB,SAAQ,cAAc,EAAE,aAAa;CAAG;AAEzE,MAAM,WAAW,yBACf,SAAQ,cAAc,EACpB,uBAAuB;CAAG;AAE9B,MAAM,MAAM,8BAA8B,GAAG;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,qBAAqB,EAAE,UAAU,CAAC,yBAAyB,CAAC,CAAC;IAC7D,YAAY,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC;IAC3C,WAAW,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC;IACzC,aAAa,EAAE,UAAU,CAAC,sBAAsB,CAAC,CAAC;CACnD,CAAC;AAEF,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,qBAAqB;IACvE,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACjC;AAED,qBAAa,QAAQ,CACjB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,CAExE,SAAQ,eAAe,CAAC,OAAO,CAC/B,YAAW,mBAAmB;WAEhB,IAAI,CAChB,OAAO,SAAS,qBAAqB,GAAG,8BAA8B,EACtE,OAAO,EAAE,kBAAkB,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAQ/D,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;gBAE5B,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC;IAK1D,IAAW,YAAY,IAAI,uBAAuB,CAEjD;IAED,IAAW,oBAAoB,IAAI,oBAAoB,CAEtD;IAEM,cAAc,CACnB,UAAU,EAAE,WAAW,CAAC,OAAO,CAAC,EAChC,eAAe,EAAE,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAY9D,IAAW,mBAAmB,IAAI,mBAAmB,CAEpD;IAED,OAAO,CAAC,QAAQ;IAMhB,IAAW,WAAW,IAAI,aAAa,CAMtC;IAED,IAAW,qBAAqB,IAAI,uBAAuB,CAI1D;IAEM,mBAAmB,IAAI,gBAAgB;IAIvC,MAAM,CAAC,sBAAsB,EAAE,sBAAsB;IAqD/C,KAAK;CAYnB"}