@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/pay.zkir CHANGED
@@ -1,283 +1,107 @@
1
1
  {
2
- "version": { "major": 2, "minor": 0 },
2
+ "version": { "major": 3, "minor": 1 },
3
3
  "do_communications_commitment": true,
4
- "num_inputs": 9,
4
+ "inputs": [
5
+ { "name": "%serviceId.0", "type": "Scalar<BLS12-381>" },
6
+ { "name": "%serviceId.1", "type": "Scalar<BLS12-381>" },
7
+ { "name": "%credit.2", "type": "Scalar<BLS12-381>" },
8
+ { "name": "%credit.3", "type": "Scalar<BLS12-381>" },
9
+ { "name": "%credit.4", "type": "Scalar<BLS12-381>" },
10
+ { "name": "%credit.5", "type": "Scalar<BLS12-381>" },
11
+ { "name": "%credit.6", "type": "Scalar<BLS12-381>" },
12
+ { "name": "%receiptSecret.7", "type": "Scalar<BLS12-381>" },
13
+ { "name": "%receiptSecret.8", "type": "Scalar<BLS12-381>" }
14
+ ],
15
+ "outputs": [
16
+ ],
5
17
  "instructions": [
6
- { "op": "constrain_bits", "var": 0, "bits": 8 },
7
- { "op": "constrain_bits", "var": 1, "bits": 248 },
8
- { "op": "constrain_bits", "var": 2, "bits": 8 },
9
- { "op": "constrain_bits", "var": 3, "bits": 248 },
10
- { "op": "constrain_bits", "var": 4, "bits": 8 },
11
- { "op": "constrain_bits", "var": 5, "bits": 248 },
12
- { "op": "constrain_bits", "var": 6, "bits": 128 },
13
- { "op": "constrain_bits", "var": 7, "bits": 8 },
14
- { "op": "constrain_bits", "var": 8, "bits": 248 },
15
- { "op": "load_imm", "imm": "01" },
16
- { "op": "load_imm", "imm": "30" },
17
- { "op": "declare_pub_input", "var": 10 },
18
- { "op": "pi_skip", "guard": 9, "count": 1 },
19
- { "op": "load_imm", "imm": "50" },
20
- { "op": "load_imm", "imm": "00" },
21
- { "op": "declare_pub_input", "var": 11 },
22
- { "op": "declare_pub_input", "var": 9 },
23
- { "op": "declare_pub_input", "var": 9 },
24
- { "op": "declare_pub_input", "var": 12 },
25
- { "op": "pi_skip", "guard": 9, "count": 4 },
26
- { "op": "load_imm", "imm": "10" },
27
- { "op": "load_imm", "imm": "20" },
28
- { "op": "declare_pub_input", "var": 13 },
29
- { "op": "declare_pub_input", "var": 9 },
30
- { "op": "declare_pub_input", "var": 9 },
31
- { "op": "declare_pub_input", "var": 14 },
32
- { "op": "declare_pub_input", "var": 0 },
33
- { "op": "declare_pub_input", "var": 1 },
34
- { "op": "pi_skip", "guard": 9, "count": 6 },
35
- { "op": "load_imm", "imm": "18" },
36
- { "op": "declare_pub_input", "var": 15 },
37
- { "op": "pi_skip", "guard": 9, "count": 1 },
38
- { "op": "public_input", "guard": null },
39
- { "op": "load_imm", "imm": "0D" },
40
- { "op": "declare_pub_input", "var": 17 },
41
- { "op": "declare_pub_input", "var": 9 },
42
- { "op": "declare_pub_input", "var": 9 },
43
- { "op": "declare_pub_input", "var": 16 },
44
- { "op": "pi_skip", "guard": 9, "count": 4 },
45
- { "op": "assert", "cond": 16 },
46
- { "op": "declare_pub_input", "var": 10 },
47
- { "op": "pi_skip", "guard": 9, "count": 1 },
48
- { "op": "declare_pub_input", "var": 11 },
49
- { "op": "declare_pub_input", "var": 9 },
50
- { "op": "declare_pub_input", "var": 9 },
51
- { "op": "declare_pub_input", "var": 12 },
52
- { "op": "pi_skip", "guard": 9, "count": 4 },
53
- { "op": "declare_pub_input", "var": 11 },
54
- { "op": "declare_pub_input", "var": 9 },
55
- { "op": "declare_pub_input", "var": 14 },
56
- { "op": "declare_pub_input", "var": 0 },
57
- { "op": "declare_pub_input", "var": 1 },
58
- { "op": "pi_skip", "guard": 9, "count": 5 },
59
- { "op": "public_input", "guard": null },
60
- { "op": "load_imm", "imm": "08" },
61
- { "op": "load_imm", "imm": "0C" },
62
- { "op": "declare_pub_input", "var": 20 },
63
- { "op": "declare_pub_input", "var": 9 },
64
- { "op": "declare_pub_input", "var": 19 },
65
- { "op": "declare_pub_input", "var": 18 },
66
- { "op": "pi_skip", "guard": 9, "count": 4 },
67
- { "op": "load_imm", "imm": "32" },
68
- { "op": "declare_pub_input", "var": 21 },
69
- { "op": "pi_skip", "guard": 9, "count": 1 },
70
- { "op": "load_imm", "imm": "60" },
71
- { "op": "declare_pub_input", "var": 22 },
72
- { "op": "declare_pub_input", "var": 9 },
73
- { "op": "declare_pub_input", "var": 9 },
74
- { "op": "declare_pub_input", "var": 12 },
75
- { "op": "pi_skip", "guard": 9, "count": 4 },
76
- { "op": "public_input", "guard": null },
77
- { "op": "public_input", "guard": null },
78
- { "op": "declare_pub_input", "var": 17 },
79
- { "op": "declare_pub_input", "var": 9 },
80
- { "op": "declare_pub_input", "var": 14 },
81
- { "op": "declare_pub_input", "var": 23 },
82
- { "op": "declare_pub_input", "var": 24 },
83
- { "op": "pi_skip", "guard": 9, "count": 5 },
84
- { "op": "load_imm", "imm": "6D69646E696768743A6465726976655F746F6B656E" },
85
- { "op": "load_imm", "imm": "6D3430323A6372656469743A7631" },
86
- { "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": [12, 25, 12, 26, 23, 24] },
87
- { "op": "test_eq", "a": 4, "b": 27 },
88
- { "op": "test_eq", "a": 5, "b": 28 },
89
- { "op": "cond_select", "bit": 29, "a": 30, "b": 12 },
90
- { "op": "assert", "cond": 31 },
91
- { "op": "test_eq", "a": 6, "b": 18 },
92
- { "op": "assert", "cond": 32 },
93
- { "op": "load_imm", "imm": "6D3430323A726563656970743A7631" },
94
- { "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": [12, 33, 7, 8, 0, 1] },
95
- { "op": "declare_pub_input", "var": 10 },
96
- { "op": "pi_skip", "guard": 9, "count": 1 },
97
- { "op": "load_imm", "imm": "02" },
98
- { "op": "declare_pub_input", "var": 11 },
99
- { "op": "declare_pub_input", "var": 9 },
100
- { "op": "declare_pub_input", "var": 9 },
101
- { "op": "declare_pub_input", "var": 36 },
102
- { "op": "pi_skip", "guard": 9, "count": 4 },
103
- { "op": "declare_pub_input", "var": 13 },
104
- { "op": "declare_pub_input", "var": 9 },
105
- { "op": "declare_pub_input", "var": 9 },
106
- { "op": "declare_pub_input", "var": 14 },
107
- { "op": "declare_pub_input", "var": 34 },
108
- { "op": "declare_pub_input", "var": 35 },
109
- { "op": "pi_skip", "guard": 9, "count": 6 },
110
- { "op": "declare_pub_input", "var": 15 },
111
- { "op": "pi_skip", "guard": 9, "count": 1 },
112
- { "op": "public_input", "guard": null },
113
- { "op": "declare_pub_input", "var": 17 },
114
- { "op": "declare_pub_input", "var": 9 },
115
- { "op": "declare_pub_input", "var": 9 },
116
- { "op": "declare_pub_input", "var": 37 },
117
- { "op": "pi_skip", "guard": 9, "count": 4 },
118
- { "op": "cond_select", "bit": 37, "a": 12, "b": 9 },
119
- { "op": "assert", "cond": 38 },
120
- { "op": "declare_pub_input", "var": 21 },
121
- { "op": "pi_skip", "guard": 9, "count": 1 },
122
- { "op": "declare_pub_input", "var": 22 },
123
- { "op": "declare_pub_input", "var": 9 },
124
- { "op": "declare_pub_input", "var": 9 },
125
- { "op": "declare_pub_input", "var": 12 },
126
- { "op": "pi_skip", "guard": 9, "count": 4 },
127
- { "op": "public_input", "guard": null },
128
- { "op": "public_input", "guard": null },
129
- { "op": "declare_pub_input", "var": 17 },
130
- { "op": "declare_pub_input", "var": 9 },
131
- { "op": "declare_pub_input", "var": 14 },
132
- { "op": "declare_pub_input", "var": 39 },
133
- { "op": "declare_pub_input", "var": 40 },
134
- { "op": "pi_skip", "guard": 9, "count": 5 },
135
- { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
136
- { "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": [41, 2, 3, 4, 5, 6, 12, 39, 40] },
137
- { "op": "load_imm", "imm": "40" },
138
- { "op": "declare_pub_input", "var": 44 },
139
- { "op": "pi_skip", "guard": 9, "count": 1 },
140
- { "op": "load_imm", "imm": "80" },
141
- { "op": "declare_pub_input", "var": 45 },
142
- { "op": "declare_pub_input", "var": 9 },
143
- { "op": "declare_pub_input", "var": 9 },
144
- { "op": "declare_pub_input", "var": 9 },
145
- { "op": "pi_skip", "guard": 9, "count": 4 },
146
- { "op": "declare_pub_input", "var": 13 },
147
- { "op": "declare_pub_input", "var": 9 },
148
- { "op": "declare_pub_input", "var": 9 },
149
- { "op": "declare_pub_input", "var": 14 },
150
- { "op": "declare_pub_input", "var": 42 },
151
- { "op": "declare_pub_input", "var": 43 },
152
- { "op": "pi_skip", "guard": 9, "count": 6 },
153
- { "op": "declare_pub_input", "var": 13 },
154
- { "op": "declare_pub_input", "var": 12 },
155
- { "op": "pi_skip", "guard": 9, "count": 2 },
156
- { "op": "load_imm", "imm": "A2" },
157
- { "op": "declare_pub_input", "var": 46 },
158
- { "op": "pi_skip", "guard": 9, "count": 1 },
159
- { "op": "declare_pub_input", "var": 44 },
160
- { "op": "pi_skip", "guard": 9, "count": 1 },
161
- { "op": "load_imm", "imm": "70" },
162
- { "op": "declare_pub_input", "var": 47 },
163
- { "op": "declare_pub_input", "var": 9 },
164
- { "op": "declare_pub_input", "var": 9 },
165
- { "op": "declare_pub_input", "var": 36 },
166
- { "op": "pi_skip", "guard": 9, "count": 4 },
167
- { "op": "declare_pub_input", "var": 13 },
168
- { "op": "declare_pub_input", "var": 9 },
169
- { "op": "declare_pub_input", "var": 9 },
170
- { "op": "declare_pub_input", "var": 14 },
171
- { "op": "declare_pub_input", "var": 34 },
172
- { "op": "declare_pub_input", "var": 35 },
173
- { "op": "pi_skip", "guard": 9, "count": 6 },
174
- { "op": "load_imm", "imm": "11" },
175
- { "op": "declare_pub_input", "var": 48 },
176
- { "op": "declare_pub_input", "var": 12 },
177
- { "op": "pi_skip", "guard": 9, "count": 2 },
178
- { "op": "load_imm", "imm": "91" },
179
- { "op": "declare_pub_input", "var": 49 },
180
- { "op": "pi_skip", "guard": 9, "count": 1 },
181
- { "op": "load_imm", "imm": "A1" },
182
- { "op": "declare_pub_input", "var": 50 },
183
- { "op": "pi_skip", "guard": 9, "count": 1 },
184
- { "op": "declare_pub_input", "var": 10 },
185
- { "op": "pi_skip", "guard": 9, "count": 1 },
186
- { "op": "declare_pub_input", "var": 11 },
187
- { "op": "declare_pub_input", "var": 9 },
188
- { "op": "declare_pub_input", "var": 9 },
189
- { "op": "declare_pub_input", "var": 9 },
190
- { "op": "pi_skip", "guard": 9, "count": 4 },
191
- { "op": "declare_pub_input", "var": 11 },
192
- { "op": "declare_pub_input", "var": 9 },
193
- { "op": "declare_pub_input", "var": 14 },
194
- { "op": "declare_pub_input", "var": 0 },
195
- { "op": "declare_pub_input", "var": 1 },
196
- { "op": "pi_skip", "guard": 9, "count": 5 },
197
- { "op": "public_input", "guard": null },
198
- { "op": "public_input", "guard": null },
199
- { "op": "declare_pub_input", "var": 20 },
200
- { "op": "declare_pub_input", "var": 9 },
201
- { "op": "declare_pub_input", "var": 14 },
202
- { "op": "declare_pub_input", "var": 51 },
203
- { "op": "declare_pub_input", "var": 52 },
204
- { "op": "pi_skip", "guard": 9, "count": 5 },
205
- { "op": "declare_pub_input", "var": 10 },
206
- { "op": "pi_skip", "guard": 9, "count": 1 },
207
- { "op": "load_imm", "imm": "03" },
208
- { "op": "declare_pub_input", "var": 11 },
209
- { "op": "declare_pub_input", "var": 9 },
210
- { "op": "declare_pub_input", "var": 9 },
211
- { "op": "declare_pub_input", "var": 53 },
212
- { "op": "pi_skip", "guard": 9, "count": 4 },
213
- { "op": "declare_pub_input", "var": 13 },
214
- { "op": "declare_pub_input", "var": 9 },
215
- { "op": "declare_pub_input", "var": 9 },
216
- { "op": "declare_pub_input", "var": 14 },
217
- { "op": "declare_pub_input", "var": 51 },
218
- { "op": "declare_pub_input", "var": 52 },
219
- { "op": "pi_skip", "guard": 9, "count": 6 },
220
- { "op": "declare_pub_input", "var": 15 },
221
- { "op": "pi_skip", "guard": 9, "count": 1 },
222
- { "op": "public_input", "guard": null },
223
- { "op": "declare_pub_input", "var": 17 },
224
- { "op": "declare_pub_input", "var": 9 },
225
- { "op": "declare_pub_input", "var": 9 },
226
- { "op": "declare_pub_input", "var": 54 },
227
- { "op": "pi_skip", "guard": 9, "count": 4 },
228
- { "op": "cond_select", "bit": 54, "a": 10, "b": 12 },
229
- { "op": "declare_pub_input", "var": 55 },
230
- { "op": "pi_skip", "guard": 54, "count": 1 },
231
- { "op": "cond_select", "bit": 54, "a": 11, "b": 12 },
232
- { "op": "declare_pub_input", "var": 56 },
233
- { "op": "declare_pub_input", "var": 54 },
234
- { "op": "declare_pub_input", "var": 54 },
235
- { "op": "cond_select", "bit": 54, "a": 53, "b": 12 },
236
- { "op": "declare_pub_input", "var": 57 },
237
- { "op": "pi_skip", "guard": 54, "count": 4 },
238
- { "op": "cond_select", "bit": 54, "a": 11, "b": 12 },
239
- { "op": "declare_pub_input", "var": 58 },
240
- { "op": "declare_pub_input", "var": 54 },
241
- { "op": "cond_select", "bit": 54, "a": 14, "b": 12 },
242
- { "op": "declare_pub_input", "var": 59 },
243
- { "op": "cond_select", "bit": 54, "a": 51, "b": 12 },
244
- { "op": "declare_pub_input", "var": 60 },
245
- { "op": "cond_select", "bit": 54, "a": 52, "b": 12 },
246
- { "op": "declare_pub_input", "var": 61 },
247
- { "op": "pi_skip", "guard": 54, "count": 5 },
248
- { "op": "public_input", "guard": 54 },
249
- { "op": "cond_select", "bit": 54, "a": 20, "b": 12 },
250
- { "op": "declare_pub_input", "var": 63 },
251
- { "op": "declare_pub_input", "var": 54 },
252
- { "op": "cond_select", "bit": 54, "a": 19, "b": 12 },
253
- { "op": "declare_pub_input", "var": 64 },
254
- { "op": "cond_select", "bit": 54, "a": 62, "b": 12 },
255
- { "op": "declare_pub_input", "var": 65 },
256
- { "op": "pi_skip", "guard": 54, "count": 4 },
257
- { "op": "cond_select", "bit": 54, "a": 62, "b": 12 },
258
- { "op": "add", "a": 66, "b": 18 },
259
- { "op": "constrain_bits", "var": 67, "bits": 64 },
260
- { "op": "declare_pub_input", "var": 47 },
261
- { "op": "declare_pub_input", "var": 9 },
262
- { "op": "declare_pub_input", "var": 9 },
263
- { "op": "declare_pub_input", "var": 53 },
264
- { "op": "pi_skip", "guard": 9, "count": 4 },
265
- { "op": "declare_pub_input", "var": 13 },
266
- { "op": "declare_pub_input", "var": 9 },
267
- { "op": "declare_pub_input", "var": 9 },
268
- { "op": "declare_pub_input", "var": 14 },
269
- { "op": "declare_pub_input", "var": 51 },
270
- { "op": "declare_pub_input", "var": 52 },
271
- { "op": "pi_skip", "guard": 9, "count": 6 },
272
- { "op": "declare_pub_input", "var": 48 },
273
- { "op": "declare_pub_input", "var": 9 },
274
- { "op": "declare_pub_input", "var": 9 },
275
- { "op": "declare_pub_input", "var": 19 },
276
- { "op": "declare_pub_input", "var": 67 },
277
- { "op": "pi_skip", "guard": 9, "count": 5 },
278
- { "op": "declare_pub_input", "var": 49 },
279
- { "op": "pi_skip", "guard": 9, "count": 1 },
280
- { "op": "declare_pub_input", "var": 50 },
281
- { "op": "pi_skip", "guard": 9, "count": 1 }
18
+ { "op": "constrain_bits", "val": "%serviceId.0", "bits": 8 },
19
+ { "op": "constrain_bits", "val": "%serviceId.1", "bits": 248 },
20
+ { "op": "constrain_bits", "val": "%credit.2", "bits": 8 },
21
+ { "op": "constrain_bits", "val": "%credit.3", "bits": 248 },
22
+ { "op": "constrain_bits", "val": "%credit.4", "bits": 8 },
23
+ { "op": "constrain_bits", "val": "%credit.5", "bits": 248 },
24
+ { "op": "constrain_bits", "val": "%credit.6", "bits": 128 },
25
+ { "op": "constrain_bits", "val": "%receiptSecret.7", "bits": 8 },
26
+ { "op": "constrain_bits", "val": "%receiptSecret.8", "bits": 248 },
27
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.9", "guard": null },
28
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
29
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x00"] },
30
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.0", "%serviceId.1"] },
31
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
32
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.9"] },
33
+ { "op": "assert", "cond": "%t.9" },
34
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%price.10", "guard": null },
35
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
36
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x00"] },
37
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x20", "%serviceId.0", "%serviceId.1"] },
38
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0c", "0x01", "0x08", "%price.10"] },
39
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.11", "guard": null },
40
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.12", "guard": null },
41
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
42
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
43
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.11", "%contractAddress.12"] },
44
+ { "op": "persistent_hash", "output": "%bytes.13", "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.11", "%contractAddress.12"] },
45
+ { "op": "bytes_into_natives", "outputs": ["%t.14", "%t.15"], "bytes": "%bytes.13" },
46
+ { "op": "test_eq", "output": "%t.16", "a": "%credit.4", "b": "%t.15" },
47
+ { "op": "test_eq", "output": "%t.17", "a": "%credit.5", "b": "%t.14" },
48
+ { "op": "cond_select", "output": "%t.18", "bit": "%t.16", "a": "%t.17", "b": "0x00" },
49
+ { "op": "assert", "cond": "%t.18" },
50
+ { "op": "test_eq", "output": "%t.19", "a": "%credit.6", "b": "%price.10" },
51
+ { "op": "assert", "cond": "%t.19" },
52
+ { "op": "persistent_hash", "output": "%bytes.20", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d3430323a726563656970743a7631", "%receiptSecret.7", "%receiptSecret.8", "%serviceId.0", "%serviceId.1"] },
53
+ { "op": "bytes_into_natives", "outputs": ["%receipt.21", "%receipt.22"], "bytes": "%bytes.20" },
54
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.23", "guard": null },
55
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
56
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x02"] },
57
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%receipt.22", "%receipt.21"] },
58
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
59
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.23"] },
60
+ { "op": "cond_select", "output": "%t.24", "bit": "%t.23", "a": "0x00", "b": "0x01" },
61
+ { "op": "assert", "cond": "%t.24" },
62
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.25", "guard": null },
63
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.26", "guard": null },
64
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
65
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
66
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%value.25", "%value.26"] },
67
+ { "op": "persistent_hash", "output": "%bytes.27", "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", "%credit.2", "%credit.3", "%credit.4", "%credit.5", "%credit.6", "0x00", "%value.25", "%value.26"] },
68
+ { "op": "bytes_into_natives", "outputs": ["%tmp.28", "%tmp.29"], "bytes": "%bytes.27" },
69
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
70
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x01"] },
71
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.29", "%tmp.28"] },
72
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
73
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
74
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
75
+ { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x02"] },
76
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%receipt.22", "%receipt.21"] },
77
+ { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x00"] },
78
+ { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
79
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] },
80
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%owner.30", "guard": null },
81
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%owner.31", "guard": null },
82
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
83
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x01"] },
84
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x20", "%serviceId.0", "%serviceId.1"] },
85
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0c", "0x01", "0x20", "%owner.30", "%owner.31"] },
86
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.32", "guard": null },
87
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
88
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x03"] },
89
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%owner.30", "%owner.31"] },
90
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
91
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.32"] },
92
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.33", "guard": "%t.32" },
93
+ { "op": "impact", "guard": "%t.32", "inputs": ["0x30"] },
94
+ { "op": "impact", "guard": "%t.32", "inputs": ["0x50", "0x01", "0x01", "0x03"] },
95
+ { "op": "impact", "guard": "%t.32", "inputs": ["0x50", "0x01", "0x20", "%owner.30", "%owner.31"] },
96
+ { "op": "impact", "guard": "%t.32", "inputs": ["0x0c", "0x01", "0x08", "%t.33"] },
97
+ { "op": "cond_select", "output": "%prior.34", "bit": "%t.32", "a": "%t.33", "b": "0x00" },
98
+ { "op": "add", "output": "%t.35", "a": "%prior.34", "b": "%price.10" },
99
+ { "op": "constrain_bits", "val": "%t.35", "bits": 64 },
100
+ { "op": "copy", "output": "%tmp.36", "val": "%t.35" },
101
+ { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x03"] },
102
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%owner.30", "%owner.31"] },
103
+ { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x01", "0x08", "%tmp.36"] },
104
+ { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
105
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
282
106
  ]
283
107
  }