o1js-pack 0.4.0 → 0.4.1

package/build/src/lib/packed-types/PackedBool.js

@@ -1,49 +1,50 @@
-import { Provable, Bool } from 'o1js';
-import { PackingPlant } from '../PackingPlant.js';
-const L = 254; // 254 1-bit booleans fit in one Field
-const SIZE_IN_BITS = 1n;
-export function PackedBoolFactory(l = L) {
-    class PackedBool_ extends PackingPlant(Bool, l, SIZE_IN_BITS) {
-        static extractField(input) {
-            return input.toField();
-        }
-        static sizeInBits() {
-            return SIZE_IN_BITS;
-        }
-        /**
-         *
-         * @param f Field, packed with the information, as returned by #pack
-         * @returns Array of Bool
-         */
-        static unpack(f) {
-            const unpacked = Provable.witness(Provable.Array(Bool, l), () => {
-                const unpacked = this.unpackToBigints(f);
-                return unpacked.map((x) => Bool.fromJSON(Boolean(x)));
-            });
-            return unpacked;
-        }
-        /**
-         *
-         * @param bools Array of Bools to be packed
-         * @returns Instance of the implementing class
-         */
-        static fromBools(bools) {
-            const packed = PackedBool_.pack(bools);
-            return new PackedBool_(packed);
-        }
-        /**
-         *
-         * @param booleans Array of booleans to be packed
-         * @returns Instance of the implementing class
-         */
-        static fromBooleans(booleans) {
-            const bools = booleans.map((x) => Bool(x));
-            return PackedBool_.fromBools(bools);
-        }
-        toBooleans() {
-            return PackedBool_.unpack(this.packed).map((x) => x.toBoolean());
-        }
-    }
-    return PackedBool_;
-}
+import { Provable, Bool } from 'o1js';
+import { PackingPlant } from '../PackingPlant.js';
+const L = 254; // 254 1-bit booleans fit in one Field
+const SIZE_IN_BITS = 1n;
+export function PackedBoolFactory(l = L) {
+    class PackedBool_ extends PackingPlant(Bool, l, SIZE_IN_BITS) {
+        static extractField(input) {
+            return input.toField();
+        }
+        static sizeInBits() {
+            return SIZE_IN_BITS;
+        }
+        /**
+         *
+         * @param f Field, packed with the information, as returned by #pack
+         * @returns Array of Bool
+         */
+        static unpack(f) {
+            const unpacked = Provable.witness(Provable.Array(Bool, l), () => {
+                const unpacked = this.unpackToBigints(f);
+                return unpacked.map((x) => Bool.fromJSON(Boolean(x)));
+            });
+            f.assertEquals(PackedBool_.pack(unpacked));
+            return unpacked;
+        }
+        /**
+         *
+         * @param bools Array of Bools to be packed
+         * @returns Instance of the implementing class
+         */
+        static fromBools(bools) {
+            const packed = PackedBool_.pack(bools);
+            return new PackedBool_(packed);
+        }
+        /**
+         *
+         * @param booleans Array of booleans to be packed
+         * @returns Instance of the implementing class
+         */
+        static fromBooleans(booleans) {
+            const bools = booleans.map((x) => Bool(x));
+            return PackedBool_.fromBools(bools);
+        }
+        toBooleans() {
+            return PackedBool_.unpack(this.packed).map((x) => x.toBoolean());
+        }
+    }
+    return PackedBool_;
+}
 //# sourceMappingURL=PackedBool.js.map

package/build/src/lib/packed-types/PackedBool.js.map

@@ -1 +1 @@
-{"version":3,"file":"PackedBool.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedBool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,QAAQ,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,sCAAsC;AACrD,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,MAAM,UAAU,iBAAiB,CAAC,IAAY,CAAC;IAC7C,MAAM,WAAY,SAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC;QAC3D,MAAM,CAAC,YAAY,CAAC,KAAW;YAC7B,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;QACzB,CAAC;QAED,MAAM,CAAC,UAAU;YACf,OAAO,YAAY,CAAC;QACtB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,KAAkB;YACjC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvC,OAAO,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,YAAY,CAAC,QAAwB;YAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;QAED,UAAU;YACR,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACnE,CAAC;KACF;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}
+{"version":3,"file":"PackedBool.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedBool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,QAAQ,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,sCAAsC;AACrD,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,MAAM,UAAU,iBAAiB,CAAC,IAAY,CAAC;IAC7C,MAAM,WAAY,SAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC;QAC3D,MAAM,CAAC,YAAY,CAAC,KAAW;YAC7B,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC;QACzB,CAAC;QAED,MAAM,CAAC,UAAU;YACf,OAAO,YAAY,CAAC;QACtB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBAC9D,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3C,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,KAAkB;YACjC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvC,OAAO,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,YAAY,CAAC,QAAwB;YAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,OAAO,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;QAED,UAAU;YACR,OAAO,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACnE,CAAC;KACF;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/build/src/lib/packed-types/PackedBool.test.d.ts

@@ -1 +1 @@
-export {};
+export {};

package/build/src/lib/packed-types/PackedBool.test.js

@@ -1,76 +1,76 @@
-import { Bool, Provable } from 'o1js';
-import { PackedBoolFactory } from './PackedBool';
-describe('PackedBool', () => {
-    const booleans = new Array(127).fill([true, false]).flat();
-    const bools = booleans.map((x) => Bool(x));
-    class PackedBool extends PackedBoolFactory() {
-    }
-    describe('Outside of the circuit', () => {
-        it('#fromBooleans', () => {
-            const myPackedBool = PackedBool.fromBooleans(booleans);
-            expect(myPackedBool.toBooleans()).toMatchObject(booleans);
-        });
-        it('#pack and #unPack', () => {
-            const packed = PackedBool.pack(bools);
-            const unpacked = PackedBool.unpack(packed);
-            expect(unpacked.length).toBe(bools.length);
-            expect(unpacked).toMatchObject(bools);
-        });
-    });
-    describe('Provable Properties', () => {
-        it('#sizeInFields', () => {
-            class one extends PackedBoolFactory(1) {
-            }
-            class two_five_four extends PackedBoolFactory(254) {
-            }
-            expect(one.sizeInFields()).toBe(1);
-            expect(two_five_four.sizeInFields()).toBe(1);
-        });
-    });
-    describe('Defensive Cases', () => {
-        it('throws for input >= 255 bools', () => {
-            expect(() => PackedBoolFactory(254)).not.toThrow();
-            expect(() => PackedBoolFactory(255)).toThrow();
-        });
-        it('initalizes with more input than allowed', () => {
-            const tooMany = [...booleans].concat(false);
-            expect(() => {
-                PackedBool.fromBooleans(tooMany);
-            }).toThrow();
-        });
-        it('initalizes with less input than specified', () => {
-            const booleans = [true, false];
-            const pad = new Array(252);
-            pad.fill(false);
-            const expected = booleans.concat(pad);
-            expect(PackedBool.fromBooleans(booleans).toBooleans()).toMatchObject(expected);
-        });
-    });
-    describe('In the circuit', () => {
-        const outsidePackedBool = PackedBool.fromBooleans(booleans);
-        it('Initializes', () => {
-            expect(() => {
-                Provable.runAndCheck(() => {
-                    const packedBool = new PackedBool(outsidePackedBool.packed);
-                    PackedBool.check({ packed: packedBool.packed });
-                });
-            }).not.toThrow();
-        });
-        it('#assertEquals', () => {
-            expect(() => {
-                Provable.runAndCheck(() => {
-                    const packedBool = new PackedBool(outsidePackedBool.packed);
-                    packedBool.assertEquals(outsidePackedBool);
-                });
-            }).not.toThrow();
-            expect(() => {
-                Provable.runAndCheck(() => {
-                    const fakePacked = outsidePackedBool.packed.add(32);
-                    const packedBool = new PackedBool(fakePacked);
-                    packedBool.assertEquals(outsidePackedBool);
-                });
-            }).toThrow();
-        });
-    });
-});
+import { Bool, Provable } from 'o1js';
+import { PackedBoolFactory } from './PackedBool';
+describe('PackedBool', () => {
+    const booleans = new Array(127).fill([true, false]).flat();
+    const bools = booleans.map((x) => Bool(x));
+    class PackedBool extends PackedBoolFactory() {
+    }
+    describe('Outside of the circuit', () => {
+        it('#fromBooleans', () => {
+            const myPackedBool = PackedBool.fromBooleans(booleans);
+            expect(myPackedBool.toBooleans()).toMatchObject(booleans);
+        });
+        it('#pack and #unPack', () => {
+            const packed = PackedBool.pack(bools);
+            const unpacked = PackedBool.unpack(packed);
+            expect(unpacked.length).toBe(bools.length);
+            expect(unpacked).toMatchObject(bools);
+        });
+    });
+    describe('Provable Properties', () => {
+        it('#sizeInFields', () => {
+            class one extends PackedBoolFactory(1) {
+            }
+            class two_five_four extends PackedBoolFactory(254) {
+            }
+            expect(one.sizeInFields()).toBe(1);
+            expect(two_five_four.sizeInFields()).toBe(1);
+        });
+    });
+    describe('Defensive Cases', () => {
+        it('throws for input >= 255 bools', () => {
+            expect(() => PackedBoolFactory(254)).not.toThrow();
+            expect(() => PackedBoolFactory(255)).toThrow();
+        });
+        it('initalizes with more input than allowed', () => {
+            const tooMany = [...booleans].concat(false);
+            expect(() => {
+                PackedBool.fromBooleans(tooMany);
+            }).toThrow();
+        });
+        it('initalizes with less input than specified', () => {
+            const booleans = [true, false];
+            const pad = new Array(252);
+            pad.fill(false);
+            const expected = booleans.concat(pad);
+            expect(PackedBool.fromBooleans(booleans).toBooleans()).toMatchObject(expected);
+        });
+    });
+    describe('In the circuit', () => {
+        const outsidePackedBool = PackedBool.fromBooleans(booleans);
+        it('Initializes', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const packedBool = new PackedBool(outsidePackedBool.packed);
+                    PackedBool.check({ packed: packedBool.packed });
+                });
+            }).not.toThrow();
+        });
+        it('#assertEquals', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const packedBool = new PackedBool(outsidePackedBool.packed);
+                    packedBool.assertEquals(outsidePackedBool);
+                });
+            }).not.toThrow();
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const fakePacked = outsidePackedBool.packed.add(32);
+                    const packedBool = new PackedBool(fakePacked);
+                    packedBool.assertEquals(outsidePackedBool);
+                });
+            }).toThrow();
+        });
+    });
+});
 //# sourceMappingURL=PackedBool.test.js.map

package/build/src/lib/packed-types/PackedString.d.ts

@@ -1,92 +1,181 @@
-import { Field, Character } from 'o1js';
-export declare function PackedStringFactory(l?: number): {
-    new (packed: import("o1js/dist/node/lib/field.js").Field[]): {
-        toString(): string;
-        bitSize: bigint;
-        assertEquals(other: {
-            bitSize: bigint;
-            assertEquals(other: any): void;
-            packed: import("o1js/dist/node/lib/field.js").Field[];
-        }): void;
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    };
-    extractField(input: Character): Field;
-    sizeInBits(): bigint;
-    elementsPerField(): number;
-    /**
-     *
-     * @param fields Array of Fields, containing packed Characters
-     * @returns Array of Character
-     */
-    unpack(fields: Field[]): Character[];
-    /**
-     *
-     * @param characters Array of Character to be packed
-     * @returns Instance of the implementing class
-     */
-    fromCharacters(characters: Array<Character>): {
-        toString(): string;
-        bitSize: bigint;
-        assertEquals(other: {
-            bitSize: bigint;
-            assertEquals(other: any): void;
-            packed: import("o1js/dist/node/lib/field.js").Field[];
-        }): void;
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    };
-    /**
-     *
-     * @param str string to be packed
-     * @returns Instance of the implementing class
-     */
-    fromString(str: string): {
-        toString(): string;
-        bitSize: bigint;
-        assertEquals(other: {
-            bitSize: bigint;
-            assertEquals(other: any): void;
-            packed: import("o1js/dist/node/lib/field.js").Field[];
-        }): void;
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    };
-    type: import("o1js/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    }, {
-        packed: string[];
-    }>;
-    l: number;
-    n: number;
-    checkPack(unpacked: Character[]): void;
-    pack(unpacked: Character[]): import("o1js/dist/node/lib/field.js").Field[];
-    unpackToBigints(fields: import("o1js/dist/node/lib/field.js").Field[]): bigint[];
-    _isStruct: true;
-    toFields: (value: {
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    }) => import("o1js/dist/node/lib/field.js").Field[];
-    toAuxiliary: (value?: {
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    } | undefined) => any[];
-    fromFields: (fields: import("o1js/dist/node/lib/field.js").Field[]) => {
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    };
-    sizeInFields(): number;
-    check: (value: {
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    }) => void;
-    toInput: (x: {
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    }) => {
-        fields?: import("o1js/dist/node/lib/field.js").Field[] | undefined;
-        packed?: [import("o1js/dist/node/lib/field.js").Field, number][] | undefined;
-    };
-    toJSON: (x: {
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    }) => {
-        packed: string[];
-    };
-    fromJSON: (x: {
-        packed: string[];
-    }) => {
-        packed: import("o1js/dist/node/lib/field.js").Field[];
-    };
-};
+import { Field, Character } from 'o1js';
+export declare function PackedStringFactory(l?: number): {
+    new (packed: import("o1js/dist/node/lib/field.js").Field): {
+        toString(): string;
+        assertEquals(other: {
+            assertEquals(other: any): void;
+            packed: import("o1js/dist/node/lib/field.js").Field;
+        }): void;
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    };
+    extractField(input: Character): Field;
+    sizeInBits(): bigint;
+    /**
+     *
+     * @param f Field, packed with the information, as returned by #pack
+     * @returns Array of Character
+     */
+    unpack(f: Field): Character[];
+    /**
+     *
+     * @param characters Array of Character to be packed
+     * @returns Instance of the implementing class
+     */
+    fromCharacters(input: Array<Character>): {
+        toString(): string;
+        assertEquals(other: {
+            assertEquals(other: any): void;
+            packed: import("o1js/dist/node/lib/field.js").Field;
+        }): void;
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    };
+    /**
+     *
+     * @param str string to be packed
+     * @returns Instance of the implementing class
+     */
+    fromString(str: string): {
+        toString(): string;
+        assertEquals(other: {
+            assertEquals(other: any): void;
+            packed: import("o1js/dist/node/lib/field.js").Field;
+        }): void;
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    };
+    /**
+     *
+     * @param f Field, packed with the information, as returned by #pack
+     * @returns Array of Character
+     */
+    type: import("o1js/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    }, {
+        packed: string;
+    }>;
+    l: number;
+    bitSize: bigint;
+    checkPack(unpacked: Character[]): void;
+    pack(unpacked: Character[]): import("o1js/dist/node/lib/field.js").Field;
+    unpackToBigints(f: import("o1js/dist/node/lib/field.js").Field): bigint[];
+    _isStruct: true;
+    toFields: (value: {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    }) => import("o1js/dist/node/lib/field.js").Field[];
+    toAuxiliary: (value?: {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    } | undefined) => any[];
+    fromFields: (fields: import("o1js/dist/node/lib/field.js").Field[]) => {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    };
+    sizeInFields(): number;
+    check: (value: {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    }) => void;
+    toInput: (x: {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    }) => {
+        fields?: import("o1js/dist/node/lib/field.js").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field.js").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    }) => {
+        packed: string;
+    };
+    fromJSON: (x: {
+        packed: string;
+    }) => {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    };
+};
+/**
+ *
+ * @param n number of fields to employ to store the string
+ * @returns MultiPackedString_ class with length of n * CHARS_PER_FIELD
+ */
+export declare function MultiPackedStringFactory(n?: number): {
+    new (packed: import("o1js/dist/node/lib/field.js").Field[]): {
+        toString(): string;
+        assertEquals(other: {
+            assertEquals(other: any): void;
+            packed: import("o1js/dist/node/lib/field.js").Field[];
+        }): void;
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    };
+    extractField(input: Character): Field;
+    sizeInBits(): bigint;
+    elementsPerField(): number;
+    /**
+     *
+     * @param fields Array of Fields, containing packed Characters
+     * @returns Array of Character
+     */
+    unpack(fields: Field[]): Character[];
+    /**
+     *
+     * @param characters Array of Character to be packed
+     * @returns Instance of the implementing class
+     */
+    fromCharacters(input: Array<Character>): {
+        toString(): string;
+        assertEquals(other: {
+            assertEquals(other: any): void;
+            packed: import("o1js/dist/node/lib/field.js").Field[];
+        }): void;
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    };
+    /**
+     *
+     * @param str string to be packed
+     * @returns Instance of the implementing class
+     */
+    fromString(str: string): {
+        toString(): string;
+        assertEquals(other: {
+            assertEquals(other: any): void;
+            packed: import("o1js/dist/node/lib/field.js").Field[];
+        }): void;
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    };
+    type: import("o1js/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    }, {
+        packed: string[];
+    }>;
+    l: number;
+    n: number;
+    bitSize: bigint;
+    checkPack(unpacked: Character[]): void;
+    pack(unpacked: Character[]): import("o1js/dist/node/lib/field.js").Field[];
+    unpackToBigints(fields: import("o1js/dist/node/lib/field.js").Field[]): bigint[];
+    _isStruct: true;
+    toFields: (value: {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    }) => import("o1js/dist/node/lib/field.js").Field[];
+    toAuxiliary: (value?: {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    } | undefined) => any[];
+    fromFields: (fields: import("o1js/dist/node/lib/field.js").Field[]) => {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    };
+    sizeInFields(): number;
+    check: (value: {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    }) => void;
+    toInput: (x: {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    }) => {
+        fields?: import("o1js/dist/node/lib/field.js").Field[] | undefined;
+        packed?: [import("o1js/dist/node/lib/field.js").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    }) => {
+        packed: string[];
+    };
+    fromJSON: (x: {
+        packed: string[];
+    }) => {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    };
+};