npm - @proto-kit/protocol - Versions diffs - 0.1.1-develop.211 → 0.1.1-develop.2137 - Mend

@proto-kit/protocol 0.1.1-develop.211 → 0.1.1-develop.2137

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (479) hide show

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

@@ -0,0 +1,588 @@
+import { FlexibleProvablePure, Provable, Unconstrained } 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;
+    });
+    toCanonical?: ((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: 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;
+    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;
+    data: Unconstrained<any>;
+}) => {
+    witness: LinkedMerkleTreeReadWitness;
+    messageType: import("o1js/dist/node/lib/provable/field").Field;
+    data: Unconstrained<any>;
+}) & {
+    _isStruct: true;
+} & Provable<{
+    witness: LinkedMerkleTreeReadWitness;
+    messageType: import("o1js/dist/node/lib/provable/field").Field;
+    data: Unconstrained<any>;
+}, {
+    witness: {
+        leaf: {
+            value: bigint;
+            path: bigint;
+            nextPath: bigint;
+        };
+        merkleWitness: {
+            path: bigint[];
+            isLeft: boolean[];
+        };
+    };
+    messageType: bigint;
+    data: any;
+}> & {
+    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;
+                calculateRootIncrement(index: import("o1js/dist/node/lib/provable/field").Field, leaf: import("o1js/dist/node/lib/provable/field").Field): [import("o1js/dist/node/lib/provable/field").Field, import("@proto-kit/common").AbstractMerkleWitness];
+                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;
+        data: any;
+    }) => {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+        data: Unconstrained<any>;
+    };
+    toInput: (x: {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+        data: Unconstrained<any>;
+    }) => {
+        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;
+        data: Unconstrained<any>;
+    }) => {
+        witness: {
+            leaf: {
+                value: string;
+                path: string;
+                nextPath: string;
+            };
+            merkleWitness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+        };
+        messageType: string;
+        data: {
+            prototype: {
+                get: {};
+                set: {};
+                setTo: {};
+                updateAsProver: {};
+            };
+            from: {};
+            witness: {};
+            provable: {
+                toFields: {};
+                toAuxiliary: {};
+                fromFields: {};
+                sizeInFields: {};
+                check: {};
+                toValue: {};
+                fromValue: {};
+                toCanonical?: {} | null | undefined;
+                toInput: {};
+                empty: {};
+            };
+            withEmpty: {};
+        };
+    };
+    fromJSON: (x: {
+        witness: {
+            leaf: {
+                value: string;
+                path: string;
+                nextPath: string;
+            };
+            merkleWitness: {
+                path: string[];
+                isLeft: boolean[];
+            };
+        };
+        messageType: string;
+        data: {
+            prototype: {
+                get: {};
+                set: {};
+                setTo: {};
+                updateAsProver: {};
+            };
+            from: {};
+            witness: {};
+            provable: {
+                toFields: {};
+                toAuxiliary: {};
+                fromFields: {};
+                sizeInFields: {};
+                check: {};
+                toValue: {};
+                fromValue: {};
+                toCanonical?: {} | null | undefined;
+                toInput: {};
+                empty: {};
+            };
+            withEmpty: {};
+        };
+    }) => {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+        data: Unconstrained<any>;
+    };
+    empty: () => {
+        witness: LinkedMerkleTreeReadWitness;
+        messageType: import("o1js/dist/node/lib/provable/field").Field;
+        data: Unconstrained<any>;
+    };
+};
+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;
+} & 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;
+        data: any;
+    }[];
+    isDummys: boolean[];
+}> & {
+    fromValue: (value: {
+        arguments: OutgoingMessageArgument[] | {
+            witness: {
+                leaf: {
+                    value: bigint;
+                    path: bigint;
+                    nextPath: bigint;
+                };
+                merkleWitness: {
+                    path: bigint[];
+                    isLeft: boolean[];
+                };
+            };
+            messageType: bigint;
+            data: any;
+        }[];
+        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;
+            data: {
+                prototype: {
+                    get: {};
+                    set: {};
+                    setTo: {};
+                    updateAsProver: {};
+                };
+                from: {};
+                witness: {};
+                provable: {
+                    toFields: {};
+                    toAuxiliary: {};
+                    fromFields: {};
+                    sizeInFields: {};
+                    check: {};
+                    toValue: {};
+                    fromValue: {};
+                    toCanonical?: {} | null | undefined;
+                    toInput: {};
+                    empty: {};
+                };
+                withEmpty: {};
+            };
+        }[];
+        isDummys: boolean[];
+    };
+    fromJSON: (x: {
+        arguments: {
+            witness: {
+                leaf: {
+                    value: string;
+                    path: string;
+                    nextPath: string;
+                };
+                merkleWitness: {
+                    path: string[];
+                    isLeft: boolean[];
+                };
+            };
+            messageType: string;
+            data: {
+                prototype: {
+                    get: {};
+                    set: {};
+                    setTo: {};
+                    updateAsProver: {};
+                };
+                from: {};
+                witness: {};
+                provable: {
+                    toFields: {};
+                    toAuxiliary: {};
+                    fromFields: {};
+                    sizeInFields: {};
+                    check: {};
+                    toValue: {};
+                    fromValue: {};
+                    toCanonical?: {} | null | undefined;
+                    toInput: {};
+                    empty: {};
+                };
+                withEmpty: {};
+            };
+        }[];
+        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 ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"OutgoingMessageArgument.d.ts","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessageArgument.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,oBAAoB,EACpB,QAAQ,EAER,aAAa,EACd,MAAM,MAAM,CAAC;AACd,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,4BAI3C;WACc,KAAK,IAAI,uBAAuB;CAO/C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,4BAA6B,SAAQ,iCAOhD;WACc,YAAY,CAAC,iBAAiB,EAAE,uBAAuB,EAAE;CAcxE"}

package/dist/settlement/messages/OutgoingMessageArgument.js ADDED Viewed

@@ -0,0 +1,42 @@
+import { Bool, Field, Provable, Struct, Unconstrained, } 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,
+    data: (Unconstrained),
+}) {
+    static dummy() {
+        return new OutgoingMessageArgument({
+            witness: LinkedMerkleTree.dummyReadWitness(),
+            messageType: Field(0),
+            data: Unconstrained.from([]),
+        });
+    }
+}
+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 ADDED Viewed

@@ -0,0 +1 @@

+ {"version":3,"file":"OutgoingMessageArgument.js","sourceRoot":"","sources":["../../../src/settlement/messages/OutgoingMessageArgument.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,KAAK,EAEL,QAAQ,EACR,MAAM,EACN,aAAa,GACd,MAAM,MAAM,CAAC;AACd,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;IAClB,IAAI,EAAE,CAAA,aAAsB,CAAA;CAC7B,CAAC;IACO,MAAM,CAAC,KAAK;QACjB,OAAO,IAAI,uBAAuB,CAAC;YACjC,OAAO,EAAE,gBAAgB,CAAC,gBAAgB,EAAE;YAC5C,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC;YACrB,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;SAC7B,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 ADDED Viewed

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