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

package/dist/model/network/NetworkState.d.ts

@@ -1,18 +1,29 @@
-import { Field, UInt64 } from "snarkyjs";
+import { Field, UInt64 } from "o1js";
 declare const CurrentBlock_base: (new (value: {
     height: UInt64;
 }) => {
     height: UInt64;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
     height: UInt64;
-}> & {
+}, {
+    height: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        height: UInt64;
+    };
+} & {
+    fromValue: (value: {
+        height: number | bigint | UInt64;
+    }) => {
+        height: UInt64;
+    };
     toInput: (x: {
         height: UInt64;
     }) => {
-        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: {
         height: UInt64;
@@ -24,41 +35,126 @@ declare const CurrentBlock_base: (new (value: {
     }) => {
         height: UInt64;
     };
+    empty: () => {
+        height: UInt64;
+    };
 };
 export declare class CurrentBlock extends CurrentBlock_base {
 }
+declare const PreviousBlock_base: (new (value: {
+    rootHash: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    rootHash: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    rootHash: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    rootHash: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        rootHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        rootHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        rootHash: 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: {
+        rootHash: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        rootHash: string;
+    };
+    fromJSON: (x: {
+        rootHash: string;
+    }) => {
+        rootHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        rootHash: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class PreviousBlock extends PreviousBlock_base {
+}
 declare const NetworkState_base: (new (value: {
     block: CurrentBlock;
+    previous: PreviousBlock;
 }) => {
     block: CurrentBlock;
+    previous: PreviousBlock;
 }) & {
     _isStruct: true;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
     block: CurrentBlock;
-}> & {
+    previous: PreviousBlock;
+}, {
+    block: {
+        height: bigint;
+    };
+    previous: {
+        rootHash: bigint;
+    };
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        block: CurrentBlock;
+        previous: PreviousBlock;
+    };
+} & {
+    fromValue: (value: {
+        block: CurrentBlock | {
+            height: number | bigint | UInt64;
+        };
+        previous: PreviousBlock | {
+            rootHash: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+        };
+    }) => {
+        block: CurrentBlock;
+        previous: PreviousBlock;
+    };
     toInput: (x: {
         block: CurrentBlock;
+        previous: PreviousBlock;
     }) => {
-        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: {
         block: CurrentBlock;
+        previous: PreviousBlock;
     }) => {
         block: {
             height: string;
         };
+        previous: {
+            rootHash: string;
+        };
     };
     fromJSON: (x: {
         block: {
             height: string;
         };
+        previous: {
+            rootHash: string;
+        };
     }) => {
         block: CurrentBlock;
+        previous: PreviousBlock;
+    };
+    empty: () => {
+        block: CurrentBlock;
+        previous: PreviousBlock;
     };
 };
 export declare class NetworkState extends NetworkState_base {
     hash(): Field;
+    static empty(): NetworkState;
 }
 export {};
 //# sourceMappingURL=NetworkState.d.ts.map

package/dist/model/network/NetworkState.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,UAAU,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE3D,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAEhC;IACO,IAAI,IAAI,KAAK;CAGrB"}
+{"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGvD,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,aAAc,SAAQ,kBAEjC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAGhC;IACO,IAAI,IAAI,KAAK;WAON,KAAK;CAUpB"}

package/dist/model/network/NetworkState.js

@@ -1,12 +1,32 @@
-import { Poseidon, Struct, UInt64 } from "snarkyjs";
+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));
+        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/AuthorizedTransaction.d.ts

@@ -0,0 +1,122 @@
+import { Bool, Field, Scalar, Signature, UInt64 } from "o1js";
+import { RuntimeTransaction } from "./RuntimeTransaction";
+declare const AuthorizedTransaction_base: (new (value: {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+}) => {
+    transaction: RuntimeTransaction;
+    signature: Signature;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+}) & {
+    _isStruct: true;
+} & import("o1js/dist/node/lib/provable/provable").Provable<{
+    transaction: RuntimeTransaction;
+    signature: Signature;
+    isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+}, {
+    transaction: {
+        methodId: bigint;
+        argsHash: bigint;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
+    };
+    signature: any;
+    isMessage: boolean;
+}> & {
+    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: Signature | {
+            r: bigint | import("o1js/dist/node/lib/provable/field").Field;
+            s: bigint | Scalar;
+        };
+        isMessage: boolean | import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    toInput: (x: {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        isMessage: 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: {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    }) => {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+        isMessage: boolean;
+    };
+    fromJSON: (x: {
+        transaction: {
+            methodId: string;
+            argsHash: string;
+            nonce: {
+                isSome: boolean;
+                value: any;
+            };
+            sender: {
+                isSome: boolean;
+                value: any;
+            };
+        };
+        signature: any;
+        isMessage: boolean;
+    }) => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+    empty: () => {
+        transaction: RuntimeTransaction;
+        signature: Signature;
+        isMessage: import("o1js/dist/node/lib/provable/bool").Bool;
+    };
+};
+export declare class AuthorizedTransaction extends AuthorizedTransaction_base {
+    static getSignatureData(args: {
+        methodId: Field;
+        nonce: UInt64;
+        argsHash: Field;
+    }): Field[];
+    static dummy(): AuthorizedTransaction;
+    hash(): Field;
+    getSignatureData(): Field[];
+    validateAuthorization(): Bool;
+}
+export {};
+//# sourceMappingURL=AuthorizedTransaction.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AuthorizedTransaction.d.ts","sourceRoot":"","sources":["../../../src/model/transaction/AuthorizedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAU,MAAM,EAAE,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE1D,qBAAa,qBAAsB,SAAQ,0BAIzC;WACc,gBAAgB,CAAC,IAAI,EAAE;QACnC,QAAQ,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,KAAK,CAAC;KACjB,GAAG,KAAK,EAAE;WAKG,KAAK,IAAI,qBAAqB;IAarC,IAAI,IAAI,KAAK;IAIb,gBAAgB,IAAI,KAAK,EAAE;IAS3B,qBAAqB,IAAI,IAAI;CAKrC"}

package/dist/model/transaction/AuthorizedTransaction.js

@@ -0,0 +1,39 @@
+import { Bool, Field, Scalar, Signature, Struct } from "o1js";
+import { RuntimeTransaction } from "./RuntimeTransaction";
+export class AuthorizedTransaction extends Struct({
+    transaction: RuntimeTransaction,
+    signature: Signature,
+    isMessage: Bool,
+}) {
+    static getSignatureData(args) {
+        // No isMessage here - we don't sign that
+        return [args.methodId, ...args.nonce.value.toFields(), args.argsHash];
+    }
+    static dummy() {
+        return new AuthorizedTransaction({
+            transaction: RuntimeTransaction.dummyTransaction(),
+            signature: Signature.fromObject({
+                s: Scalar.from(0),
+                r: Field(0),
+            }),
+            isMessage: Bool(false),
+        });
+    }
+    hash() {
+        return this.transaction.hash();
+    }
+    getSignatureData() {
+        const { methodId, argsHash, nonce } = this.transaction;
+        return AuthorizedTransaction.getSignatureData({
+            nonce: nonce.value,
+            methodId,
+            argsHash,
+        });
+    }
+    validateAuthorization() {
+        return this.signature
+            .verify(this.transaction.sender.value, this.getSignatureData())
+            .or(this.isMessage);
+    }
+}
+//# sourceMappingURL=AuthorizedTransaction.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AuthorizedTransaction.js","sourceRoot":"","sources":["../../../src/model/transaction/AuthorizedTransaction.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAU,MAAM,MAAM,CAAC;AAEtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,OAAO,qBAAsB,SAAQ,MAAM,CAAC;IAChD,WAAW,EAAE,kBAAkB;IAC/B,SAAS,EAAE,SAAS;IACpB,SAAS,EAAE,IAAI;CAChB,CAAC;IACO,MAAM,CAAC,gBAAgB,CAAC,IAI9B;QACC,yCAAyC;QACzC,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,qBAAqB,CAAC;YAC/B,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;YAEF,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC;SACvB,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,qBAAqB,CAAC,gBAAgB,CAAC;YAC5C,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ;YACR,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;IAEM,qBAAqB;QAC1B,OAAO,IAAI,CAAC,SAAS;aAClB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC;aAC9D,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC;CACF"}

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

@@ -1,53 +1,99 @@
-import { Field, PublicKey, UInt64 } from "snarkyjs";
-import { ProtocolTransaction } from "./ProtocolTransaction";
+import { Bool, Field, PublicKey, UInt64 } from "o1js";
+import { PublicKeyOption, UInt64Option } from "./ValueOption";
 declare const RuntimeTransaction_base: (new (value: {
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
-    nonce: UInt64;
-    sender: PublicKey;
-    argsHash: import("snarkyjs/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("snarkyjs/dist/node/lib/field").Field;
-    nonce: UInt64;
-    sender: PublicKey;
-    argsHash: import("snarkyjs/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;
-} & import("snarkyjs/dist/node/snarky").ProvablePure<{
-    methodId: import("snarkyjs/dist/node/lib/field").Field;
-    nonce: UInt64;
-    sender: PublicKey;
-    argsHash: import("snarkyjs/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("snarkyjs/dist/node/lib/field").Field;
-        nonce: UInt64;
-        sender: PublicKey;
-        argsHash: import("snarkyjs/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("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: {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
-        nonce: UInt64;
-        sender: PublicKey;
-        argsHash: import("snarkyjs/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: string;
-        nonce: string;
-        sender: string;
         argsHash: string;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
     };
     fromJSON: (x: {
         methodId: string;
-        nonce: string;
-        sender: string;
         argsHash: string;
+        nonce: {
+            isSome: boolean;
+            value: any;
+        };
+        sender: {
+            isSome: boolean;
+            value: any;
+        };
     }) => {
-        methodId: import("snarkyjs/dist/node/lib/field").Field;
-        nonce: UInt64;
-        sender: PublicKey;
-        argsHash: import("snarkyjs/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;
     };
 };
 /**
@@ -56,7 +102,21 @@ declare const RuntimeTransaction_base: (new (value: {
  * For example, we don't want to expose the signature or args as fields.
  */
 export declare class RuntimeTransaction extends RuntimeTransaction_base {
-    static fromProtocolTransaction({ methodId, nonce, sender, argsHash, }: ProtocolTransaction): RuntimeTransaction;
+    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;
+    isDummy(): Bool;
+    hashData(): Field[];
+    static fromHashData(fields: Field[]): RuntimeTransaction;
     hash(): Field;
 }
 export {};

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,EAAE,KAAK,EAAY,SAAS,EAAU,MAAM,EAAE,MAAM,UAAU,CAAC;AAEtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE5D;;;;GAIG;AACH,qBAAa,kBAAmB,SAAQ,uBAKtC;WACc,uBAAuB,CAAC,EACpC,QAAQ,EACR,KAAK,EACL,MAAM,EACN,QAAQ,GACT,EAAE,mBAAmB,GAAG,kBAAkB;IASpC,IAAI,IAAI,KAAK;CAQrB"}
+{"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,OAAO,IAAI,IAAI;IAIf,QAAQ,IAAI,KAAK,EAAE;WASZ,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE;IAiBnC,IAAI,IAAI,KAAK;CAGrB"}

package/dist/model/transaction/RuntimeTransaction.js

@@ -1,4 +1,6 @@
-import { Field, Poseidon, PublicKey, Struct, UInt64 } from "snarkyjs";
+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.
@@ -6,24 +8,83 @@ import { Field, Poseidon, PublicKey, Struct, UInt64 } from "snarkyjs";
  */
 export class RuntimeTransaction extends Struct({
     methodId: Field,
-    nonce: UInt64,
-    sender: PublicKey,
     argsHash: Field,
+    nonce: UInt64Option,
+    sender: PublicKeyOption,
 }) {
-    static fromProtocolTransaction({ methodId, nonce, sender, argsHash, }) {
+    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,
-            nonce,
-            sender,
             argsHash,
+            nonce: UInt64Option.none(UInt64.zero),
+            sender: PublicKeyOption.none(EMPTY_PUBLICKEY),
         });
     }
-    hash() {
-        return Poseidon.hash([
+    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");
+    }
+    isDummy() {
+        return this.methodId.equals(0);
+    }
+    hashData() {
+        return [
             this.methodId,
-            ...this.sender.toFields(),
-            ...this.nonce.toFields(),
+            ...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,OAAO;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACjC,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"}