@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/redeem.zkir CHANGED
@@ -1,211 +1,87 @@
1
1
  {
2
- "version": { "major": 2, "minor": 0 },
2
+ "version": { "major": 3, "minor": 1 },
3
3
  "do_communications_commitment": true,
4
- "num_inputs": 7,
4
+ "inputs": [
5
+ { "name": "%recipient.0", "type": "Scalar<BLS12-381>" },
6
+ { "name": "%recipient.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
+ ],
13
+ "outputs": [
14
+ ],
5
15
  "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": "load_imm", "imm": "01" },
14
- { "op": "load_imm", "imm": "00" },
15
- { "op": "test_eq", "a": 0, "b": 8 },
16
- { "op": "test_eq", "a": 1, "b": 8 },
17
- { "op": "cond_select", "bit": 9, "a": 10, "b": 8 },
18
- { "op": "cond_select", "bit": 11, "a": 8, "b": 7 },
19
- { "op": "assert", "cond": 12 },
20
- { "op": "load_imm", "imm": "32" },
21
- { "op": "declare_pub_input", "var": 13 },
22
- { "op": "pi_skip", "guard": 7, "count": 1 },
23
- { "op": "load_imm", "imm": "60" },
24
- { "op": "declare_pub_input", "var": 14 },
25
- { "op": "declare_pub_input", "var": 7 },
26
- { "op": "declare_pub_input", "var": 7 },
27
- { "op": "declare_pub_input", "var": 8 },
28
- { "op": "pi_skip", "guard": 7, "count": 4 },
29
- { "op": "public_input", "guard": null },
30
- { "op": "public_input", "guard": null },
31
- { "op": "load_imm", "imm": "20" },
32
- { "op": "load_imm", "imm": "0D" },
33
- { "op": "declare_pub_input", "var": 18 },
34
- { "op": "declare_pub_input", "var": 7 },
35
- { "op": "declare_pub_input", "var": 17 },
36
- { "op": "declare_pub_input", "var": 15 },
37
- { "op": "declare_pub_input", "var": 16 },
38
- { "op": "pi_skip", "guard": 7, "count": 5 },
39
- { "op": "load_imm", "imm": "6D69646E696768743A6465726976655F746F6B656E" },
40
- { "op": "load_imm", "imm": "6D3430323A6372656469743A7631" },
41
- { "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": [8, 19, 8, 20, 15, 16] },
42
- { "op": "test_eq", "a": 4, "b": 21 },
43
- { "op": "test_eq", "a": 5, "b": 22 },
44
- { "op": "cond_select", "bit": 23, "a": 24, "b": 8 },
45
- { "op": "assert", "cond": 25 },
46
- { "op": "less_than", "a": 8, "b": 6, "bits": 128 },
47
- { "op": "assert", "cond": 26 },
48
- { "op": "declare_pub_input", "var": 13 },
49
- { "op": "pi_skip", "guard": 7, "count": 1 },
50
- { "op": "declare_pub_input", "var": 14 },
51
- { "op": "declare_pub_input", "var": 7 },
52
- { "op": "declare_pub_input", "var": 7 },
53
- { "op": "declare_pub_input", "var": 8 },
54
- { "op": "pi_skip", "guard": 7, "count": 4 },
55
- { "op": "public_input", "guard": null },
56
- { "op": "public_input", "guard": null },
57
- { "op": "declare_pub_input", "var": 18 },
58
- { "op": "declare_pub_input", "var": 7 },
59
- { "op": "declare_pub_input", "var": 17 },
60
- { "op": "declare_pub_input", "var": 27 },
61
- { "op": "declare_pub_input", "var": 28 },
62
- { "op": "pi_skip", "guard": 7, "count": 5 },
63
- { "op": "load_imm", "imm": "6D69646E696768743A7A737761702D63635B76315D" },
64
- { "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": [29, 2, 3, 4, 5, 6, 8, 27, 28] },
65
- { "op": "load_imm", "imm": "40" },
66
- { "op": "declare_pub_input", "var": 32 },
67
- { "op": "pi_skip", "guard": 7, "count": 1 },
68
- { "op": "load_imm", "imm": "80" },
69
- { "op": "declare_pub_input", "var": 33 },
70
- { "op": "declare_pub_input", "var": 7 },
71
- { "op": "declare_pub_input", "var": 7 },
72
- { "op": "declare_pub_input", "var": 7 },
73
- { "op": "pi_skip", "guard": 7, "count": 4 },
74
- { "op": "load_imm", "imm": "10" },
75
- { "op": "declare_pub_input", "var": 34 },
76
- { "op": "declare_pub_input", "var": 7 },
77
- { "op": "declare_pub_input", "var": 7 },
78
- { "op": "declare_pub_input", "var": 17 },
79
- { "op": "declare_pub_input", "var": 30 },
80
- { "op": "declare_pub_input", "var": 31 },
81
- { "op": "pi_skip", "guard": 7, "count": 6 },
82
- { "op": "declare_pub_input", "var": 34 },
83
- { "op": "declare_pub_input", "var": 8 },
84
- { "op": "pi_skip", "guard": 7, "count": 2 },
85
- { "op": "load_imm", "imm": "A2" },
86
- { "op": "declare_pub_input", "var": 35 },
87
- { "op": "pi_skip", "guard": 7, "count": 1 },
88
- { "op": "declare_pub_input", "var": 32 },
89
- { "op": "pi_skip", "guard": 7, "count": 1 },
90
- { "op": "declare_pub_input", "var": 32 },
91
- { "op": "pi_skip", "guard": 7, "count": 1 },
92
- { "op": "load_imm", "imm": "07" },
93
- { "op": "declare_pub_input", "var": 33 },
94
- { "op": "declare_pub_input", "var": 7 },
95
- { "op": "declare_pub_input", "var": 7 },
96
- { "op": "declare_pub_input", "var": 36 },
97
- { "op": "pi_skip", "guard": 7, "count": 4 },
98
- { "op": "load_imm", "imm": "03" },
99
- { "op": "declare_pub_input", "var": 34 },
100
- { "op": "declare_pub_input", "var": 7 },
101
- { "op": "declare_pub_input", "var": 37 },
102
- { "op": "declare_pub_input", "var": 7 },
103
- { "op": "declare_pub_input", "var": 17 },
104
- { "op": "declare_pub_input", "var": 17 },
105
- { "op": "declare_pub_input", "var": 7 },
106
- { "op": "declare_pub_input", "var": 8 },
107
- { "op": "declare_pub_input", "var": 8 },
108
- { "op": "declare_pub_input", "var": 8 },
109
- { "op": "declare_pub_input", "var": 8 },
110
- { "op": "pi_skip", "guard": 7, "count": 11 },
111
- { "op": "load_imm", "imm": "31" },
112
- { "op": "declare_pub_input", "var": 38 },
113
- { "op": "pi_skip", "guard": 7, "count": 1 },
114
- { "op": "declare_pub_input", "var": 38 },
115
- { "op": "pi_skip", "guard": 7, "count": 1 },
116
- { "op": "load_imm", "imm": "18" },
117
- { "op": "declare_pub_input", "var": 39 },
118
- { "op": "pi_skip", "guard": 7, "count": 1 },
119
- { "op": "declare_pub_input", "var": 34 },
120
- { "op": "declare_pub_input", "var": 7 },
121
- { "op": "declare_pub_input", "var": 7 },
122
- { "op": "declare_pub_input", "var": 34 },
123
- { "op": "declare_pub_input", "var": 6 },
124
- { "op": "pi_skip", "guard": 7, "count": 5 },
125
- { "op": "declare_pub_input", "var": 32 },
126
- { "op": "pi_skip", "guard": 7, "count": 1 },
127
- { "op": "load_imm", "imm": "08" },
128
- { "op": "declare_pub_input", "var": 40 },
129
- { "op": "pi_skip", "guard": 7, "count": 1 },
130
- { "op": "load_imm", "imm": "12" },
131
- { "op": "load_imm", "imm": "04" },
132
- { "op": "declare_pub_input", "var": 41 },
133
- { "op": "declare_pub_input", "var": 42 },
134
- { "op": "pi_skip", "guard": 7, "count": 2 },
135
- { "op": "declare_pub_input", "var": 13 },
136
- { "op": "pi_skip", "guard": 7, "count": 1 },
137
- { "op": "declare_pub_input", "var": 13 },
138
- { "op": "pi_skip", "guard": 7, "count": 1 },
139
- { "op": "load_imm", "imm": "-01" },
140
- { "op": "declare_pub_input", "var": 14 },
141
- { "op": "declare_pub_input", "var": 43 },
142
- { "op": "pi_skip", "guard": 7, "count": 2 },
143
- { "op": "load_imm", "imm": "14" },
144
- { "op": "declare_pub_input", "var": 44 },
145
- { "op": "pi_skip", "guard": 7, "count": 1 },
146
- { "op": "declare_pub_input", "var": 35 },
147
- { "op": "pi_skip", "guard": 7, "count": 1 },
148
- { "op": "declare_pub_input", "var": 32 },
149
- { "op": "pi_skip", "guard": 7, "count": 1 },
150
- { "op": "declare_pub_input", "var": 32 },
151
- { "op": "pi_skip", "guard": 7, "count": 1 },
152
- { "op": "declare_pub_input", "var": 33 },
153
- { "op": "declare_pub_input", "var": 7 },
154
- { "op": "declare_pub_input", "var": 7 },
155
- { "op": "declare_pub_input", "var": 40 },
156
- { "op": "pi_skip", "guard": 7, "count": 4 },
157
- { "op": "load_imm", "imm": "06" },
158
- { "op": "declare_pub_input", "var": 34 },
159
- { "op": "declare_pub_input", "var": 7 },
160
- { "op": "declare_pub_input", "var": 45 },
161
- { "op": "declare_pub_input", "var": 7 },
162
- { "op": "declare_pub_input", "var": 17 },
163
- { "op": "declare_pub_input", "var": 17 },
164
- { "op": "declare_pub_input", "var": 7 },
165
- { "op": "declare_pub_input", "var": 17 },
166
- { "op": "declare_pub_input", "var": 17 },
167
- { "op": "declare_pub_input", "var": 7 },
168
- { "op": "declare_pub_input", "var": 8 },
169
- { "op": "declare_pub_input", "var": 8 },
170
- { "op": "declare_pub_input", "var": 8 },
171
- { "op": "declare_pub_input", "var": 8 },
172
- { "op": "declare_pub_input", "var": 8 },
173
- { "op": "declare_pub_input", "var": 8 },
174
- { "op": "declare_pub_input", "var": 8 },
175
- { "op": "declare_pub_input", "var": 0 },
176
- { "op": "declare_pub_input", "var": 1 },
177
- { "op": "pi_skip", "guard": 7, "count": 19 },
178
- { "op": "declare_pub_input", "var": 38 },
179
- { "op": "pi_skip", "guard": 7, "count": 1 },
180
- { "op": "declare_pub_input", "var": 38 },
181
- { "op": "pi_skip", "guard": 7, "count": 1 },
182
- { "op": "declare_pub_input", "var": 39 },
183
- { "op": "pi_skip", "guard": 7, "count": 1 },
184
- { "op": "declare_pub_input", "var": 34 },
185
- { "op": "declare_pub_input", "var": 7 },
186
- { "op": "declare_pub_input", "var": 7 },
187
- { "op": "declare_pub_input", "var": 34 },
188
- { "op": "declare_pub_input", "var": 6 },
189
- { "op": "pi_skip", "guard": 7, "count": 5 },
190
- { "op": "declare_pub_input", "var": 32 },
191
- { "op": "pi_skip", "guard": 7, "count": 1 },
192
- { "op": "declare_pub_input", "var": 40 },
193
- { "op": "pi_skip", "guard": 7, "count": 1 },
194
- { "op": "declare_pub_input", "var": 41 },
195
- { "op": "declare_pub_input", "var": 42 },
196
- { "op": "pi_skip", "guard": 7, "count": 2 },
197
- { "op": "declare_pub_input", "var": 13 },
198
- { "op": "pi_skip", "guard": 7, "count": 1 },
199
- { "op": "declare_pub_input", "var": 13 },
200
- { "op": "pi_skip", "guard": 7, "count": 1 },
201
- { "op": "declare_pub_input", "var": 14 },
202
- { "op": "declare_pub_input", "var": 43 },
203
- { "op": "pi_skip", "guard": 7, "count": 2 },
204
- { "op": "declare_pub_input", "var": 44 },
205
- { "op": "pi_skip", "guard": 7, "count": 1 },
206
- { "op": "declare_pub_input", "var": 35 },
207
- { "op": "pi_skip", "guard": 7, "count": 1 },
208
- { "op": "declare_pub_input", "var": 32 },
209
- { "op": "pi_skip", "guard": 7, "count": 1 }
16
+ { "op": "constrain_bits", "val": "%recipient.0", "bits": 8 },
17
+ { "op": "constrain_bits", "val": "%recipient.1", "bits": 248 },
18
+ { "op": "constrain_bits", "val": "%credit.2", "bits": 8 },
19
+ { "op": "constrain_bits", "val": "%credit.3", "bits": 248 },
20
+ { "op": "constrain_bits", "val": "%credit.4", "bits": 8 },
21
+ { "op": "constrain_bits", "val": "%credit.5", "bits": 248 },
22
+ { "op": "constrain_bits", "val": "%credit.6", "bits": 128 },
23
+ { "op": "test_eq", "output": "%t.7", "a": "%recipient.0", "b": "0x00" },
24
+ { "op": "test_eq", "output": "%t.8", "a": "%recipient.1", "b": "0x00" },
25
+ { "op": "cond_select", "output": "%t.9", "bit": "%t.7", "a": "%t.8", "b": "0x00" },
26
+ { "op": "cond_select", "output": "%t.10", "bit": "%t.9", "a": "0x00", "b": "0x01" },
27
+ { "op": "assert", "cond": "%t.10" },
28
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.11", "guard": null },
29
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%contractAddress.12", "guard": null },
30
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
31
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
32
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%contractAddress.11", "%contractAddress.12"] },
33
+ { "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"] },
34
+ { "op": "bytes_into_natives", "outputs": ["%t.14", "%t.15"], "bytes": "%bytes.13" },
35
+ { "op": "test_eq", "output": "%t.16", "a": "%credit.4", "b": "%t.15" },
36
+ { "op": "test_eq", "output": "%t.17", "a": "%credit.5", "b": "%t.14" },
37
+ { "op": "cond_select", "output": "%t.18", "bit": "%t.16", "a": "%t.17", "b": "0x00" },
38
+ { "op": "assert", "cond": "%t.18" },
39
+ { "op": "less_than", "output": "%t.19", "a": "0x00", "b": "%credit.6", "bits": 128 },
40
+ { "op": "assert", "cond": "%t.19" },
41
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.20", "guard": null },
42
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%value.21", "guard": null },
43
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
44
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "0x01", "0x01", "0x00"] },
45
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x20", "%value.20", "%value.21"] },
46
+ { "op": "persistent_hash", "output": "%bytes.22", "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.20", "%value.21"] },
47
+ { "op": "bytes_into_natives", "outputs": ["%tmp.23", "%tmp.24"], "bytes": "%bytes.22" },
48
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
49
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x01"] },
50
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%tmp.24", "%tmp.23"] },
51
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x00"] },
52
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
53
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
54
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
55
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x07"] },
56
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x03", "0x01", "0x20", "0x20", "0x01", "0x00", "0x00", "0x00", "0x00"] },
57
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
58
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
59
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
60
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%credit.6"] },
61
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
62
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
63
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
64
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
65
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
66
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
67
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
68
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
69
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
70
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
71
+ { "op": "impact", "guard": "0x01", "inputs": ["0x80", "0x01", "0x01", "0x08"] },
72
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x06", "0x01", "0x20", "0x20", "0x01", "0x20", "0x20", "0x01", "0x00", "0x00", "0x00", "0x00", "0x00", "0x00", "0x00", "%recipient.0", "%recipient.1"] },
73
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
74
+ { "op": "impact", "guard": "0x01", "inputs": ["0x31"] },
75
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
76
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x10", "%credit.6"] },
77
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] },
78
+ { "op": "impact", "guard": "0x01", "inputs": ["0x08"] },
79
+ { "op": "impact", "guard": "0x01", "inputs": ["0x12", "0x04"] },
80
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
81
+ { "op": "impact", "guard": "0x01", "inputs": ["0x32"] },
82
+ { "op": "impact", "guard": "0x01", "inputs": ["0x60", "-0x01"] },
83
+ { "op": "impact", "guard": "0x01", "inputs": ["0x14"] },
84
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa2"] },
85
+ { "op": "impact", "guard": "0x01", "inputs": ["0x40"] }
210
86
  ]
211
87
  }
package/managed/m402-vault/zkir/registerService.zkir CHANGED
@@ -1,128 +1,56 @@
1
1
  {
2
- "version": { "major": 2, "minor": 0 },
2
+ "version": { "major": 3, "minor": 1 },
3
3
  "do_communications_commitment": true,
4
- "num_inputs": 5,
4
+ "inputs": [
5
+ { "name": "%salt.0", "type": "Scalar<BLS12-381>" },
6
+ { "name": "%salt.1", "type": "Scalar<BLS12-381>" },
7
+ { "name": "%price.2", "type": "Scalar<BLS12-381>" },
8
+ { "name": "%owner.3", "type": "Scalar<BLS12-381>" },
9
+ { "name": "%owner.4", "type": "Scalar<BLS12-381>" }
10
+ ],
11
+ "outputs": [
12
+ ],
5
13
  "instructions": [
6
- { "op": "constrain_bits", "var": 0, "bits": 8 },
7
- { "op": "constrain_bits", "var": 1, "bits": 248 },
8
- { "op": "constrain_bits", "var": 2, "bits": 64 },
9
- { "op": "constrain_bits", "var": 3, "bits": 8 },
10
- { "op": "constrain_bits", "var": 4, "bits": 248 },
11
- { "op": "load_imm", "imm": "01" },
12
- { "op": "load_imm", "imm": "00" },
13
- { "op": "less_than", "a": 6, "b": 2, "bits": 64 },
14
- { "op": "assert", "cond": 7 },
15
- { "op": "test_eq", "a": 3, "b": 6 },
16
- { "op": "test_eq", "a": 4, "b": 6 },
17
- { "op": "cond_select", "bit": 8, "a": 9, "b": 6 },
18
- { "op": "cond_select", "bit": 10, "a": 6, "b": 5 },
19
- { "op": "assert", "cond": 11 },
20
- { "op": "div_mod_power_of_two", "var": 2, "bits": 248 },
21
- { "op": "load_imm", "imm": "6D3430323A7369643A7631" },
22
- { "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" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [6, 14, 3, 4, 0, 1, 12, 13] },
23
- { "op": "load_imm", "imm": "30" },
24
- { "op": "declare_pub_input", "var": 17 },
25
- { "op": "pi_skip", "guard": 5, "count": 1 },
26
- { "op": "load_imm", "imm": "50" },
27
- { "op": "declare_pub_input", "var": 18 },
28
- { "op": "declare_pub_input", "var": 5 },
29
- { "op": "declare_pub_input", "var": 5 },
30
- { "op": "declare_pub_input", "var": 6 },
31
- { "op": "pi_skip", "guard": 5, "count": 4 },
32
- { "op": "load_imm", "imm": "10" },
33
- { "op": "load_imm", "imm": "20" },
34
- { "op": "declare_pub_input", "var": 19 },
35
- { "op": "declare_pub_input", "var": 5 },
36
- { "op": "declare_pub_input", "var": 5 },
37
- { "op": "declare_pub_input", "var": 20 },
38
- { "op": "declare_pub_input", "var": 15 },
39
- { "op": "declare_pub_input", "var": 16 },
40
- { "op": "pi_skip", "guard": 5, "count": 6 },
41
- { "op": "load_imm", "imm": "18" },
42
- { "op": "declare_pub_input", "var": 21 },
43
- { "op": "pi_skip", "guard": 5, "count": 1 },
44
- { "op": "public_input", "guard": null },
45
- { "op": "load_imm", "imm": "0D" },
46
- { "op": "declare_pub_input", "var": 23 },
47
- { "op": "declare_pub_input", "var": 5 },
48
- { "op": "declare_pub_input", "var": 5 },
49
- { "op": "declare_pub_input", "var": 22 },
50
- { "op": "pi_skip", "guard": 5, "count": 4 },
51
- { "op": "cond_select", "bit": 22, "a": 6, "b": 5 },
52
- { "op": "assert", "cond": 24 },
53
- { "op": "declare_pub_input", "var": 17 },
54
- { "op": "pi_skip", "guard": 5, "count": 1 },
55
- { "op": "declare_pub_input", "var": 18 },
56
- { "op": "declare_pub_input", "var": 5 },
57
- { "op": "declare_pub_input", "var": 5 },
58
- { "op": "declare_pub_input", "var": 5 },
59
- { "op": "pi_skip", "guard": 5, "count": 4 },
60
- { "op": "declare_pub_input", "var": 19 },
61
- { "op": "declare_pub_input", "var": 5 },
62
- { "op": "declare_pub_input", "var": 5 },
63
- { "op": "declare_pub_input", "var": 20 },
64
- { "op": "declare_pub_input", "var": 15 },
65
- { "op": "declare_pub_input", "var": 16 },
66
- { "op": "pi_skip", "guard": 5, "count": 6 },
67
- { "op": "declare_pub_input", "var": 21 },
68
- { "op": "pi_skip", "guard": 5, "count": 1 },
69
- { "op": "public_input", "guard": null },
70
- { "op": "declare_pub_input", "var": 23 },
71
- { "op": "declare_pub_input", "var": 5 },
72
- { "op": "declare_pub_input", "var": 5 },
73
- { "op": "declare_pub_input", "var": 25 },
74
- { "op": "pi_skip", "guard": 5, "count": 4 },
75
- { "op": "cond_select", "bit": 25, "a": 6, "b": 5 },
76
- { "op": "assert", "cond": 26 },
77
- { "op": "load_imm", "imm": "70" },
78
- { "op": "declare_pub_input", "var": 27 },
79
- { "op": "declare_pub_input", "var": 5 },
80
- { "op": "declare_pub_input", "var": 5 },
81
- { "op": "declare_pub_input", "var": 6 },
82
- { "op": "pi_skip", "guard": 5, "count": 4 },
83
- { "op": "declare_pub_input", "var": 19 },
84
- { "op": "declare_pub_input", "var": 5 },
85
- { "op": "declare_pub_input", "var": 5 },
86
- { "op": "declare_pub_input", "var": 20 },
87
- { "op": "declare_pub_input", "var": 15 },
88
- { "op": "declare_pub_input", "var": 16 },
89
- { "op": "pi_skip", "guard": 5, "count": 6 },
90
- { "op": "load_imm", "imm": "11" },
91
- { "op": "load_imm", "imm": "08" },
92
- { "op": "declare_pub_input", "var": 28 },
93
- { "op": "declare_pub_input", "var": 5 },
94
- { "op": "declare_pub_input", "var": 5 },
95
- { "op": "declare_pub_input", "var": 29 },
96
- { "op": "declare_pub_input", "var": 2 },
97
- { "op": "pi_skip", "guard": 5, "count": 5 },
98
- { "op": "load_imm", "imm": "91" },
99
- { "op": "declare_pub_input", "var": 30 },
100
- { "op": "pi_skip", "guard": 5, "count": 1 },
101
- { "op": "load_imm", "imm": "A1" },
102
- { "op": "declare_pub_input", "var": 31 },
103
- { "op": "pi_skip", "guard": 5, "count": 1 },
104
- { "op": "declare_pub_input", "var": 27 },
105
- { "op": "declare_pub_input", "var": 5 },
106
- { "op": "declare_pub_input", "var": 5 },
107
- { "op": "declare_pub_input", "var": 5 },
108
- { "op": "pi_skip", "guard": 5, "count": 4 },
109
- { "op": "declare_pub_input", "var": 19 },
110
- { "op": "declare_pub_input", "var": 5 },
111
- { "op": "declare_pub_input", "var": 5 },
112
- { "op": "declare_pub_input", "var": 20 },
113
- { "op": "declare_pub_input", "var": 15 },
114
- { "op": "declare_pub_input", "var": 16 },
115
- { "op": "pi_skip", "guard": 5, "count": 6 },
116
- { "op": "declare_pub_input", "var": 28 },
117
- { "op": "declare_pub_input", "var": 5 },
118
- { "op": "declare_pub_input", "var": 5 },
119
- { "op": "declare_pub_input", "var": 20 },
120
- { "op": "declare_pub_input", "var": 3 },
121
- { "op": "declare_pub_input", "var": 4 },
122
- { "op": "pi_skip", "guard": 5, "count": 6 },
123
- { "op": "declare_pub_input", "var": 30 },
124
- { "op": "pi_skip", "guard": 5, "count": 1 },
125
- { "op": "declare_pub_input", "var": 31 },
126
- { "op": "pi_skip", "guard": 5, "count": 1 }
14
+ { "op": "constrain_bits", "val": "%salt.0", "bits": 8 },
15
+ { "op": "constrain_bits", "val": "%salt.1", "bits": 248 },
16
+ { "op": "constrain_bits", "val": "%price.2", "bits": 64 },
17
+ { "op": "constrain_bits", "val": "%owner.3", "bits": 8 },
18
+ { "op": "constrain_bits", "val": "%owner.4", "bits": 248 },
19
+ { "op": "less_than", "output": "%t.5", "a": "0x00", "b": "%price.2", "bits": 64 },
20
+ { "op": "assert", "cond": "%t.5" },
21
+ { "op": "test_eq", "output": "%t.6", "a": "%owner.3", "b": "0x00" },
22
+ { "op": "test_eq", "output": "%t.7", "a": "%owner.4", "b": "0x00" },
23
+ { "op": "cond_select", "output": "%t.8", "bit": "%t.6", "a": "%t.7", "b": "0x00" },
24
+ { "op": "cond_select", "output": "%t.9", "bit": "%t.8", "a": "0x00", "b": "0x01" },
25
+ { "op": "assert", "cond": "%t.9" },
26
+ { "op": "div_mod_power_of_two", "outputs": ["%t.10", "%t.11"], "val": "%price.2", "bits": 248 },
27
+ { "op": "persistent_hash", "output": "%bytes.12", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": ["0x00", "0x6d3430323a7369643a7631", "%owner.3", "%owner.4", "%salt.0", "%salt.1", "%t.10", "%t.11"] },
28
+ { "op": "bytes_into_natives", "outputs": ["%serviceId.13", "%serviceId.14"], "bytes": "%bytes.12" },
29
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.15", "guard": null },
30
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
31
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x00"] },
32
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.14", "%serviceId.13"] },
33
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
34
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.15"] },
35
+ { "op": "cond_select", "output": "%t.16", "bit": "%t.15", "a": "0x00", "b": "0x01" },
36
+ { "op": "assert", "cond": "%t.16" },
37
+ { "op": "public_input", "type": "Scalar<BLS12-381>", "output": "%t.17", "guard": null },
38
+ { "op": "impact", "guard": "0x01", "inputs": ["0x30"] },
39
+ { "op": "impact", "guard": "0x01", "inputs": ["0x50", "0x01", "0x01", "0x01"] },
40
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.14", "%serviceId.13"] },
41
+ { "op": "impact", "guard": "0x01", "inputs": ["0x18"] },
42
+ { "op": "impact", "guard": "0x01", "inputs": ["0x0d", "0x01", "0x01", "%t.17"] },
43
+ { "op": "cond_select", "output": "%t.18", "bit": "%t.17", "a": "0x00", "b": "0x01" },
44
+ { "op": "assert", "cond": "%t.18" },
45
+ { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x00"] },
46
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.14", "%serviceId.13"] },
47
+ { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x01", "0x08", "%price.2"] },
48
+ { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
49
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] },
50
+ { "op": "impact", "guard": "0x01", "inputs": ["0x70", "0x01", "0x01", "0x01"] },
51
+ { "op": "impact", "guard": "0x01", "inputs": ["0x10", "0x01", "0x01", "0x20", "%serviceId.14", "%serviceId.13"] },
52
+ { "op": "impact", "guard": "0x01", "inputs": ["0x11", "0x01", "0x01", "0x20", "%owner.3", "%owner.4"] },
53
+ { "op": "impact", "guard": "0x01", "inputs": ["0x91"] },
54
+ { "op": "impact", "guard": "0x01", "inputs": ["0xa1"] }
127
55
  ]
128
56
  }