npm - o1js-pack - Versions diffs - 0.4.0 → 0.4.1 - Mend

o1js-pack 0.4.0 → 0.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (79) hide show

package/.husky/pre-commit +0 -0
package/README.md +9 -30
package/build/src/index.d.ts +5 -5
package/build/src/index.js +5 -5
package/build/src/lib/PackingPlant.d.ts +132 -140
package/build/src/lib/PackingPlant.js +190 -191
package/build/src/lib/PackingPlant.js.map +1 -1
package/build/src/lib/packed-types/PackedBool.d.ts +85 -90
package/build/src/lib/packed-types/PackedBool.js +49 -48
package/build/src/lib/packed-types/PackedBool.js.map +1 -1
package/build/src/lib/packed-types/PackedBool.test.d.ts +1 -1
package/build/src/lib/packed-types/PackedBool.test.js +75 -75
package/build/src/lib/packed-types/PackedString.d.ts +181 -92
package/build/src/lib/packed-types/PackedString.js +127 -59
package/build/src/lib/packed-types/PackedString.js.map +1 -1
package/build/src/lib/packed-types/PackedString.test.d.ts +1 -1
package/build/src/lib/packed-types/PackedString.test.js +100 -99
package/build/src/lib/packed-types/PackedString.test.js.map +1 -1
package/build/src/lib/packed-types/PackedUInt32.d.ts +85 -90
package/build/src/lib/packed-types/PackedUInt32.js +49 -48
package/build/src/lib/packed-types/PackedUInt32.js.map +1 -1
package/build/src/lib/packed-types/PackedUInt32.test.d.ts +1 -1
package/build/src/lib/packed-types/PackedUInt32.test.js +83 -83
package/package.json +1 -1
package/tests/provable/end_to_end.test.ts +2 -4
package/tests/provable/example_packed_string_circuit.ts +3 -8
package/tests/provable/example_packed_uint_circuit.ts +6 -12
package/build/src/lib/packed-types/PackedCharacter.d.ts +0 -51
package/build/src/lib/packed-types/PackedCharacter.js +0 -34
package/build/src/lib/packed-types/PackedCharacter.js.map +0 -1
package/build/src/lib/packed-types/PackedCharacter.test.d.ts +0 -1
package/build/src/lib/packed-types/PackedCharacter.test.js +0 -31
package/build/src/lib/packed-types/PackedCharacter.test.js.map +0 -1
package/build/src/lib/scratch.d.ts +0 -1
package/build/src/lib/scratch.js +0 -16
package/build/src/lib/scratch.js.map +0 -1
package/build/src/packed-types/PackedBool.d.ts +0 -51
package/build/src/packed-types/PackedBool.js +0 -34
package/build/src/packed-types/PackedBool.js.map +0 -1
package/build/src/packed-types/PackedBool.test.d.ts +0 -1
package/build/src/packed-types/PackedBool.test.js +0 -101
package/build/src/packed-types/PackedBool.test.js.map +0 -1
package/build/src/packed-types/PackedCharacter.d.ts +0 -51
package/build/src/packed-types/PackedCharacter.js +0 -34
package/build/src/packed-types/PackedCharacter.js.map +0 -1
package/build/src/packed-types/PackedCharacter.test.d.ts +0 -1
package/build/src/packed-types/PackedCharacter.test.js +0 -31
package/build/src/packed-types/PackedCharacter.test.js.map +0 -1
package/build/src/packed-types/PackedUInt32.d.ts +0 -51
package/build/src/packed-types/PackedUInt32.js +0 -34
package/build/src/packed-types/PackedUInt32.js.map +0 -1
package/build/src/packed-types/PackedUInt32.test.d.ts +0 -1
package/build/src/packed-types/PackedUInt32.test.js +0 -68
package/build/src/packed-types/PackedUInt32.test.js.map +0 -1
package/build/src/packed-types/PackingPlant.d.ts +0 -54
package/build/src/packed-types/PackingPlant.js +0 -45
package/build/src/packed-types/PackingPlant.js.map +0 -1
package/build/src/packed-types/scratch.d.ts +0 -1
package/build/src/packed-types/scratch.js +0 -5
package/build/src/packed-types/scratch.js.map +0 -1
package/coverage/clover.xml +0 -166
package/coverage/coverage-final.json +0 -5
package/coverage/lcov-report/PackedBool.ts.html +0 -268
package/coverage/lcov-report/PackedUInt32.ts.html +0 -313
package/coverage/lcov-report/base.css +0 -224
package/coverage/lcov-report/block-navigation.js +0 -87
package/coverage/lcov-report/favicon.png +0 -0
package/coverage/lcov-report/index.html +0 -131
package/coverage/lcov-report/lib/PackingPlant.ts.html +0 -478
package/coverage/lcov-report/lib/index.html +0 -116
package/coverage/lcov-report/lib/packed-types/PackedBool.ts.html +0 -238
package/coverage/lcov-report/lib/packed-types/PackedString.ts.html +0 -364
package/coverage/lcov-report/lib/packed-types/PackedUInt32.ts.html +0 -238
package/coverage/lcov-report/lib/packed-types/index.html +0 -146
package/coverage/lcov-report/prettify.css +0 -1
package/coverage/lcov-report/prettify.js +0 -2
package/coverage/lcov-report/sort-arrow-sprite.png +0 -0
package/coverage/lcov-report/sorter.js +0 -196
package/coverage/lcov.info +0 -282

package/coverage/lcov-report/lib/packed-types/PackedString.ts.html DELETED Viewed

@@ -1,364 +0,0 @@
-<!doctype html>
-<html lang="en">
-<head>
-    <title>Code coverage report for lib/packed-types/PackedString.ts</title>
-    <meta charset="utf-8" />
-    <link rel="stylesheet" href="../../prettify.css" />
-    <link rel="stylesheet" href="../../base.css" />
-    <link rel="shortcut icon" type="image/x-icon" href="../../favicon.png" />
-    <meta name="viewport" content="width=device-width, initial-scale=1" />
-    <style type='text/css'>
-        .coverage-summary .sorter {
-            background-image: url(../../sort-arrow-sprite.png);
-        }
-    </style>
-</head>
-<body>
-<div class='wrapper'>
-    <div class='pad1'>
-        <h1><a href="../../index.html">All files</a> / <a href="index.html">lib/packed-types</a> PackedString.ts</h1>
-        <div class='clearfix'>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">94.82% </span>
-                <span class="quiet">Statements</span>
-                <span class='fraction'>55/58</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">33.33% </span>
-                <span class="quiet">Branches</span>
-                <span class='fraction'>2/6</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">100% </span>
-                <span class="quiet">Functions</span>
-                <span class='fraction'>9/9</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">94.23% </span>
-                <span class="quiet">Lines</span>
-                <span class='fraction'>49/52</span>
-            </div>
-        </div>
-        <p class="quiet">
-            Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
-        </p>
-        <template id="filterTemplate">
-            <div class="quiet">
-                Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
-            </div>
-        </template>
-    </div>
-    <div class='status-line high'></div>
-    <pre><table class="coverage">
-<tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a>
-<a name='L2'></a><a href='#L2'>2</a>
-<a name='L3'></a><a href='#L3'>3</a>
-<a name='L4'></a><a href='#L4'>4</a>
-<a name='L5'></a><a href='#L5'>5</a>
-<a name='L6'></a><a href='#L6'>6</a>
-<a name='L7'></a><a href='#L7'>7</a>
-<a name='L8'></a><a href='#L8'>8</a>
-<a name='L9'></a><a href='#L9'>9</a>
-<a name='L10'></a><a href='#L10'>10</a>
-<a name='L11'></a><a href='#L11'>11</a>
-<a name='L12'></a><a href='#L12'>12</a>
-<a name='L13'></a><a href='#L13'>13</a>
-<a name='L14'></a><a href='#L14'>14</a>
-<a name='L15'></a><a href='#L15'>15</a>
-<a name='L16'></a><a href='#L16'>16</a>
-<a name='L17'></a><a href='#L17'>17</a>
-<a name='L18'></a><a href='#L18'>18</a>
-<a name='L19'></a><a href='#L19'>19</a>
-<a name='L20'></a><a href='#L20'>20</a>
-<a name='L21'></a><a href='#L21'>21</a>
-<a name='L22'></a><a href='#L22'>22</a>
-<a name='L23'></a><a href='#L23'>23</a>
-<a name='L24'></a><a href='#L24'>24</a>
-<a name='L25'></a><a href='#L25'>25</a>
-<a name='L26'></a><a href='#L26'>26</a>
-<a name='L27'></a><a href='#L27'>27</a>
-<a name='L28'></a><a href='#L28'>28</a>
-<a name='L29'></a><a href='#L29'>29</a>
-<a name='L30'></a><a href='#L30'>30</a>
-<a name='L31'></a><a href='#L31'>31</a>
-<a name='L32'></a><a href='#L32'>32</a>
-<a name='L33'></a><a href='#L33'>33</a>
-<a name='L34'></a><a href='#L34'>34</a>
-<a name='L35'></a><a href='#L35'>35</a>
-<a name='L36'></a><a href='#L36'>36</a>
-<a name='L37'></a><a href='#L37'>37</a>
-<a name='L38'></a><a href='#L38'>38</a>
-<a name='L39'></a><a href='#L39'>39</a>
-<a name='L40'></a><a href='#L40'>40</a>
-<a name='L41'></a><a href='#L41'>41</a>
-<a name='L42'></a><a href='#L42'>42</a>
-<a name='L43'></a><a href='#L43'>43</a>
-<a name='L44'></a><a href='#L44'>44</a>
-<a name='L45'></a><a href='#L45'>45</a>
-<a name='L46'></a><a href='#L46'>46</a>
-<a name='L47'></a><a href='#L47'>47</a>
-<a name='L48'></a><a href='#L48'>48</a>
-<a name='L49'></a><a href='#L49'>49</a>
-<a name='L50'></a><a href='#L50'>50</a>
-<a name='L51'></a><a href='#L51'>51</a>
-<a name='L52'></a><a href='#L52'>52</a>
-<a name='L53'></a><a href='#L53'>53</a>
-<a name='L54'></a><a href='#L54'>54</a>
-<a name='L55'></a><a href='#L55'>55</a>
-<a name='L56'></a><a href='#L56'>56</a>
-<a name='L57'></a><a href='#L57'>57</a>
-<a name='L58'></a><a href='#L58'>58</a>
-<a name='L59'></a><a href='#L59'>59</a>
-<a name='L60'></a><a href='#L60'>60</a>
-<a name='L61'></a><a href='#L61'>61</a>
-<a name='L62'></a><a href='#L62'>62</a>
-<a name='L63'></a><a href='#L63'>63</a>
-<a name='L64'></a><a href='#L64'>64</a>
-<a name='L65'></a><a href='#L65'>65</a>
-<a name='L66'></a><a href='#L66'>66</a>
-<a name='L67'></a><a href='#L67'>67</a>
-<a name='L68'></a><a href='#L68'>68</a>
-<a name='L69'></a><a href='#L69'>69</a>
-<a name='L70'></a><a href='#L70'>70</a>
-<a name='L71'></a><a href='#L71'>71</a>
-<a name='L72'></a><a href='#L72'>72</a>
-<a name='L73'></a><a href='#L73'>73</a>
-<a name='L74'></a><a href='#L74'>74</a>
-<a name='L75'></a><a href='#L75'>75</a>
-<a name='L76'></a><a href='#L76'>76</a>
-<a name='L77'></a><a href='#L77'>77</a>
-<a name='L78'></a><a href='#L78'>78</a>
-<a name='L79'></a><a href='#L79'>79</a>
-<a name='L80'></a><a href='#L80'>80</a>
-<a name='L81'></a><a href='#L81'>81</a>
-<a name='L82'></a><a href='#L82'>82</a>
-<a name='L83'></a><a href='#L83'>83</a>
-<a name='L84'></a><a href='#L84'>84</a>
-<a name='L85'></a><a href='#L85'>85</a>
-<a name='L86'></a><a href='#L86'>86</a>
-<a name='L87'></a><a href='#L87'>87</a>
-<a name='L88'></a><a href='#L88'>88</a>
-<a name='L89'></a><a href='#L89'>89</a>
-<a name='L90'></a><a href='#L90'>90</a>
-<a name='L91'></a><a href='#L91'>91</a>
-<a name='L92'></a><a href='#L92'>92</a>
-<a name='L93'></a><a href='#L93'>93</a>
-<a name='L94'></a><a href='#L94'>94</a></td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">1x</span>
-<span class="cline-any cline-yes">1x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">14x</span>
-<span class="cline-any cline-yes">13x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-no">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">14x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">14x</span>
-<span class="cline-any cline-yes">14x</span>
-<span class="cline-any cline-yes">210x</span>
-<span class="cline-any cline-yes">210x</span>
-<span class="cline-any cline-yes">210x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">210x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">10x</span>
-<span class="cline-any cline-yes">10x</span>
-<span class="cline-any cline-yes">10x</span>
-<span class="cline-any cline-yes">29x</span>
-<span class="cline-any cline-yes">29x</span>
-<span class="cline-any cline-no">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">29x</span>
-<span class="cline-any cline-yes">29x</span>
-<span class="cline-any cline-yes">29x</span>
-<span class="cline-any cline-yes">374x</span>
-<span class="cline-any cline-yes">374x</span>
-<span class="cline-any cline-no">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">374x</span>
-<span class="cline-any cline-yes">374x</span>
-<span class="cline-any cline-yes">374x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">29x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">10x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-yes">277x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">6x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">7x</span>
-<span class="cline-any cline-yes">7x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">4x</span>
-<span class="cline-any cline-yes">4x</span>
-<span class="cline-any cline-yes">104x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">8x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">import { Field, Provable, Character } from 'snarkyjs';
-import { MultiPackingPlant } from '../PackingPlant.js';
-&nbsp;
-const SIZE_IN_BITS = 16n;
-const CHARS_PER_FIELD = 15;
-&nbsp;
-export function PackedStringFactory(l: number) {
-  class PackedString_ extends MultiPackingPlant(Character, l, SIZE_IN_BITS) {
-    static toAuxiliary(
-      value?: { packed: Array&lt;Field&gt; } | undefined
-    ): Character[] {
-      const auxiliary = Provable.witness(Provable.Array(Character, l), () =&gt; {
-        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 &lt; this.n; i++) {
-          if (value?.packed[i]) {
-            packedArg[i] = value?.packed[i];
-          }
-        }
-        <span class="missing-if-branch" title="if path not taken" >I</span>if (packedArg.length !== this.n) {
-<span class="cstat-no" title="statement not covered" >          throw new Error(`Packed value must be exactly ${this.n} in length`);</span>
-        }
-        for (let i = 0; i &lt; this.n; i++) {
-          packedNs[i] = packedArg[i].toConstant().toBigInt();
-        }
-        for (let i = 0; i &lt; packedNs.length; i++) {
-          let packedN = packedNs[i];
-          for (let j = 0; j &lt; CHARS_PER_FIELD; j++) {
-            const k = i * CHARS_PER_FIELD + j;
-            uints_[k] = packedN &amp; ((1n &lt;&lt; SIZE_IN_BITS) - 1n);
-            packedN &gt;&gt;= SIZE_IN_BITS;
-          }
-        }
-        return uints_.map((x) =&gt;
-          Character.fromString(String.fromCharCode(Number(x)))
-        );
-      });
-      return auxiliary;
-    }
-&nbsp;
-    static pack(aux: Character[]): Array&lt;Field&gt; {
-      let fields = [];
-      let mutableAux = [...aux];
-      while (mutableAux.length &gt; 0) {
-        const initialChar = mutableAux.shift();
-        <span class="missing-if-branch" title="if path not taken" >I</span>if (!initialChar) {
-<span class="cstat-no" title="statement not covered" >          throw new Error('Unexpected Array Length');</span>
-        }
-        // f = initialChar.value is the same as f = 0; f += char.value * c^0;
-        // If f is initialized as 0, then it is a "constant" field and can't be added to a "variable" field in a proof
-        let f = initialChar.value;
-        const n = Math.min(mutableAux.length + 1, CHARS_PER_FIELD);
-        for (let i = 1; i &lt; n; i++) {
-          const char = mutableAux.shift();
-          <span class="missing-if-branch" title="if path not taken" >I</span>if (!char) {
-<span class="cstat-no" title="statement not covered" >            throw new Error('Unexpected Array Length');</span>
-          }
-          const value = char.value || <span class="branch-1 cbranch-no" title="branch not covered" >Field(0);</span>
-          const c = Field((2n ** SIZE_IN_BITS) ** BigInt(i));
-          f = f.add(value.mul(c));
-        }
-        fields.push(f);
-      }
-      return fields;
-    }
-&nbsp;
-    static fromString(str: string): PackedString_ {
-      let characters = [];
-      for (let i = 0; i &lt; str.length; i++) {
-        characters.push(Character.fromString(str[i]));
-      }
-&nbsp;
-      return this.fromAuxiliary(characters);
-    }
-&nbsp;
-    static fromAuxiliary(aux: Array&lt;Character&gt;): PackedString_ {
-      const packed = this.pack(aux);
-      return new PackedString_(packed, aux);
-    }
-&nbsp;
-    toString() {
-      const nullChar = String.fromCharCode(0);
-      return PackedString_.unpack(this.packed)
-        .filter((c) =&gt; c.toString() !== nullChar)
-        .join('');
-    }
-  }
-  return PackedString_;
-}
-&nbsp;</pre></td></tr></table></pre>
-                <div class='push'></div><!-- for sticky footer -->
-            </div><!-- /wrapper -->
-            <div class='footer quiet pad2 space-top1 center small'>
-                Code coverage generated by
-                <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-07-18T03:31:53.631Z
-            </div>
-        <script src="../../prettify.js"></script>
-        <script>
-            window.onload = function () {
-                prettyPrint();
-            };
-        </script>
-        <script src="../../sorter.js"></script>
-        <script src="../../block-navigation.js"></script>
-    </body>
-</html>

package/coverage/lcov-report/lib/packed-types/PackedUInt32.ts.html DELETED Viewed

@@ -1,238 +0,0 @@
-<!doctype html>
-<html lang="en">
-<head>
-    <title>Code coverage report for lib/packed-types/PackedUInt32.ts</title>
-    <meta charset="utf-8" />
-    <link rel="stylesheet" href="../../prettify.css" />
-    <link rel="stylesheet" href="../../base.css" />
-    <link rel="shortcut icon" type="image/x-icon" href="../../favicon.png" />
-    <meta name="viewport" content="width=device-width, initial-scale=1" />
-    <style type='text/css'>
-        .coverage-summary .sorter {
-            background-image: url(../../sort-arrow-sprite.png);
-        }
-    </style>
-</head>
-<body>
-<div class='wrapper'>
-    <div class='pad1'>
-        <h1><a href="../../index.html">All files</a> / <a href="index.html">lib/packed-types</a> PackedUInt32.ts</h1>
-        <div class='clearfix'>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">96.42% </span>
-                <span class="quiet">Statements</span>
-                <span class='fraction'>27/28</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">75% </span>
-                <span class="quiet">Branches</span>
-                <span class='fraction'>3/4</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">100% </span>
-                <span class="quiet">Functions</span>
-                <span class='fraction'>10/10</span>
-            </div>
-            <div class='fl pad1y space-right2'>
-                <span class="strong">95.65% </span>
-                <span class="quiet">Lines</span>
-                <span class='fraction'>22/23</span>
-            </div>
-        </div>
-        <p class="quiet">
-            Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
-        </p>
-        <template id="filterTemplate">
-            <div class="quiet">
-                Filter:
-                <input oninput="onInput()" type="search" id="fileSearch">
-            </div>
-        </template>
-    </div>
-    <div class='status-line high'></div>
-    <pre><table class="coverage">
-<tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a>
-<a name='L2'></a><a href='#L2'>2</a>
-<a name='L3'></a><a href='#L3'>3</a>
-<a name='L4'></a><a href='#L4'>4</a>
-<a name='L5'></a><a href='#L5'>5</a>
-<a name='L6'></a><a href='#L6'>6</a>
-<a name='L7'></a><a href='#L7'>7</a>
-<a name='L8'></a><a href='#L8'>8</a>
-<a name='L9'></a><a href='#L9'>9</a>
-<a name='L10'></a><a href='#L10'>10</a>
-<a name='L11'></a><a href='#L11'>11</a>
-<a name='L12'></a><a href='#L12'>12</a>
-<a name='L13'></a><a href='#L13'>13</a>
-<a name='L14'></a><a href='#L14'>14</a>
-<a name='L15'></a><a href='#L15'>15</a>
-<a name='L16'></a><a href='#L16'>16</a>
-<a name='L17'></a><a href='#L17'>17</a>
-<a name='L18'></a><a href='#L18'>18</a>
-<a name='L19'></a><a href='#L19'>19</a>
-<a name='L20'></a><a href='#L20'>20</a>
-<a name='L21'></a><a href='#L21'>21</a>
-<a name='L22'></a><a href='#L22'>22</a>
-<a name='L23'></a><a href='#L23'>23</a>
-<a name='L24'></a><a href='#L24'>24</a>
-<a name='L25'></a><a href='#L25'>25</a>
-<a name='L26'></a><a href='#L26'>26</a>
-<a name='L27'></a><a href='#L27'>27</a>
-<a name='L28'></a><a href='#L28'>28</a>
-<a name='L29'></a><a href='#L29'>29</a>
-<a name='L30'></a><a href='#L30'>30</a>
-<a name='L31'></a><a href='#L31'>31</a>
-<a name='L32'></a><a href='#L32'>32</a>
-<a name='L33'></a><a href='#L33'>33</a>
-<a name='L34'></a><a href='#L34'>34</a>
-<a name='L35'></a><a href='#L35'>35</a>
-<a name='L36'></a><a href='#L36'>36</a>
-<a name='L37'></a><a href='#L37'>37</a>
-<a name='L38'></a><a href='#L38'>38</a>
-<a name='L39'></a><a href='#L39'>39</a>
-<a name='L40'></a><a href='#L40'>40</a>
-<a name='L41'></a><a href='#L41'>41</a>
-<a name='L42'></a><a href='#L42'>42</a>
-<a name='L43'></a><a href='#L43'>43</a>
-<a name='L44'></a><a href='#L44'>44</a>
-<a name='L45'></a><a href='#L45'>45</a>
-<a name='L46'></a><a href='#L46'>46</a>
-<a name='L47'></a><a href='#L47'>47</a>
-<a name='L48'></a><a href='#L48'>48</a>
-<a name='L49'></a><a href='#L49'>49</a>
-<a name='L50'></a><a href='#L50'>50</a>
-<a name='L51'></a><a href='#L51'>51</a>
-<a name='L52'></a><a href='#L52'>52</a></td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">1x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-no">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-yes">21x</span>
-<span class="cline-any cline-yes">21x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">21x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">5x</span>
-<span class="cline-any cline-yes">5x</span>
-<span class="cline-any cline-yes">30x</span>
-<span class="cline-any cline-yes">30x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">5x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">22x</span>
-<span class="cline-any cline-yes">3x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">7x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-yes">4x</span>
-<span class="cline-any cline-neutral">&nbsp;</span>
-<span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">import { Field, Provable, UInt32 } from 'snarkyjs';
-import { PackingPlant } from '../PackingPlant';
-&nbsp;
-const SIZE_IN_BITS = 32n;
-&nbsp;
-export function PackedUInt32Factory(l: number) {
-  class PackedUInt32_ extends PackingPlant(UInt32, l, SIZE_IN_BITS) {
-    static toAuxiliary(value?: { packed: Field } | undefined): Array&lt;UInt32&gt; {
-      const auxiliary = Provable.witness(Provable.Array(UInt32, l), () =&gt; {
-        let uints_ = new Array(l);
-        uints_.fill(0n);
-        let packedN;
-        if (value &amp;&amp; value.packed) {
-          packedN = value.packed.toBigInt();
-        } else <span class="missing-if-branch" title="else path not taken" >E</span>{
-<span class="cstat-no" title="statement not covered" >          throw new Error('No Packed Value Provided');</span>
-        }
-        for (let i = 0; i &lt; l; i++) {
-          uints_[i] = packedN &amp; ((1n &lt;&lt; SIZE_IN_BITS) - 1n);
-          packedN &gt;&gt;= SIZE_IN_BITS;
-        }
-        return uints_.map((x) =&gt; UInt32.from(x));
-      });
-      return auxiliary;
-    }
-&nbsp;
-    static pack(aux: Array&lt;UInt32&gt;): Field {
-      let f = aux[0].value;
-      for (let i = 1; i &lt; l; i++) {
-        const c = Field((2n ** SIZE_IN_BITS) ** BigInt(i));
-        f = f.add(aux[i].value.mul(c));
-      }
-      return f;
-    }
-&nbsp;
-    static fromAuxiliary(aux: Array&lt;UInt32&gt;): PackedUInt32_ {
-      const packed = PackedUInt32_.pack(aux);
-      return new PackedUInt32_(packed, aux);
-    }
-&nbsp;
-    static fromBigInts(bigints: Array&lt;bigint&gt;): PackedUInt32_ {
-      const uint32s = bigints.map((x) =&gt; UInt32.from(x));
-      return this.fromAuxiliary(uint32s);
-    }
-&nbsp;
-    toBigInts(): Array&lt;bigint&gt; {
-      return PackedUInt32_.unpack(this.packed).map((x) =&gt; x.toBigint());
-    }
-  }
-  return PackedUInt32_;
-}
-&nbsp;</pre></td></tr></table></pre>
-                <div class='push'></div><!-- for sticky footer -->
-            </div><!-- /wrapper -->
-            <div class='footer quiet pad2 space-top1 center small'>
-                Code coverage generated by
-                <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
-                at 2023-07-18T03:31:53.631Z
-            </div>
-        <script src="../../prettify.js"></script>
-        <script>
-            window.onload = function () {
-                prettyPrint();
-            };
-        </script>
-        <script src="../../sorter.js"></script>
-        <script src="../../block-navigation.js"></script>
-    </body>
-</html>