o1js-pack 0.3.1 → 0.4.1

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

@@ -1,100 +1,101 @@
-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();
-        });
-    });
-});
+import { Character, Provable } from 'o1js';
+import { PackedStringFactory, MultiPackedStringFactory } from './PackedString';
+describe('PackedString', () => {
+    describe('Outside of the Circuit', () => {
+        const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
+        class EthAddressString extends MultiPackedStringFactory(3) {
+        }
+        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('#fromCharacters', () => {
+            const myEthAddress = EthAddressString.fromCharacters(characters);
+            expect(myEthAddress.toString()).toBe(vitalik_dot_eth);
+        });
+        it('#pack and #unPack', () => {
+            const unpacked = EthAddressString.unpack(EthAddressString.fromCharacters(characters).packed);
+            const packed = EthAddressString.pack(unpacked);
+            expect(packed.length).toBe(Math.ceil(vitalik_dot_eth.length / 15));
+            expect(unpacked.length).toBe(EthAddressString.l);
+            expect(unpacked.length).toBe(45);
+            expect(unpacked.slice(0, characters.length).toString()).toBe(characters.toString());
+        });
+    });
+    describe('Provable Properties', () => {
+        it('#sizeInFields', () => {
+            class one extends PackedStringFactory(15) {
+            }
+            class two extends MultiPackedStringFactory(2) {
+            }
+            class three extends MultiPackedStringFactory(3) {
+            }
+            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(() => {
+                String10.fromString('abcdefghijk');
+            }).toThrow();
+        });
+        it('Exceeds maximum size string', () => {
+            const tooLong = 'too long!'.repeat(20);
+            class MaxString extends MultiPackedStringFactory(8) {
+            }
+            expect(() => {
+                MaxString.fromString(tooLong);
+            }).toThrow();
+        });
+    });
+    describe('In the circuit', () => {
+        const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
+        class EthAddressString extends MultiPackedStringFactory(3) {
+        }
+        const outsideEthAddress = EthAddressString.fromString(vitalik_dot_eth);
+        it('Initializes a string', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const myEthAddress = new EthAddressString(outsideEthAddress.packed);
+                    EthAddressString.check({ packed: myEthAddress.packed });
+                });
+            }).not.toThrow();
+        });
+        it('#assertEquals', () => {
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const myEthAddress = new EthAddressString(outsideEthAddress.packed);
+                    myEthAddress.assertEquals(outsideEthAddress);
+                });
+            }).not.toThrow();
+            expect(() => {
+                Provable.runAndCheck(() => {
+                    const fakePacked = [...outsideEthAddress.packed];
+                    fakePacked[0] = fakePacked[0].add(1);
+                    const myEthAddress = new EthAddressString(fakePacked);
+                    myEthAddress.assertEquals(outsideEthAddress);
+                });
+            }).toThrow();
+        });
+    });
+});
 //# sourceMappingURL=PackedString.test.js.map

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

@@ -1 +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"}
+{"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,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAE/E,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,MAAM,eAAe,GAAG,4CAA4C,CAAC;QACrE,MAAM,gBAAiB,SAAQ,wBAAwB,CAAC,CAAC,CAAC;SAAG;QAC7D,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,cAAc,CAAC,UAAU,CAAC,CAAC;YACjE,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,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CACtC,gBAAgB,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,MAAM,CACnD,CAAC;YACF,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAE/C,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,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAC1D,UAAU,CAAC,QAAQ,EAAE,CACtB,CAAC;QACJ,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,wBAAwB,CAAC,CAAC,CAAC;aAAG;YAChD,MAAM,KAAM,SAAQ,wBAAwB,CAAC,CAAC,CAAC;aAAG;YAElD,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,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;YACrC,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,wBAAwB,CAAC,CAAC,CAAC;aAAG;YACtD,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,wBAAwB,CAAC,CAAC,CAAC;SAAG;QAE7D,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,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAEpE,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,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBAEpE,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,CAAC,UAAU,CAAC,CAAC;oBAEtD,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

@@ -1,77 +1,85 @@
-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;
-    };
-};
+import { Field, UInt32 } from 'o1js';
+export declare function PackedUInt32Factory(l?: number): {
+    new (packed: import("o1js/dist/node/lib/field.js").Field): {
+        toBigInts(): Array<bigint>;
+        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: UInt32): Field;
+    sizeInBits(): bigint;
+    /**
+     *
+     * @param f Field, packed with the information, as returned by #pack
+     * @returns Array of UInt32
+     */
+    unpack(f: Field): UInt32[];
+    /**
+     *
+     * @param uint32s Array of UInt32s to be packed
+     * @returns Instance of the implementing class
+     */
+    fromUInt32s(uint32s: Array<UInt32>): {
+        toBigInts(): Array<bigint>;
+        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 bigints Array of bigints to be packed
+     * @returns Instance of the implementing class
+     */
+    fromBigInts(bigints: Array<bigint>): {
+        toBigInts(): Array<bigint>;
+        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;
+    bitSize: bigint;
+    checkPack(unpacked: UInt32[]): void;
+    pack(unpacked: UInt32[]): 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;
+    };
+};

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

@@ -1,48 +1,50 @@
-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_;
-}
+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,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"}
+{"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 {};