o1js-pack 0.4.0 → 0.4.1

package/build/src/lib/PackingPlant.js

@@ -1,192 +1,191 @@
-import { Field, Struct, provable, Provable, } from 'o1js';
-const MAX_BITS_PER_FIELD = 254n;
-export function PackingPlant(elementType, l, bitSize) {
-    if (bitSize * BigInt(l) > MAX_BITS_PER_FIELD) {
-        throw new Error(`The Packing Plant is only accepting orders that can fit into one Field, try using MultiPackingPlant`);
-    }
-    class Packed_ extends Struct({
-        packed: Field,
-    }) {
-        constructor(packed) {
-            super({ packed });
-            this.bitSize = bitSize;
-        }
-        // Must implement these in type-specific implementation
-        static extractField(input) {
-            throw new Error('Must implement extractField');
-        }
-        static sizeInBits() {
-            throw new Error('Must implement sizeInBits');
-        }
-        static unpack(f) {
-            throw new Error('Must implement unpack');
-        }
-        // End
-        /**
-         *
-         * @param unpacked Array of the implemented packed type
-         * @throws if the length of the array is longer than the length of the implementing factory config
-         */
-        static checkPack(unpacked) {
-            if (unpacked.length > l) {
-                throw new Error(`Input of size ${unpacked.length} is larger than expected size of ${l}`);
-            }
-        }
-        /**
-         *
-         * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
-         * @returns Field, packed with the information from the unpacked input
-         */
-        static pack(unpacked) {
-            this.checkPack(unpacked);
-            let f = this.extractField(unpacked[0]);
-            const n = Math.min(unpacked.length, l);
-            for (let i = 1; i < n; i++) {
-                const c = Field((2n ** this.sizeInBits()) ** BigInt(i));
-                f = f.add(this.extractField(unpacked[i]).mul(c));
-            }
-            return f;
-        }
-        /**
-         *
-         * @param f Field, packed with the information, as returned by #pack
-         * @returns Array of bigints, which can be decoded by the implementing class into the final type
-         */
-        static unpackToBigints(f) {
-            let unpacked = new Array(l);
-            unpacked.fill(0n);
-            let packedN;
-            if (f) {
-                packedN = f.toBigInt();
-            }
-            else {
-                throw new Error('No Packed Value Provided');
-            }
-            for (let i = 0; i < l; i++) {
-                unpacked[i] = packedN & ((1n << this.sizeInBits()) - 1n);
-                packedN >>= this.sizeInBits();
-            }
-            return unpacked;
-        }
-        assertEquals(other) {
-            this.packed.assertEquals(other.packed);
-        }
-    }
-    Packed_.type = provable({ packed: Field }, {});
-    Packed_.l = l;
-    return Packed_;
-}
-export function MultiPackingPlant(elementType, l, bitSize) {
-    if (bitSize * BigInt(l) > 8n * MAX_BITS_PER_FIELD) {
-        throw new Error(`The Packing Plant is only accepting orders that can fit into eight Fields`);
-    }
-    const n = Math.ceil(Number(bitSize * BigInt(l)) / Number(255n));
-    class Packed_ extends Struct({
-        packed: Provable.Array(Field, n),
-    }) {
-        constructor(packed) {
-            super({ packed });
-            this.bitSize = bitSize;
-        }
-        // Must implement these in type-specific implementation
-        static extractField(input) {
-            throw new Error('Must implement extractField');
-        }
-        static sizeInBits() {
-            throw new Error('Must implement sizeInBits');
-        }
-        static elementsPerField() {
-            throw new Error('Must implement elementsPerField');
-        }
-        static unpack(fields) {
-            throw new Error('Must implement unpack');
-        }
-        // End
-        /**
-         *
-         * @param unpacked Array of the implemented packed type
-         * @throws if the length of the array is longer than the length of the implementing factory config
-         */
-        static checkPack(unpacked) {
-            if (unpacked.length > l) {
-                throw new Error(`Input of size ${unpacked.length} is larger than expected size of ${l}`);
-            }
-        }
-        /**
-         *
-         * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
-         * @returns Array of Fields, packed such that each Field has as much information as possible
-         *
-         * e.g. 15 Characters pack into 1 Field.  15 or fewer Characters will return an array of 1 Field
-         *      30 of fewer Characters will return an aray of 2 Fields
-         */
-        static pack(unpacked) {
-            this.checkPack(unpacked);
-            let fields = [];
-            let mutableUnpacked = [...unpacked];
-            while (mutableUnpacked.length > 0) {
-                let f = this.extractField(mutableUnpacked.shift());
-                if (!f) {
-                    throw new Error('Unexpected Array Length');
-                }
-                // f = f.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
-                const n = Math.min(mutableUnpacked.length + 1, this.elementsPerField());
-                for (let i = 1; i < n; i++) {
-                    let value = this.extractField(mutableUnpacked.shift());
-                    if (!value) {
-                        throw new Error('Unexpected Array Length');
-                    }
-                    value = value || Field(0);
-                    const c = Field((2n ** this.sizeInBits()) ** BigInt(i));
-                    f = f.add(value.mul(c));
-                }
-                fields.push(f);
-            }
-            return fields;
-        }
-        /**
-         *
-         * @param fields Array of Fields, packed such that each Field has as much information as possible, as returned in #pack
-         * @returns Array of bigints, which can be decoded by the implementing class into the final type
-         */
-        static unpackToBigints(fields) {
-            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 (fields[i]) {
-                    packedArg[i] = fields[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 < this.elementsPerField(); j++) {
-                    const k = i * this.elementsPerField() + j;
-                    uints_[k] = packedN & ((1n << this.sizeInBits()) - 1n);
-                    packedN >>= this.sizeInBits();
-                }
-            }
-            return uints_;
-        }
-        assertEquals(other) {
-            for (let x = 0; x < n; x++) {
-                this.packed[x].assertEquals(other.packed[x]);
-            }
-        }
-    }
-    Packed_.type = provable({ packed: Provable.Array(Field, n) }, {});
-    Packed_.l = l;
-    Packed_.n = n;
-    return Packed_;
-}
+import { Field, Struct, provable, Provable, } from 'o1js';
+const MAX_BITS_PER_FIELD = 254n;
+export function PackingPlant(elementType, l, bitSize) {
+    if (bitSize * BigInt(l) > MAX_BITS_PER_FIELD) {
+        throw new Error(`The Packing Plant is only accepting orders that can fit into one Field, try using MultiPackingPlant`);
+    }
+    class Packed_ extends Struct({
+        packed: Field,
+    }) {
+        constructor(packed) {
+            super({ packed });
+        }
+        // Must implement these in type-specific implementation
+        static extractField(input) {
+            throw new Error('Must implement extractField');
+        }
+        static sizeInBits() {
+            throw new Error('Must implement sizeInBits');
+        }
+        static unpack(f) {
+            throw new Error('Must implement unpack');
+        }
+        // End
+        /**
+         *
+         * @param unpacked Array of the implemented packed type
+         * @throws if the length of the array is longer than the length of the implementing factory config
+         */
+        static checkPack(unpacked) {
+            if (unpacked.length > l) {
+                throw new Error(`Input of size ${unpacked.length} is larger than expected size of ${l}`);
+            }
+        }
+        /**
+         *
+         * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
+         * @returns Field, packed with the information from the unpacked input
+         */
+        static pack(unpacked) {
+            this.checkPack(unpacked);
+            let f = this.extractField(unpacked[0]);
+            const n = Math.min(unpacked.length, l);
+            for (let i = 1; i < n; i++) {
+                const c = Field((2n ** this.sizeInBits()) ** BigInt(i));
+                f = f.add(this.extractField(unpacked[i]).mul(c));
+            }
+            return f;
+        }
+        /**
+         *
+         * @param f Field, packed with the information, as returned by #pack
+         * @returns Array of bigints, which can be decoded by the implementing class into the final type
+         */
+        static unpackToBigints(f) {
+            let unpacked = new Array(l);
+            unpacked.fill(0n);
+            let packedN;
+            if (f) {
+                packedN = f.toBigInt();
+            }
+            else {
+                throw new Error('No Packed Value Provided');
+            }
+            for (let i = 0; i < l; i++) {
+                unpacked[i] = packedN & ((1n << this.sizeInBits()) - 1n);
+                packedN >>= this.sizeInBits();
+            }
+            return unpacked;
+        }
+        assertEquals(other) {
+            this.packed.assertEquals(other.packed);
+        }
+    }
+    Packed_.type = provable({ packed: Field }, {});
+    Packed_.l = l;
+    Packed_.bitSize = bitSize;
+    return Packed_;
+}
+export function MultiPackingPlant(elementType, l, bitSize) {
+    if (bitSize * BigInt(l) > 8n * MAX_BITS_PER_FIELD) {
+        throw new Error(`The Packing Plant is only accepting orders that can fit into eight Fields`);
+    }
+    const n = Math.ceil(Number(bitSize * BigInt(l)) / Number(255n));
+    class Packed_ extends Struct({
+        packed: Provable.Array(Field, n),
+    }) {
+        constructor(packed) {
+            super({ packed });
+        }
+        // Must implement these in type-specific implementation
+        static extractField(input) {
+            throw new Error('Must implement extractField');
+        }
+        static sizeInBits() {
+            throw new Error('Must implement sizeInBits');
+        }
+        static elementsPerField() {
+            throw new Error('Must implement elementsPerField');
+        }
+        static unpack(fields) {
+            throw new Error('Must implement unpack');
+        }
+        // End
+        /**
+         *
+         * @param unpacked Array of the implemented packed type
+         * @throws if the length of the array is longer than the length of the implementing factory config
+         */
+        static checkPack(unpacked) {
+            if (unpacked.length > this.l) {
+                throw new Error(`Input of size ${unpacked.length} is larger than expected size of ${l}`);
+            }
+        }
+        /**
+         *
+         * @param unpacked Array of the implemented packed type, must be shorter than the max allowed, which varies by type, will throw if the input is too long
+         * @returns Array of Fields, packed such that each Field has as much information as possible
+         *
+         * e.g. 15 Characters pack into 1 Field.  15 or fewer Characters will return an array of 1 Field
+         *      30 of fewer Characters will return an aray of 2 Fields
+         */
+        static pack(unpacked) {
+            this.checkPack(unpacked);
+            const q = this.elementsPerField();
+            let fields = [];
+            let mutableUnpacked = [...unpacked];
+            for (let i = 0; i < this.n; i++) {
+                let f = this.extractField(mutableUnpacked[i * q]);
+                if (!f) {
+                    throw new Error('Unexpected Array Length');
+                }
+                for (let j = 1; j < q; j++) {
+                    const idx = i * q + j;
+                    let value = this.extractField(mutableUnpacked[idx]);
+                    if (!value) {
+                        throw new Error('Unexpected Array Length');
+                    }
+                    value = value || Field(0);
+                    const c = Field((2n ** this.sizeInBits()) ** BigInt(j));
+                    f = f.add(value.mul(c));
+                }
+                fields.push(f);
+            }
+            return fields;
+        }
+        /**
+         *
+         * @param fields Array of Fields, packed such that each Field has as much information as possible, as returned in #pack
+         * @returns Array of bigints, which can be decoded by the implementing class into the final type
+         */
+        static unpackToBigints(fields) {
+            let uints_ = new Array(this.l); // array length is number of elements per field * number of fields
+            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 (fields[i]) {
+                    packedArg[i] = fields[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 < this.elementsPerField(); j++) {
+                    const k = i * this.elementsPerField() + j;
+                    uints_[k] = packedN & ((1n << this.sizeInBits()) - 1n);
+                    packedN >>= this.sizeInBits();
+                }
+            }
+            return uints_;
+        }
+        assertEquals(other) {
+            for (let x = 0; x < n; x++) {
+                this.packed[x].assertEquals(other.packed[x]);
+            }
+        }
+    }
+    Packed_.type = provable({ packed: Provable.Array(Field, n) }, {});
+    Packed_.l = l;
+    Packed_.n = n;
+    Packed_.bitSize = bitSize;
+    return Packed_;
+}
 //# sourceMappingURL=PackingPlant.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"PackingPlant.js","sourceRoot":"","sources":["../../../src/lib/PackingPlant.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,MAAM,EAEN,QAAQ,EAER,QAAQ,GACT,MAAM,MAAM,CAAC;AAEd,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,MAAM,UAAU,YAAY,CAC1B,WAAc,EACd,CAAS,EACT,OAAe;IAEf,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,kBAAkB,EAAE;QAC5C,MAAM,IAAI,KAAK,CACb,qGAAqG,CACtG,CAAC;KACH;IACD,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,KAAK;KACd,CAAC;QAKA,YAAY,MAAa;YACvB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YAHpB,YAAO,GAAW,OAAO,CAAC;QAI1B,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAQ;YAC1B,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE;gBACvB,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;aACH;QACH,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAClD;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,CAAQ;YAC7B,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,IAAI,OAAO,CAAC;YACZ,IAAI,CAAC,EAAE;gBACL,OAAO,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;aACxB;iBAAM;gBACL,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;aAC7C;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBACzD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;aAC/B;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;;IAxEM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,SAAC,GAAW,CAAC,CAAC;IAyEvB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAG/B,WAAc,EAAE,CAAS,EAAE,OAAe;IAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE;QACjD,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;KACH;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;KACjC,CAAC;QAMA,YAAY,MAAoB;YAC9B,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YAHpB,YAAO,GAAW,OAAO,CAAC;QAI1B,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAoB;YACtC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,gBAAgB;YACrB,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,MAAoB;YAChC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE;gBACvB,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;aACH;QACH,CAAC;QAED;;;;;;;WAOG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,eAAe,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;YACpC,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE;gBACjC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;gBACnD,IAAI,CAAC,CAAC,EAAE;oBACN,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;iBAC5C;gBACD,2DAA2D;gBAC3D,8GAA8G;gBAC9G,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;gBACxE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC1B,IAAI,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;oBACvD,IAAI,CAAC,KAAK,EAAE;wBACV,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;qBAC5C;oBACD,KAAK,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxD,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;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,MAAoB;YACzC,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE;oBACb,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;iBAC1B;aACF;YACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE;gBAC/B,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC;aACrE;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,CAAC;aACpD;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACxC,IAAI,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,EAAE,EAAE;oBAChD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;oBAC1C,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;oBACvD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;iBAC/B;aACF;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;aAC9C;QACH,CAAC;;IA7GM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1D,SAAC,GAAW,CAAC,CAAC;IACd,SAAC,GAAW,CAAC,CAAC;IA6GvB,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"PackingPlant.js","sourceRoot":"","sources":["../../../src/lib/PackingPlant.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EACL,MAAM,EAEN,QAAQ,EAER,QAAQ,GACT,MAAM,MAAM,CAAC;AAEd,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,MAAM,UAAU,YAAY,CAC1B,WAAc,EACd,CAAS,EACT,OAAe;IAEf,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,kBAAkB,EAAE;QAC5C,MAAM,IAAI,KAAK,CACb,qGAAqG,CACtG,CAAC;KACH;IACD,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,KAAK;KACd,CAAC;QAKA,YAAY,MAAa;YACvB,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACpB,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAQ;YAC1B,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE;gBACvB,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;aACH;QACH,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxD,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;aAClD;YACD,OAAO,CAAC,CAAC;QACX,CAAC;QAED;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,CAAQ;YAC7B,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,IAAI,OAAO,CAAC;YACZ,IAAI,CAAC,EAAE;gBACL,OAAO,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;aACxB;iBAAM;gBACL,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;aAC7C;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBACzD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;aAC/B;YACD,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;;IAxEM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,SAAC,GAAW,CAAC,CAAC;IACd,eAAO,GAAW,OAAO,CAAC;IAwEnC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAG/B,WAAc,EAAE,CAAS,EAAE,OAAe;IAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE;QACjD,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;KACH;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;KACjC,CAAC;QAMA,YAAY,MAAoB;YAC9B,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;QACpB,CAAC;QAED,uDAAuD;QACvD,MAAM,CAAC,YAAY,CAAC,KAAoB;YACtC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,UAAU;YACf,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,gBAAgB;YACrB,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,MAAoB;YAChC,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,MAAM;QAEN;;;;WAIG;QACH,MAAM,CAAC,SAAS,CAAC,QAAkB;YACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE;gBAC5B,MAAM,IAAI,KAAK,CACb,iBAAiB,QAAQ,CAAC,MAAM,oCAAoC,CAAC,EAAE,CACxE,CAAC;aACH;QACH,CAAC;QAED;;;;;;;WAOG;QACH,MAAM,CAAC,IAAI,CAAC,QAAkB;YAC5B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YACzB,MAAM,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAClC,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,IAAI,eAAe,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClD,IAAI,CAAC,CAAC,EAAE;oBACN,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;iBAC5C;gBACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC1B,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACtB,IAAI,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;oBACpD,IAAI,CAAC,KAAK,EAAE;wBACV,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;qBAC5C;oBACD,KAAK,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACxD,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;;;;WAIG;QACH,MAAM,CAAC,eAAe,CAAC,MAAoB;YACzC,IAAI,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,kEAAkE;YAClG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAChB,IAAI,QAAQ,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE;oBACb,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;iBAC1B;aACF;YACD,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE;gBAC/B,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC;aACrE;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC/B,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,QAAQ,EAAE,CAAC;aACpD;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBACxC,IAAI,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC,EAAE,EAAE;oBAChD,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;oBAC1C,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;oBACvD,OAAO,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;iBAC/B;aACF;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,YAAY,CAAC,KAAc;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1B,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;aAC9C;QACH,CAAC;;IA5GM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1D,SAAC,GAAW,CAAC,CAAC;IACd,SAAC,GAAW,CAAC,CAAC;IACd,eAAO,GAAW,OAAO,CAAC;IA2GnC,OAAO,OAAO,CAAC;AACjB,CAAC"}

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

@@ -1,90 +1,85 @@
-import { Field, Bool } from 'o1js';
-export declare function PackedBoolFactory(l?: number): {
-    new (packed: import("o1js/dist/node/lib/field.js").Field): {
-        toBooleans(): Array<boolean>;
-        bitSize: bigint;
-        assertEquals(other: {
-            bitSize: bigint;
-            assertEquals(other: any): void;
-            packed: import("o1js/dist/node/lib/field.js").Field;
-        }): void;
-        packed: import("o1js/dist/node/lib/field.js").Field;
-    };
-    extractField(input: Bool): Field;
-    sizeInBits(): bigint;
-    /**
-     *
-     * @param f Field, packed with the information, as returned by #pack
-     * @returns Array of Bool
-     */
-    unpack(f: Field): Bool[];
-    /**
-     *
-     * @param bools Array of Bools to be packed
-     * @returns Instance of the implementing class
-     */
-    fromBools(bools: Array<Bool>): {
-        toBooleans(): Array<boolean>;
-        bitSize: bigint;
-        assertEquals(other: {
-            bitSize: bigint;
-            assertEquals(other: any): void;
-            packed: import("o1js/dist/node/lib/field.js").Field;
-        }): void;
-        packed: import("o1js/dist/node/lib/field.js").Field;
-    };
-    /**
-     *
-     * @param booleans Array of booleans to be packed
-     * @returns Instance of the implementing class
-     */
-    fromBooleans(booleans: Array<boolean>): {
-        toBooleans(): Array<boolean>;
-        bitSize: bigint;
-        assertEquals(other: {
-            bitSize: bigint;
-            assertEquals(other: any): void;
-            packed: import("o1js/dist/node/lib/field.js").Field;
-        }): void;
-        packed: import("o1js/dist/node/lib/field.js").Field;
-    };
-    type: import("o1js/dist/node/bindings/lib/provable-snarky.js").ProvableExtended<{
-        packed: import("o1js/dist/node/lib/field.js").Field;
-    }, {
-        packed: string;
-    }>;
-    l: number;
-    checkPack(unpacked: import("o1js/dist/node/lib/bool.js").Bool[]): void;
-    pack(unpacked: import("o1js/dist/node/lib/bool.js").Bool[]): 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;
-    };
-};
+import { Field, Bool } from 'o1js';
+export declare function PackedBoolFactory(l?: number): {
+    new (packed: import("o1js/dist/node/lib/field.js").Field): {
+        toBooleans(): Array<boolean>;
+        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: Bool): Field;
+    sizeInBits(): bigint;
+    /**
+     *
+     * @param f Field, packed with the information, as returned by #pack
+     * @returns Array of Bool
+     */
+    unpack(f: Field): Bool[];
+    /**
+     *
+     * @param bools Array of Bools to be packed
+     * @returns Instance of the implementing class
+     */
+    fromBools(bools: Array<Bool>): {
+        toBooleans(): Array<boolean>;
+        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 booleans Array of booleans to be packed
+     * @returns Instance of the implementing class
+     */
+    fromBooleans(booleans: Array<boolean>): {
+        toBooleans(): Array<boolean>;
+        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: import("o1js/dist/node/lib/bool.js").Bool[]): void;
+    pack(unpacked: import("o1js/dist/node/lib/bool.js").Bool[]): 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;
+    };
+};