@proto-kit/protocol 0.1.1-develop.164 → 0.1.1-develop.1661

package/dist/settlement/messages/OutgoingMessageArgument.d.ts

@@ -0,0 +1,462 @@
+import { FlexibleProvablePure } from "o1js";
+import { LinkedMerkleTreeReadWitness } from "@proto-kit/common";
+export declare const OUTGOING_MESSAGE_BATCH_SIZE = 1;
+export declare function createMessageStruct<T>(type: FlexibleProvablePure<T>): {
+    new (value: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    }): {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    _isStruct: true;
+    toFields: (value: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    }) => import("o1js/dist/node/lib/provable/field").Field[];
+    toAuxiliary: (value?: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    } | undefined) => any[];
+    sizeInFields: () => number;
+    check: (value: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    }) => void;
+    toValue: (x: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        value: any;
+        messageType: bigint;
+    };
+    fromValue: ((x: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    } | {
+        value: any;
+        messageType: bigint;
+    }) => {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    }) & ((value: {
+        value: any;
+        messageType: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    });
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: 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: {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        value: any;
+        messageType: string;
+    };
+    fromJSON: (x: {
+        value: any;
+        messageType: string;
+    }) => {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        value: T | (Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>, any>, "fromFields"> & {
+            fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & {
+            toInput: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => {
+                fields?: import("o1js/dist/node/lib/provable/field").Field[] | undefined;
+                packed?: [import("o1js/dist/node/lib/provable/field").Field, number][] | undefined;
+            };
+            toJSON: (x: import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>) => any;
+            fromJSON: (x: any) => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+            empty: () => import("o1js/dist/node/bindings/lib/provable-generic").NonMethods<T>;
+        } & (new (...args: any) => T) & {
+            _isStruct: true;
+        } extends import("o1js/dist/node/bindings/lib/generic").GenericProvable<T, any, import("o1js/dist/node/lib/provable/field").Field> ? T : T);
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+declare const OutgoingMessageArgument_base: (new (value: {
+    witness: LinkedMerkleTreeReadWitness;
+    messageType: import("o1js/dist/node/lib/provable/field").Field;
+}) => {
+    witness: LinkedMerkleTreeReadWitness;
+    messageType: import("o1js/dist/node/lib/provable/field").Field;
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    witness: LinkedMerkleTreeReadWitness;
+    messageType: import("o1js/dist/node/lib/provable/field").Field;
+}, {
+    witness: {
+        leaf: {
+            value: bigint;
+            path: bigint;
+            nextPath: bigint;
+        };
+        merkleWitness: {
+            path: bigint[];
+            isLeft: boolean[];
+        };
+    };
+    messageType: bigint;
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+} & {
+    fromValue: (value: {
+        witness: LinkedMerkleTreeReadWitness | {
+            leaf: import("@proto-kit/common").LinkedLeafStruct | {
+                value: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                path: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+                nextPath: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+            };
+            merkleWitness: {
+                height(): number;
+                calculateRoot(hash: import("o1js/dist/node/lib/provable/field").Field): import("o1js/dist/node/lib/provable/field").Field;
+                calculateIndex(): import("o1js/dist/node/lib/provable/field").Field;
+                checkMembership(root: import("o1js/dist/node/lib/provable/field").Field, key: import("o1js/dist/node/lib/provable/field").Field, value: import("o1js/dist/node/lib/provable/field").Field): import("o1js/dist/node/lib/provable/bool").Bool;
+                checkMembershipSimple(root: import("o1js/dist/node/lib/provable/field").Field, value: import("o1js/dist/node/lib/provable/field").Field): import("o1js/dist/node/lib/provable/bool").Bool;
+                checkMembershipGetRoots(root: import("o1js/dist/node/lib/provable/field").Field, key: import("o1js/dist/node/lib/provable/field").Field, value: import("o1js/dist/node/lib/provable/field").Field): [import("o1js/dist/node/lib/provable/bool").Bool, import("o1js/dist/node/lib/provable/field").Field, import("o1js/dist/node/lib/provable/field").Field];
+                toShortenedEntries(): string[];
+                path: import("o1js/dist/node/lib/provable/field").Field[];
+                isLeft: import("o1js/dist/node/lib/provable/bool").Bool[];
+            } | {
+                path: import("o1js/dist/node/lib/provable/field").Field[] | bigint[];
+                isLeft: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+            };
+        };
+        messageType: string | number | bigint | import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    toInput: (x: {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: 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: {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    }) => {
+        witness: {
+            leaf: {
+                value: string;
+                path: string;
+                nextPath: string;
+            };
+            merkleWitness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+        };
+        messageType: string;
+    };
+    fromJSON: (x: {
+        witness: {
+            leaf: {
+                value: string;
+                path: string;
+                nextPath: string;
+            };
+            merkleWitness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+        };
+        messageType: string;
+    }) => {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+    empty: () => {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+    };
+};
+export declare class OutgoingMessageArgument extends OutgoingMessageArgument_base {
+    static dummy(): OutgoingMessageArgument;
+}
+declare const OutgoingMessageArgumentBatch_base: (new (value: {
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+}) => {
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+}) & {
+    _isStruct: true;
+} & Omit<import("o1js/dist/node/lib/provable/types/provable-intf").Provable<{
+    arguments: OutgoingMessageArgument[];
+    isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+}, {
+    arguments: {
+        witness: {
+            leaf: {
+                value: bigint;
+                path: bigint;
+                nextPath: bigint;
+            };
+            merkleWitness: {
+                path: bigint[];
+                isLeft: boolean[];
+            };
+        };
+        messageType: bigint;
+    }[];
+    isDummys: boolean[];
+}>, "fromFields"> & {
+    fromFields: (fields: import("o1js/dist/node/lib/provable/field").Field[]) => {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+    };
+} & {
+    fromValue: (value: {
+        arguments: OutgoingMessageArgument[] | {
+            witness: {
+                leaf: {
+                    value: bigint;
+                    path: bigint;
+                    nextPath: bigint;
+                };
+                merkleWitness: {
+                    path: bigint[];
+                    isLeft: boolean[];
+                };
+            };
+            messageType: bigint;
+        }[];
+        isDummys: import("o1js/dist/node/lib/provable/bool").Bool[] | boolean[];
+    }) => {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+    };
+    toInput: (x: {
+        arguments: OutgoingMessageArgument[];
+        isDummys: 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: {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+    }) => {
+        arguments: {
+            witness: {
+                leaf: {
+                    value: string;
+                    path: string;
+                    nextPath: string;
+                };
+                merkleWitness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+            messageType: string;
+        }[];
+        isDummys: boolean[];
+    };
+    fromJSON: (x: {
+        arguments: {
+            witness: {
+                leaf: {
+                    value: string;
+                    path: string;
+                    nextPath: string;
+                };
+                merkleWitness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+            messageType: string;
+        }[];
+        isDummys: boolean[];
+    }) => {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+    };
+    empty: () => {
+        arguments: OutgoingMessageArgument[];
+        isDummys: import("o1js/dist/node/lib/provable/bool").Bool[];
+    };
+};
+export declare class OutgoingMessageArgumentBatch extends OutgoingMessageArgumentBatch_base {
+    static fromMessages(providedArguments: OutgoingMessageArgument[]): OutgoingMessageArgumentBatch;
+}
+export {};
+//# sourceMappingURL=OutgoingMessageArgument.d.ts.map

package/dist/settlement/messages/OutgoingMessageArgument.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessageArgument.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessageArgument.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,oBAAoB,EAAoB,MAAM,MAAM,CAAC;AAC3E,OAAO,EAEL,2BAA2B,EAC5B,MAAM,mBAAmB,CAAC;AAK3B,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKnE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,uBAAwB,SAAQ,4BAG3C;WACc,KAAK,IAAI,uBAAuB;CAM/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,4BAA6B,SAAQ,iCAOhD;WACc,YAAY,CAAC,iBAAiB,EAAE,uBAAuB,EAAE;CAcxE"}

package/dist/settlement/messages/OutgoingMessageArgument.js

@@ -0,0 +1,40 @@
+import { Bool, Field, Provable, Struct } from "o1js";
+import { LinkedMerkleTree, LinkedMerkleTreeReadWitness, } from "@proto-kit/common";
+// TODO Make that dynamic based on processors configured
+export const OUTGOING_MESSAGE_BATCH_SIZE = 1;
+export function createMessageStruct(type) {
+    return class MessageStruct extends Struct({
+        value: type,
+        messageType: Field,
+    }) {
+    };
+}
+export class OutgoingMessageArgument extends Struct({
+    witness: LinkedMerkleTreeReadWitness,
+    messageType: Field,
+}) {
+    static dummy() {
+        return new OutgoingMessageArgument({
+            witness: LinkedMerkleTree.dummyReadWitness(),
+            messageType: Field(0),
+        });
+    }
+}
+export class OutgoingMessageArgumentBatch extends Struct({
+    arguments: Provable.Array(OutgoingMessageArgument, OUTGOING_MESSAGE_BATCH_SIZE),
+    isDummys: Provable.Array(Bool, OUTGOING_MESSAGE_BATCH_SIZE),
+}) {
+    static fromMessages(providedArguments) {
+        const batch = providedArguments.slice();
+        const isDummys = batch.map(() => Bool(false));
+        while (batch.length < OUTGOING_MESSAGE_BATCH_SIZE) {
+            batch.push(OutgoingMessageArgument.dummy());
+            isDummys.push(Bool(true));
+        }
+        return new OutgoingMessageArgumentBatch({
+            arguments: batch,
+            isDummys,
+        });
+    }
+}
+//# sourceMappingURL=OutgoingMessageArgument.js.map

package/dist/settlement/messages/OutgoingMessageArgument.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessageArgument.js","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessageArgument.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAwB,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC3E,OAAO,EACL,gBAAgB,EAChB,2BAA2B,GAC5B,MAAM,mBAAmB,CAAC;AAI3B,wDAAwD;AACxD,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAE7C,MAAM,UAAU,mBAAmB,CAAI,IAA6B;IAClE,OAAO,MAAM,aAAc,SAAQ,MAAM,CAAC;QACxC,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,KAAK;KACnB,CAAC;KAAsD,CAAC;AAC3D,CAAC;AAED,MAAM,OAAO,uBAAwB,SAAQ,MAAM,CAAC;IAClD,OAAO,EAAE,2BAA2B;IACpC,WAAW,EAAE,KAAK;CACnB,CAAC;IACO,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,uBAAuB,CAAC;YACjC,OAAO,EAAE,gBAAgB,CAAC,gBAAgB,EAAE;YAC5C,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;SACtB,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,OAAO,4BAA6B,SAAQ,MAAM,CAAC;IACvD,SAAS,EAAE,QAAQ,CAAC,KAAK,CACvB,uBAAuB,EACvB,2BAA2B,CAC5B;IAED,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,2BAA2B,CAAC;CAC5D,CAAC;IACO,MAAM,CAAC,YAAY,CAAC,iBAA4C;QACrE,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAE9C,OAAO,KAAK,CAAC,MAAM,GAAG,2BAA2B,EAAE;YACjD,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;SAC3B;QAED,OAAO,IAAI,4BAA4B,CAAC;YACtC,SAAS,EAAE,KAAK;YAChB,QAAQ;SACT,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/settlement/messages/Withdrawal.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Withdrawal.d.ts.map

package/dist/settlement/messages/Withdrawal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Withdrawal.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/Withdrawal.ts"],"names":[],"mappings":""}

package/dist/settlement/messages/Withdrawal.js

@@ -0,0 +1,3 @@
+export {};
+// TODO Remove
+//# sourceMappingURL=Withdrawal.js.map

package/dist/settlement/messages/Withdrawal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Withdrawal.js","sourceRoot":"","sources":["../../../src/settlement/messages/Withdrawal.ts"],"names":[],"mappings":";AAGA,cAAc"}

package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts

@@ -0,0 +1,25 @@
+import { AccountUpdate, Bool, Field, FlexibleProvablePure, PublicKey } from "o1js";
+import { NoConfig } from "@proto-kit/common";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+export declare function outgoingMessageProcessor(): (target: import("@proto-kit/common").TypedClass<unknown>) => void;
+export type MessageProcessorArgs = {
+    bridgeContract: {
+        publicKey: PublicKey;
+        tokenId: Field;
+    };
+};
+export declare abstract class OutgoingMessageProcessor<T, Config = NoConfig> extends ProtocolModule<Config> {
+    private status;
+    private statusMessage?;
+    assertTrue(b: Bool, msg?: string): void;
+    processMessage(message: T, args: MessageProcessorArgs): {
+        accountUpdates: AccountUpdate[];
+        status: Bool;
+        statusMessage?: string;
+    };
+    abstract type: FlexibleProvablePure<T>;
+    abstract messageType: string;
+    abstract dummy(): T;
+    abstract process(message: T, args: MessageProcessorArgs): AccountUpdate[];
+}
+//# sourceMappingURL=OutgoingMessageProcessor.d.ts.map

package/dist/settlement/modularity/OutgoingMessageProcessor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessageProcessor.d.ts","sourceRoot":"","sources":["../../../src/settlement/modularity/OutgoingMessageProcessor.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,IAAI,EACJ,KAAK,EACL,oBAAoB,EACpB,SAAS,EACV,MAAM,MAAM,CAAC;AACd,OAAO,EAAa,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,wBAAgB,wBAAwB,sEAEvC;AAED,MAAM,MAAM,oBAAoB,GAAG;IACjC,cAAc,EAAE;QACd,SAAS,EAAE,SAAS,CAAC;QACrB,OAAO,EAAE,KAAK,CAAC;KAChB,CAAC;CACH,CAAC;AAEF,8BAAsB,wBAAwB,CAC5C,CAAC,EACD,MAAM,GAAG,QAAQ,CACjB,SAAQ,cAAc,CAAC,MAAM,CAAC;IAC9B,OAAO,CAAC,MAAM,CAAqB;IAEnC,OAAO,CAAC,aAAa,CAAC,CAAqB;IAEpC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,MAAM;IAOvC,cAAc,CACZ,OAAO,EAAE,CAAC,EACV,IAAI,EAAE,oBAAoB,GACzB;QACD,cAAc,EAAE,aAAa,EAAE,CAAC;QAChC,MAAM,EAAE,IAAI,CAAC;QACb,aAAa,CAAC,EAAE,MAAM,CAAC;KACxB;IAaD,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IAEvC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,KAAK,IAAI,CAAC;IAEnB,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,oBAAoB,GAAG,aAAa,EAAE;CAC1E"}

package/dist/settlement/modularity/OutgoingMessageProcessor.js

@@ -0,0 +1,30 @@
+import { Bool, } from "o1js";
+import { implement } from "@proto-kit/common";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+export function outgoingMessageProcessor() {
+    return implement("OutgoingMessageProcessor");
+}
+export class OutgoingMessageProcessor extends ProtocolModule {
+    constructor() {
+        super(...arguments);
+        this.status = Bool(false);
+        this.statusMessage = undefined;
+    }
+    assertTrue(b, msg) {
+        this.status = this.status.and(b);
+        if (this.statusMessage === undefined) {
+            this.statusMessage = msg;
+        }
+    }
+    processMessage(message, args) {
+        this.status = Bool(true);
+        this.statusMessage = undefined;
+        const accountUpdates = this.process(message, args);
+        return {
+            accountUpdates,
+            status: this.status,
+            statusMessage: this.statusMessage,
+        };
+    }
+}
+//# sourceMappingURL=OutgoingMessageProcessor.js.map

package/dist/settlement/modularity/OutgoingMessageProcessor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OutgoingMessageProcessor.js","sourceRoot":"","sources":["../../../src/settlement/modularity/OutgoingMessageProcessor.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,IAAI,GAIL,MAAM,MAAM,CAAC;AACd,OAAO,EAAE,SAAS,EAAY,MAAM,mBAAmB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAE/D,MAAM,UAAU,wBAAwB;IACtC,OAAO,SAAS,CAAC,0BAA0B,CAAC,CAAC;AAC/C,CAAC;AASD,MAAM,OAAgB,wBAGpB,SAAQ,cAAsB;IAHhC;;QAIU,WAAM,GAAS,IAAI,CAAC,KAAK,CAAC,CAAC;QAE3B,kBAAa,GAAY,SAAS,CAAC;IAoC7C,CAAC;IAlCQ,UAAU,CAAC,CAAO,EAAE,GAAY;QACrC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE;YACpC,IAAI,CAAC,aAAa,GAAG,GAAG,CAAC;SAC1B;IACH,CAAC;IAED,cAAc,CACZ,OAAU,EACV,IAA0B;QAM1B,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,CAAC,aAAa,GAAG,SAAS,CAAC;QAE/B,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAEnD,OAAO;YACL,cAAc;YACd,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;SAClC,CAAC;IACJ,CAAC;CASF"}

package/dist/settlement/modularity/ProvableSettlementHook.d.ts

@@ -0,0 +1,26 @@
+import { Field, PublicKey, UInt32 } from "o1js";
+import { InferProofBase } from "@proto-kit/common";
+import { ProtocolModule } from "../../protocol/ProtocolModule";
+import { NetworkState } from "../../model/network/NetworkState";
+import type { BlockProof } from "../../prover/block/BlockProver";
+import type { SettlementSmartContractBase } from "../contracts/SettlementSmartContract";
+export type InputBlockProof = InferProofBase<BlockProof>;
+export type SettlementStateRecord = {
+    sequencerKey: PublicKey;
+    lastSettlementL1BlockHeight: UInt32;
+    stateRoot: Field;
+    networkStateHash: Field;
+    blockHashRoot: Field;
+};
+export type SettlementHookInputs = {
+    blockProof: InputBlockProof;
+    fromNetworkState: NetworkState;
+    toNetworkState: NetworkState;
+    newPromisedMessagesHash: Field;
+    contractState: SettlementStateRecord;
+    currentL1BlockHeight: UInt32;
+};
+export declare abstract class ProvableSettlementHook<Config> extends ProtocolModule<Config> {
+    abstract beforeSettlement(smartContract: SettlementSmartContractBase, inputs: SettlementHookInputs): Promise<void>;
+}
+//# sourceMappingURL=ProvableSettlementHook.d.ts.map

package/dist/settlement/modularity/ProvableSettlementHook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProvableSettlementHook.d.ts","sourceRoot":"","sources":["../../../src/settlement/modularity/ProvableSettlementHook.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,sCAAsC,CAAC;AAExF,MAAM,MAAM,eAAe,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;AAEzD,MAAM,MAAM,qBAAqB,GAAG;IAClC,YAAY,EAAE,SAAS,CAAC;IACxB,2BAA2B,EAAE,MAAM,CAAC;IAEpC,SAAS,EAAE,KAAK,CAAC;IACjB,gBAAgB,EAAE,KAAK,CAAC;IACxB,aAAa,EAAE,KAAK,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG;IACjC,UAAU,EAAE,eAAe,CAAC;IAC5B,gBAAgB,EAAE,YAAY,CAAC;IAC/B,cAAc,EAAE,YAAY,CAAC;IAC7B,uBAAuB,EAAE,KAAK,CAAC;IAC/B,aAAa,EAAE,qBAAqB,CAAC;IACrC,oBAAoB,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,8BAAsB,sBAAsB,CAC1C,MAAM,CACN,SAAQ,cAAc,CAAC,MAAM,CAAC;aACd,gBAAgB,CAC9B,aAAa,EAAE,2BAA2B,EAC1C,MAAM,EAAE,oBAAoB,GAC3B,OAAO,CAAC,IAAI,CAAC;CACjB"}