npm - o1js-pack - Versions diffs - 0.3.1 - Mend

o1js-pack 0.3.1

Files changed (90) hide show

package/.eslintrc.cjs +24 -0
package/.gitattributes +3 -0
package/.github/workflows/ci.yml +26 -0
package/.husky/pre-commit +4 -0
package/.prettierignore +14 -0
package/.prettierrc +6 -0
package/LICENSE +199 -0
package/README.md +59 -0
package/babel.config.cjs +3 -0
package/build/src/index.d.ts +5 -0
package/build/src/index.js +6 -0
package/build/src/index.js.map +1 -0
package/build/src/lib/PackingPlant.d.ts +92 -0
package/build/src/lib/PackingPlant.js +75 -0
package/build/src/lib/PackingPlant.js.map +1 -0
package/build/src/lib/packed-types/PackedBool.d.ts +77 -0
package/build/src/lib/packed-types/PackedBool.js +48 -0
package/build/src/lib/packed-types/PackedBool.js.map +1 -0
package/build/src/lib/packed-types/PackedBool.test.d.ts +1 -0
package/build/src/lib/packed-types/PackedBool.test.js +76 -0
package/build/src/lib/packed-types/PackedBool.test.js.map +1 -0
package/build/src/lib/packed-types/PackedCharacter.d.ts +51 -0
package/build/src/lib/packed-types/PackedCharacter.js +34 -0
package/build/src/lib/packed-types/PackedCharacter.js.map +1 -0
package/build/src/lib/packed-types/PackedCharacter.test.d.ts +1 -0
package/build/src/lib/packed-types/PackedCharacter.test.js +31 -0
package/build/src/lib/packed-types/PackedCharacter.test.js.map +1 -0
package/build/src/lib/packed-types/PackedString.d.ts +78 -0
package/build/src/lib/packed-types/PackedString.js +83 -0
package/build/src/lib/packed-types/PackedString.js.map +1 -0
package/build/src/lib/packed-types/PackedString.test.d.ts +1 -0
package/build/src/lib/packed-types/PackedString.test.js +100 -0
package/build/src/lib/packed-types/PackedString.test.js.map +1 -0
package/build/src/lib/packed-types/PackedUInt32.d.ts +77 -0
package/build/src/lib/packed-types/PackedUInt32.js +48 -0
package/build/src/lib/packed-types/PackedUInt32.js.map +1 -0
package/build/src/lib/packed-types/PackedUInt32.test.d.ts +1 -0
package/build/src/lib/packed-types/PackedUInt32.test.js +84 -0
package/build/src/lib/packed-types/PackedUInt32.test.js.map +1 -0
package/build/src/lib/scratch.d.ts +1 -0
package/build/src/lib/scratch.js +16 -0
package/build/src/lib/scratch.js.map +1 -0
package/build/src/packed-types/PackedBool.d.ts +51 -0
package/build/src/packed-types/PackedBool.js +34 -0
package/build/src/packed-types/PackedBool.js.map +1 -0
package/build/src/packed-types/PackedBool.test.d.ts +1 -0
package/build/src/packed-types/PackedBool.test.js +101 -0
package/build/src/packed-types/PackedBool.test.js.map +1 -0
package/build/src/packed-types/PackedCharacter.d.ts +51 -0
package/build/src/packed-types/PackedCharacter.js +34 -0
package/build/src/packed-types/PackedCharacter.js.map +1 -0
package/build/src/packed-types/PackedCharacter.test.d.ts +1 -0
package/build/src/packed-types/PackedCharacter.test.js +31 -0
package/build/src/packed-types/PackedCharacter.test.js.map +1 -0
package/build/src/packed-types/PackedUInt32.d.ts +51 -0
package/build/src/packed-types/PackedUInt32.js +34 -0
package/build/src/packed-types/PackedUInt32.js.map +1 -0
package/build/src/packed-types/PackedUInt32.test.d.ts +1 -0
package/build/src/packed-types/PackedUInt32.test.js +68 -0
package/build/src/packed-types/PackedUInt32.test.js.map +1 -0
package/build/src/packed-types/PackingPlant.d.ts +54 -0
package/build/src/packed-types/PackingPlant.js +45 -0
package/build/src/packed-types/PackingPlant.js.map +1 -0
package/build/src/packed-types/scratch.d.ts +1 -0
package/build/src/packed-types/scratch.js +5 -0
package/build/src/packed-types/scratch.js.map +1 -0
package/config.json +4 -0
package/coverage/clover.xml +166 -0
package/coverage/coverage-final.json +5 -0
package/coverage/lcov-report/PackedBool.ts.html +268 -0
package/coverage/lcov-report/PackedUInt32.ts.html +313 -0
package/coverage/lcov-report/base.css +224 -0
package/coverage/lcov-report/block-navigation.js +87 -0
package/coverage/lcov-report/favicon.png +0 -0
package/coverage/lcov-report/index.html +131 -0
package/coverage/lcov-report/lib/PackingPlant.ts.html +478 -0
package/coverage/lcov-report/lib/index.html +116 -0
package/coverage/lcov-report/lib/packed-types/PackedBool.ts.html +238 -0
package/coverage/lcov-report/lib/packed-types/PackedString.ts.html +364 -0
package/coverage/lcov-report/lib/packed-types/PackedUInt32.ts.html +238 -0
package/coverage/lcov-report/lib/packed-types/index.html +146 -0
package/coverage/lcov-report/prettify.css +1 -0
package/coverage/lcov-report/prettify.js +2 -0
package/coverage/lcov-report/sort-arrow-sprite.png +0 -0
package/coverage/lcov-report/sorter.js +196 -0
package/coverage/lcov.info +282 -0
package/jest-resolver.cjs +21 -0
package/jest.config.js +24 -0
package/package.json +50 -0
package/tsconfig.json +23 -0

package/coverage/lcov-report/lib/packed-types/PackedBool.ts.html ADDED Viewed

@@ -0,0 +1,238 @@
+<!doctype html>
+<html lang="en">
+<head>
+    <title>Code coverage report for lib/packed-types/PackedBool.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> PackedBool.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">762x</span>
+<span class="cline-any cline-yes">762x</span>
+<span class="cline-any cline-neutral">&nbsp;</span>
+<span class="cline-any cline-yes">762x</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">1265x</span>
+<span class="cline-any cline-yes">1265x</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">763x</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">254x</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, Bool } from 'snarkyjs';
+import { PackingPlant } from '../PackingPlant';
+&nbsp;
+const SIZE_IN_BITS = 1n;
+&nbsp;
+export function PackedBoolFactory(l: number) {
+  class PackedBool_ extends PackingPlant(Bool, l, SIZE_IN_BITS) {
+    static toAuxiliary(value?: { packed: Field } | undefined): Array&lt;Bool&gt; {
+      const auxiliary = Provable.witness(Provable.Array(Bool, l), () =&gt; {
+        let bools_ = new Array(l);
+        bools_.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++) {
+          bools_[i] = packedN &amp; ((1n &lt;&lt; SIZE_IN_BITS) - 1n);
+          packedN &gt;&gt;= SIZE_IN_BITS;
+        }
+        return bools_.map((x) =&gt; Bool.fromJSON(Boolean(x)));
+      });
+      return auxiliary;
+    }
+&nbsp;
+    static pack(aux: Array&lt;Bool&gt;): Field {
+      let f = aux[0].toField();
+      for (let i = 1; i &lt; l; i++) {
+        const c = Field((2n ** SIZE_IN_BITS) ** BigInt(i));
+        f = f.add(aux[i].toField().mul(c));
+      }
+      return f;
+    }
+&nbsp;
+    static fromAuxiliary(aux: Array&lt;Bool&gt;): PackedBool_ {
+      const packed = PackedBool_.pack(aux);
+      return new PackedBool_(packed, aux);
+    }
+&nbsp;
+    static fromBooleans(bigints: Array&lt;boolean&gt;): PackedBool_ {
+      const uint32s = bigints.map((x) =&gt; Bool(x));
+      return this.fromAuxiliary(uint32s);
+    }
+&nbsp;
+    toBooleans(): Array&lt;boolean&gt; {
+      return PackedBool_.unpack(this.packed).map((x) =&gt; x.toBoolean());
+    }
+  }
+  return PackedBool_;
+}
+&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/PackedString.ts.html ADDED Viewed

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