o1js-pack 0.3.1
Sign up to get free protection for your applications and to get access to all the features.
- 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
@@ -0,0 +1,268 @@
|
|
1
|
+
|
2
|
+
<!doctype html>
|
3
|
+
<html lang="en">
|
4
|
+
|
5
|
+
<head>
|
6
|
+
<title>Code coverage report for PackedBool.ts</title>
|
7
|
+
<meta charset="utf-8" />
|
8
|
+
<link rel="stylesheet" href="prettify.css" />
|
9
|
+
<link rel="stylesheet" href="base.css" />
|
10
|
+
<link rel="shortcut icon" type="image/x-icon" href="favicon.png" />
|
11
|
+
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
12
|
+
<style type='text/css'>
|
13
|
+
.coverage-summary .sorter {
|
14
|
+
background-image: url(sort-arrow-sprite.png);
|
15
|
+
}
|
16
|
+
</style>
|
17
|
+
</head>
|
18
|
+
|
19
|
+
<body>
|
20
|
+
<div class='wrapper'>
|
21
|
+
<div class='pad1'>
|
22
|
+
<h1><a href="index.html">All files</a> PackedBool.ts</h1>
|
23
|
+
<div class='clearfix'>
|
24
|
+
|
25
|
+
<div class='fl pad1y space-right2'>
|
26
|
+
<span class="strong">88% </span>
|
27
|
+
<span class="quiet">Statements</span>
|
28
|
+
<span class='fraction'>22/25</span>
|
29
|
+
</div>
|
30
|
+
|
31
|
+
|
32
|
+
<div class='fl pad1y space-right2'>
|
33
|
+
<span class="strong">50% </span>
|
34
|
+
<span class="quiet">Branches</span>
|
35
|
+
<span class='fraction'>1/2</span>
|
36
|
+
</div>
|
37
|
+
|
38
|
+
|
39
|
+
<div class='fl pad1y space-right2'>
|
40
|
+
<span class="strong">87.5% </span>
|
41
|
+
<span class="quiet">Functions</span>
|
42
|
+
<span class='fraction'>7/8</span>
|
43
|
+
</div>
|
44
|
+
|
45
|
+
|
46
|
+
<div class='fl pad1y space-right2'>
|
47
|
+
<span class="strong">86.36% </span>
|
48
|
+
<span class="quiet">Lines</span>
|
49
|
+
<span class='fraction'>19/22</span>
|
50
|
+
</div>
|
51
|
+
|
52
|
+
|
53
|
+
</div>
|
54
|
+
<p class="quiet">
|
55
|
+
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.
|
56
|
+
</p>
|
57
|
+
<template id="filterTemplate">
|
58
|
+
<div class="quiet">
|
59
|
+
Filter:
|
60
|
+
<input oninput="onInput()" type="search" id="fileSearch">
|
61
|
+
</div>
|
62
|
+
</template>
|
63
|
+
</div>
|
64
|
+
<div class='status-line high'></div>
|
65
|
+
<pre><table class="coverage">
|
66
|
+
<tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a>
|
67
|
+
<a name='L2'></a><a href='#L2'>2</a>
|
68
|
+
<a name='L3'></a><a href='#L3'>3</a>
|
69
|
+
<a name='L4'></a><a href='#L4'>4</a>
|
70
|
+
<a name='L5'></a><a href='#L5'>5</a>
|
71
|
+
<a name='L6'></a><a href='#L6'>6</a>
|
72
|
+
<a name='L7'></a><a href='#L7'>7</a>
|
73
|
+
<a name='L8'></a><a href='#L8'>8</a>
|
74
|
+
<a name='L9'></a><a href='#L9'>9</a>
|
75
|
+
<a name='L10'></a><a href='#L10'>10</a>
|
76
|
+
<a name='L11'></a><a href='#L11'>11</a>
|
77
|
+
<a name='L12'></a><a href='#L12'>12</a>
|
78
|
+
<a name='L13'></a><a href='#L13'>13</a>
|
79
|
+
<a name='L14'></a><a href='#L14'>14</a>
|
80
|
+
<a name='L15'></a><a href='#L15'>15</a>
|
81
|
+
<a name='L16'></a><a href='#L16'>16</a>
|
82
|
+
<a name='L17'></a><a href='#L17'>17</a>
|
83
|
+
<a name='L18'></a><a href='#L18'>18</a>
|
84
|
+
<a name='L19'></a><a href='#L19'>19</a>
|
85
|
+
<a name='L20'></a><a href='#L20'>20</a>
|
86
|
+
<a name='L21'></a><a href='#L21'>21</a>
|
87
|
+
<a name='L22'></a><a href='#L22'>22</a>
|
88
|
+
<a name='L23'></a><a href='#L23'>23</a>
|
89
|
+
<a name='L24'></a><a href='#L24'>24</a>
|
90
|
+
<a name='L25'></a><a href='#L25'>25</a>
|
91
|
+
<a name='L26'></a><a href='#L26'>26</a>
|
92
|
+
<a name='L27'></a><a href='#L27'>27</a>
|
93
|
+
<a name='L28'></a><a href='#L28'>28</a>
|
94
|
+
<a name='L29'></a><a href='#L29'>29</a>
|
95
|
+
<a name='L30'></a><a href='#L30'>30</a>
|
96
|
+
<a name='L31'></a><a href='#L31'>31</a>
|
97
|
+
<a name='L32'></a><a href='#L32'>32</a>
|
98
|
+
<a name='L33'></a><a href='#L33'>33</a>
|
99
|
+
<a name='L34'></a><a href='#L34'>34</a>
|
100
|
+
<a name='L35'></a><a href='#L35'>35</a>
|
101
|
+
<a name='L36'></a><a href='#L36'>36</a>
|
102
|
+
<a name='L37'></a><a href='#L37'>37</a>
|
103
|
+
<a name='L38'></a><a href='#L38'>38</a>
|
104
|
+
<a name='L39'></a><a href='#L39'>39</a>
|
105
|
+
<a name='L40'></a><a href='#L40'>40</a>
|
106
|
+
<a name='L41'></a><a href='#L41'>41</a>
|
107
|
+
<a name='L42'></a><a href='#L42'>42</a>
|
108
|
+
<a name='L43'></a><a href='#L43'>43</a>
|
109
|
+
<a name='L44'></a><a href='#L44'>44</a>
|
110
|
+
<a name='L45'></a><a href='#L45'>45</a>
|
111
|
+
<a name='L46'></a><a href='#L46'>46</a>
|
112
|
+
<a name='L47'></a><a href='#L47'>47</a>
|
113
|
+
<a name='L48'></a><a href='#L48'>48</a>
|
114
|
+
<a name='L49'></a><a href='#L49'>49</a>
|
115
|
+
<a name='L50'></a><a href='#L50'>50</a>
|
116
|
+
<a name='L51'></a><a href='#L51'>51</a>
|
117
|
+
<a name='L52'></a><a href='#L52'>52</a>
|
118
|
+
<a name='L53'></a><a href='#L53'>53</a>
|
119
|
+
<a name='L54'></a><a href='#L54'>54</a>
|
120
|
+
<a name='L55'></a><a href='#L55'>55</a>
|
121
|
+
<a name='L56'></a><a href='#L56'>56</a>
|
122
|
+
<a name='L57'></a><a href='#L57'>57</a>
|
123
|
+
<a name='L58'></a><a href='#L58'>58</a>
|
124
|
+
<a name='L59'></a><a href='#L59'>59</a>
|
125
|
+
<a name='L60'></a><a href='#L60'>60</a>
|
126
|
+
<a name='L61'></a><a href='#L61'>61</a>
|
127
|
+
<a name='L62'></a><a href='#L62'>62</a></td><td class="line-coverage quiet"><span class="cline-any cline-neutral"> </span>
|
128
|
+
<span class="cline-any cline-neutral"> </span>
|
129
|
+
<span class="cline-any cline-neutral"> </span>
|
130
|
+
<span class="cline-any cline-neutral"> </span>
|
131
|
+
<span class="cline-any cline-neutral"> </span>
|
132
|
+
<span class="cline-any cline-neutral"> </span>
|
133
|
+
<span class="cline-any cline-yes">4x</span>
|
134
|
+
<span class="cline-any cline-yes">4x</span>
|
135
|
+
<span class="cline-any cline-neutral"> </span>
|
136
|
+
<span class="cline-any cline-neutral"> </span>
|
137
|
+
<span class="cline-any cline-neutral"> </span>
|
138
|
+
<span class="cline-any cline-neutral"> </span>
|
139
|
+
<span class="cline-any cline-yes">4x</span>
|
140
|
+
<span class="cline-any cline-yes">4x</span>
|
141
|
+
<span class="cline-any cline-neutral"> </span>
|
142
|
+
<span class="cline-any cline-neutral"> </span>
|
143
|
+
<span class="cline-any cline-neutral"> </span>
|
144
|
+
<span class="cline-any cline-neutral"> </span>
|
145
|
+
<span class="cline-any cline-neutral"> </span>
|
146
|
+
<span class="cline-any cline-neutral"> </span>
|
147
|
+
<span class="cline-any cline-neutral"> </span>
|
148
|
+
<span class="cline-any cline-neutral"> </span>
|
149
|
+
<span class="cline-any cline-yes">4x</span>
|
150
|
+
<span class="cline-any cline-yes">4x</span>
|
151
|
+
<span class="cline-any cline-yes">4x</span>
|
152
|
+
<span class="cline-any cline-yes">4x</span>
|
153
|
+
<span class="cline-any cline-yes">104x</span>
|
154
|
+
<span class="cline-any cline-yes">104x</span>
|
155
|
+
<span class="cline-any cline-neutral"> </span>
|
156
|
+
<span class="cline-any cline-yes">104x</span>
|
157
|
+
<span class="cline-any cline-neutral"> </span>
|
158
|
+
<span class="cline-any cline-yes">4x</span>
|
159
|
+
<span class="cline-any cline-neutral"> </span>
|
160
|
+
<span class="cline-any cline-neutral"> </span>
|
161
|
+
<span class="cline-any cline-neutral"> </span>
|
162
|
+
<span class="cline-any cline-yes">4x</span>
|
163
|
+
<span class="cline-any cline-yes">4x</span>
|
164
|
+
<span class="cline-any cline-yes">56x</span>
|
165
|
+
<span class="cline-any cline-yes">56x</span>
|
166
|
+
<span class="cline-any cline-neutral"> </span>
|
167
|
+
<span class="cline-any cline-yes">4x</span>
|
168
|
+
<span class="cline-any cline-neutral"> </span>
|
169
|
+
<span class="cline-any cline-neutral"> </span>
|
170
|
+
<span class="cline-any cline-neutral"> </span>
|
171
|
+
<span class="cline-any cline-yes">2x</span>
|
172
|
+
<span class="cline-any cline-neutral"> </span>
|
173
|
+
<span class="cline-any cline-neutral"> </span>
|
174
|
+
<span class="cline-any cline-neutral"> </span>
|
175
|
+
<span class="cline-any cline-neutral"> </span>
|
176
|
+
<span class="cline-any cline-neutral"> </span>
|
177
|
+
<span class="cline-any cline-neutral"> </span>
|
178
|
+
<span class="cline-any cline-no"> </span>
|
179
|
+
<span class="cline-any cline-no"> </span>
|
180
|
+
<span class="cline-any cline-no"> </span>
|
181
|
+
<span class="cline-any cline-neutral"> </span>
|
182
|
+
<span class="cline-any cline-neutral"> </span>
|
183
|
+
<span class="cline-any cline-neutral"> </span>
|
184
|
+
<span class="cline-any cline-neutral"> </span>
|
185
|
+
<span class="cline-any cline-neutral"> </span>
|
186
|
+
<span class="cline-any cline-yes">4x</span>
|
187
|
+
<span class="cline-any cline-neutral"> </span>
|
188
|
+
<span class="cline-any cline-neutral"> </span></td><td class="text"><pre class="prettyprint lang-js">import { Field, Provable, Struct, Bool, provable } from 'snarkyjs';
|
189
|
+
|
190
|
+
export function PackedBoolFactory(l: number) {
|
191
|
+
class PackedBool_ extends Struct({
|
192
|
+
packed: Field,
|
193
|
+
}) {
|
194
|
+
static type = provable({ packed: Field }, {});
|
195
|
+
static l: number = l;
|
196
|
+
packed: Field;
|
197
|
+
aux: Bool[];
|
198
|
+
|
199
|
+
constructor(packed: Field, aux: Bool[]) {
|
200
|
+
super({ packed });
|
201
|
+
this.aux = aux;
|
202
|
+
}
|
203
|
+
|
204
|
+
/**
|
205
|
+
* Unpacks a Field into its component Bool parts
|
206
|
+
* @param value
|
207
|
+
* @returns the unpacked auxilliary data used to pack the value
|
208
|
+
*/
|
209
|
+
static toAuxiliary(value?: { packed: Field } | undefined): Bool[] {
|
210
|
+
const auxiliary = Provable.witness(Provable.Array(Bool, l), () => {
|
211
|
+
let bools_: bigint[] = [];
|
212
|
+
let packedN = value?.packed.toBigInt() || <span class="branch-1 cbranch-no" title="branch not covered" >0n;</span>
|
213
|
+
for (let i = 0; i < l; i++) {
|
214
|
+
bools_[i] = packedN & ((1n << 1n) - 1n);
|
215
|
+
packedN >>= 1n;
|
216
|
+
}
|
217
|
+
return bools_.map((x) => Bool.fromJSON(Boolean(x)));
|
218
|
+
});
|
219
|
+
return auxiliary;
|
220
|
+
}
|
221
|
+
|
222
|
+
static pack(aux: Bool[]): Field {
|
223
|
+
let f = Field(0);
|
224
|
+
for (let i = 0; i < l; i++) {
|
225
|
+
const c = Field((2n ** 1n) ** BigInt(i));
|
226
|
+
f = f.add(aux[i].toField().mul(c));
|
227
|
+
}
|
228
|
+
return f;
|
229
|
+
}
|
230
|
+
|
231
|
+
static unpack(f: Field): Bool[] {
|
232
|
+
return this.toAuxiliary({ packed: f });
|
233
|
+
}
|
234
|
+
|
235
|
+
/**
|
236
|
+
* In-Circuit verifiaction of the packed Field
|
237
|
+
*/
|
238
|
+
<span class="fstat-no" title="function not covered" > static </span>check(value: { packed: Field }) {
|
239
|
+
const unpacked = <span class="cstat-no" title="statement not covered" >this.toAuxiliary({ packed: value.packed });</span>
|
240
|
+
const packed = <span class="cstat-no" title="statement not covered" >this.pack(unpacked);</span>
|
241
|
+
<span class="cstat-no" title="statement not covered" > packed.assertEquals(value.packed);</span>
|
242
|
+
}
|
243
|
+
|
244
|
+
// TODO
|
245
|
+
// static fromFields()
|
246
|
+
}
|
247
|
+
return PackedBool_;
|
248
|
+
}
|
249
|
+
</pre></td></tr></table></pre>
|
250
|
+
|
251
|
+
<div class='push'></div><!-- for sticky footer -->
|
252
|
+
</div><!-- /wrapper -->
|
253
|
+
<div class='footer quiet pad2 space-top1 center small'>
|
254
|
+
Code coverage generated by
|
255
|
+
<a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
|
256
|
+
at 2023-07-15T18:22:19.535Z
|
257
|
+
</div>
|
258
|
+
<script src="prettify.js"></script>
|
259
|
+
<script>
|
260
|
+
window.onload = function () {
|
261
|
+
prettyPrint();
|
262
|
+
};
|
263
|
+
</script>
|
264
|
+
<script src="sorter.js"></script>
|
265
|
+
<script src="block-navigation.js"></script>
|
266
|
+
</body>
|
267
|
+
</html>
|
268
|
+
|
@@ -0,0 +1,313 @@
|
|
1
|
+
|
2
|
+
<!doctype html>
|
3
|
+
<html lang="en">
|
4
|
+
|
5
|
+
<head>
|
6
|
+
<title>Code coverage report for PackedUInt32.ts</title>
|
7
|
+
<meta charset="utf-8" />
|
8
|
+
<link rel="stylesheet" href="prettify.css" />
|
9
|
+
<link rel="stylesheet" href="base.css" />
|
10
|
+
<link rel="shortcut icon" type="image/x-icon" href="favicon.png" />
|
11
|
+
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
12
|
+
<style type='text/css'>
|
13
|
+
.coverage-summary .sorter {
|
14
|
+
background-image: url(sort-arrow-sprite.png);
|
15
|
+
}
|
16
|
+
</style>
|
17
|
+
</head>
|
18
|
+
|
19
|
+
<body>
|
20
|
+
<div class='wrapper'>
|
21
|
+
<div class='pad1'>
|
22
|
+
<h1><a href="index.html">All files</a> PackedUInt32.ts</h1>
|
23
|
+
<div class='clearfix'>
|
24
|
+
|
25
|
+
<div class='fl pad1y space-right2'>
|
26
|
+
<span class="strong">88% </span>
|
27
|
+
<span class="quiet">Statements</span>
|
28
|
+
<span class='fraction'>22/25</span>
|
29
|
+
</div>
|
30
|
+
|
31
|
+
|
32
|
+
<div class='fl pad1y space-right2'>
|
33
|
+
<span class="strong">50% </span>
|
34
|
+
<span class="quiet">Branches</span>
|
35
|
+
<span class='fraction'>1/2</span>
|
36
|
+
</div>
|
37
|
+
|
38
|
+
|
39
|
+
<div class='fl pad1y space-right2'>
|
40
|
+
<span class="strong">87.5% </span>
|
41
|
+
<span class="quiet">Functions</span>
|
42
|
+
<span class='fraction'>7/8</span>
|
43
|
+
</div>
|
44
|
+
|
45
|
+
|
46
|
+
<div class='fl pad1y space-right2'>
|
47
|
+
<span class="strong">86.36% </span>
|
48
|
+
<span class="quiet">Lines</span>
|
49
|
+
<span class='fraction'>19/22</span>
|
50
|
+
</div>
|
51
|
+
|
52
|
+
|
53
|
+
</div>
|
54
|
+
<p class="quiet">
|
55
|
+
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.
|
56
|
+
</p>
|
57
|
+
<template id="filterTemplate">
|
58
|
+
<div class="quiet">
|
59
|
+
Filter:
|
60
|
+
<input oninput="onInput()" type="search" id="fileSearch">
|
61
|
+
</div>
|
62
|
+
</template>
|
63
|
+
</div>
|
64
|
+
<div class='status-line high'></div>
|
65
|
+
<pre><table class="coverage">
|
66
|
+
<tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a>
|
67
|
+
<a name='L2'></a><a href='#L2'>2</a>
|
68
|
+
<a name='L3'></a><a href='#L3'>3</a>
|
69
|
+
<a name='L4'></a><a href='#L4'>4</a>
|
70
|
+
<a name='L5'></a><a href='#L5'>5</a>
|
71
|
+
<a name='L6'></a><a href='#L6'>6</a>
|
72
|
+
<a name='L7'></a><a href='#L7'>7</a>
|
73
|
+
<a name='L8'></a><a href='#L8'>8</a>
|
74
|
+
<a name='L9'></a><a href='#L9'>9</a>
|
75
|
+
<a name='L10'></a><a href='#L10'>10</a>
|
76
|
+
<a name='L11'></a><a href='#L11'>11</a>
|
77
|
+
<a name='L12'></a><a href='#L12'>12</a>
|
78
|
+
<a name='L13'></a><a href='#L13'>13</a>
|
79
|
+
<a name='L14'></a><a href='#L14'>14</a>
|
80
|
+
<a name='L15'></a><a href='#L15'>15</a>
|
81
|
+
<a name='L16'></a><a href='#L16'>16</a>
|
82
|
+
<a name='L17'></a><a href='#L17'>17</a>
|
83
|
+
<a name='L18'></a><a href='#L18'>18</a>
|
84
|
+
<a name='L19'></a><a href='#L19'>19</a>
|
85
|
+
<a name='L20'></a><a href='#L20'>20</a>
|
86
|
+
<a name='L21'></a><a href='#L21'>21</a>
|
87
|
+
<a name='L22'></a><a href='#L22'>22</a>
|
88
|
+
<a name='L23'></a><a href='#L23'>23</a>
|
89
|
+
<a name='L24'></a><a href='#L24'>24</a>
|
90
|
+
<a name='L25'></a><a href='#L25'>25</a>
|
91
|
+
<a name='L26'></a><a href='#L26'>26</a>
|
92
|
+
<a name='L27'></a><a href='#L27'>27</a>
|
93
|
+
<a name='L28'></a><a href='#L28'>28</a>
|
94
|
+
<a name='L29'></a><a href='#L29'>29</a>
|
95
|
+
<a name='L30'></a><a href='#L30'>30</a>
|
96
|
+
<a name='L31'></a><a href='#L31'>31</a>
|
97
|
+
<a name='L32'></a><a href='#L32'>32</a>
|
98
|
+
<a name='L33'></a><a href='#L33'>33</a>
|
99
|
+
<a name='L34'></a><a href='#L34'>34</a>
|
100
|
+
<a name='L35'></a><a href='#L35'>35</a>
|
101
|
+
<a name='L36'></a><a href='#L36'>36</a>
|
102
|
+
<a name='L37'></a><a href='#L37'>37</a>
|
103
|
+
<a name='L38'></a><a href='#L38'>38</a>
|
104
|
+
<a name='L39'></a><a href='#L39'>39</a>
|
105
|
+
<a name='L40'></a><a href='#L40'>40</a>
|
106
|
+
<a name='L41'></a><a href='#L41'>41</a>
|
107
|
+
<a name='L42'></a><a href='#L42'>42</a>
|
108
|
+
<a name='L43'></a><a href='#L43'>43</a>
|
109
|
+
<a name='L44'></a><a href='#L44'>44</a>
|
110
|
+
<a name='L45'></a><a href='#L45'>45</a>
|
111
|
+
<a name='L46'></a><a href='#L46'>46</a>
|
112
|
+
<a name='L47'></a><a href='#L47'>47</a>
|
113
|
+
<a name='L48'></a><a href='#L48'>48</a>
|
114
|
+
<a name='L49'></a><a href='#L49'>49</a>
|
115
|
+
<a name='L50'></a><a href='#L50'>50</a>
|
116
|
+
<a name='L51'></a><a href='#L51'>51</a>
|
117
|
+
<a name='L52'></a><a href='#L52'>52</a>
|
118
|
+
<a name='L53'></a><a href='#L53'>53</a>
|
119
|
+
<a name='L54'></a><a href='#L54'>54</a>
|
120
|
+
<a name='L55'></a><a href='#L55'>55</a>
|
121
|
+
<a name='L56'></a><a href='#L56'>56</a>
|
122
|
+
<a name='L57'></a><a href='#L57'>57</a>
|
123
|
+
<a name='L58'></a><a href='#L58'>58</a>
|
124
|
+
<a name='L59'></a><a href='#L59'>59</a>
|
125
|
+
<a name='L60'></a><a href='#L60'>60</a>
|
126
|
+
<a name='L61'></a><a href='#L61'>61</a>
|
127
|
+
<a name='L62'></a><a href='#L62'>62</a>
|
128
|
+
<a name='L63'></a><a href='#L63'>63</a>
|
129
|
+
<a name='L64'></a><a href='#L64'>64</a>
|
130
|
+
<a name='L65'></a><a href='#L65'>65</a>
|
131
|
+
<a name='L66'></a><a href='#L66'>66</a>
|
132
|
+
<a name='L67'></a><a href='#L67'>67</a>
|
133
|
+
<a name='L68'></a><a href='#L68'>68</a>
|
134
|
+
<a name='L69'></a><a href='#L69'>69</a>
|
135
|
+
<a name='L70'></a><a href='#L70'>70</a>
|
136
|
+
<a name='L71'></a><a href='#L71'>71</a>
|
137
|
+
<a name='L72'></a><a href='#L72'>72</a>
|
138
|
+
<a name='L73'></a><a href='#L73'>73</a>
|
139
|
+
<a name='L74'></a><a href='#L74'>74</a>
|
140
|
+
<a name='L75'></a><a href='#L75'>75</a>
|
141
|
+
<a name='L76'></a><a href='#L76'>76</a>
|
142
|
+
<a name='L77'></a><a href='#L77'>77</a></td><td class="line-coverage quiet"><span class="cline-any cline-neutral"> </span>
|
143
|
+
<span class="cline-any cline-neutral"> </span>
|
144
|
+
<span class="cline-any cline-neutral"> </span>
|
145
|
+
<span class="cline-any cline-neutral"> </span>
|
146
|
+
<span class="cline-any cline-neutral"> </span>
|
147
|
+
<span class="cline-any cline-neutral"> </span>
|
148
|
+
<span class="cline-any cline-yes">4x</span>
|
149
|
+
<span class="cline-any cline-yes">4x</span>
|
150
|
+
<span class="cline-any cline-neutral"> </span>
|
151
|
+
<span class="cline-any cline-neutral"> </span>
|
152
|
+
<span class="cline-any cline-neutral"> </span>
|
153
|
+
<span class="cline-any cline-neutral"> </span>
|
154
|
+
<span class="cline-any cline-yes">3x</span>
|
155
|
+
<span class="cline-any cline-yes">3x</span>
|
156
|
+
<span class="cline-any cline-neutral"> </span>
|
157
|
+
<span class="cline-any cline-neutral"> </span>
|
158
|
+
<span class="cline-any cline-neutral"> </span>
|
159
|
+
<span class="cline-any cline-neutral"> </span>
|
160
|
+
<span class="cline-any cline-neutral"> </span>
|
161
|
+
<span class="cline-any cline-neutral"> </span>
|
162
|
+
<span class="cline-any cline-neutral"> </span>
|
163
|
+
<span class="cline-any cline-neutral"> </span>
|
164
|
+
<span class="cline-any cline-yes">2x</span>
|
165
|
+
<span class="cline-any cline-yes">2x</span>
|
166
|
+
<span class="cline-any cline-yes">2x</span>
|
167
|
+
<span class="cline-any cline-yes">2x</span>
|
168
|
+
<span class="cline-any cline-yes">7x</span>
|
169
|
+
<span class="cline-any cline-yes">7x</span>
|
170
|
+
<span class="cline-any cline-neutral"> </span>
|
171
|
+
<span class="cline-any cline-yes">7x</span>
|
172
|
+
<span class="cline-any cline-neutral"> </span>
|
173
|
+
<span class="cline-any cline-yes">2x</span>
|
174
|
+
<span class="cline-any cline-neutral"> </span>
|
175
|
+
<span class="cline-any cline-neutral"> </span>
|
176
|
+
<span class="cline-any cline-neutral"> </span>
|
177
|
+
<span class="cline-any cline-yes">5x</span>
|
178
|
+
<span class="cline-any cline-yes">5x</span>
|
179
|
+
<span class="cline-any cline-yes">22x</span>
|
180
|
+
<span class="cline-any cline-yes">22x</span>
|
181
|
+
<span class="cline-any cline-neutral"> </span>
|
182
|
+
<span class="cline-any cline-yes">5x</span>
|
183
|
+
<span class="cline-any cline-neutral"> </span>
|
184
|
+
<span class="cline-any cline-neutral"> </span>
|
185
|
+
<span class="cline-any cline-neutral"> </span>
|
186
|
+
<span class="cline-any cline-yes">2x</span>
|
187
|
+
<span class="cline-any cline-neutral"> </span>
|
188
|
+
<span class="cline-any cline-neutral"> </span>
|
189
|
+
<span class="cline-any cline-neutral"> </span>
|
190
|
+
<span class="cline-any cline-neutral"> </span>
|
191
|
+
<span class="cline-any cline-neutral"> </span>
|
192
|
+
<span class="cline-any cline-neutral"> </span>
|
193
|
+
<span class="cline-any cline-no"> </span>
|
194
|
+
<span class="cline-any cline-no"> </span>
|
195
|
+
<span class="cline-any cline-no"> </span>
|
196
|
+
<span class="cline-any cline-neutral"> </span>
|
197
|
+
<span class="cline-any cline-neutral"> </span>
|
198
|
+
<span class="cline-any cline-neutral"> </span>
|
199
|
+
<span class="cline-any cline-neutral"> </span>
|
200
|
+
<span class="cline-any cline-neutral"> </span>
|
201
|
+
<span class="cline-any cline-neutral"> </span>
|
202
|
+
<span class="cline-any cline-neutral"> </span>
|
203
|
+
<span class="cline-any cline-neutral"> </span>
|
204
|
+
<span class="cline-any cline-neutral"> </span>
|
205
|
+
<span class="cline-any cline-neutral"> </span>
|
206
|
+
<span class="cline-any cline-neutral"> </span>
|
207
|
+
<span class="cline-any cline-neutral"> </span>
|
208
|
+
<span class="cline-any cline-neutral"> </span>
|
209
|
+
<span class="cline-any cline-neutral"> </span>
|
210
|
+
<span class="cline-any cline-neutral"> </span>
|
211
|
+
<span class="cline-any cline-neutral"> </span>
|
212
|
+
<span class="cline-any cline-neutral"> </span>
|
213
|
+
<span class="cline-any cline-neutral"> </span>
|
214
|
+
<span class="cline-any cline-neutral"> </span>
|
215
|
+
<span class="cline-any cline-neutral"> </span>
|
216
|
+
<span class="cline-any cline-yes">4x</span>
|
217
|
+
<span class="cline-any cline-neutral"> </span>
|
218
|
+
<span class="cline-any cline-neutral"> </span></td><td class="text"><pre class="prettyprint lang-js">import { Field, Provable, Struct, UInt32, provable } from 'snarkyjs';
|
219
|
+
|
220
|
+
export function PackedUInt32Factory(l: number) {
|
221
|
+
class PackedUInt32_ extends Struct({
|
222
|
+
packed: Field,
|
223
|
+
}) {
|
224
|
+
static type = provable({ packed: Field }, {});
|
225
|
+
static l: number = l;
|
226
|
+
packed: Field;
|
227
|
+
aux: UInt32[];
|
228
|
+
|
229
|
+
constructor(packed: Field, aux: UInt32[]) {
|
230
|
+
super({ packed });
|
231
|
+
this.aux = aux;
|
232
|
+
}
|
233
|
+
|
234
|
+
/**
|
235
|
+
* Unpacks a Field into its component UInt32 parts
|
236
|
+
* @param value
|
237
|
+
* @returns the unpacked auxilliary data used to pack the value
|
238
|
+
*/
|
239
|
+
static toAuxiliary(value?: { packed: Field } | undefined): UInt32[] {
|
240
|
+
const auxiliary = Provable.witness(Provable.Array(UInt32, l), () => {
|
241
|
+
let uints_: bigint[] = [];
|
242
|
+
let packedN = value?.packed.toBigInt() || <span class="branch-1 cbranch-no" title="branch not covered" >0n;</span>
|
243
|
+
for (let i = 0; i < l; i++) {
|
244
|
+
uints_[i] = packedN & ((1n << 32n) - 1n);
|
245
|
+
packedN >>= 32n;
|
246
|
+
}
|
247
|
+
return uints_.map((x) => UInt32.from(x));
|
248
|
+
});
|
249
|
+
return auxiliary;
|
250
|
+
}
|
251
|
+
|
252
|
+
static pack(aux: UInt32[]): Field {
|
253
|
+
let f = Field(0);
|
254
|
+
for (let i = 0; i < l; i++) {
|
255
|
+
const c = Field((2n ** 32n) ** BigInt(i));
|
256
|
+
f = f.add(aux[i].value.mul(c));
|
257
|
+
}
|
258
|
+
return f;
|
259
|
+
}
|
260
|
+
|
261
|
+
static unpack(f: Field): UInt32[] {
|
262
|
+
return this.toAuxiliary({ packed: f });
|
263
|
+
}
|
264
|
+
|
265
|
+
/**
|
266
|
+
* In-Circuit verifiaction of the packed Field
|
267
|
+
*/
|
268
|
+
<span class="fstat-no" title="function not covered" > static </span>check(value: { packed: Field }) {
|
269
|
+
const unpacked = <span class="cstat-no" title="statement not covered" >this.toAuxiliary({ packed: value.packed });</span>
|
270
|
+
const packed = <span class="cstat-no" title="statement not covered" >this.pack(unpacked);</span>
|
271
|
+
<span class="cstat-no" title="statement not covered" > packed.assertEquals(value.packed);</span>
|
272
|
+
}
|
273
|
+
|
274
|
+
/**
|
275
|
+
* Type 'typeof PackedUInt32_' is not assignable to type 'ProvablePure<{ packed: Field; }>'.
|
276
|
+
* Types of property 'fromFields' are incompatible.
|
277
|
+
* Type '(fields: Field[], aux: UInt32[]) => PackedUInt32_' is not assignable to type '(fields: Field[]) => { packed: Field; }'.
|
278
|
+
* Target signature provides too few arguments. Expected 2 or more, but got 1.ts(2417)
|
279
|
+
*/
|
280
|
+
// static fromFields(fields: Field[], aux: UInt32[]): PackedUInt32_ {
|
281
|
+
// if (fields.length !== 1) {
|
282
|
+
// throw new Error("Must be initialized with one field only")
|
283
|
+
// }
|
284
|
+
// const packed = fields[0];
|
285
|
+
// packed.assertEquals(this.pack(aux));
|
286
|
+
// return new PackedUInt32_(
|
287
|
+
// packed,
|
288
|
+
// aux
|
289
|
+
// );
|
290
|
+
// }
|
291
|
+
}
|
292
|
+
return PackedUInt32_;
|
293
|
+
}
|
294
|
+
</pre></td></tr></table></pre>
|
295
|
+
|
296
|
+
<div class='push'></div><!-- for sticky footer -->
|
297
|
+
</div><!-- /wrapper -->
|
298
|
+
<div class='footer quiet pad2 space-top1 center small'>
|
299
|
+
Code coverage generated by
|
300
|
+
<a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
|
301
|
+
at 2023-07-15T18:22:19.535Z
|
302
|
+
</div>
|
303
|
+
<script src="prettify.js"></script>
|
304
|
+
<script>
|
305
|
+
window.onload = function () {
|
306
|
+
prettyPrint();
|
307
|
+
};
|
308
|
+
</script>
|
309
|
+
<script src="sorter.js"></script>
|
310
|
+
<script src="block-navigation.js"></script>
|
311
|
+
</body>
|
312
|
+
</html>
|
313
|
+
|