@odatano/contract-m402-vault 0.1.0 → 0.2.0

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 (25) hide show
  1. package/LICENSE +178 -178
  2. package/contract.json +5 -5
  3. package/managed/m402-vault/compiler/contract-info.json +4 -3
  4. package/managed/m402-vault/compiler/contract-manifest.json +139 -0
  5. package/managed/m402-vault/contract/index.d.ts +22 -23
  6. package/managed/m402-vault/contract/index.js +317 -265
  7. package/managed/m402-vault/contract/index.js.map +2 -2
  8. package/managed/m402-vault/keys/deposit.verifier +0 -0
  9. package/managed/m402-vault/keys/manifest.json +30 -30
  10. package/managed/m402-vault/keys/pay.verifier +0 -0
  11. package/managed/m402-vault/keys/redeem.verifier +0 -0
  12. package/managed/m402-vault/keys/registerService.verifier +0 -0
  13. package/managed/m402-vault/keys/withdraw.verifier +0 -0
  14. package/managed/m402-vault/zkir/deposit.bzkir +0 -0
  15. package/managed/m402-vault/zkir/deposit.zkir +121 -329
  16. package/managed/m402-vault/zkir/pay.bzkir +0 -0
  17. package/managed/m402-vault/zkir/pay.zkir +102 -278
  18. package/managed/m402-vault/zkir/redeem.bzkir +0 -0
  19. package/managed/m402-vault/zkir/redeem.zkir +82 -206
  20. package/managed/m402-vault/zkir/registerService.bzkir +0 -0
  21. package/managed/m402-vault/zkir/registerService.zkir +51 -123
  22. package/managed/m402-vault/zkir/withdraw.bzkir +0 -0
  23. package/managed/m402-vault/zkir/withdraw.zkir +81 -258
  24. package/package.json +2 -2
  25. package/src/m402-vault.compact +1 -1
package/managed/m402-vault/zkir/deposit.zkir CHANGED
@@ -1,334 +1,126 @@
1
1
  {
2
- "version": { "major": 2, "minor": 0 },
2
+ "version": { "major": 3, "minor": 1 },
3
3
  "do_communications_commitment": true,
4
- "num_inputs": 3,
4
+ "inputs": [
5
+ { "name": "%amount.0", "type": "Scalar<BLS12-381>" },
6
+ { "name": "%nonceSeed.1", "type": "Scalar<BLS12-381>" },
7
+ { "name": "%nonceSeed.2", "type": "Scalar<BLS12-381>" }
8
+ ],
9
+ "outputs": [
10
+ ],
5
11
  "instructions": [
6
- { "op": "constrain_bits", "var": 0, "bits": 64 },
7
- { "op": "constrain_bits", "var": 1, "bits": 8 },
8
- { "op": "constrain_bits", "var": 2, "bits": 248 },
9
- { "op": "load_imm", "imm": "01" },
10
- { "op": "load_imm", "imm": "00" },
11
- { "op": "less_than", "a": 4, "b": 0, "bits": 64 },
12
- { "op": "assert", "cond": 5 },
13
- { "op": "load_imm", "imm": "40" },
14
- { "op": "declare_pub_input", "var": 6 },
15
- { "op": "pi_skip", "guard": 3, "count": 1 },
16
- { "op": "load_imm", "imm": "80" },
17
- { "op": "load_imm", "imm": "06" },
18
- { "op": "declare_pub_input", "var": 7 },
19
- { "op": "declare_pub_input", "var": 3 },
20
- { "op": "declare_pub_input", "var": 3 },
21
- { "op": "declare_pub_input", "var": 8 },
22
- { "op": "pi_skip", "guard": 3, "count": 4 },
23
- { "op": "load_imm", "imm": "10" },
24
- { "op": "load_imm", "imm": "03" },
25
- { "op": "load_imm", "imm": "20" },
26
- { "op": "declare_pub_input", "var": 9 },
27
- { "op": "declare_pub_input", "var": 3 },
28
- { "op": "declare_pub_input", "var": 10 },
29
- { "op": "declare_pub_input", "var": 3 },
30
- { "op": "declare_pub_input", "var": 11 },
31
- { "op": "declare_pub_input", "var": 11 },
32
- { "op": "declare_pub_input", "var": 3 },
33
- { "op": "declare_pub_input", "var": 4 },
34
- { "op": "declare_pub_input", "var": 4 },
35
- { "op": "declare_pub_input", "var": 4 },
36
- { "op": "declare_pub_input", "var": 4 },
37
- { "op": "pi_skip", "guard": 3, "count": 11 },
38
- { "op": "load_imm", "imm": "31" },
39
- { "op": "declare_pub_input", "var": 12 },
40
- { "op": "pi_skip", "guard": 3, "count": 1 },
41
- { "op": "declare_pub_input", "var": 12 },
42
- { "op": "pi_skip", "guard": 3, "count": 1 },
43
- { "op": "load_imm", "imm": "18" },
44
- { "op": "declare_pub_input", "var": 13 },
45
- { "op": "pi_skip", "guard": 3, "count": 1 },
46
- { "op": "declare_pub_input", "var": 9 },
47
- { "op": "declare_pub_input", "var": 3 },
48
- { "op": "declare_pub_input", "var": 3 },
49
- { "op": "declare_pub_input", "var": 9 },
50
- { "op": "declare_pub_input", "var": 0 },
51
- { "op": "pi_skip", "guard": 3, "count": 5 },
52
- { "op": "declare_pub_input", "var": 6 },
53
- { "op": "pi_skip", "guard": 3, "count": 1 },
54
- { "op": "load_imm", "imm": "08" },
55
- { "op": "declare_pub_input", "var": 14 },
56
- { "op": "pi_skip", "guard": 3, "count": 1 },
57
- { "op": "load_imm", "imm": "12" },
58
- { "op": "load_imm", "imm": "04" },
59
- { "op": "declare_pub_input", "var": 15 },
60
- { "op": "declare_pub_input", "var": 16 },
61
- { "op": "pi_skip", "guard": 3, "count": 2 },
62
- { "op": "load_imm", "imm": "32" },
63
- { "op": "declare_pub_input", "var": 17 },
64
- { "op": "pi_skip", "guard": 3, "count": 1 },
65
- { "op": "declare_pub_input", "var": 17 },
66
- { "op": "pi_skip", "guard": 3, "count": 1 },
67
- { "op": "load_imm", "imm": "60" },
68
- { "op": "load_imm", "imm": "-01" },
69
- { "op": "declare_pub_input", "var": 18 },
70
- { "op": "declare_pub_input", "var": 19 },
71
- { "op": "pi_skip", "guard": 3, "count": 2 },
72
- { "op": "load_imm", "imm": "14" },
73
- { "op": "declare_pub_input", "var": 20 },
74
- { "op": "pi_skip", "guard": 3, "count": 1 },
75
- { "op": "load_imm", "imm": "A2" },
76
- { "op": "declare_pub_input", "var": 21 },
77
- { "op": "pi_skip", "guard": 3, "count": 1 },
78
- { "op": "declare_pub_input", "var": 6 },
79
- { "op": "pi_skip", "guard": 3, "count": 1 },
80
- { "op": "load_imm", "imm": "30" },
81
- { "op": "declare_pub_input", "var": 22 },
82
- { "op": "pi_skip", "guard": 3, "count": 1 },
83
- { "op": "load_imm", "imm": "50" },
84
- { "op": "declare_pub_input", "var": 23 },
85
- { "op": "declare_pub_input", "var": 3 },
86
- { "op": "declare_pub_input", "var": 3 },
87
- { "op": "declare_pub_input", "var": 16 },
88
- { "op": "pi_skip", "guard": 3, "count": 4 },
89
- { "op": "public_input", "guard": null },
90
- { "op": "load_imm", "imm": "0D" },
91
- { "op": "declare_pub_input", "var": 25 },
92
- { "op": "declare_pub_input", "var": 3 },
93
- { "op": "declare_pub_input", "var": 14 },
94
- { "op": "declare_pub_input", "var": 24 },
95
- { "op": "pi_skip", "guard": 3, "count": 4 },
96
- { "op": "constrain_bits", "var": 24, "bits": 64 },
97
- { "op": "load_imm", "imm": "6D69646E696768743A6B65726E656C3A6E6F6E63655F65766F6C7665" },
98
- { "op": "transient_hash", "inputs": [26, 24, 2] },
99
- { "op": "div_mod_power_of_two", "var": 27, "bits": 248 },
100
- { "op": "declare_pub_input", "var": 17 },
101
- { "op": "pi_skip", "guard": 3, "count": 1 },
102
- { "op": "declare_pub_input", "var": 18 },
103
- { "op": "declare_pub_input", "var": 3 },
104
- { "op": "declare_pub_input", "var": 3 },
105
- { "op": "declare_pub_input", "var": 4 },
106
- { "op": "pi_skip", "guard": 3, "count": 4 },
107
- { "op": "public_input", "guard": null },
108
- { "op": "public_input", "guard": null },
109
- { "op": "declare_pub_input", "var": 25 },
110
- { "op": "declare_pub_input", "var": 3 },
111
- { "op": "declare_pub_input", "var": 11 },
112
- { "op": "declare_pub_input", "var": 30 },
113
- { "op": "declare_pub_input", "var": 31 },
114
- { "op": "pi_skip", "guard": 3, "count": 5 },
115
- { "op": "declare_pub_input", "var": 17 },
116
- { "op": "pi_skip", "guard": 3, "count": 1 },
117
- { "op": "declare_pub_input", "var": 18 },
118
- { "op": "declare_pub_input", "var": 3 },
119
- { "op": "declare_pub_input", "var": 3 },
120
- { "op": "declare_pub_input", "var": 4 },
121
- { "op": "pi_skip", "guard": 3, "count": 4 },
122
- { "op": "public_input", "guard": null },
123
- { "op": "public_input", "guard": null },
124
- { "op": "declare_pub_input", "var": 25 },
125
- { "op": "declare_pub_input", "var": 3 },
126
- { "op": "declare_pub_input", "var": 11 },
127
- { "op": "declare_pub_input", "var": 32 },
128
- { "op": "declare_pub_input", "var": 33 },
129
- { "op": "pi_skip", "guard": 3, "count": 5 },
130
- { "op": "load_imm", "imm": "6D69646E696768743A6465726976655F746F6B656E" },
131
- { "op": "load_imm", "imm": "6D3430323A6372656469743A7631" },
132
- { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [4, 34, 4, 35, 32, 33] },
133
- { "op": "declare_pub_input", "var": 6 },
134
- { "op": "pi_skip", "guard": 3, "count": 1 },
135
- { "op": "declare_pub_input", "var": 7 },
136
- { "op": "declare_pub_input", "var": 3 },
137
- { "op": "declare_pub_input", "var": 3 },
138
- { "op": "declare_pub_input", "var": 16 },
139
- { "op": "pi_skip", "guard": 3, "count": 4 },
140
- { "op": "declare_pub_input", "var": 9 },
141
- { "op": "declare_pub_input", "var": 3 },
142
- { "op": "declare_pub_input", "var": 3 },
143
- { "op": "declare_pub_input", "var": 11 },
144
- { "op": "declare_pub_input", "var": 4 },
145
- { "op": "declare_pub_input", "var": 35 },
146
- { "op": "pi_skip", "guard": 3, "count": 6 },
147
- { "op": "declare_pub_input", "var": 12 },
148
- { "op": "pi_skip", "guard": 3, "count": 1 },
149
- { "op": "declare_pub_input", "var": 12 },
150
- { "op": "pi_skip", "guard": 3, "count": 1 },
151
- { "op": "declare_pub_input", "var": 13 },
152
- { "op": "pi_skip", "guard": 3, "count": 1 },
153
- { "op": "declare_pub_input", "var": 9 },
154
- { "op": "declare_pub_input", "var": 3 },
155
- { "op": "declare_pub_input", "var": 3 },
156
- { "op": "declare_pub_input", "var": 14 },
157
- { "op": "declare_pub_input", "var": 0 },
158
- { "op": "pi_skip", "guard": 3, "count": 5 },
159
- { "op": "declare_pub_input", "var": 6 },
160
- { "op": "pi_skip", "guard": 3, "count": 1 },
161
- { "op": "declare_pub_input", "var": 14 },
162
- { "op": "pi_skip", "guard": 3, "count": 1 },
163
- { "op": "declare_pub_input", "var": 15 },
164
- { "op": "declare_pub_input", "var": 16 },
165
- { "op": "pi_skip", "guard": 3, "count": 2 },
166
- { "op": "declare_pub_input", "var": 17 },
167
- { "op": "pi_skip", "guard": 3, "count": 1 },
168
- { "op": "declare_pub_input", "var": 17 },
169
- { "op": "pi_skip", "guard": 3, "count": 1 },
170
- { "op": "declare_pub_input", "var": 18 },
171
- { "op": "declare_pub_input", "var": 19 },
172
- { "op": "pi_skip", "guard": 3, "count": 2 },
173
- { "op": "declare_pub_input", "var": 20 },
174
- { "op": "pi_skip", "guard": 3, "count": 1 },
175
- { "op": "declare_pub_input", "var": 21 },
176
- { "op": "pi_skip", "guard": 3, "count": 1 },
177
- { "op": "declare_pub_input", "var": 6 },
178
- { "op": "pi_skip", "guard": 3, "count": 1 },
179
- { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
180
- { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [38, 4, 29, 36, 37, 0, 4, 30, 31] },
181
- { "op": "declare_pub_input", "var": 6 },
182
- { "op": "pi_skip", "guard": 3, "count": 1 },
183
- { "op": "load_imm", "imm": "02" },
184
- { "op": "declare_pub_input", "var": 7 },
185
- { "op": "declare_pub_input", "var": 3 },
186
- { "op": "declare_pub_input", "var": 3 },
187
- { "op": "declare_pub_input", "var": 41 },
188
- { "op": "pi_skip", "guard": 3, "count": 4 },
189
- { "op": "declare_pub_input", "var": 9 },
190
- { "op": "declare_pub_input", "var": 3 },
191
- { "op": "declare_pub_input", "var": 3 },
192
- { "op": "declare_pub_input", "var": 11 },
193
- { "op": "declare_pub_input", "var": 39 },
194
- { "op": "declare_pub_input", "var": 40 },
195
- { "op": "pi_skip", "guard": 3, "count": 6 },
196
- { "op": "declare_pub_input", "var": 9 },
197
- { "op": "declare_pub_input", "var": 4 },
198
- { "op": "pi_skip", "guard": 3, "count": 2 },
199
- { "op": "declare_pub_input", "var": 21 },
200
- { "op": "pi_skip", "guard": 3, "count": 1 },
201
- { "op": "declare_pub_input", "var": 6 },
202
- { "op": "pi_skip", "guard": 3, "count": 1 },
203
- { "op": "declare_pub_input", "var": 17 },
204
- { "op": "pi_skip", "guard": 3, "count": 1 },
205
- { "op": "declare_pub_input", "var": 18 },
206
- { "op": "declare_pub_input", "var": 3 },
207
- { "op": "declare_pub_input", "var": 3 },
208
- { "op": "declare_pub_input", "var": 4 },
209
- { "op": "pi_skip", "guard": 3, "count": 4 },
210
- { "op": "public_input", "guard": null },
211
- { "op": "public_input", "guard": null },
212
- { "op": "declare_pub_input", "var": 25 },
213
- { "op": "declare_pub_input", "var": 3 },
214
- { "op": "declare_pub_input", "var": 11 },
215
- { "op": "declare_pub_input", "var": 42 },
216
- { "op": "declare_pub_input", "var": 43 },
217
- { "op": "pi_skip", "guard": 3, "count": 5 },
218
- { "op": "test_eq", "a": 30, "b": 42 },
219
- { "op": "test_eq", "a": 31, "b": 43 },
220
- { "op": "cond_select", "bit": 44, "a": 45, "b": 4 },
221
- { "op": "cond_select", "bit": 46, "a": 6, "b": 4 },
222
- { "op": "declare_pub_input", "var": 47 },
223
- { "op": "pi_skip", "guard": 46, "count": 1 },
224
- { "op": "cond_select", "bit": 46, "a": 7, "b": 4 },
225
- { "op": "declare_pub_input", "var": 48 },
226
- { "op": "declare_pub_input", "var": 46 },
227
- { "op": "declare_pub_input", "var": 46 },
228
- { "op": "declare_pub_input", "var": 46 },
229
- { "op": "pi_skip", "guard": 46, "count": 4 },
230
- { "op": "cond_select", "bit": 46, "a": 9, "b": 4 },
231
- { "op": "declare_pub_input", "var": 49 },
232
- { "op": "declare_pub_input", "var": 46 },
233
- { "op": "declare_pub_input", "var": 46 },
234
- { "op": "cond_select", "bit": 46, "a": 11, "b": 4 },
235
- { "op": "declare_pub_input", "var": 50 },
236
- { "op": "cond_select", "bit": 46, "a": 39, "b": 4 },
237
- { "op": "declare_pub_input", "var": 51 },
238
- { "op": "cond_select", "bit": 46, "a": 40, "b": 4 },
239
- { "op": "declare_pub_input", "var": 52 },
240
- { "op": "pi_skip", "guard": 46, "count": 6 },
241
- { "op": "cond_select", "bit": 46, "a": 9, "b": 4 },
242
- { "op": "declare_pub_input", "var": 53 },
243
- { "op": "cond_select", "bit": 46, "a": 4, "b": 4 },
244
- { "op": "declare_pub_input", "var": 54 },
245
- { "op": "pi_skip", "guard": 46, "count": 2 },
246
- { "op": "cond_select", "bit": 46, "a": 21, "b": 4 },
247
- { "op": "declare_pub_input", "var": 55 },
248
- { "op": "pi_skip", "guard": 46, "count": 1 },
249
- { "op": "cond_select", "bit": 46, "a": 6, "b": 4 },
250
- { "op": "declare_pub_input", "var": 56 },
251
- { "op": "pi_skip", "guard": 46, "count": 1 },
252
- { "op": "private_input", "guard": null },
253
- { "op": "constrain_bits", "var": 57, "bits": 8 },
254
- { "op": "private_input", "guard": null },
255
- { "op": "constrain_bits", "var": 58, "bits": 248 },
256
- { "op": "declare_pub_input", "var": 17 },
257
- { "op": "pi_skip", "guard": 3, "count": 1 },
258
- { "op": "declare_pub_input", "var": 18 },
259
- { "op": "declare_pub_input", "var": 3 },
260
- { "op": "declare_pub_input", "var": 3 },
261
- { "op": "declare_pub_input", "var": 4 },
262
- { "op": "pi_skip", "guard": 3, "count": 4 },
263
- { "op": "public_input", "guard": null },
264
- { "op": "public_input", "guard": null },
265
- { "op": "declare_pub_input", "var": 25 },
266
- { "op": "declare_pub_input", "var": 3 },
267
- { "op": "declare_pub_input", "var": 11 },
268
- { "op": "declare_pub_input", "var": 59 },
269
- { "op": "declare_pub_input", "var": 60 },
270
- { "op": "pi_skip", "guard": 3, "count": 5 },
271
- { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D636E5B76315D" },
272
- { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [61, 4, 29, 36, 37, 0, 4, 59, 60] },
273
- { "op": "declare_pub_input", "var": 6 },
274
- { "op": "pi_skip", "guard": 3, "count": 1 },
275
- { "op": "declare_pub_input", "var": 7 },
276
- { "op": "declare_pub_input", "var": 3 },
277
- { "op": "declare_pub_input", "var": 3 },
278
- { "op": "declare_pub_input", "var": 4 },
279
- { "op": "pi_skip", "guard": 3, "count": 4 },
280
- { "op": "declare_pub_input", "var": 9 },
281
- { "op": "declare_pub_input", "var": 3 },
282
- { "op": "declare_pub_input", "var": 3 },
283
- { "op": "declare_pub_input", "var": 11 },
284
- { "op": "declare_pub_input", "var": 62 },
285
- { "op": "declare_pub_input", "var": 63 },
286
- { "op": "pi_skip", "guard": 3, "count": 6 },
287
- { "op": "declare_pub_input", "var": 9 },
288
- { "op": "declare_pub_input", "var": 4 },
289
- { "op": "pi_skip", "guard": 3, "count": 2 },
290
- { "op": "declare_pub_input", "var": 21 },
291
- { "op": "pi_skip", "guard": 3, "count": 1 },
292
- { "op": "declare_pub_input", "var": 6 },
293
- { "op": "pi_skip", "guard": 3, "count": 1 },
294
- { "op": "load_imm", "imm": "6D69646E696768743A6B65726E656C3A6E6F6E63655F65766F6C7665" },
295
- { "op": "transient_hash", "inputs": [64, 29] },
296
- { "op": "div_mod_power_of_two", "var": 65, "bits": 248 },
297
- { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
298
- { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [68, 4, 67, 36, 37, 0, 3, 57, 58] },
299
- { "op": "declare_pub_input", "var": 6 },
300
- { "op": "pi_skip", "guard": 3, "count": 1 },
301
- { "op": "declare_pub_input", "var": 7 },
302
- { "op": "declare_pub_input", "var": 3 },
303
- { "op": "declare_pub_input", "var": 3 },
304
- { "op": "declare_pub_input", "var": 41 },
305
- { "op": "pi_skip", "guard": 3, "count": 4 },
306
- { "op": "declare_pub_input", "var": 9 },
307
- { "op": "declare_pub_input", "var": 3 },
308
- { "op": "declare_pub_input", "var": 3 },
309
- { "op": "declare_pub_input", "var": 11 },
310
- { "op": "declare_pub_input", "var": 69 },
311
- { "op": "declare_pub_input", "var": 70 },
312
- { "op": "pi_skip", "guard": 3, "count": 6 },
313
- { "op": "declare_pub_input", "var": 9 },
314
- { "op": "declare_pub_input", "var": 4 },
315
- { "op": "pi_skip", "guard": 3, "count": 2 },
316
- { "op": "declare_pub_input", "var": 21 },
317
- { "op": "pi_skip", "guard": 3, "count": 1 },
318
- { "op": "declare_pub_input", "var": 6 },
319
- { "op": "pi_skip", "guard": 3, "count": 1 },
320
- { "op": "load_imm", "imm": "70" },
321
- { "op": "declare_pub_input", "var": 71 },
322
- { "op": "declare_pub_input", "var": 3 },
323
- { "op": "declare_pub_input", "var": 3 },
324
- { "op": "declare_pub_input", "var": 16 },
325
- { "op": "pi_skip", "guard": 3, "count": 4 },
326
- { "op": "load_imm", "imm": "0E" },
327
- { "op": "declare_pub_input", "var": 72 },
328
- { "op": "declare_pub_input", "var": 3 },
329
- { "op": "pi_skip", "guard": 3, "count": 2 },
330
- { "op": "load_imm", "imm": "A1" },
331
- { "op": "declare_pub_input", "var": 73 },
332
- { "op": "pi_skip", "guard": 3, "count": 1 }
12
+ { "op": "constrain_bits", "val": "%amount.0", "bits": 64 },
13
+ { "op": "constrain_bits", "val": "%nonceSeed.1", "bits": 8 },
14
+ { "op": "constrain_bits", "val": "%nonceSeed.2", "bits": 248 },
15
+ { "op": "less_than", "output": "%t.3", "a": "0x00", "b": "%amount.0", "bits": 64 },
16
+ { "op": "assert", "cond": "%t.3" },
17
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
18
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x06"] },
19
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x03", "0x01", "0x20", "0x20", "0x01", "0x00", "0x00", "0x00", "0x00"] },
20
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
21
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
22
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
23
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%amount.0"] },
24
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
25
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
26
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
27
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
28
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
29
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
30
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
31
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
32
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
33
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.4", "guard": null },
34
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
35
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x04"] },
36
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x08", "%t.4"] },
37
+ { "op": "copy", "output": "%index.5", "val": "%t.4" },
38
+ { "op": "constrain_bits", "val": "%index.5", "bits": 64 },
39
+ { "op": "copy", "output": "%t.6", "val": "%nonceSeed.2" },
40
+ { "op": "transient_hash", "output": "%t.7", "inputs": ["0x6d69646e696768743a6b65726e656c3a6e6f6e63655f65766f6c7665", "%index.5", "%t.6"] },
41
+ { "op": "copy", "output": "%nonce.8", "val": "0x00" },
42
+ { "op": "div_mod_power_of_two", "outputs": ["%tmp.9", "%nonce.10"], "val": "%t.7", "bits": 248 },
43
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.11", "guard": null },
44
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.12", "guard": null },
45
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
46
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
47
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%value.11", "%value.12"] },
48
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.13", "guard": null },
49
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.14", "guard": null },
50
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
51
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
52
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.13", "%contractAddress.14"] },
53
+ { "op": "persistent_hash", "output": "%bytes.15", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d69646e696768743a6465726976655f746f6b656e", "0x00", "0x6d3430323a6372656469743a7631", "%contractAddress.13", "%contractAddress.14"] },
54
+ { "op": "bytes_into_natives", "outputs": ["%t.16", "%t.17"], "bytes": "%bytes.15" },
55
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
56
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x04"] },
57
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "0x00", "0x6d3430323a6372656469743a7631"] },
58
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
59
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
60
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
61
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x08", "%amount.0"] },
62
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
63
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
64
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
65
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
66
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
67
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
68
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
69
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
70
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
71
+ { "op": "persistent_hash", "output": "%bytes.18", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d63635b76315d", "%nonce.8", "%nonce.10", "%t.17", "%t.16", "%amount.0", "0x00", "%value.11", "%value.12"] },
72
+ { "op": "bytes_into_natives", "outputs": ["%cm.19", "%cm.20"], "bytes": "%bytes.18" },
73
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
74
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x02"] },
75
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%cm.20", "%cm.19"] },
76
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
77
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
78
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
79
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.21", "guard": null },
80
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.22", "guard": null },
81
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
82
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
83
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%t.21", "%t.22"] },
84
+ { "op": "test_eq", "output": "%t.23", "a": "%value.11", "b": "%t.21" },
85
+ { "op": "test_eq", "output": "%t.24", "a": "%value.12", "b": "%t.22" },
86
+ { "op": "cond_select", "output": "%t.25", "bit": "%t.23", "a": "%t.24", "b": "0x00" },
87
+ { "op": "impact", "guard": "%t.25", "inputs": ["0x40"] },
88
+ { "op": "impact", "guard": "%t.25", "inputs": ["0x80", "0x01", "0x01", "0x01"] },
89
+ { "op": "impact", "guard": "%t.25", "inputs": ["0x10", "0x01", "0x01", "0x20", "%cm.20", "%cm.19"] },
90
+ { "op": "impact", "guard": "%t.25", "inputs": ["0x10", "0x00"] },
91
+ { "op": "impact", "guard": "%t.25", "inputs": ["0xa2"] },
92
+ { "op": "impact", "guard": "%t.25", "inputs": ["0x40"] },
93
+ { "op": "private_input", "type": "Scalar<BLS12-381>", "output": "%value.26", "guard": null },
94
+ { "op": "constrain_bits", "val": "%value.26", "bits": 8 },
95
+ { "op": "private_input", "type": "Scalar<BLS12-381>", "output": "%value.27", "guard": null },
96
+ { "op": "constrain_bits", "val": "%value.27", "bits": 248 },
97
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%selfAddr.28", "guard": null },
98
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%selfAddr.29", "guard": null },
99
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
100
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
101
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%selfAddr.28", "%selfAddr.29"] },
102
+ { "op": "persistent_hash", "output": "%bytes.30", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d636e5b76315d", "%nonce.8", "%nonce.10", "%t.17", "%t.16", "%amount.0", "0x00", "%selfAddr.28", "%selfAddr.29"] },
103
+ { "op": "bytes_into_natives", "outputs": ["%tmp.31", "%tmp.32"], "bytes": "%bytes.30" },
104
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
105
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x00"] },
106
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.32", "%tmp.31"] },
107
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
108
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
109
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
110
+ { "op": "copy", "output": "%t.33", "val": "%nonce.10" },
111
+ { "op": "transient_hash", "output": "%t.34", "inputs": ["0x6d69646e696768743a6b65726e656c3a6e6f6e63655f65766f6c7665", "%t.33"] },
112
+ { "op": "copy", "output": "%t.35", "val": "0x00" },
113
+ { "op": "div_mod_power_of_two", "outputs": ["%tmp.36", "%t.37"], "val": "%t.34", "bits": 248 },
114
+ { "op": "persistent_hash", "output": "%bytes.38", "alignment": [{ "tag": "atom", "value": { "length": 21, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 16, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 1, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x6d69646e696768743a7a737761702d63635b76315d", "%t.35", "%t.37", "%t.17", "%t.16", "%amount.0", "0x01", "%value.26", "%value.27"] },
115
+ { "op": "bytes_into_natives", "outputs": ["%tmp.39", "%tmp.40"], "bytes": "%bytes.38" },
116
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
117
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x02"] },
118
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.40", "%tmp.39"] },
119
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
120
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
121
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
122
+ { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x04"] },
123
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0e", "0x01"] },
124
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
333
125
  ]
334
126
  }
package/managed/m402-vault/zkir/pay.bzkir CHANGED
Binary file