o1js-pack 0.4.0 → 0.4.1

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

@@ -1,49 +1,50 @@
-import { Provable, UInt32 } from 'o1js';
-import { PackingPlant } from '../PackingPlant.js';
-const L = 7; // 7 32-bit uints fit in one Field
-const SIZE_IN_BITS = 32n;
-export function PackedUInt32Factory(l = L) {
-    class PackedUInt32_ extends PackingPlant(UInt32, l, SIZE_IN_BITS) {
-        static extractField(input) {
-            return input.value;
-        }
-        static sizeInBits() {
-            return SIZE_IN_BITS;
-        }
-        /**
-         *
-         * @param f Field, packed with the information, as returned by #pack
-         * @returns Array of UInt32
-         */
-        static unpack(f) {
-            const unpacked = Provable.witness(Provable.Array(UInt32, l), () => {
-                const unpacked = this.unpackToBigints(f);
-                return unpacked.map((x) => UInt32.from(x));
-            });
-            return unpacked;
-        }
-        /**
-         *
-         * @param uint32s Array of UInt32s to be packed
-         * @returns Instance of the implementing class
-         */
-        static fromUInt32s(uint32s) {
-            const packed = PackedUInt32_.pack(uint32s);
-            return new PackedUInt32_(packed);
-        }
-        /**
-         *
-         * @param bigints Array of bigints to be packed
-         * @returns Instance of the implementing class
-         */
-        static fromBigInts(bigints) {
-            const uint32s = bigints.map((x) => UInt32.from(x));
-            return PackedUInt32_.fromUInt32s(uint32s);
-        }
-        toBigInts() {
-            return PackedUInt32_.unpack(this.packed).map((x) => x.toBigint());
-        }
-    }
-    return PackedUInt32_;
-}
+import { Provable, UInt32 } from 'o1js';
+import { PackingPlant } from '../PackingPlant.js';
+const L = 7; // 7 32-bit uints fit in one Field
+const SIZE_IN_BITS = 32n;
+export function PackedUInt32Factory(l = L) {
+    class PackedUInt32_ extends PackingPlant(UInt32, l, SIZE_IN_BITS) {
+        static extractField(input) {
+            return input.value;
+        }
+        static sizeInBits() {
+            return SIZE_IN_BITS;
+        }
+        /**
+         *
+         * @param f Field, packed with the information, as returned by #pack
+         * @returns Array of UInt32
+         */
+        static unpack(f) {
+            const unpacked = Provable.witness(Provable.Array(UInt32, l), () => {
+                const unpacked = this.unpackToBigints(f);
+                return unpacked.map((x) => UInt32.from(x));
+            });
+            f.assertEquals(PackedUInt32_.pack(unpacked));
+            return unpacked;
+        }
+        /**
+         *
+         * @param uint32s Array of UInt32s to be packed
+         * @returns Instance of the implementing class
+         */
+        static fromUInt32s(uint32s) {
+            const packed = PackedUInt32_.pack(uint32s);
+            return new PackedUInt32_(packed);
+        }
+        /**
+         *
+         * @param bigints Array of bigints to be packed
+         * @returns Instance of the implementing class
+         */
+        static fromBigInts(bigints) {
+            const uint32s = bigints.map((x) => UInt32.from(x));
+            return PackedUInt32_.fromUInt32s(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

@@ -1 +1 @@
-{"version":3,"file":"PackedUInt32.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedUInt32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,kCAAkC;AAC/C,MAAM,YAAY,GAAG,GAAG,CAAC;AAEzB,MAAM,UAAU,mBAAmB,CAAC,IAAY,CAAC;IAC/C,MAAM,aAAc,SAAQ,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,YAAY,CAAC;QAC/D,MAAM,CAAC,YAAY,CAAC,KAAa;YAC/B,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,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,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;YACH,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,WAAW,CAAC,OAAsB;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3C,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QAED;;;;WAIG;QACH,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,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC5C,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"}
+{"version":3,"file":"PackedUInt32.js","sourceRoot":"","sources":["../../../../src/lib/packed-types/PackedUInt32.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,QAAQ,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,kCAAkC;AAC/C,MAAM,YAAY,GAAG,GAAG,CAAC;AAEzB,MAAM,UAAU,mBAAmB,CAAC,IAAY,CAAC;IAC/C,MAAM,aAAc,SAAQ,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,YAAY,CAAC;QAC/D,MAAM,CAAC,YAAY,CAAC,KAAa;YAC/B,OAAO,KAAK,CAAC,KAAK,CAAC;QACrB,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,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE;gBAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBACzC,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7C,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,WAAW,CAAC,OAAsB;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC3C,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QAED;;;;WAIG;QACH,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,aAAa,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC5C,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

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

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

@@ -1,84 +1,84 @@
-import { Provable, UInt32 } from 'o1js';
-import { PackedUInt32Factory } from './PackedUInt32';
-describe('PackedUInt32', () => {
-    class PackedUInt32 extends PackedUInt32Factory() {
-    }
-    describe('Outside of the circuit', () => {
-        const bigints = [10n, 2n ** 32n - 1n, 0n, 10n, 2n ** 32n - 100n, 42n, 0n];
-        const uints = bigints.map((x) => UInt32.from(x));
-        it('#fromBigInts', () => {
-            const myPackedUInt32 = PackedUInt32.fromBigInts(bigints);
-            expect(myPackedUInt32.toBigInts()).toMatchObject(bigints);
-        });
-        it('#pack and #unPack', () => {
-            const packed = PackedUInt32.pack(uints);
-            const unpacked = PackedUInt32.unpack(packed);
-            expect(unpacked.length).toBe(uints.length);
-            expect(unpacked).toMatchObject(uints);
-        });
-    });
-    describe('Provable Properties', () => {
-        it('#sizeInFields', () => {
-            class one extends PackedUInt32Factory(1) {
-            }
-            class seven extends PackedUInt32Factory(7) {
-            }
-            expect(one.sizeInFields()).toBe(1);
-            expect(seven.sizeInFields()).toBe(1);
-        });
-    });
-    describe('Defensive Cases', () => {
-        it('throws for input >= 8 uints', () => {
-            expect(() => PackedUInt32Factory(7)).not.toThrow();
-            expect(() => PackedUInt32Factory(8)).toThrow();
-        });
-        it('initalizes with more input than allowed', () => {
-            const bigints = [
-                10n,
-                2n ** 32n - 1n,
-                0n,
-                10n,
-                2n ** 32n - 100n,
-                42n,
-                0n,
-                0n,
-            ];
-            expect(() => {
-                PackedUInt32.fromBigInts(bigints);
-            }).toThrow();
-        });
-        it('initalizes with less input than specified', () => {
-            const bigints = [10n];
-            const expected = [10n, 0n, 0n, 0n, 0n, 0n, 0n];
-            expect(PackedUInt32.fromBigInts(bigints).toBigInts()).toMatchObject(expected);
-        });
-    });
-    describe('In the circuit', () => {
-        const bigints = [10n, 2n ** 32n - 1n, 0n, 10n, 2n ** 32n - 100n, 42n, 0n];
-        const outsidePackedUInt = PackedUInt32.fromBigInts(bigints);
-        it('Initializes', () => {
-            expect(() => {
-                Provable.runAndCheck(() => {
-                    const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed);
-                    PackedUInt32.check({ packed: packedUInt32.packed });
-                });
-            }).not.toThrow();
-        });
-        it('#assertEquals', () => {
-            expect(() => {
-                Provable.runAndCheck(() => {
-                    const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed);
-                    packedUInt32.assertEquals(outsidePackedUInt);
-                });
-            }).not.toThrow();
-            expect(() => {
-                Provable.runAndCheck(() => {
-                    const fakePacked = outsidePackedUInt.packed.add(32);
-                    const packedUInt32 = new PackedUInt32(fakePacked);
-                    packedUInt32.assertEquals(outsidePackedUInt);
-                });
-            }).toThrow();
-        });
-    });
-});
+import { Provable, UInt32 } from 'o1js';
+import { PackedUInt32Factory } from './PackedUInt32';
+describe('PackedUInt32', () => {
+    class PackedUInt32 extends PackedUInt32Factory() {
+    }
+    describe('Outside of the circuit', () => {
+        const bigints = [10n, 2n ** 32n - 1n, 0n, 10n, 2n ** 32n - 100n, 42n, 0n];
+        const uints = bigints.map((x) => UInt32.from(x));
+        it('#fromBigInts', () => {
+            const myPackedUInt32 = PackedUInt32.fromBigInts(bigints);
+            expect(myPackedUInt32.toBigInts()).toMatchObject(bigints);
+        });
+        it('#pack and #unPack', () => {
+            const packed = PackedUInt32.pack(uints);
+            const unpacked = PackedUInt32.unpack(packed);
+            expect(unpacked.length).toBe(uints.length);
+            expect(unpacked).toMatchObject(uints);
+        });
+    });
+    describe('Provable Properties', () => {
+        it('#sizeInFields', () => {
+            class one extends PackedUInt32Factory(1) {
+            }
+            class seven extends PackedUInt32Factory(7) {
+            }
+            expect(one.sizeInFields()).toBe(1);
+            expect(seven.sizeInFields()).toBe(1);
+        });
+    });
+    describe('Defensive Cases', () => {
+        it('throws for input >= 8 uints', () => {
+            expect(() => PackedUInt32Factory(7)).not.toThrow();
+            expect(() => PackedUInt32Factory(8)).toThrow();
+        });
+        it('initalizes with more input than allowed', () => {
+            const bigints = [
+                10n,
+                2n ** 32n - 1n,
+                0n,
+                10n,
+                2n ** 32n - 100n,
+                42n,
+                0n,
+                0n,
+            ];
+            expect(() => {
+                PackedUInt32.fromBigInts(bigints);
+            }).toThrow();
+        });
+        it('initalizes with less input than specified', () => {
+            const bigints = [10n];
+            const expected = [10n, 0n, 0n, 0n, 0n, 0n, 0n];
+            expect(PackedUInt32.fromBigInts(bigints).toBigInts()).toMatchObject(expected);
+        });
+    });
+    describe('In the circuit', () => {
+        const bigints = [10n, 2n ** 32n - 1n, 0n, 10n, 2n ** 32n - 100n, 42n, 0n];
+        const outsidePackedUInt = PackedUInt32.fromBigInts(bigints);
+        it('Initializes', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed);
+                    PackedUInt32.check({ packed: packedUInt32.packed });
+                });
+            }).not.toThrow();
+        });
+        it('#assertEquals', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const packedUInt32 = new PackedUInt32(outsidePackedUInt.packed);
+                    packedUInt32.assertEquals(outsidePackedUInt);
+                });
+            }).not.toThrow();
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const fakePacked = outsidePackedUInt.packed.add(32);
+                    const packedUInt32 = new PackedUInt32(fakePacked);
+                    packedUInt32.assertEquals(outsidePackedUInt);
+                });
+            }).toThrow();
+        });
+    });
+});
 //# sourceMappingURL=PackedUInt32.test.js.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "o1js-pack",
-  "version": "0.4.0",
+  "version": "0.4.1",
   "description": "",
   "author": "45930",
   "license": "Apache-2.0",

package/tests/provable/end_to_end.test.ts

@@ -56,12 +56,10 @@ describe('End to End Text Input Test', () => {
       const p1 = await TextInputProgram.changeFirstLetter(
         proofTextInput,
         initProof,
-        TextInput.unpack(new TextInput(initProof.publicInput.packed).packed),
+        TextInput.unpack(initProof.publicInput.packed),
         Character.fromString('Z')
       );
-      Poseidon.hash(proofTextInput.packed).assertEquals(
-        Poseidon.hash(p1.publicInput.packed)
-      );
+      proofTextInput.assertEquals(p1.publicInput);
     });
   });
 });

package/tests/provable/example_packed_string_circuit.ts

@@ -6,10 +6,9 @@ import {
   Provable,
   Field,
 } from 'o1js';
-import { PackedStringFactory } from '../../src/lib/packed-types/PackedString';
+import { MultiPackedStringFactory } from '../../src/lib/packed-types/PackedString';
 
-const MAX_LENGTH = 32;
-export class TextInput extends PackedStringFactory(MAX_LENGTH) {}
+export class TextInput extends MultiPackedStringFactory(3) {}
 
 export const TextInputProgram = Experimental.ZkProgram({
   publicInput: TextInput,
@@ -23,11 +22,7 @@ export const TextInputProgram = Experimental.ZkProgram({
       },
     },
     changeFirstLetter: {
-      privateInputs: [
-        SelfProof,
-        Provable.Array(Character, MAX_LENGTH),
-        Character,
-      ],
+      privateInputs: [SelfProof, Provable.Array(Character, 45), Character],
       method(
         newState: TextInput,
         oldProof: SelfProof<TextInput, TextInput>,

package/tests/provable/example_packed_uint_circuit.ts

@@ -18,24 +18,18 @@ export const VotesProgram = Experimental.ZkProgram({
       privateInputs: [SelfProof],
       method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
         oldProof.verify();
-        const expectedUnpacked = Votes.unpack(oldProof.publicInput.packed);
-        oldProof.publicInput.packed.assertEquals(
-          Votes.fromUInt32s(expectedUnpacked).packed
-        );
-        expectedUnpacked[0] = expectedUnpacked[0].add(1);
-        newState.assertEquals(Votes.fromUInt32s(expectedUnpacked));
+        const unpacked = Votes.unpack(oldProof.publicInput.packed);
+        unpacked[0] = unpacked[0].add(1);
+        newState.assertEquals(Votes.fromUInt32s(unpacked));
       },
     },
     incrementIndex1: {
       privateInputs: [SelfProof],
       method(newState: Votes, oldProof: SelfProof<Votes, Votes>) {
         oldProof.verify();
-        const expectedUnpacked = Votes.unpack(oldProof.publicInput.packed);
-        oldProof.publicInput.packed.assertEquals(
-          Votes.fromUInt32s(expectedUnpacked).packed
-        );
-        expectedUnpacked[1] = expectedUnpacked[1].add(1);
-        newState.assertEquals(Votes.fromUInt32s(expectedUnpacked));
+        const unpacked = Votes.unpack(oldProof.publicInput.packed);
+        unpacked[1] = unpacked[1].add(1);
+        newState.assertEquals(Votes.fromUInt32s(unpacked));
       },
     },
   },

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

@@ -1,51 +0,0 @@
-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

@@ -1,34 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

@@ -1,31 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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/scratch.d.ts

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

package/build/src/lib/scratch.js

@@ -1,16 +0,0 @@
-import { Character } from 'snarkyjs';
-import { PackedStringFactory } from './packed-types/PackedString';
-const main = () => {
-    const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
-    // length = 42 ~ 3 ZkStringFragments
-    console.log(vitalik_dot_eth, vitalik_dot_eth.length);
-    let myCharacters = [];
-    for (let i = 0; i < vitalik_dot_eth.length; i++) {
-        myCharacters.push(Character.fromString(vitalik_dot_eth[i]));
-    }
-    const EthAddressString = PackedStringFactory(42);
-    const myEthAddress = new EthAddressString(EthAddressString.pack(myCharacters), myCharacters);
-    console.log(EthAddressString.unpack(myEthAddress.packed).toString());
-};
-main();
-//# sourceMappingURL=scratch.js.map

package/build/src/lib/scratch.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"scratch.js","sourceRoot":"","sources":["../../../src/lib/scratch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AACrC,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAElE,MAAM,IAAI,GAAG,GAAG,EAAE;IAChB,MAAM,eAAe,GAAG,4CAA4C,CAAC;IAErE,oCAAoC;IACpC,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;IAErD,IAAI,YAAY,GAAG,EAAE,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAC/C,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC7D;IAED,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,IAAI,gBAAgB,CACvC,gBAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,EACnC,YAAY,CACb,CAAC;IAEF,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,IAAI,EAAE,CAAC"}

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

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

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

@@ -1,34 +0,0 @@
-import { Field, Provable, Bool } from 'snarkyjs';
-import { PackingPlant } from './PackingPlant';
-const SIZE_IN_BITS = 1n;
-export function PackedBoolFactory(l) {
-    class PackedBool_ extends PackingPlant(Bool, l, SIZE_IN_BITS) {
-        /**
-         * Unpacks a Field into its component Bool parts
-         * @param value
-         * @returns the unpacked auxilliary data used to pack the value
-         */
-        static toAuxiliary(value) {
-            const auxiliary = Provable.witness(Provable.Array(Bool, l), () => {
-                let bools_ = [];
-                let packedN = value?.packed.toBigInt() || 0n;
-                for (let i = 0; i < l; i++) {
-                    bools_[i] = packedN & ((1n << SIZE_IN_BITS) - 1n);
-                    packedN >>= SIZE_IN_BITS;
-                }
-                return bools_.map((x) => Bool.fromJSON(Boolean(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].toField().mul(c));
-            }
-            return f;
-        }
-    }
-    return PackedBool_;
-}
-//# sourceMappingURL=PackedBool.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"PackedBool.js","sourceRoot":"","sources":["../../../src/packed-types/PackedBool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,MAAM,YAAY,GAAG,EAAE,CAAC;AAExB,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,MAAM,WAAY,SAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,CAAC;QAC3D;;;;WAIG;QACH,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,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,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,GAAW;YACrB,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,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aACpC;YACD,OAAO,CAAC,CAAC;QACX,CAAC;KACF;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

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

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