o1js-pack 0.3.1

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

@@ -0,0 +1,54 @@
+import { Field, InferProvable } from 'snarkyjs';
+export declare function PackingPlant<A, T extends InferProvable<A> = InferProvable<A>>(elementType: A, l: number, bitSize: bigint): (abstract new (packed: Field, aux: Array<T>) => {
+    packed: Field;
+    aux: Array<T>;
+    bitSize: bigint;
+}) & {
+    type: import("snarkyjs/dist/node/bindings/lib/provable-snarky").ProvableExtended<{
+        packed: import("snarkyjs/dist/node/lib/field").Field;
+    }, {
+        packed: string;
+    }>;
+    l: number;
+    /**
+     * Unpacks a Field into its component parts
+     *
+     * @param value
+     * @returns the unpacked auxilliary data used to pack the value
+     */
+    toAuxiliary(value?: {
+        packed: Field;
+    } | undefined): Array<T>;
+    pack(aux: Array<T>): Field;
+    unpack(f: Field): T[];
+    /**
+     * In-Circuit verifiaction of the packed Field
+     */
+    check(value: {
+        packed: 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/PackingPlant.js

@@ -0,0 +1,45 @@
+import { Field, Struct, provable } from 'snarkyjs';
+export function PackingPlant(elementType, l, bitSize) {
+    if (bitSize * BigInt(l) >= 255n) {
+        throw new Error(`The Packing Plant is only accepting orders that can fit into a single Field`);
+    }
+    class Packed_ extends Struct({
+        packed: Field,
+    }) {
+        constructor(packed, aux) {
+            super({ packed });
+            this.bitSize = bitSize;
+            this.aux = aux;
+        }
+        /**
+         * Unpacks a Field into its component parts
+         *
+         * @param value
+         * @returns the unpacked auxilliary data used to pack the value
+         */
+        static toAuxiliary(value) {
+            throw new Error('Must implement toAuxiliary');
+            return [];
+        }
+        static pack(aux) {
+            throw new Error('Must implement pack');
+            let f = Field(0);
+            return f;
+        }
+        static unpack(f) {
+            return this.toAuxiliary({ packed: f });
+        }
+        /**
+         * In-Circuit verifiaction of the packed Field
+         */
+        static check(value) {
+            const unpacked = this.toAuxiliary({ packed: value.packed });
+            const packed = this.pack(unpacked);
+            packed.assertEquals(value.packed);
+        }
+    }
+    Packed_.type = provable({ packed: Field }, {});
+    Packed_.l = l;
+    return Packed_;
+}
+//# sourceMappingURL=PackingPlant.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PackingPlant.js","sourceRoot":"","sources":["../../../src/packed-types/PackingPlant.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAiB,MAAM,UAAU,CAAC;AAElE,MAAM,UAAU,YAAY,CAC1B,WAAc,EACd,CAAS,EACT,OAAe;IAEf,IAAI,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE;QAC/B,MAAM,IAAI,KAAK,CACb,6EAA6E,CAC9E,CAAC;KACH;IACD,MAAe,OAAQ,SAAQ,MAAM,CAAC;QACpC,MAAM,EAAE,KAAK;KACd,CAAC;QAOA,YAAY,MAAa,EAAE,GAAa;YACtC,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;YAHpB,YAAO,GAAW,OAAO,CAAC;YAIxB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACjB,CAAC;QAED;;;;;WAKG;QACH,MAAM,CAAC,WAAW,CAAC,KAAqC;YACtD,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAC9C,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAa;YACvB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACvC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACjB,OAAO,CAAC,CAAC;QACX,CAAC;QAED,MAAM,CAAC,MAAM,CAAC,CAAQ;YACpB,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QACzC,CAAC;QAED;;WAEG;QACH,MAAM,CAAC,KAAK,CAAC,KAAwB;YACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;;IAvCM,YAAI,GAAG,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,SAAC,GAAW,CAAC,CAAC;IAwCvB,OAAO,OAAO,CAAC;AACjB,CAAC"}

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

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

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

@@ -0,0 +1,5 @@
+import { PackedCharacterFactory } from "./PackedCharacter.js";
+const ZkStringFragment = PackedCharacterFactory(15);
+const vitalik_dot_eth = '0xd8dA6BF26964aF9D7eEd9e03E53415D37aA96045';
+console.log(vitalik_dot_eth, vitalik_dot_eth.length);
+//# sourceMappingURL=scratch.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scratch.js","sourceRoot":"","sources":["../../../src/packed-types/scratch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;AACpD,MAAM,eAAe,GAAG,4CAA4C,CAAC;AAErE,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC"}

package/config.json

@@ -0,0 +1,4 @@
+{
+  "version": 1,
+  "deployAliases": {}
+}

package/coverage/clover.xml

@@ -0,0 +1,166 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<coverage generated="1689651113685" clover="3.2.0">
+  <project timestamp="1689651113686" name="All files">
+    <metrics statements="142" coveredstatements="126" conditionals="18" coveredconditionals="11" methods="43" coveredmethods="39" elements="203" coveredelements="176" complexity="0" loc="142" ncloc="142" packages="2" files="4" classes="4"/>
+    <package name="lib">
+      <metrics statements="44" coveredstatements="33" conditionals="4" coveredconditionals="3" methods="14" coveredmethods="10"/>
+      <file name="PackingPlant.ts" path="/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/PackingPlant.ts">
+        <metrics statements="44" coveredstatements="33" conditionals="4" coveredconditionals="3" methods="14" coveredmethods="10"/>
+        <line num="10" count="3" type="stmt"/>
+        <line num="17" count="10" type="cond" truecount="1" falsecount="0"/>
+        <line num="18" count="2" type="stmt"/>
+        <line num="25" count="8" type="stmt"/>
+        <line num="26" count="8" type="stmt"/>
+        <line num="29" count="10" type="stmt"/>
+        <line num="32" count="12" type="cond" truecount="1" falsecount="0"/>
+        <line num="33" count="2" type="stmt"/>
+        <line num="37" count="10" type="stmt"/>
+        <line num="38" count="10" type="stmt"/>
+        <line num="42" count="0" type="stmt"/>
+        <line num="43" count="0" type="stmt"/>
+        <line num="47" count="0" type="stmt"/>
+        <line num="48" count="0" type="stmt"/>
+        <line num="49" count="0" type="stmt"/>
+        <line num="53" count="4" type="stmt"/>
+        <line num="57" count="4" type="stmt"/>
+        <line num="64" count="2" type="stmt"/>
+        <line num="65" count="2" type="stmt"/>
+        <line num="66" count="2" type="stmt"/>
+        <line num="69" count="8" type="stmt"/>
+        <line num="76" count="8" type="cond" truecount="0" falsecount="1"/>
+        <line num="77" count="0" type="stmt"/>
+        <line num="81" count="8" type="stmt"/>
+        <line num="85" count="8" type="stmt"/>
+        <line num="86" count="8" type="stmt"/>
+        <line num="87" count="8" type="stmt"/>
+        <line num="90" count="8" type="stmt"/>
+        <line num="93" count="10" type="cond" truecount="1" falsecount="0"/>
+        <line num="94" count="2" type="stmt"/>
+        <line num="96" count="8" type="stmt"/>
+        <line num="97" count="8" type="stmt"/>
+        <line num="101" count="0" type="stmt"/>
+        <line num="102" count="0" type="stmt"/>
+        <line num="106" count="0" type="stmt"/>
+        <line num="107" count="0" type="stmt"/>
+        <line num="108" count="0" type="stmt"/>
+        <line num="112" count="5" type="stmt"/>
+        <line num="116" count="2" type="stmt"/>
+        <line num="123" count="1" type="stmt"/>
+        <line num="124" count="1" type="stmt"/>
+        <line num="125" count="1" type="stmt"/>
+        <line num="126" count="3" type="stmt"/>
+        <line num="130" count="8" type="stmt"/>
+      </file>
+    </package>
+    <package name="lib.packed-types">
+      <metrics statements="98" coveredstatements="93" conditionals="14" coveredconditionals="8" methods="29" coveredmethods="29"/>
+      <file name="PackedBool.ts" path="/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedBool.ts">
+        <metrics statements="23" coveredstatements="22" conditionals="4" coveredconditionals="3" methods="10" coveredmethods="10"/>
+        <line num="4" count="1" type="stmt"/>
+        <line num="9" count="3" type="stmt"/>
+        <line num="10" count="3" type="stmt"/>
+        <line num="11" count="3" type="stmt"/>
+        <line num="13" count="3" type="cond" truecount="3" falsecount="1"/>
+        <line num="14" count="3" type="stmt"/>
+        <line num="16" count="0" type="stmt"/>
+        <line num="18" count="3" type="stmt"/>
+        <line num="19" count="762" type="stmt"/>
+        <line num="20" count="762" type="stmt"/>
+        <line num="22" count="762" type="stmt"/>
+        <line num="24" count="3" type="stmt"/>
+        <line num="28" count="5" type="stmt"/>
+        <line num="29" count="5" type="stmt"/>
+        <line num="30" count="1265" type="stmt"/>
+        <line num="31" count="1265" type="stmt"/>
+        <line num="33" count="5" type="stmt"/>
+        <line num="37" count="3" type="stmt"/>
+        <line num="38" count="3" type="stmt"/>
+        <line num="42" count="763" type="stmt"/>
+        <line num="43" count="3" type="stmt"/>
+        <line num="47" count="254" type="stmt"/>
+        <line num="50" count="4" type="stmt"/>
+      </file>
+      <file name="PackedString.ts" path="/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedString.ts">
+        <metrics statements="52" coveredstatements="49" conditionals="6" coveredconditionals="2" methods="9" coveredmethods="9"/>
+        <line num="4" count="1" type="stmt"/>
+        <line num="5" count="1" type="stmt"/>
+        <line num="12" count="6" type="stmt"/>
+        <line num="13" count="6" type="stmt"/>
+        <line num="14" count="6" type="stmt"/>
+        <line num="15" count="6" type="stmt"/>
+        <line num="16" count="6" type="stmt"/>
+        <line num="17" count="6" type="stmt"/>
+        <line num="18" count="6" type="stmt"/>
+        <line num="19" count="6" type="stmt"/>
+        <line num="20" count="14" type="cond" truecount="1" falsecount="0"/>
+        <line num="21" count="13" type="stmt"/>
+        <line num="24" count="6" type="cond" truecount="0" falsecount="1"/>
+        <line num="25" count="0" type="stmt"/>
+        <line num="27" count="6" type="stmt"/>
+        <line num="28" count="14" type="stmt"/>
+        <line num="30" count="6" type="stmt"/>
+        <line num="31" count="14" type="stmt"/>
+        <line num="32" count="14" type="stmt"/>
+        <line num="33" count="210" type="stmt"/>
+        <line num="34" count="210" type="stmt"/>
+        <line num="35" count="210" type="stmt"/>
+        <line num="38" count="6" type="stmt"/>
+        <line num="39" count="210" type="stmt"/>
+        <line num="42" count="6" type="stmt"/>
+        <line num="46" count="10" type="stmt"/>
+        <line num="47" count="10" type="stmt"/>
+        <line num="48" count="10" type="stmt"/>
+        <line num="49" count="29" type="stmt"/>
+        <line num="50" count="29" type="cond" truecount="0" falsecount="1"/>
+        <line num="51" count="0" type="stmt"/>
+        <line num="55" count="29" type="stmt"/>
+        <line num="56" count="29" type="stmt"/>
+        <line num="57" count="29" type="stmt"/>
+        <line num="58" count="374" type="stmt"/>
+        <line num="59" count="374" type="cond" truecount="0" falsecount="1"/>
+        <line num="60" count="0" type="stmt"/>
+        <line num="62" count="374" type="cond" truecount="1" falsecount="1"/>
+        <line num="63" count="374" type="stmt"/>
+        <line num="64" count="374" type="stmt"/>
+        <line num="66" count="29" type="stmt"/>
+        <line num="68" count="10" type="stmt"/>
+        <line num="72" count="6" type="stmt"/>
+        <line num="73" count="6" type="stmt"/>
+        <line num="74" count="277" type="stmt"/>
+        <line num="77" count="6" type="stmt"/>
+        <line num="81" count="7" type="stmt"/>
+        <line num="82" count="7" type="stmt"/>
+        <line num="86" count="4" type="stmt"/>
+        <line num="87" count="4" type="stmt"/>
+        <line num="88" count="104" type="stmt"/>
+        <line num="92" count="8" type="stmt"/>
+      </file>
+      <file name="PackedUInt32.ts" path="/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedUInt32.ts">
+        <metrics statements="23" coveredstatements="22" conditionals="4" coveredconditionals="3" methods="10" coveredmethods="10"/>
+        <line num="4" count="1" type="stmt"/>
+        <line num="9" count="3" type="stmt"/>
+        <line num="10" count="3" type="stmt"/>
+        <line num="11" count="3" type="stmt"/>
+        <line num="13" count="3" type="cond" truecount="3" falsecount="1"/>
+        <line num="14" count="3" type="stmt"/>
+        <line num="16" count="0" type="stmt"/>
+        <line num="18" count="3" type="stmt"/>
+        <line num="19" count="21" type="stmt"/>
+        <line num="20" count="21" type="stmt"/>
+        <line num="22" count="21" type="stmt"/>
+        <line num="24" count="3" type="stmt"/>
+        <line num="28" count="5" type="stmt"/>
+        <line num="29" count="5" type="stmt"/>
+        <line num="30" count="30" type="stmt"/>
+        <line num="31" count="30" type="stmt"/>
+        <line num="33" count="5" type="stmt"/>
+        <line num="37" count="3" type="stmt"/>
+        <line num="38" count="3" type="stmt"/>
+        <line num="42" count="22" type="stmt"/>
+        <line num="43" count="3" type="stmt"/>
+        <line num="47" count="7" type="stmt"/>
+        <line num="50" count="4" type="stmt"/>
+      </file>
+    </package>
+  </project>
+</coverage>

package/coverage/coverage-final.json

@@ -0,0 +1,5 @@
+{"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/PackingPlant.ts": {"path":"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/PackingPlant.ts","statementMap":{"0":{"start":{"line":10,"column":27},"end":{"line":10,"column":31}},"1":{"start":{"line":17,"column":2},"end":{"line":21,"column":null}},"2":{"start":{"line":18,"column":4},"end":{"line":20,"column":6}},"3":{"start":{"line":32,"column":6},"end":{"line":36,"column":null}},"4":{"start":{"line":33,"column":8},"end":{"line":35,"column":10}},"5":{"start":{"line":37,"column":6},"end":{"line":37,"column":24}},"6":{"start":{"line":29,"column":4},"end":{"line":29,"column":30}},"7":{"start":{"line":38,"column":6},"end":{"line":38,"column":21}},"8":{"start":{"line":42,"column":6},"end":{"line":42,"column":52}},"9":{"start":{"line":43,"column":6},"end":{"line":43,"column":16}},"10":{"start":{"line":47,"column":6},"end":{"line":47,"column":45}},"11":{"start":{"line":48,"column":14},"end":{"line":48,"column":22}},"12":{"start":{"line":49,"column":6},"end":{"line":49,"column":15}},"13":{"start":{"line":53,"column":6},"end":{"line":53,"column":45}},"14":{"start":{"line":57,"column":6},"end":{"line":57,"column":45}},"15":{"start":{"line":64,"column":23},"end":{"line":64,"column":65}},"16":{"start":{"line":65,"column":21},"end":{"line":65,"column":40}},"17":{"start":{"line":66,"column":6},"end":{"line":66,"column":40}},"18":{"start":{"line":25,"column":11},"end":{"line":25,"column":50}},"19":{"start":{"line":26,"column":11},"end":{"line":26,"column":25}},"20":{"start":{"line":69,"column":2},"end":{"line":69,"column":17}},"21":{"start":{"line":76,"column":2},"end":{"line":80,"column":null}},"22":{"start":{"line":77,"column":4},"end":{"line":79,"column":6}},"23":{"start":{"line":81,"column":12},"end":{"line":81,"column":65}},"24":{"start":{"line":93,"column":6},"end":{"line":95,"column":null}},"25":{"start":{"line":94,"column":8},"end":{"line":94,"column":58}},"26":{"start":{"line":96,"column":6},"end":{"line":96,"column":24}},"27":{"start":{"line":90,"column":4},"end":{"line":90,"column":30}},"28":{"start":{"line":97,"column":6},"end":{"line":97,"column":21}},"29":{"start":{"line":101,"column":6},"end":{"line":101,"column":52}},"30":{"start":{"line":102,"column":6},"end":{"line":102,"column":16}},"31":{"start":{"line":106,"column":6},"end":{"line":106,"column":45}},"32":{"start":{"line":107,"column":14},"end":{"line":107,"column":24}},"33":{"start":{"line":108,"column":6},"end":{"line":108,"column":15}},"34":{"start":{"line":112,"column":6},"end":{"line":112,"column":50}},"35":{"start":{"line":116,"column":6},"end":{"line":116,"column":75}},"36":{"start":{"line":123,"column":23},"end":{"line":123,"column":65}},"37":{"start":{"line":124,"column":21},"end":{"line":124,"column":40}},"38":{"start":{"line":125,"column":6},"end":{"line":127,"column":null}},"39":{"start":{"line":125,"column":19},"end":{"line":125,"column":20}},"40":{"start":{"line":126,"column":8},"end":{"line":126,"column":48}},"41":{"start":{"line":85,"column":11},"end":{"line":85,"column":69}},"42":{"start":{"line":86,"column":11},"end":{"line":86,"column":25}},"43":{"start":{"line":87,"column":11},"end":{"line":87,"column":25}},"44":{"start":{"line":130,"column":2},"end":{"line":130,"column":17}}},"fnMap":{"0":{"name":"PackingPlant","decl":{"start":{"line":12,"column":16},"end":{"line":12,"column":28}},"loc":{"start":{"line":15,"column":17},"end":{"line":70,"column":1}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":31,"column":4},"end":{"line":31,"column":16}},"loc":{"start":{"line":31,"column":44},"end":{"line":39,"column":5}}},"2":{"name":"(anonymous_2)","decl":{"start":{"line":41,"column":4},"end":{"line":41,"column":10}},"loc":{"start":{"line":41,"column":60},"end":{"line":44,"column":5}}},"3":{"name":"(anonymous_3)","decl":{"start":{"line":46,"column":4},"end":{"line":46,"column":10}},"loc":{"start":{"line":46,"column":29},"end":{"line":50,"column":5}}},"4":{"name":"(anonymous_4)","decl":{"start":{"line":52,"column":4},"end":{"line":52,"column":10}},"loc":{"start":{"line":52,"column":26},"end":{"line":54,"column":5}}},"5":{"name":"(anonymous_5)","decl":{"start":{"line":56,"column":4},"end":{"line":56,"column":16}},"loc":{"start":{"line":56,"column":31},"end":{"line":58,"column":5}}},"6":{"name":"(anonymous_6)","decl":{"start":{"line":63,"column":4},"end":{"line":63,"column":10}},"loc":{"start":{"line":63,"column":41},"end":{"line":67,"column":5}}},"7":{"name":"MultiPackingPlant","decl":{"start":{"line":72,"column":16},"end":{"line":72,"column":33}},"loc":{"start":{"line":75,"column":44},"end":{"line":131,"column":1}}},"8":{"name":"(anonymous_8)","decl":{"start":{"line":92,"column":4},"end":{"line":92,"column":16}},"loc":{"start":{"line":92,"column":51},"end":{"line":98,"column":5}}},"9":{"name":"(anonymous_9)","decl":{"start":{"line":100,"column":4},"end":{"line":100,"column":10}},"loc":{"start":{"line":100,"column":67},"end":{"line":103,"column":5}}},"10":{"name":"(anonymous_10)","decl":{"start":{"line":105,"column":4},"end":{"line":105,"column":10}},"loc":{"start":{"line":105,"column":29},"end":{"line":109,"column":5}}},"11":{"name":"(anonymous_11)","decl":{"start":{"line":111,"column":4},"end":{"line":111,"column":10}},"loc":{"start":{"line":111,"column":38},"end":{"line":113,"column":5}}},"12":{"name":"(anonymous_12)","decl":{"start":{"line":115,"column":4},"end":{"line":115,"column":16}},"loc":{"start":{"line":115,"column":31},"end":{"line":117,"column":5}}},"13":{"name":"(anonymous_13)","decl":{"start":{"line":122,"column":4},"end":{"line":122,"column":10}},"loc":{"start":{"line":122,"column":48},"end":{"line":128,"column":5}}}},"branchMap":{"0":{"loc":{"start":{"line":17,"column":2},"end":{"line":21,"column":null}},"type":"if","locations":[{"start":{"line":17,"column":2},"end":{"line":21,"column":null}}]},"1":{"loc":{"start":{"line":32,"column":6},"end":{"line":36,"column":null}},"type":"if","locations":[{"start":{"line":32,"column":6},"end":{"line":36,"column":null}}]},"2":{"loc":{"start":{"line":76,"column":2},"end":{"line":80,"column":null}},"type":"if","locations":[{"start":{"line":76,"column":2},"end":{"line":80,"column":null}}]},"3":{"loc":{"start":{"line":93,"column":6},"end":{"line":95,"column":null}},"type":"if","locations":[{"start":{"line":93,"column":6},"end":{"line":95,"column":null}}]}},"s":{"0":3,"1":10,"2":2,"3":12,"4":2,"5":10,"6":10,"7":10,"8":0,"9":0,"10":0,"11":0,"12":0,"13":4,"14":4,"15":2,"16":2,"17":2,"18":8,"19":8,"20":8,"21":8,"22":0,"23":8,"24":10,"25":2,"26":8,"27":8,"28":8,"29":0,"30":0,"31":0,"32":0,"33":0,"34":5,"35":2,"36":1,"37":1,"38":1,"39":1,"40":3,"41":8,"42":8,"43":8,"44":8},"f":{"0":10,"1":12,"2":0,"3":0,"4":4,"5":4,"6":2,"7":8,"8":10,"9":0,"10":0,"11":5,"12":2,"13":1},"b":{"0":[2],"1":[2],"2":[0],"3":[2]}}
+,"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedBool.ts": {"path":"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedBool.ts","statementMap":{"0":{"start":{"line":4,"column":21},"end":{"line":4,"column":23}},"1":{"start":{"line":9,"column":24},"end":{"line":23,"column":8}},"2":{"start":{"line":10,"column":21},"end":{"line":10,"column":33}},"3":{"start":{"line":11,"column":8},"end":{"line":11,"column":24}},"4":{"start":{"line":13,"column":8},"end":{"line":17,"column":null}},"5":{"start":{"line":14,"column":10},"end":{"line":14,"column":44}},"6":{"start":{"line":16,"column":10},"end":{"line":16,"column":54}},"7":{"start":{"line":18,"column":8},"end":{"line":21,"column":null}},"8":{"start":{"line":18,"column":21},"end":{"line":18,"column":22}},"9":{"start":{"line":19,"column":10},"end":{"line":19,"column":60}},"10":{"start":{"line":20,"column":10},"end":{"line":20,"column":35}},"11":{"start":{"line":22,"column":8},"end":{"line":22,"column":60}},"12":{"start":{"line":22,"column":33},"end":{"line":22,"column":58}},"13":{"start":{"line":24,"column":6},"end":{"line":24,"column":23}},"14":{"start":{"line":28,"column":14},"end":{"line":28,"column":30}},"15":{"start":{"line":29,"column":6},"end":{"line":32,"column":null}},"16":{"start":{"line":29,"column":19},"end":{"line":29,"column":20}},"17":{"start":{"line":30,"column":18},"end":{"line":30,"column":58}},"18":{"start":{"line":31,"column":8},"end":{"line":31,"column":43}},"19":{"start":{"line":33,"column":6},"end":{"line":33,"column":15}},"20":{"start":{"line":37,"column":21},"end":{"line":37,"column":42}},"21":{"start":{"line":38,"column":6},"end":{"line":38,"column":42}},"22":{"start":{"line":42,"column":22},"end":{"line":42,"column":49}},"23":{"start":{"line":42,"column":41},"end":{"line":42,"column":48}},"24":{"start":{"line":43,"column":6},"end":{"line":43,"column":41}},"25":{"start":{"line":47,"column":6},"end":{"line":47,"column":71}},"26":{"start":{"line":47,"column":56},"end":{"line":47,"column":69}},"27":{"start":{"line":50,"column":2},"end":{"line":50,"column":21}}},"fnMap":{"0":{"name":"PackedBoolFactory","decl":{"start":{"line":6,"column":16},"end":{"line":6,"column":33}},"loc":{"start":{"line":6,"column":43},"end":{"line":51,"column":1}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":8,"column":4},"end":{"line":8,"column":10}},"loc":{"start":{"line":8,"column":60},"end":{"line":25,"column":5}}},"2":{"name":"(anonymous_2)","decl":{"start":{"line":9,"column":66},"end":{"line":9,"column":69}},"loc":{"start":{"line":9,"column":71},"end":{"line":23,"column":7}}},"3":{"name":"(anonymous_3)","decl":{"start":{"line":22,"column":26},"end":{"line":22,"column":27}},"loc":{"start":{"line":22,"column":33},"end":{"line":22,"column":58}}},"4":{"name":"(anonymous_4)","decl":{"start":{"line":27,"column":4},"end":{"line":27,"column":10}},"loc":{"start":{"line":27,"column":32},"end":{"line":34,"column":5}}},"5":{"name":"(anonymous_5)","decl":{"start":{"line":36,"column":4},"end":{"line":36,"column":10}},"loc":{"start":{"line":36,"column":41},"end":{"line":39,"column":5}}},"6":{"name":"(anonymous_6)","decl":{"start":{"line":41,"column":4},"end":{"line":41,"column":10}},"loc":{"start":{"line":41,"column":47},"end":{"line":44,"column":5}}},"7":{"name":"(anonymous_7)","decl":{"start":{"line":42,"column":34},"end":{"line":42,"column":35}},"loc":{"start":{"line":42,"column":41},"end":{"line":42,"column":48}}},"8":{"name":"(anonymous_8)","decl":{"start":{"line":46,"column":4},"end":{"line":46,"column":14}},"loc":{"start":{"line":46,"column":14},"end":{"line":48,"column":5}}},"9":{"name":"(anonymous_9)","decl":{"start":{"line":47,"column":49},"end":{"line":47,"column":50}},"loc":{"start":{"line":47,"column":56},"end":{"line":47,"column":69}}}},"branchMap":{"0":{"loc":{"start":{"line":13,"column":8},"end":{"line":17,"column":null}},"type":"if","locations":[{"start":{"line":13,"column":8},"end":{"line":17,"column":null}},{"start":{"line":15,"column":15},"end":{"line":17,"column":null}}]},"1":{"loc":{"start":{"line":13,"column":12},"end":{"line":13,"column":33}},"type":"binary-expr","locations":[{"start":{"line":13,"column":12},"end":{"line":13,"column":17}},{"start":{"line":13,"column":21},"end":{"line":13,"column":33}}]}},"s":{"0":1,"1":3,"2":3,"3":3,"4":3,"5":3,"6":0,"7":3,"8":3,"9":762,"10":762,"11":3,"12":762,"13":3,"14":5,"15":5,"16":5,"17":1265,"18":1265,"19":5,"20":3,"21":3,"22":3,"23":763,"24":3,"25":1,"26":254,"27":4},"f":{"0":5,"1":3,"2":3,"3":762,"4":5,"5":3,"6":3,"7":763,"8":1,"9":254},"b":{"0":[3,0],"1":[3,3]}}
+,"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedString.ts": {"path":"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedString.ts","statementMap":{"0":{"start":{"line":4,"column":21},"end":{"line":4,"column":24}},"1":{"start":{"line":5,"column":24},"end":{"line":5,"column":26}},"2":{"start":{"line":12,"column":24},"end":{"line":41,"column":8}},"3":{"start":{"line":13,"column":21},"end":{"line":13,"column":33}},"4":{"start":{"line":14,"column":8},"end":{"line":14,"column":24}},"5":{"start":{"line":15,"column":23},"end":{"line":15,"column":40}},"6":{"start":{"line":16,"column":8},"end":{"line":16,"column":26}},"7":{"start":{"line":17,"column":26},"end":{"line":17,"column":43}},"8":{"start":{"line":18,"column":8},"end":{"line":18,"column":44}},"9":{"start":{"line":19,"column":8},"end":{"line":23,"column":null}},"10":{"start":{"line":19,"column":21},"end":{"line":19,"column":22}},"11":{"start":{"line":20,"column":10},"end":{"line":22,"column":null}},"12":{"start":{"line":21,"column":12},"end":{"line":21,"column":44}},"13":{"start":{"line":24,"column":8},"end":{"line":26,"column":null}},"14":{"start":{"line":25,"column":10},"end":{"line":25,"column":78}},"15":{"start":{"line":27,"column":8},"end":{"line":29,"column":null}},"16":{"start":{"line":27,"column":21},"end":{"line":27,"column":22}},"17":{"start":{"line":28,"column":10},"end":{"line":28,"column":61}},"18":{"start":{"line":30,"column":8},"end":{"line":37,"column":null}},"19":{"start":{"line":30,"column":21},"end":{"line":30,"column":22}},"20":{"start":{"line":31,"column":24},"end":{"line":31,"column":35}},"21":{"start":{"line":32,"column":10},"end":{"line":36,"column":null}},"22":{"start":{"line":32,"column":23},"end":{"line":32,"column":24}},"23":{"start":{"line":33,"column":22},"end":{"line":33,"column":45}},"24":{"start":{"line":34,"column":12},"end":{"line":34,"column":62}},"25":{"start":{"line":35,"column":12},"end":{"line":35,"column":37}},"26":{"start":{"line":38,"column":8},"end":{"line":40,"column":10}},"27":{"start":{"line":39,"column":10},"end":{"line":39,"column":62}},"28":{"start":{"line":42,"column":6},"end":{"line":42,"column":23}},"29":{"start":{"line":46,"column":19},"end":{"line":46,"column":21}},"30":{"start":{"line":47,"column":23},"end":{"line":47,"column":31}},"31":{"start":{"line":48,"column":6},"end":{"line":67,"column":null}},"32":{"start":{"line":49,"column":28},"end":{"line":49,"column":46}},"33":{"start":{"line":50,"column":8},"end":{"line":52,"column":null}},"34":{"start":{"line":51,"column":10},"end":{"line":51,"column":53}},"35":{"start":{"line":55,"column":16},"end":{"line":55,"column":33}},"36":{"start":{"line":56,"column":18},"end":{"line":56,"column":66}},"37":{"start":{"line":57,"column":8},"end":{"line":65,"column":null}},"38":{"start":{"line":57,"column":21},"end":{"line":57,"column":22}},"39":{"start":{"line":58,"column":23},"end":{"line":58,"column":41}},"40":{"start":{"line":59,"column":10},"end":{"line":61,"column":null}},"41":{"start":{"line":60,"column":12},"end":{"line":60,"column":55}},"42":{"start":{"line":62,"column":24},"end":{"line":62,"column":46}},"43":{"start":{"line":63,"column":20},"end":{"line":63,"column":60}},"44":{"start":{"line":64,"column":10},"end":{"line":64,"column":34}},"45":{"start":{"line":66,"column":8},"end":{"line":66,"column":23}},"46":{"start":{"line":68,"column":6},"end":{"line":68,"column":20}},"47":{"start":{"line":72,"column":23},"end":{"line":72,"column":25}},"48":{"start":{"line":73,"column":6},"end":{"line":75,"column":null}},"49":{"start":{"line":73,"column":19},"end":{"line":73,"column":20}},"50":{"start":{"line":74,"column":8},"end":{"line":74,"column":54}},"51":{"start":{"line":77,"column":6},"end":{"line":77,"column":44}},"52":{"start":{"line":81,"column":21},"end":{"line":81,"column":35}},"53":{"start":{"line":82,"column":6},"end":{"line":82,"column":44}},"54":{"start":{"line":86,"column":23},"end":{"line":86,"column":45}},"55":{"start":{"line":87,"column":6},"end":{"line":89,"column":18}},"56":{"start":{"line":88,"column":23},"end":{"line":88,"column":48}},"57":{"start":{"line":92,"column":2},"end":{"line":92,"column":23}}},"fnMap":{"0":{"name":"PackedStringFactory","decl":{"start":{"line":7,"column":16},"end":{"line":7,"column":35}},"loc":{"start":{"line":7,"column":45},"end":{"line":93,"column":1}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":9,"column":4},"end":{"line":9,"column":10}},"loc":{"start":{"line":10,"column":50},"end":{"line":43,"column":5}}},"2":{"name":"(anonymous_2)","decl":{"start":{"line":12,"column":71},"end":{"line":12,"column":74}},"loc":{"start":{"line":12,"column":76},"end":{"line":41,"column":7}}},"3":{"name":"(anonymous_3)","decl":{"start":{"line":38,"column":26},"end":{"line":38,"column":27}},"loc":{"start":{"line":39,"column":10},"end":{"line":39,"column":62}}},"4":{"name":"(anonymous_4)","decl":{"start":{"line":45,"column":4},"end":{"line":45,"column":10}},"loc":{"start":{"line":45,"column":32},"end":{"line":69,"column":5}}},"5":{"name":"(anonymous_5)","decl":{"start":{"line":71,"column":4},"end":{"line":71,"column":10}},"loc":{"start":{"line":71,"column":33},"end":{"line":78,"column":5}}},"6":{"name":"(anonymous_6)","decl":{"start":{"line":80,"column":4},"end":{"line":80,"column":10}},"loc":{"start":{"line":80,"column":46},"end":{"line":83,"column":5}}},"7":{"name":"(anonymous_7)","decl":{"start":{"line":85,"column":4},"end":{"line":85,"column":12}},"loc":{"start":{"line":85,"column":12},"end":{"line":90,"column":5}}},"8":{"name":"(anonymous_8)","decl":{"start":{"line":88,"column":16},"end":{"line":88,"column":17}},"loc":{"start":{"line":88,"column":23},"end":{"line":88,"column":48}}}},"branchMap":{"0":{"loc":{"start":{"line":20,"column":10},"end":{"line":22,"column":null}},"type":"if","locations":[{"start":{"line":20,"column":10},"end":{"line":22,"column":null}}]},"1":{"loc":{"start":{"line":24,"column":8},"end":{"line":26,"column":null}},"type":"if","locations":[{"start":{"line":24,"column":8},"end":{"line":26,"column":null}}]},"2":{"loc":{"start":{"line":50,"column":8},"end":{"line":52,"column":null}},"type":"if","locations":[{"start":{"line":50,"column":8},"end":{"line":52,"column":null}}]},"3":{"loc":{"start":{"line":59,"column":10},"end":{"line":61,"column":null}},"type":"if","locations":[{"start":{"line":59,"column":10},"end":{"line":61,"column":null}}]},"4":{"loc":{"start":{"line":62,"column":24},"end":{"line":62,"column":46}},"type":"binary-expr","locations":[{"start":{"line":62,"column":24},"end":{"line":62,"column":34}},{"start":{"line":62,"column":38},"end":{"line":62,"column":46}}]}},"s":{"0":1,"1":1,"2":6,"3":6,"4":6,"5":6,"6":6,"7":6,"8":6,"9":6,"10":6,"11":14,"12":13,"13":6,"14":0,"15":6,"16":6,"17":14,"18":6,"19":6,"20":14,"21":14,"22":14,"23":210,"24":210,"25":210,"26":6,"27":210,"28":6,"29":10,"30":10,"31":10,"32":29,"33":29,"34":0,"35":29,"36":29,"37":29,"38":29,"39":374,"40":374,"41":0,"42":374,"43":374,"44":374,"45":29,"46":10,"47":6,"48":6,"49":6,"50":277,"51":6,"52":7,"53":7,"54":4,"55":4,"56":104,"57":8},"f":{"0":8,"1":6,"2":6,"3":210,"4":10,"5":6,"6":7,"7":4,"8":104},"b":{"0":[13],"1":[0],"2":[0],"3":[0],"4":[374,0]}}
+,"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedUInt32.ts": {"path":"/Users/cobydurling/Projects/zkapps/snarkyjs-pack/src/lib/packed-types/PackedUInt32.ts","statementMap":{"0":{"start":{"line":4,"column":21},"end":{"line":4,"column":24}},"1":{"start":{"line":9,"column":24},"end":{"line":23,"column":8}},"2":{"start":{"line":10,"column":21},"end":{"line":10,"column":33}},"3":{"start":{"line":11,"column":8},"end":{"line":11,"column":24}},"4":{"start":{"line":13,"column":8},"end":{"line":17,"column":null}},"5":{"start":{"line":14,"column":10},"end":{"line":14,"column":44}},"6":{"start":{"line":16,"column":10},"end":{"line":16,"column":54}},"7":{"start":{"line":18,"column":8},"end":{"line":21,"column":null}},"8":{"start":{"line":18,"column":21},"end":{"line":18,"column":22}},"9":{"start":{"line":19,"column":10},"end":{"line":19,"column":60}},"10":{"start":{"line":20,"column":10},"end":{"line":20,"column":35}},"11":{"start":{"line":22,"column":8},"end":{"line":22,"column":49}},"12":{"start":{"line":22,"column":33},"end":{"line":22,"column":47}},"13":{"start":{"line":24,"column":6},"end":{"line":24,"column":23}},"14":{"start":{"line":28,"column":14},"end":{"line":28,"column":26}},"15":{"start":{"line":29,"column":6},"end":{"line":32,"column":null}},"16":{"start":{"line":29,"column":19},"end":{"line":29,"column":20}},"17":{"start":{"line":30,"column":18},"end":{"line":30,"column":58}},"18":{"start":{"line":31,"column":8},"end":{"line":31,"column":39}},"19":{"start":{"line":33,"column":6},"end":{"line":33,"column":15}},"20":{"start":{"line":37,"column":21},"end":{"line":37,"column":44}},"21":{"start":{"line":38,"column":6},"end":{"line":38,"column":44}},"22":{"start":{"line":42,"column":22},"end":{"line":42,"column":56}},"23":{"start":{"line":42,"column":41},"end":{"line":42,"column":55}},"24":{"start":{"line":43,"column":6},"end":{"line":43,"column":41}},"25":{"start":{"line":47,"column":6},"end":{"line":47,"column":72}},"26":{"start":{"line":47,"column":58},"end":{"line":47,"column":70}},"27":{"start":{"line":50,"column":2},"end":{"line":50,"column":23}}},"fnMap":{"0":{"name":"PackedUInt32Factory","decl":{"start":{"line":6,"column":16},"end":{"line":6,"column":35}},"loc":{"start":{"line":6,"column":45},"end":{"line":51,"column":1}}},"1":{"name":"(anonymous_1)","decl":{"start":{"line":8,"column":4},"end":{"line":8,"column":10}},"loc":{"start":{"line":8,"column":60},"end":{"line":25,"column":5}}},"2":{"name":"(anonymous_2)","decl":{"start":{"line":9,"column":68},"end":{"line":9,"column":71}},"loc":{"start":{"line":9,"column":73},"end":{"line":23,"column":7}}},"3":{"name":"(anonymous_3)","decl":{"start":{"line":22,"column":26},"end":{"line":22,"column":27}},"loc":{"start":{"line":22,"column":33},"end":{"line":22,"column":47}}},"4":{"name":"(anonymous_4)","decl":{"start":{"line":27,"column":4},"end":{"line":27,"column":10}},"loc":{"start":{"line":27,"column":34},"end":{"line":34,"column":5}}},"5":{"name":"(anonymous_5)","decl":{"start":{"line":36,"column":4},"end":{"line":36,"column":10}},"loc":{"start":{"line":36,"column":43},"end":{"line":39,"column":5}}},"6":{"name":"(anonymous_6)","decl":{"start":{"line":41,"column":4},"end":{"line":41,"column":10}},"loc":{"start":{"line":41,"column":45},"end":{"line":44,"column":5}}},"7":{"name":"(anonymous_7)","decl":{"start":{"line":42,"column":34},"end":{"line":42,"column":35}},"loc":{"start":{"line":42,"column":41},"end":{"line":42,"column":55}}},"8":{"name":"(anonymous_8)","decl":{"start":{"line":46,"column":4},"end":{"line":46,"column":13}},"loc":{"start":{"line":46,"column":13},"end":{"line":48,"column":5}}},"9":{"name":"(anonymous_9)","decl":{"start":{"line":47,"column":51},"end":{"line":47,"column":52}},"loc":{"start":{"line":47,"column":58},"end":{"line":47,"column":70}}}},"branchMap":{"0":{"loc":{"start":{"line":13,"column":8},"end":{"line":17,"column":null}},"type":"if","locations":[{"start":{"line":13,"column":8},"end":{"line":17,"column":null}},{"start":{"line":15,"column":15},"end":{"line":17,"column":null}}]},"1":{"loc":{"start":{"line":13,"column":12},"end":{"line":13,"column":33}},"type":"binary-expr","locations":[{"start":{"line":13,"column":12},"end":{"line":13,"column":17}},{"start":{"line":13,"column":21},"end":{"line":13,"column":33}}]}},"s":{"0":1,"1":3,"2":3,"3":3,"4":3,"5":3,"6":0,"7":3,"8":3,"9":21,"10":21,"11":3,"12":21,"13":3,"14":5,"15":5,"16":5,"17":30,"18":30,"19":5,"20":3,"21":3,"22":3,"23":22,"24":3,"25":1,"26":7,"27":4},"f":{"0":5,"1":3,"2":3,"3":21,"4":5,"5":3,"6":3,"7":22,"8":1,"9":7},"b":{"0":[3,0],"1":[3,3]}}
+}