@proto-kit/protocol 0.1.1-develop.0

package/dist/model/network/NetworkState.js

@@ -0,0 +1,32 @@
+import { Field, Poseidon, Struct, UInt64 } from "o1js";
+import { RollupMerkleTree } from "@proto-kit/common";
+export class CurrentBlock extends Struct({
+    height: UInt64,
+}) {
+}
+export class PreviousBlock extends Struct({
+    rootHash: Field,
+}) {
+}
+export class NetworkState extends Struct({
+    block: CurrentBlock,
+    previous: PreviousBlock,
+}) {
+    hash() {
+        return Poseidon.hash([
+            ...CurrentBlock.toFields(this.block),
+            ...PreviousBlock.toFields(this.previous),
+        ]);
+    }
+    static empty() {
+        return new NetworkState({
+            block: {
+                height: UInt64.zero,
+            },
+            previous: {
+                rootHash: Field(RollupMerkleTree.EMPTY_ROOT),
+            },
+        });
+    }
+}
+//# sourceMappingURL=NetworkState.js.map

package/dist/model/network/NetworkState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"NetworkState.js","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAErD,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,MAAM,EAAE,MAAM;CACf,CAAC;CAAG;AAEL,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC;IACxC,QAAQ,EAAE,KAAK;CAChB,CAAC;CAAG;AAEL,MAAM,OAAO,YAAa,SAAQ,MAAM,CAAC;IACvC,KAAK,EAAE,YAAY;IACnB,QAAQ,EAAE,aAAa;CACxB,CAAC;IACO,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC;YACnB,GAAG,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACpC,GAAG,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;SACzC,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,YAAY,CAAC;YACtB,KAAK,EAAE;gBACL,MAAM,EAAE,MAAM,CAAC,IAAI;aACpB;YACD,QAAQ,EAAE;gBACR,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC,UAAU,CAAC;aAC7C;SACF,CAAC,CAAC;IACL,CAAC;CACF"}

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

@@ -0,0 +1,122 @@
+import { Bool, Field, PublicKey, UInt64 } from "o1js";
+import { PublicKeyOption, UInt64Option } from "./ValueOption";
+declare const RuntimeTransaction_base: (new (value: {
+    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/provable/field").Field;
+    argsHash: import("o1js/dist/node/lib/provable/field").Field;
+    nonce: UInt64Option;
+    sender: PublicKeyOption;
+}) & {
+    _isStruct: true;
+} & 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/provable/field").Field;
+        argsHash: import("o1js/dist/node/lib/provable/field").Field;
+        nonce: UInt64Option;
+        sender: PublicKeyOption;
+    }) => {
+        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/provable/field").Field;
+        argsHash: import("o1js/dist/node/lib/provable/field").Field;
+        nonce: UInt64Option;
+        sender: PublicKeyOption;
+    }) => {
+        methodId: string;
+        argsHash: string;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
+    };
+    fromJSON: (x: {
+        methodId: string;
+        argsHash: string;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
+    }) => {
+        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;
+    };
+};
+/**
+ * This struct is used to expose transaction information to the runtime method
+ * execution. This class has not all data included in transactions on purpose.
+ * For example, we don't want to expose the signature or args as fields.
+ */
+export declare class RuntimeTransaction extends RuntimeTransaction_base {
+    static fromTransaction(input: {
+        methodId: Field;
+        argsHash: Field;
+        nonce: UInt64;
+        sender: PublicKey;
+    }): RuntimeTransaction;
+    static fromMessage({ methodId, argsHash, }: {
+        methodId: Field;
+        argsHash: Field;
+    }): RuntimeTransaction;
+    static dummyTransaction(): RuntimeTransaction;
+    assertTransactionType(isMessage: Bool): void;
+    hashData(): Field[];
+    static fromHashData(fields: Field[]): RuntimeTransaction;
+    hash(): Field;
+}
+export {};
+//# sourceMappingURL=RuntimeTransaction.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,87 @@
+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.
+ * For example, we don't want to expose the signature or args as fields.
+ */
+export class RuntimeTransaction extends Struct({
+    methodId: Field,
+    argsHash: Field,
+    nonce: UInt64Option,
+    sender: PublicKeyOption,
+}) {
+    static fromTransaction(input) {
+        return new RuntimeTransaction({
+            methodId: input.methodId,
+            argsHash: input.argsHash,
+            nonce: UInt64Option.fromSome(input.nonce),
+            sender: PublicKeyOption.fromSome(input.sender),
+        });
+    }
+    static fromMessage({ methodId, argsHash, }) {
+        return new RuntimeTransaction({
+            methodId,
+            argsHash,
+            nonce: UInt64Option.none(UInt64.zero),
+            sender: PublicKeyOption.none(EMPTY_PUBLICKEY),
+        });
+    }
+    static dummyTransaction() {
+        return new RuntimeTransaction({
+            methodId: Field(0),
+            nonce: new UInt64Option({
+                isSome: Bool(true),
+                value: UInt64.zero,
+            }),
+            sender: new PublicKeyOption({
+                isSome: Bool(true),
+                value: EMPTY_PUBLICKEY,
+            }),
+            argsHash: Field(0),
+        });
+    }
+    assertTransactionType(isMessage) {
+        const isTransaction = isMessage.not();
+        // isSome has to be true when it is a transaction, otherwise false
+        this.nonce.isSome
+            .equals(isTransaction)
+            .assertTrue("Nonce is not right option isSome for type");
+        this.sender.isSome
+            .equals(isTransaction)
+            .assertTrue("Sender is not right option isSome for type");
+        this.sender.value.x
+            .equals(EMPTY_PUBLICKEY_X)
+            .equals(isMessage)
+            .assertTrue("Transaction sender is not set to dummy");
+    }
+    hashData() {
+        return [
+            this.methodId,
+            ...this.sender.value.toFields(),
+            ...this.nonce.value.toFields(),
+            this.argsHash,
+        ];
+    }
+    static fromHashData(fields) {
+        // sender is 2nd and the first element is x (2nd isOdd)
+        const isMessage = fields[1].equals(EMPTY_PUBLICKEY_X);
+        return new RuntimeTransaction({
+            methodId: fields[0],
+            sender: new PublicKeyOption({
+                isSome: isMessage.not(),
+                value: PublicKey.fromFields([fields[1], fields[2]]),
+            }),
+            nonce: new UInt64Option({
+                isSome: isMessage.not(),
+                value: UInt64.fromFields([fields[3]]),
+            }),
+            argsHash: fields[4],
+        });
+    }
+    hash() {
+        return Poseidon.hash(this.hashData());
+    }
+}
+//# sourceMappingURL=RuntimeTransaction.js.map

package/dist/model/transaction/RuntimeTransaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuntimeTransaction.js","sourceRoot":"","sources":["../../../src/model/transaction/RuntimeTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEvE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE9D;;;;GAIG;AACH,MAAM,OAAO,kBAAmB,SAAQ,MAAM,CAAC;IAC7C,QAAQ,EAAE,KAAK;IACf,QAAQ,EAAE,KAAK;IACf,KAAK,EAAE,YAAY;IACnB,MAAM,EAAE,eAAe;CACxB,CAAC;IACO,MAAM,CAAC,eAAe,CAAC,KAK7B;QACC,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,KAAK,EAAE,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;YACzC,MAAM,EAAE,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;SAC/C,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,WAAW,CAAC,EACxB,QAAQ,EACR,QAAQ,GAIT;QACC,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ;YACR,QAAQ;YACR,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACrC,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;SAC9C,CAAC,CAAC;IACL,CAAC;IAEM,MAAM,CAAC,gBAAgB;QAC5B,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;YAClB,KAAK,EAAE,IAAI,YAAY,CAAC;gBACtB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,MAAM,CAAC,IAAI;aACnB,CAAC;YACF,MAAM,EAAE,IAAI,eAAe,CAAC;gBAC1B,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,eAAe;aACvB,CAAC;YACF,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;SACnB,CAAC,CAAC;IACL,CAAC;IAEM,qBAAqB,CAAC,SAAe;QAC1C,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC;QACtC,kEAAkE;QAClE,IAAI,CAAC,KAAK,CAAC,MAAM;aACd,MAAM,CAAC,aAAa,CAAC;aACrB,UAAU,CAAC,2CAA2C,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,CAAC,MAAM;aACf,MAAM,CAAC,aAAa,CAAC;aACrB,UAAU,CAAC,4CAA4C,CAAC,CAAC;QAC5D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;aAChB,MAAM,CAAC,iBAAiB,CAAC;aACzB,MAAM,CAAC,SAAS,CAAC;aACjB,UAAU,CAAC,wCAAwC,CAAC,CAAC;IAC1D,CAAC;IAEM,QAAQ;QACb,OAAO;YACL,IAAI,CAAC,QAAQ;YACb,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE;YAC/B,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE;YAC9B,IAAI,CAAC,QAAQ;SACd,CAAC;IACJ,CAAC;IAEM,MAAM,CAAC,YAAY,CAAC,MAAe;QACxC,uDAAuD;QACvD,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACtD,OAAO,IAAI,kBAAkB,CAAC;YAC5B,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YACnB,MAAM,EAAE,IAAI,eAAe,CAAC;gBAC1B,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE;gBACvB,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;aACpD,CAAC;YACF,KAAK,EAAE,IAAI,YAAY,CAAC;gBACtB,MAAM,EAAE,SAAS,CAAC,GAAG,EAAE;gBACvB,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;aACtC,CAAC;YACF,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;SACpB,CAAC,CAAC;IACL,CAAC;IAEM,IAAI;QACT,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxC,CAAC;CACF"}

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

@@ -0,0 +1,107 @@
+import { Bool, Field, Signature, UInt64 } from "o1js";
+import { RuntimeTransaction } from "./RuntimeTransaction";
+declare const SignedTransaction_base: (new (value: {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+}) => {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+}) & {
+    _isStruct: true;
+} & 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/provable/field").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    }) => {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+    };
+    fromJSON: (x: {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    };
+    empty: () => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+    };
+};
+export declare class SignedTransaction extends SignedTransaction_base {
+    static getSignatureData(args: {
+        methodId: Field;
+        nonce: UInt64;
+        argsHash: Field;
+    }): Field[];
+    static dummy(): SignedTransaction;
+    hash(): Field;
+    getSignatureData(): Field[];
+    validateSignature(): Bool;
+}
+export {};
+//# sourceMappingURL=SignedTransaction.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,34 @@
+import { Field, Scalar, Signature, Struct } from "o1js";
+import { RuntimeTransaction } from "./RuntimeTransaction";
+export class SignedTransaction extends Struct({
+    transaction: RuntimeTransaction,
+    signature: Signature,
+}) {
+    static getSignatureData(args) {
+        return [args.methodId, ...args.nonce.value.toFields(), args.argsHash];
+    }
+    static dummy() {
+        return new SignedTransaction({
+            transaction: RuntimeTransaction.dummyTransaction(),
+            signature: Signature.fromObject({
+                s: Scalar.from(0),
+                r: Field(0),
+            }),
+        });
+    }
+    hash() {
+        return this.transaction.hash();
+    }
+    getSignatureData() {
+        const { methodId, argsHash, nonce } = this.transaction;
+        return SignedTransaction.getSignatureData({
+            nonce: nonce.value,
+            methodId,
+            argsHash,
+        });
+    }
+    validateSignature() {
+        return this.signature.verify(this.transaction.sender.value, this.getSignatureData());
+    }
+}
+//# sourceMappingURL=SignedTransaction.js.map

package/dist/model/transaction/SignedTransaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"SignedTransaction.js","sourceRoot":"","sources":["../../../src/model/transaction/SignedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAU,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,OAAO,iBAAkB,SAAQ,MAAM,CAAC;IAC5C,WAAW,EAAE,kBAAkB;IAC/B,SAAS,EAAE,SAAS;CACrB,CAAC;IACO,MAAM,CAAC,gBAAgB,CAAC,IAI9B;QACC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACxE,CAAC;IAEM,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,iBAAiB,CAAC;YAC3B,WAAW,EAAE,kBAAkB,CAAC,gBAAgB,EAAE;YAElD,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC;gBAC9B,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;gBACjB,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;aACZ,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAEM,IAAI;QACT,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;IAEM,gBAAgB;QACrB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC;QACvD,OAAO,iBAAiB,CAAC,gBAAgB,CAAC;YACxC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAEM,iBAAiB;QACtB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAC1B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAC7B,IAAI,CAAC,gBAAgB,EAAE,CACxB,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,173 @@
+import { PublicKey, UInt64 } from "o1js";
+declare const UInt64Option_base: {
+    new (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    fromSome(value: UInt64): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    none(value: UInt64): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    _isStruct: true;
+    toFields: (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
+    toAuxiliary: (value?: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    } | undefined) => any[];
+    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/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/provable/bool").Bool;
+        value: UInt64;
+    }) => {
+        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: UInt64;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromJSON: (x: {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: UInt64;
+    };
+};
+export declare class UInt64Option extends UInt64Option_base {
+}
+declare const PublicKeyOption_base: {
+    new (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    fromSome(value: PublicKey): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    none(value: PublicKey): {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    _isStruct: true;
+    toFields: (value: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
+    toAuxiliary: (value?: {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    } | undefined) => any[];
+    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/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/provable/bool").Bool;
+        value: PublicKey;
+    }) => {
+        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: PublicKey;
+    }) => {
+        isSome: boolean;
+        value: any;
+    };
+    fromJSON: (x: {
+        isSome: boolean;
+        value: any;
+    }) => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+    empty: () => {
+        isSome: import("o1js/dist/node/lib/provable/bool").Bool;
+        value: PublicKey;
+    };
+};
+export declare class PublicKeyOption extends PublicKeyOption_base {
+}
+export {};
+//# sourceMappingURL=ValueOption.d.ts.map

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

@@ -0,0 +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"}

package/dist/model/transaction/ValueOption.js

@@ -0,0 +1,25 @@
+import { Bool, PublicKey, Struct, UInt64 } from "o1js";
+function genericOptionFactory(valueType) {
+    return class Generic extends Struct({
+        isSome: Bool,
+        value: valueType,
+    }) {
+        static fromSome(value) {
+            return new Generic({
+                isSome: Bool(true),
+                value,
+            });
+        }
+        static none(value) {
+            return new Generic({
+                isSome: Bool(false),
+                value,
+            });
+        }
+    };
+}
+export class UInt64Option extends genericOptionFactory(UInt64) {
+}
+export class PublicKeyOption extends genericOptionFactory(PublicKey) {
+}
+//# sourceMappingURL=ValueOption.js.map

package/dist/model/transaction/ValueOption.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValueOption.js","sourceRoot":"","sources":["../../../src/model/transaction/ValueOption.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAoB,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAEzE,SAAS,oBAAoB,CAAO,SAAiC;IACnE,OAAO,MAAM,OAAQ,SAAQ,MAAM,CAAC;QAClC,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,SAAS;KACjB,CAAC;QACO,MAAM,CAAC,QAAQ,CAAC,KAAW;YAChC,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;QAEM,MAAM,CAAC,IAAI,CAAC,KAAW;YAC5B,OAAO,IAAI,OAAO,CAAC;gBACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC;gBACnB,KAAK;aACN,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,YAAa,SAAQ,oBAAoB,CAAS,MAAM,CAAC;CAAG;AAEzE,MAAM,OAAO,eAAgB,SAAQ,oBAAoB,CACvD,SAAS,CACV;CAAG"}

package/dist/protocol/Protocol.d.ts

@@ -0,0 +1,43 @@
+import { AreProofsEnabled, ChildContainerProvider, ModuleContainer, ModulesConfig, ModulesRecord, StringKeyOf, TypedClass } from "@proto-kit/common";
+import { DependencyContainer } from "tsyringe";
+import { BlockProvable } from "../prover/block/BlockProvable";
+import { StateTransitionProvable } from "../prover/statetransition/StateTransitionProvable";
+import { StateServiceProvider } from "../state/StateServiceProvider";
+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 {
+}
+export interface StateTransitionProverType extends ProtocolModule, StateTransitionProvable {
+}
+export type MandatoryProtocolModulesRecord = {
+    BlockProver: TypedClass<BlockProverType>;
+    StateTransitionProver: TypedClass<StateTransitionProverType>;
+    AccountState: TypedClass<AccountStateHook>;
+    BlockHeight: TypedClass<BlockHeightHook>;
+    LastStateRoot: TypedClass<LastStateRootBlockHook>;
+};
+export interface ProtocolDefinition<Modules extends ProtocolModulesRecord> {
+    modules: Modules;
+    config?: ModulesConfig<Modules>;
+}
+export declare class Protocol<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord> extends ModuleContainer<Modules> implements ProtocolEnvironment {
+    static from<Modules extends ProtocolModulesRecord & MandatoryProtocolModulesRecord>(modules: ProtocolDefinition<Modules>): TypedClass<Protocol<Modules>>;
+    definition: ProtocolDefinition<Modules>;
+    constructor(definition: ProtocolDefinition<Modules>);
+    get stateService(): SimpleAsyncStateService;
+    get stateServiceProvider(): StateServiceProvider;
+    decorateModule(moduleName: StringKeyOf<Modules>, containedModule: InstanceType<Modules[StringKeyOf<Modules>]>): void;
+    get dependencyContainer(): DependencyContainer;
+    private isModule;
+    get blockProver(): BlockProvable;
+    get stateTransitionProver(): StateTransitionProvable;
+    getAreProofsEnabled(): AreProofsEnabled;
+    create(childContainerProvider: ChildContainerProvider): void;
+    start(): Promise<void>;
+}
+//# sourceMappingURL=Protocol.d.ts.map

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

@@ -0,0 +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;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;AAgB5D,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;IA2E/C,KAAK;CAYnB"}