o1js-pack 0.3.1

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

@@ -0,0 +1 @@
+{"version":3,"file":"PackedBool.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedBool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,MAAM,WAAY,SAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC;QAC3D,MAAM,CAAC,WAAW,CAAC,KAAqC;YACtD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBAC/D,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChB,IAAI,OAAO,CAAC;gBACZ,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE;oBACzB,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;iBACnC;qBAAM;oBACL,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;iBAC7C;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC1B,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC;oBAClD,OAAO,KAAK,YAAY,CAAC;iBAC1B;gBACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;YACH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAgB;YAC1B,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aACpC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,CAAC,aAAa,CAAC,GAAgB;YACnC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACrC,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,CAAC,YAAY,CAAC,OAAuB;YACzC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACrC,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

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

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

@@ -0,0 +1,76 @@
+import { Bool, Provable } from 'o1js';
+import { PackedBoolFactory } from './PackedBool';
+describe('PackedBool', () => {
+    class PackedBool extends PackedBoolFactory(254) {
+    }
+    const booleans = new Array(127).fill([true, false]).flat();
+    const bools = booleans.map((x) => Bool(x));
+    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, outsidePackedBool.aux);
+                    PackedBool.check({ packed: packedBool.packed });
+                });
+            }).not.toThrow();
+        });
+        it('#assertEquals', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const packedBool = new PackedBool(outsidePackedBool.packed, outsidePackedBool.aux);
+                    packedBool.assertEquals(outsidePackedBool);
+                });
+            }).not.toThrow();
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const fakePacked = outsidePackedBool.packed.add(32);
+                    const packedBool = new PackedBool(fakePacked, outsidePackedBool.aux);
+                    packedBool.assertEquals(outsidePackedBool);
+                });
+            }).toThrow();
+        });
+    });
+});
+//# sourceMappingURL=PackedBool.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PackedBool.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedBool.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AACtC,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,MAAM,UAAW,SAAQ,iBAAiB,CAAC,GAAG,CAAC;KAAG;IAClD,MAAM,QAAQ,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YACvD,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAE3C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,GAAI,SAAQ,iBAAiB,CAAC,CAAC,CAAC;aAAG;YACzC,MAAM,aAAc,SAAQ,iBAAiB,CAAC,GAAG,CAAC;aAAG;YAErD,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,aAAa,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAE5C,MAAM,CAAC,GAAG,EAAE;gBACV,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACnC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAEtC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,aAAa,CAClE,QAAQ,CACT,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,MAAM,iBAAiB,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAE5D,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,IAAI,UAAU,CAC/B,iBAAiB,CAAC,MAAM,EACxB,iBAAiB,CAAC,GAAG,CACtB,CAAC;oBAEF,UAAU,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;gBAClD,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,IAAI,UAAU,CAC/B,iBAAiB,CAAC,MAAM,EACxB,iBAAiB,CAAC,GAAG,CACtB,CAAC;oBACF,UAAU,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC7C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACpD,MAAM,UAAU,GAAG,IAAI,UAAU,CAAC,UAAU,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC;oBACrE,UAAU,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC7C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,51 @@
+import { Field, Character } from 'snarkyjs';
+export declare function PackedCharacterFactory(l: number): {
+    new (packed: import("snarkyjs/dist/node/lib/field.js").Field, aux: Character[]): {
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+        aux: Character[];
+        bitSize: bigint;
+    };
+    /**
+     * Unpacks a Field into its component Character parts
+     * @param value
+     * @returns the unpacked auxilliary data used to pack the value
+     */
+    toAuxiliary(value?: {
+        packed: Field;
+    } | undefined): Character[];
+    pack(aux: Character[]): Field;
+    type: import("snarkyjs/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+    }, {
+        packed: string;
+    }>;
+    l: number;
+    unpack(f: import("snarkyjs/dist/node/lib/field.js").Field): Character[];
+    check(value: {
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+    }): void;
+    _isStruct: true;
+    toFields: (value: {
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+    }) => import("snarkyjs/dist/node/lib/field.js").Field[];
+    fromFields: (fields: import("snarkyjs/dist/node/lib/field.js").Field[]) => {
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+    };
+    sizeInFields(): number;
+    toInput: (x: {
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+    }) => {
+        fields?: import("snarkyjs/dist/node/lib/field.js").Field[] | undefined;
+        packed?: [import("snarkyjs/dist/node/lib/field.js").Field, number][] | undefined;
+    };
+    toJSON: (x: {
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+    }) => {
+        packed: string;
+    };
+    fromJSON: (x: {
+        packed: string;
+    }) => {
+        packed: import("snarkyjs/dist/node/lib/field.js").Field;
+    };
+};

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

@@ -0,0 +1,34 @@
+import { Field, Provable, Character } from 'snarkyjs';
+import { PackingPlant } from '../PackingPlant.js';
+const SIZE_IN_BITS = 16n;
+export function PackedCharacterFactory(l) {
+    class PackedCharacter_ extends PackingPlant(Character, l, SIZE_IN_BITS) {
+        /**
+         * Unpacks a Field into its component Character parts
+         * @param value
+         * @returns the unpacked auxilliary data used to pack the value
+         */
+        static toAuxiliary(value) {
+            const auxiliary = Provable.witness(Provable.Array(Character, l), () => {
+                let uints_ = [];
+                let packedN = value?.packed.toBigInt() || 0n;
+                for (let i = 0; i < l; i++) {
+                    uints_[i] = packedN & ((1n << SIZE_IN_BITS) - 1n);
+                    packedN >>= SIZE_IN_BITS;
+                }
+                return uints_.map((x) => Character.fromString(String.fromCharCode(Number(x))));
+            });
+            return auxiliary;
+        }
+        static pack(aux) {
+            let f = Field(0);
+            for (let i = 0; i < l; i++) {
+                const c = Field((2n ** SIZE_IN_BITS) ** BigInt(i));
+                f = f.add(aux[i].value.mul(c));
+            }
+            return f;
+        }
+    }
+    return PackedCharacter_;
+}
+//# sourceMappingURL=PackedCharacter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PackedCharacter.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedCharacter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,YAAY,GAAG,GAAG,CAAC;AAEzB,MAAM,UAAU,sBAAsB,CAAC,CAAS;IAC9C,MAAM,gBAAiB,SAAQ,YAAY,CAAC,SAAS,EAAE,CAAC,EAAE,YAAY,CAAC;QACrE;;;;WAIG;QACH,MAAM,CAAC,WAAW,CAAC,KAAqC;YACtD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBACpE,IAAI,MAAM,GAAa,EAAE,CAAC;gBAC1B,IAAI,OAAO,GAAG,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC;gBAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC1B,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC;oBAClD,OAAO,KAAK,YAAY,CAAC;iBAC1B;gBACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtB,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAgB;YAC1B,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAChC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;KACF;IACD,OAAO,gBAAgB,CAAC;AAC1B,CAAC"}

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

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

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

@@ -0,0 +1,31 @@
+import { Character } from 'snarkyjs';
+import { PackedCharacterFactory } from './PackedCharacter';
+describe('PackedCharacter', () => {
+    it('packs and unpacks a string of length < 16', async () => {
+        const myString = 'This is a test!';
+        let myCharacters = [];
+        for (let i = 0; i < myString.length; i++) {
+            myCharacters.push(Character.fromString(myString[i]));
+        }
+        const PackedCharacter_15 = PackedCharacterFactory(15);
+        const packedCharacter_15 = new PackedCharacter_15(PackedCharacter_15.pack(myCharacters), myCharacters);
+        const f = packedCharacter_15.packed;
+        const unpacked = PackedCharacter_15.unpack(f);
+        const unpackedStr = unpacked.map((x) => x.toString()).join('');
+        expect(unpackedStr).toBe(myString);
+    });
+    it('is one field in size', async () => {
+        const myString = 'This is a test!';
+        let myCharacters = [];
+        for (let i = 0; i < myString.length; i++) {
+            myCharacters.push(Character.fromString(myString[i]));
+        }
+        const PackedCharacter_15 = PackedCharacterFactory(15);
+        expect(PackedCharacter_15.sizeInFields()).toBe(1);
+    });
+    it('throws for input >= 16 chars', () => {
+        expect(() => PackedCharacterFactory(15)).not.toThrow();
+        expect(() => PackedCharacterFactory(16)).toThrow();
+    });
+});
+//# sourceMappingURL=PackedCharacter.test.js.map

package/build/src/lib/packed-types/PackedCharacter.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PackedCharacter.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedCharacter.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACnC,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACxC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACtD;QAED,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAEtD,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAC/C,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,EACrC,YAAY,CACb,CAAC;QACF,MAAM,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC;QACpC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAE9C,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAE/D,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,KAAK,IAAI,EAAE;QACpC,MAAM,QAAQ,GAAG,iBAAiB,CAAC;QACnC,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YACxC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACtD;QAED,MAAM,kBAAkB,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAEtD,MAAM,CAAC,kBAAkB,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,78 @@
+import { Field, Character } from 'o1js';
+export declare function PackedStringFactory(l: number): {
+    new (packed: import("o1js/dist/node/lib/field.js").Field[], aux: Character[]): {
+        toString(): string;
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+        aux: Character[];
+        bitSize: bigint;
+        assertEquals(other: {
+            packed: import("o1js/dist/node/lib/field.js").Field[];
+            aux: Character[];
+            bitSize: bigint;
+            assertEquals(other: any): void;
+        }): void;
+    };
+    toAuxiliary(value?: {
+        packed: Array<Field>;
+    } | undefined): Character[];
+    pack(aux: Character[]): Array<Field>;
+    fromString(str: string): {
+        toString(): string;
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+        aux: Character[];
+        bitSize: bigint;
+        assertEquals(other: {
+            packed: import("o1js/dist/node/lib/field.js").Field[];
+            aux: Character[];
+            bitSize: bigint;
+            assertEquals(other: any): void;
+        }): void;
+    };
+    fromAuxiliary(aux: Array<Character>): {
+        toString(): string;
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+        aux: Character[];
+        bitSize: bigint;
+        assertEquals(other: {
+            packed: import("o1js/dist/node/lib/field.js").Field[];
+            aux: Character[];
+            bitSize: bigint;
+            assertEquals(other: any): void;
+        }): void;
+    };
+    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;
+    unpack(fields: import("o1js/dist/node/lib/field.js").Field[]): Character[];
+    _isStruct: true;
+    toFields: (value: {
+        packed: import("o1js/dist/node/lib/field.js").Field[];
+    }) => import("o1js/dist/node/lib/field.js").Field[];
+    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[];
+    };
+};

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

@@ -0,0 +1,83 @@
+import { Field, Provable, Character } from 'o1js';
+import { MultiPackingPlant } from '../PackingPlant.js';
+const SIZE_IN_BITS = 16n;
+const CHARS_PER_FIELD = 15;
+export function PackedStringFactory(l) {
+    class PackedString_ extends MultiPackingPlant(Character, l, SIZE_IN_BITS) {
+        static toAuxiliary(value) {
+            const auxiliary = Provable.witness(Provable.Array(Character, l), () => {
+                let uints_ = new Array(l);
+                uints_.fill(0n);
+                let packedNs = new Array(this.n);
+                packedNs.fill(0n);
+                const packedArg = new Array(this.n);
+                packedArg.fill(Field(0), 0, this.n);
+                for (let i = 0; i < this.n; i++) {
+                    if (value?.packed[i]) {
+                        packedArg[i] = value?.packed[i];
+                    }
+                }
+                if (packedArg.length !== this.n) {
+                    throw new Error(`Packed value must be exactly ${this.n} in length`);
+                }
+                for (let i = 0; i < this.n; i++) {
+                    packedNs[i] = packedArg[i].toConstant().toBigInt();
+                }
+                for (let i = 0; i < packedNs.length; i++) {
+                    let packedN = packedNs[i];
+                    for (let j = 0; j < CHARS_PER_FIELD; j++) {
+                        const k = i * CHARS_PER_FIELD + j;
+                        uints_[k] = packedN & ((1n << SIZE_IN_BITS) - 1n);
+                        packedN >>= SIZE_IN_BITS;
+                    }
+                }
+                return uints_.map((x) => Character.fromString(String.fromCharCode(Number(x))));
+            });
+            return auxiliary;
+        }
+        static pack(aux) {
+            let fields = [];
+            let mutableAux = [...aux];
+            while (mutableAux.length > 0) {
+                const initialChar = mutableAux.shift();
+                if (!initialChar) {
+                    throw new Error('Unexpected Array Length');
+                }
+                // f = initialChar.value is the same as f = 0; f += char.value * c^0;
+                // If f is initialized as 0, then it is a "constant" field and can't be added to a "variable" field in a proof
+                let f = initialChar.value;
+                const n = Math.min(mutableAux.length + 1, CHARS_PER_FIELD);
+                for (let i = 1; i < n; i++) {
+                    const char = mutableAux.shift();
+                    if (!char) {
+                        throw new Error('Unexpected Array Length');
+                    }
+                    const value = char.value || Field(0);
+                    const c = Field((2n ** SIZE_IN_BITS) ** BigInt(i));
+                    f = f.add(value.mul(c));
+                }
+                fields.push(f);
+            }
+            return fields;
+        }
+        static fromString(str) {
+            let characters = [];
+            for (let i = 0; i < str.length; i++) {
+                characters.push(Character.fromString(str[i]));
+            }
+            return this.fromAuxiliary(characters);
+        }
+        static fromAuxiliary(aux) {
+            const packed = this.pack(aux);
+            return new PackedString_(packed, aux);
+        }
+        toString() {
+            const nullChar = String.fromCharCode(0);
+            return PackedString_.unpack(this.packed)
+                .filter((c) => c.toString() !== nullChar)
+                .join('');
+        }
+    }
+    return PackedString_;
+}
+//# sourceMappingURL=PackedString.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PackedString.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAEvD,MAAM,YAAY,GAAG,GAAG,CAAC;AACzB,MAAM,eAAe,GAAG,EAAE,CAAC;AAE3B,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,MAAM,aAAc,SAAQ,iBAAiB,CAAC,SAAS,EAAE,CAAC,EAAE,YAAY,CAAC;QACvE,MAAM,CAAC,WAAW,CAChB,KAA4C;YAE5C,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBACpE,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChB,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAClB,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC/B,IAAI,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE;wBACpB,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;qBACjC;iBACF;gBACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE;oBAC/B,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC;iBACrE;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC/B,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,CAAC;iBACpD;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;oBACxC,IAAI,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,EAAE,CAAC,EAAE,EAAE;wBACxC,MAAM,CAAC,GAAG,CAAC,GAAG,eAAe,GAAG,CAAC,CAAC;wBAClC,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC;wBAClD,OAAO,KAAK,YAAY,CAAC;qBAC1B;iBACF;gBACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACtB,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAgB;YAC1B,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,UAAU,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;YAC1B,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE;gBAC5B,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;gBACvC,IAAI,CAAC,WAAW,EAAE;oBAChB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;iBAC5C;gBACD,qEAAqE;gBACrE,8GAA8G;gBAC9G,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC;gBAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC;gBAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC1B,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;oBAChC,IAAI,CAAC,IAAI,EAAE;wBACT,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;qBAC5C;oBACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBACrC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACnD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;iBACzB;gBACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;aAChB;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,CAAC,UAAU,CAAC,GAAW;YAC3B,IAAI,UAAU,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACnC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC/C;YAED,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;QAED,MAAM,CAAC,aAAa,CAAC,GAAqB;YACxC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACxC,CAAC;QAED,QAAQ;YACN,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACxC,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;iBACrC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,QAAQ,CAAC;iBACxC,IAAI,CAAC,EAAE,CAAC,CAAC;QACd,CAAC;KACF;IACD,OAAO,aAAa,CAAC;AACvB,CAAC"}

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

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

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

@@ -0,0 +1,100 @@
+import { Character, Provable } from 'o1js';
+import { PackedStringFactory } from './PackedString';
+describe('PackedString', () => {
+    describe('Outside of the Circuit', () => {
+        const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
+        class EthAddressString extends PackedStringFactory(42) {
+        }
+        let characters = [];
+        beforeEach(() => {
+            characters = [];
+            for (let i = 0; i < vitalik_dot_eth.length; i++) {
+                characters.push(Character.fromString(vitalik_dot_eth[i]));
+            }
+        });
+        it('#fromString', () => {
+            const myEthAddress = EthAddressString.fromString(vitalik_dot_eth);
+            expect(myEthAddress.toString()).toBe(vitalik_dot_eth);
+        });
+        it('#fromAuxilliary', () => {
+            const myEthAddress = EthAddressString.fromAuxiliary(characters);
+            expect(myEthAddress.toString()).toBe(vitalik_dot_eth);
+        });
+        it('#pack and #unPack', () => {
+            const packed = EthAddressString.pack(characters);
+            const unpacked = EthAddressString.unpack(packed);
+            expect(packed.length).toBe(Math.ceil(vitalik_dot_eth.length / 15));
+            expect(unpacked.length).toBe(vitalik_dot_eth.length);
+            expect(unpacked.toString()).toBe(characters.toString());
+        });
+    });
+    describe('Provable Properties', () => {
+        it('#sizeInFields', () => {
+            class one extends PackedStringFactory(15) {
+            }
+            class two extends PackedStringFactory(16) {
+            }
+            class three extends PackedStringFactory(40) {
+            }
+            expect(one.sizeInFields()).toBe(1);
+            expect(two.sizeInFields()).toBe(2);
+            expect(three.sizeInFields()).toBe(3);
+        });
+    });
+    describe('Defensive Cases', () => {
+        it('Initializes a class with fewer than allowed characters', () => {
+            class String10 extends PackedStringFactory(10) {
+            }
+            const string0 = String10.fromString('');
+            const string2 = String10.fromString('ab');
+            expect(string0.toString()).toBe('');
+            expect(string2.toString()).toBe('ab');
+        });
+        it('Initializes a class with more than allowed characters', () => {
+            class String10 extends PackedStringFactory(10) {
+            }
+            expect(() => {
+                const string11 = String10.fromString('abcdefghijk');
+            }).toThrow();
+        });
+        it('Exceeds maximum size string', () => {
+            const tooLong = 'too long!'.repeat(20);
+            class MaxString extends PackedStringFactory(120) {
+            }
+            expect(() => {
+                MaxString.fromString(tooLong);
+            }).toThrow();
+        });
+    });
+    describe('In the circuit', () => {
+        const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
+        class EthAddressString extends PackedStringFactory(42) {
+        }
+        const outsideEthAddress = EthAddressString.fromString(vitalik_dot_eth);
+        it('Initializes a string', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const myEthAddress = new EthAddressString(outsideEthAddress.packed, outsideEthAddress.aux);
+                    EthAddressString.check({ packed: myEthAddress.packed });
+                });
+            }).not.toThrow();
+        });
+        it('#assertEquals', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const myEthAddress = new EthAddressString(outsideEthAddress.packed, outsideEthAddress.aux);
+                    myEthAddress.assertEquals(outsideEthAddress);
+                });
+            }).not.toThrow();
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const fakePacked = [...outsideEthAddress.packed];
+                    fakePacked[0] = fakePacked[0].add(1);
+                    const myEthAddress = new EthAddressString(fakePacked, outsideEthAddress.aux);
+                    myEthAddress.assertEquals(outsideEthAddress);
+                });
+            }).toThrow();
+        });
+    });
+});
+//# sourceMappingURL=PackedString.test.js.map

package/build/src/lib/packed-types/PackedString.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PackedString.test.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedString.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAS,QAAQ,EAAE,MAAM,MAAM,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAErD,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,mBAAmB,CAAC,EAAE,CAAC;SAAG;QACzD,IAAI,UAAU,GAAqB,EAAE,CAAC;QAEtC,UAAU,CAAC,GAAG,EAAE;YACd,UAAU,GAAG,EAAE,CAAC;YAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBAC/C,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC3D;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE;YACrB,MAAM,YAAY,GAAG,gBAAgB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;YAClE,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,YAAY,GAAG,gBAAgB,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;YAChE,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAEjD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;YACnE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,GAAI,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAC5C,MAAM,GAAI,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAC5C,MAAM,KAAM,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAE9C,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,QAAS,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAEjD,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAE1C,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpC,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAS,SAAQ,mBAAmB,CAAC,EAAE,CAAC;aAAG;YAEjD,MAAM,CAAC,GAAG,EAAE;gBACV,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACvC,MAAM,SAAU,SAAQ,mBAAmB,CAAC,GAAG,CAAC;aAAG;YACnD,MAAM,CAAC,GAAG,EAAE;gBACV,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAChC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,mBAAmB,CAAC,EAAE,CAAC;SAAG;QAEzD,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;QAEvE,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,YAAY,GAAG,IAAI,gBAAgB,CACvC,iBAAiB,CAAC,MAAM,EACxB,iBAAiB,CAAC,GAAG,CACtB,CAAC;oBAEF,gBAAgB,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC1D,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,YAAY,GAAG,IAAI,gBAAgB,CACvC,iBAAiB,CAAC,MAAM,EACxB,iBAAiB,CAAC,GAAG,CACtB,CAAC;oBAEF,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YAEjB,MAAM,CAAC,GAAG,EAAE;gBACV,QAAQ,CAAC,WAAW,CAAC,GAAG,EAAE;oBACxB,MAAM,UAAU,GAAG,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBACjD,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACrC,MAAM,YAAY,GAAG,IAAI,gBAAgB,CACvC,UAAU,EACV,iBAAiB,CAAC,GAAG,CACtB,CAAC;oBAEF,YAAY,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC;gBAC/C,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,77 @@
+import { Field, UInt32 } from 'o1js';
+export declare function PackedUInt32Factory(l: number): {
+    new (packed: import("o1js/dist/node/lib/field.js").Field, aux: UInt32[]): {
+        toBigInts(): Array<bigint>;
+        packed: import("o1js/dist/node/lib/field.js").Field;
+        aux: UInt32[];
+        bitSize: bigint;
+        assertEquals(other: {
+            packed: import("o1js/dist/node/lib/field.js").Field;
+            aux: UInt32[];
+            bitSize: bigint;
+            assertEquals(other: any): void;
+        }): void;
+    };
+    toAuxiliary(value?: {
+        packed: Field;
+    } | undefined): Array<UInt32>;
+    pack(aux: Array<UInt32>): Field;
+    fromAuxiliary(aux: Array<UInt32>): {
+        toBigInts(): Array<bigint>;
+        packed: import("o1js/dist/node/lib/field.js").Field;
+        aux: UInt32[];
+        bitSize: bigint;
+        assertEquals(other: {
+            packed: import("o1js/dist/node/lib/field.js").Field;
+            aux: UInt32[];
+            bitSize: bigint;
+            assertEquals(other: any): void;
+        }): void;
+    };
+    fromBigInts(bigints: Array<bigint>): {
+        toBigInts(): Array<bigint>;
+        packed: import("o1js/dist/node/lib/field.js").Field;
+        aux: UInt32[];
+        bitSize: bigint;
+        assertEquals(other: {
+            packed: import("o1js/dist/node/lib/field.js").Field;
+            aux: UInt32[];
+            bitSize: bigint;
+            assertEquals(other: any): void;
+        }): void;
+    };
+    type: import("o1js/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    }, {
+        packed: string;
+    }>;
+    l: number;
+    unpack(f: import("o1js/dist/node/lib/field.js").Field): UInt32[];
+    _isStruct: true;
+    toFields: (value: {
+        packed: import("o1js/dist/node/lib/field.js").Field;
+    }) => import("o1js/dist/node/lib/field.js").Field[];
+    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;
+    };
+};

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

@@ -0,0 +1,48 @@
+import { Field, Provable, UInt32 } from 'o1js';
+import { PackingPlant } from '../PackingPlant.js';
+const SIZE_IN_BITS = 32n;
+export function PackedUInt32Factory(l) {
+    class PackedUInt32_ extends PackingPlant(UInt32, l, SIZE_IN_BITS) {
+        static toAuxiliary(value) {
+            const auxiliary = Provable.witness(Provable.Array(UInt32, l), () => {
+                let uints_ = new Array(l);
+                uints_.fill(0n);
+                let packedN;
+                if (value && value.packed) {
+                    packedN = value.packed.toBigInt();
+                }
+                else {
+                    throw new Error('No Packed Value Provided');
+                }
+                for (let i = 0; i < l; i++) {
+                    uints_[i] = packedN & ((1n << SIZE_IN_BITS) - 1n);
+                    packedN >>= SIZE_IN_BITS;
+                }
+                return uints_.map((x) => UInt32.from(x));
+            });
+            return auxiliary;
+        }
+        static pack(aux) {
+            let f = aux[0].value;
+            const n = Math.min(aux.length, l);
+            for (let i = 1; i < n; i++) {
+                const c = Field((2n ** SIZE_IN_BITS) ** BigInt(i));
+                f = f.add(aux[i].value.mul(c));
+            }
+            return f;
+        }
+        static fromAuxiliary(aux) {
+            const packed = PackedUInt32_.pack(aux);
+            return new PackedUInt32_(packed, aux);
+        }
+        static fromBigInts(bigints) {
+            const uint32s = bigints.map((x) => UInt32.from(x));
+            return this.fromAuxiliary(uint32s);
+        }
+        toBigInts() {
+            return PackedUInt32_.unpack(this.packed).map((x) => x.toBigint());
+        }
+    }
+    return PackedUInt32_;
+}
+//# sourceMappingURL=PackedUInt32.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PackedUInt32.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedUInt32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,YAAY,GAAG,GAAG,CAAC;AAEzB,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,MAAM,aAAc,SAAQ,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,YAAY,CAAC;QAC/D,MAAM,CAAC,WAAW,CAAC,KAAqC;YACtD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBACjE,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChB,IAAI,OAAO,CAAC;gBACZ,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE;oBACzB,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;iBACnC;qBAAM;oBACL,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;iBAC7C;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC1B,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC;oBAClD,OAAO,KAAK,YAAY,CAAC;iBAC1B;gBACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;YACH,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAkB;YAC5B,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YACrB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAChC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,CAAC,aAAa,CAAC,GAAkB;YACrC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvC,OAAO,IAAI,aAAa,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACxC,CAAC;QAED,MAAM,CAAC,WAAW,CAAC,OAAsB;YACvC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACnD,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC;QAED,SAAS;YACP,OAAO,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACpE,CAAC;KACF;IACD,OAAO,aAAa,CAAC;AACvB,CAAC"}

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

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