@midnames/sdk 1.0.6 → 2.0.0-rc1
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.
- package/README.md +4 -43
- package/dist/contract.d.ts +5 -0
- package/dist/contract.js +5 -0
- package/dist/core.d.ts +27 -9
- package/dist/core.js +196 -233
- package/dist/errors.d.ts +0 -3
- package/dist/errors.js +9 -17
- package/dist/holographic-card.css +1 -1
- package/dist/index.d.ts +10 -10
- package/dist/index.js +15 -11
- package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/compiler/contract-info.json +298 -232
- package/dist/managed/contract/index.d.ts +237 -0
- package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/contract/index.js +2044 -1713
- package/dist/managed/keys/add_domain_field.prover +0 -0
- package/dist/managed/keys/add_multiple_fields.prover +0 -0
- package/dist/managed/keys/change_field_limit.prover +0 -0
- package/dist/managed/keys/change_root_enable_subdomains.prover +0 -0
- package/dist/managed/keys/clear_domain_fields.prover +0 -0
- package/dist/managed/keys/create_domain.prover +0 -0
- package/dist/managed/keys/lock_payment_config.prover +0 -0
- package/dist/managed/keys/lock_target.prover +0 -0
- package/dist/managed/keys/remove_domain_field.prover +0 -0
- package/dist/managed/keys/transfer_domain.prover +0 -0
- package/dist/managed/keys/update_domain_default_field.prover +0 -0
- package/dist/managed/keys/update_payment_config.prover +0 -0
- package/dist/managed/keys/update_target.prover +0 -0
- package/dist/operations.d.ts +32 -20
- package/dist/operations.js +86 -103
- package/dist/provider.d.ts +6 -7
- package/dist/provider.js +11 -7
- package/dist/react/DomainProfileWidget.d.ts +1 -1
- package/dist/react/DomainProfileWidget.js +14 -36
- package/dist/react/HolographicCard.d.ts +1 -17
- package/dist/react/HolographicCard.js +1 -6
- package/dist/results.d.ts +0 -25
- package/dist/results.js +2 -75
- package/dist/styles.css +0 -1
- package/dist/types.d.ts +19 -4
- package/dist/types.js +1 -2
- package/dist/utils/address.d.ts +6 -1
- package/dist/utils/address.js +23 -6
- package/dist/utils/domain.d.ts +0 -4
- package/dist/utils/domain.js +15 -40
- package/dist/utils/sanitize.js +0 -4
- package/dist/witnesses.d.ts +8 -0
- package/dist/witnesses.js +6 -0
- package/package.json +45 -83
- package/dist/controller-types.d.ts +0 -108
- package/dist/controller-types.js +0 -17
- package/dist/controller-types.js.map +0 -1
- package/dist/core.js.map +0 -1
- package/dist/errors.js.map +0 -1
- package/dist/index.js.map +0 -1
- package/dist/operations.js.map +0 -1
- package/dist/provider.js.map +0 -1
- package/dist/react/DomainProfileWidget/index.d.ts +0 -2
- package/dist/react/DomainProfileWidget/index.js +0 -2
- package/dist/react/DomainProfileWidget/index.js.map +0 -1
- package/dist/react/DomainProfileWidget.js.map +0 -1
- package/dist/react/HolographicCard/index.d.ts +0 -3
- package/dist/react/HolographicCard/index.js +0 -3
- package/dist/react/HolographicCard/index.js.map +0 -1
- package/dist/react/HolographicCard.js.map +0 -1
- package/dist/react/index.d.ts +0 -3
- package/dist/react/index.js +0 -3
- package/dist/react/index.js.map +0 -1
- package/dist/results.js.map +0 -1
- package/dist/types.js.map +0 -1
- package/dist/utils/address.js.map +0 -1
- package/dist/utils/domain.js.map +0 -1
- package/dist/utils/imageResolver.d.ts +0 -8
- package/dist/utils/imageResolver.js +0 -90
- package/dist/utils/imageResolver.js.map +0 -1
- package/dist/utils/index.d.ts +0 -2
- package/dist/utils/index.js +0 -3
- package/dist/utils/index.js.map +0 -1
- package/dist/utils/sanitize.js.map +0 -1
- package/node_modules/@midnames/ns/dist/index.d.ts +0 -5
- package/node_modules/@midnames/ns/dist/index.js +0 -6
- package/node_modules/@midnames/ns/dist/index.js.map +0 -1
- package/node_modules/@midnames/ns/dist/leaf.compact +0 -290
- package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.d.ts +0 -197
- package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.js.map +0 -8
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.prover +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.verifier +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.zkir +0 -424
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.zkir +0 -1456
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.zkir +0 -57
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.zkir +0 -53
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.zkir +0 -58
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.zkir +0 -65
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.zkir +0 -401
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.zkir +0 -109
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.zkir +0 -212
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.zkir +0 -58
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.zkir +0 -88
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.zkir +0 -66
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.bzkir +0 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.zkir +0 -450
- package/node_modules/@midnames/ns/dist/utils.d.ts +0 -5
- package/node_modules/@midnames/ns/dist/utils.js +0 -19
- package/node_modules/@midnames/ns/dist/utils.js.map +0 -1
- package/node_modules/@midnames/ns/dist/witnesses.d.ts +0 -4
- package/node_modules/@midnames/ns/dist/witnesses.js +0 -3
- package/node_modules/@midnames/ns/dist/witnesses.js.map +0 -1
- package/node_modules/@midnames/ns/package.json +0 -55
|
@@ -1,212 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"version": { "major": 2, "minor": 0 },
|
|
3
|
-
"do_communications_commitment": true,
|
|
4
|
-
"num_inputs": 4,
|
|
5
|
-
"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": "load_imm", "imm": "01" },
|
|
11
|
-
{ "op": "load_imm", "imm": "30" },
|
|
12
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
13
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
14
|
-
{ "op": "load_imm", "imm": "50" },
|
|
15
|
-
{ "op": "load_imm", "imm": "05" },
|
|
16
|
-
{ "op": "declare_pub_input", "var": 6 },
|
|
17
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
18
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
19
|
-
{ "op": "declare_pub_input", "var": 7 },
|
|
20
|
-
{ "op": "pi_skip", "guard": 4, "count": 4 },
|
|
21
|
-
{ "op": "load_imm", "imm": "10" },
|
|
22
|
-
{ "op": "load_imm", "imm": "20" },
|
|
23
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
24
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
25
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
26
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
27
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
28
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
29
|
-
{ "op": "pi_skip", "guard": 4, "count": 6 },
|
|
30
|
-
{ "op": "load_imm", "imm": "18" },
|
|
31
|
-
{ "op": "declare_pub_input", "var": 10 },
|
|
32
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
33
|
-
{ "op": "public_input", "guard": null },
|
|
34
|
-
{ "op": "load_imm", "imm": "0D" },
|
|
35
|
-
{ "op": "declare_pub_input", "var": 12 },
|
|
36
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
37
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
38
|
-
{ "op": "declare_pub_input", "var": 11 },
|
|
39
|
-
{ "op": "pi_skip", "guard": 4, "count": 4 },
|
|
40
|
-
{ "op": "assert", "cond": 11 },
|
|
41
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
42
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
43
|
-
{ "op": "declare_pub_input", "var": 6 },
|
|
44
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
45
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
46
|
-
{ "op": "declare_pub_input", "var": 7 },
|
|
47
|
-
{ "op": "pi_skip", "guard": 4, "count": 4 },
|
|
48
|
-
{ "op": "declare_pub_input", "var": 6 },
|
|
49
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
50
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
51
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
52
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
53
|
-
{ "op": "pi_skip", "guard": 4, "count": 5 },
|
|
54
|
-
{ "op": "public_input", "guard": null },
|
|
55
|
-
{ "op": "public_input", "guard": null },
|
|
56
|
-
{ "op": "public_input", "guard": null },
|
|
57
|
-
{ "op": "public_input", "guard": null },
|
|
58
|
-
{ "op": "load_imm", "imm": "0C" },
|
|
59
|
-
{ "op": "load_imm", "imm": "02" },
|
|
60
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
61
|
-
{ "op": "declare_pub_input", "var": 18 },
|
|
62
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
63
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
64
|
-
{ "op": "declare_pub_input", "var": 13 },
|
|
65
|
-
{ "op": "declare_pub_input", "var": 14 },
|
|
66
|
-
{ "op": "declare_pub_input", "var": 15 },
|
|
67
|
-
{ "op": "declare_pub_input", "var": 16 },
|
|
68
|
-
{ "op": "pi_skip", "guard": 4, "count": 8 },
|
|
69
|
-
{ "op": "private_input", "guard": null },
|
|
70
|
-
{ "op": "constrain_bits", "var": 19, "bits": 8 },
|
|
71
|
-
{ "op": "private_input", "guard": null },
|
|
72
|
-
{ "op": "constrain_bits", "var": 20, "bits": 248 },
|
|
73
|
-
{ "op": "test_eq", "a": 13, "b": 19 },
|
|
74
|
-
{ "op": "test_eq", "a": 14, "b": 20 },
|
|
75
|
-
{ "op": "load_imm", "imm": "00" },
|
|
76
|
-
{ "op": "cond_select", "bit": 21, "a": 22, "b": 23 },
|
|
77
|
-
{ "op": "assert", "cond": 24 },
|
|
78
|
-
{ "op": "load_imm", "imm": "70" },
|
|
79
|
-
{ "op": "declare_pub_input", "var": 25 },
|
|
80
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
81
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
82
|
-
{ "op": "declare_pub_input", "var": 7 },
|
|
83
|
-
{ "op": "pi_skip", "guard": 4, "count": 4 },
|
|
84
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
85
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
86
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
87
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
88
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
89
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
90
|
-
{ "op": "pi_skip", "guard": 4, "count": 6 },
|
|
91
|
-
{ "op": "load_imm", "imm": "11" },
|
|
92
|
-
{ "op": "declare_pub_input", "var": 26 },
|
|
93
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
94
|
-
{ "op": "declare_pub_input", "var": 18 },
|
|
95
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
96
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
97
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
98
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
99
|
-
{ "op": "declare_pub_input", "var": 15 },
|
|
100
|
-
{ "op": "declare_pub_input", "var": 16 },
|
|
101
|
-
{ "op": "pi_skip", "guard": 4, "count": 9 },
|
|
102
|
-
{ "op": "load_imm", "imm": "91" },
|
|
103
|
-
{ "op": "declare_pub_input", "var": 27 },
|
|
104
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
105
|
-
{ "op": "load_imm", "imm": "A1" },
|
|
106
|
-
{ "op": "declare_pub_input", "var": 28 },
|
|
107
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
108
|
-
{ "op": "private_input", "guard": null },
|
|
109
|
-
{ "op": "constrain_bits", "var": 29, "bits": 8 },
|
|
110
|
-
{ "op": "private_input", "guard": null },
|
|
111
|
-
{ "op": "constrain_bits", "var": 30, "bits": 248 },
|
|
112
|
-
{ "op": "load_imm", "imm": "71" },
|
|
113
|
-
{ "op": "load_imm", "imm": "06" },
|
|
114
|
-
{ "op": "declare_pub_input", "var": 31 },
|
|
115
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
116
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
117
|
-
{ "op": "declare_pub_input", "var": 32 },
|
|
118
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
119
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
120
|
-
{ "op": "declare_pub_input", "var": 29 },
|
|
121
|
-
{ "op": "declare_pub_input", "var": 30 },
|
|
122
|
-
{ "op": "pi_skip", "guard": 4, "count": 8 },
|
|
123
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
124
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
125
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
126
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
127
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
128
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
129
|
-
{ "op": "pi_skip", "guard": 4, "count": 6 },
|
|
130
|
-
{ "op": "load_imm", "imm": "19" },
|
|
131
|
-
{ "op": "declare_pub_input", "var": 33 },
|
|
132
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
133
|
-
{ "op": "load_imm", "imm": "A2" },
|
|
134
|
-
{ "op": "declare_pub_input", "var": 34 },
|
|
135
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
136
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
137
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
138
|
-
{ "op": "declare_pub_input", "var": 6 },
|
|
139
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
140
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
141
|
-
{ "op": "declare_pub_input", "var": 32 },
|
|
142
|
-
{ "op": "pi_skip", "guard": 4, "count": 4 },
|
|
143
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
144
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
145
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
146
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
147
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
148
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
149
|
-
{ "op": "pi_skip", "guard": 4, "count": 6 },
|
|
150
|
-
{ "op": "declare_pub_input", "var": 10 },
|
|
151
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
152
|
-
{ "op": "public_input", "guard": null },
|
|
153
|
-
{ "op": "declare_pub_input", "var": 12 },
|
|
154
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
155
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
156
|
-
{ "op": "declare_pub_input", "var": 35 },
|
|
157
|
-
{ "op": "pi_skip", "guard": 4, "count": 4 },
|
|
158
|
-
{ "op": "cond_select", "bit": 35, "a": 23, "b": 4 },
|
|
159
|
-
{ "op": "cond_select", "bit": 36, "a": 25, "b": 23 },
|
|
160
|
-
{ "op": "declare_pub_input", "var": 37 },
|
|
161
|
-
{ "op": "declare_pub_input", "var": 36 },
|
|
162
|
-
{ "op": "declare_pub_input", "var": 36 },
|
|
163
|
-
{ "op": "cond_select", "bit": 36, "a": 32, "b": 23 },
|
|
164
|
-
{ "op": "declare_pub_input", "var": 38 },
|
|
165
|
-
{ "op": "pi_skip", "guard": 36, "count": 4 },
|
|
166
|
-
{ "op": "cond_select", "bit": 36, "a": 8, "b": 23 },
|
|
167
|
-
{ "op": "declare_pub_input", "var": 39 },
|
|
168
|
-
{ "op": "declare_pub_input", "var": 36 },
|
|
169
|
-
{ "op": "declare_pub_input", "var": 36 },
|
|
170
|
-
{ "op": "cond_select", "bit": 36, "a": 9, "b": 23 },
|
|
171
|
-
{ "op": "declare_pub_input", "var": 40 },
|
|
172
|
-
{ "op": "cond_select", "bit": 36, "a": 2, "b": 23 },
|
|
173
|
-
{ "op": "declare_pub_input", "var": 41 },
|
|
174
|
-
{ "op": "cond_select", "bit": 36, "a": 3, "b": 23 },
|
|
175
|
-
{ "op": "declare_pub_input", "var": 42 },
|
|
176
|
-
{ "op": "pi_skip", "guard": 36, "count": 6 },
|
|
177
|
-
{ "op": "cond_select", "bit": 36, "a": 26, "b": 23 },
|
|
178
|
-
{ "op": "declare_pub_input", "var": 43 },
|
|
179
|
-
{ "op": "cond_select", "bit": 36, "a": 18, "b": 23 },
|
|
180
|
-
{ "op": "declare_pub_input", "var": 44 },
|
|
181
|
-
{ "op": "pi_skip", "guard": 36, "count": 2 },
|
|
182
|
-
{ "op": "cond_select", "bit": 36, "a": 27, "b": 23 },
|
|
183
|
-
{ "op": "declare_pub_input", "var": 45 },
|
|
184
|
-
{ "op": "pi_skip", "guard": 36, "count": 1 },
|
|
185
|
-
{ "op": "cond_select", "bit": 36, "a": 28, "b": 23 },
|
|
186
|
-
{ "op": "declare_pub_input", "var": 46 },
|
|
187
|
-
{ "op": "pi_skip", "guard": 36, "count": 1 },
|
|
188
|
-
{ "op": "declare_pub_input", "var": 31 },
|
|
189
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
190
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
191
|
-
{ "op": "declare_pub_input", "var": 32 },
|
|
192
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
193
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
194
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
195
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
196
|
-
{ "op": "pi_skip", "guard": 4, "count": 8 },
|
|
197
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
198
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
199
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
200
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
201
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
202
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
203
|
-
{ "op": "pi_skip", "guard": 4, "count": 6 },
|
|
204
|
-
{ "op": "declare_pub_input", "var": 26 },
|
|
205
|
-
{ "op": "declare_pub_input", "var": 23 },
|
|
206
|
-
{ "op": "pi_skip", "guard": 4, "count": 2 },
|
|
207
|
-
{ "op": "declare_pub_input", "var": 27 },
|
|
208
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 },
|
|
209
|
-
{ "op": "declare_pub_input", "var": 34 },
|
|
210
|
-
{ "op": "pi_skip", "guard": 4, "count": 1 }
|
|
211
|
-
]
|
|
212
|
-
}
|
|
Binary file
|
|
@@ -1,58 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"version": { "major": 2, "minor": 0 },
|
|
3
|
-
"do_communications_commitment": true,
|
|
4
|
-
"num_inputs": 2,
|
|
5
|
-
"instructions": [
|
|
6
|
-
{ "op": "constrain_bits", "var": 0, "bits": 8 },
|
|
7
|
-
{ "op": "constrain_bits", "var": 1, "bits": 248 },
|
|
8
|
-
{ "op": "load_imm", "imm": "01" },
|
|
9
|
-
{ "op": "load_imm", "imm": "30" },
|
|
10
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
11
|
-
{ "op": "pi_skip", "guard": 2, "count": 1 },
|
|
12
|
-
{ "op": "load_imm", "imm": "50" },
|
|
13
|
-
{ "op": "load_imm", "imm": "03" },
|
|
14
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
15
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
16
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
17
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
18
|
-
{ "op": "pi_skip", "guard": 2, "count": 4 },
|
|
19
|
-
{ "op": "public_input", "guard": null },
|
|
20
|
-
{ "op": "public_input", "guard": null },
|
|
21
|
-
{ "op": "load_imm", "imm": "20" },
|
|
22
|
-
{ "op": "load_imm", "imm": "0C" },
|
|
23
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
24
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
25
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
26
|
-
{ "op": "declare_pub_input", "var": 6 },
|
|
27
|
-
{ "op": "declare_pub_input", "var": 7 },
|
|
28
|
-
{ "op": "pi_skip", "guard": 2, "count": 5 },
|
|
29
|
-
{ "op": "private_input", "guard": null },
|
|
30
|
-
{ "op": "constrain_bits", "var": 10, "bits": 8 },
|
|
31
|
-
{ "op": "private_input", "guard": null },
|
|
32
|
-
{ "op": "constrain_bits", "var": 11, "bits": 248 },
|
|
33
|
-
{ "op": "test_eq", "a": 6, "b": 10 },
|
|
34
|
-
{ "op": "test_eq", "a": 7, "b": 11 },
|
|
35
|
-
{ "op": "load_imm", "imm": "00" },
|
|
36
|
-
{ "op": "cond_select", "bit": 12, "a": 13, "b": 14 },
|
|
37
|
-
{ "op": "assert", "cond": 15 },
|
|
38
|
-
{ "op": "load_imm", "imm": "10" },
|
|
39
|
-
{ "op": "load_imm", "imm": "08" },
|
|
40
|
-
{ "op": "declare_pub_input", "var": 16 },
|
|
41
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
42
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
43
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
44
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
45
|
-
{ "op": "pi_skip", "guard": 2, "count": 5 },
|
|
46
|
-
{ "op": "load_imm", "imm": "11" },
|
|
47
|
-
{ "op": "declare_pub_input", "var": 18 },
|
|
48
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
49
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
50
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
51
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
52
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
53
|
-
{ "op": "pi_skip", "guard": 2, "count": 6 },
|
|
54
|
-
{ "op": "load_imm", "imm": "91" },
|
|
55
|
-
{ "op": "declare_pub_input", "var": 19 },
|
|
56
|
-
{ "op": "pi_skip", "guard": 2, "count": 1 }
|
|
57
|
-
]
|
|
58
|
-
}
|
|
Binary file
|
|
@@ -1,88 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"version": { "major": 2, "minor": 0 },
|
|
3
|
-
"do_communications_commitment": true,
|
|
4
|
-
"num_inputs": 3,
|
|
5
|
-
"instructions": [
|
|
6
|
-
{ "op": "constrain_bits", "var": 0, "bits": 128 },
|
|
7
|
-
{ "op": "constrain_bits", "var": 1, "bits": 128 },
|
|
8
|
-
{ "op": "constrain_bits", "var": 2, "bits": 128 },
|
|
9
|
-
{ "op": "load_imm", "imm": "01" },
|
|
10
|
-
{ "op": "load_imm", "imm": "30" },
|
|
11
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
12
|
-
{ "op": "pi_skip", "guard": 3, "count": 1 },
|
|
13
|
-
{ "op": "load_imm", "imm": "50" },
|
|
14
|
-
{ "op": "load_imm", "imm": "03" },
|
|
15
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
16
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
17
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
18
|
-
{ "op": "declare_pub_input", "var": 6 },
|
|
19
|
-
{ "op": "pi_skip", "guard": 3, "count": 4 },
|
|
20
|
-
{ "op": "public_input", "guard": null },
|
|
21
|
-
{ "op": "public_input", "guard": null },
|
|
22
|
-
{ "op": "load_imm", "imm": "20" },
|
|
23
|
-
{ "op": "load_imm", "imm": "0C" },
|
|
24
|
-
{ "op": "declare_pub_input", "var": 10 },
|
|
25
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
26
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
27
|
-
{ "op": "declare_pub_input", "var": 7 },
|
|
28
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
29
|
-
{ "op": "pi_skip", "guard": 3, "count": 5 },
|
|
30
|
-
{ "op": "private_input", "guard": null },
|
|
31
|
-
{ "op": "constrain_bits", "var": 11, "bits": 8 },
|
|
32
|
-
{ "op": "private_input", "guard": null },
|
|
33
|
-
{ "op": "constrain_bits", "var": 12, "bits": 248 },
|
|
34
|
-
{ "op": "test_eq", "a": 7, "b": 11 },
|
|
35
|
-
{ "op": "test_eq", "a": 8, "b": 12 },
|
|
36
|
-
{ "op": "load_imm", "imm": "00" },
|
|
37
|
-
{ "op": "cond_select", "bit": 13, "a": 14, "b": 15 },
|
|
38
|
-
{ "op": "assert", "cond": 16 },
|
|
39
|
-
{ "op": "load_imm", "imm": "10" },
|
|
40
|
-
{ "op": "load_imm", "imm": "09" },
|
|
41
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
42
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
43
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
44
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
45
|
-
{ "op": "declare_pub_input", "var": 18 },
|
|
46
|
-
{ "op": "pi_skip", "guard": 3, "count": 5 },
|
|
47
|
-
{ "op": "load_imm", "imm": "11" },
|
|
48
|
-
{ "op": "declare_pub_input", "var": 19 },
|
|
49
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
50
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
51
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
52
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
53
|
-
{ "op": "pi_skip", "guard": 3, "count": 5 },
|
|
54
|
-
{ "op": "load_imm", "imm": "91" },
|
|
55
|
-
{ "op": "declare_pub_input", "var": 20 },
|
|
56
|
-
{ "op": "pi_skip", "guard": 3, "count": 1 },
|
|
57
|
-
{ "op": "load_imm", "imm": "0A" },
|
|
58
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
59
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
60
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
61
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
62
|
-
{ "op": "declare_pub_input", "var": 21 },
|
|
63
|
-
{ "op": "pi_skip", "guard": 3, "count": 5 },
|
|
64
|
-
{ "op": "declare_pub_input", "var": 19 },
|
|
65
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
66
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
67
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
68
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
69
|
-
{ "op": "pi_skip", "guard": 3, "count": 5 },
|
|
70
|
-
{ "op": "declare_pub_input", "var": 20 },
|
|
71
|
-
{ "op": "pi_skip", "guard": 3, "count": 1 },
|
|
72
|
-
{ "op": "load_imm", "imm": "0B" },
|
|
73
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
74
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
75
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
76
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
77
|
-
{ "op": "declare_pub_input", "var": 22 },
|
|
78
|
-
{ "op": "pi_skip", "guard": 3, "count": 5 },
|
|
79
|
-
{ "op": "declare_pub_input", "var": 19 },
|
|
80
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
81
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
82
|
-
{ "op": "declare_pub_input", "var": 17 },
|
|
83
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
84
|
-
{ "op": "pi_skip", "guard": 3, "count": 5 },
|
|
85
|
-
{ "op": "declare_pub_input", "var": 20 },
|
|
86
|
-
{ "op": "pi_skip", "guard": 3, "count": 1 }
|
|
87
|
-
]
|
|
88
|
-
}
|
|
Binary file
|
|
@@ -1,66 +0,0 @@
|
|
|
1
|
-
{
|
|
2
|
-
"version": { "major": 2, "minor": 0 },
|
|
3
|
-
"do_communications_commitment": true,
|
|
4
|
-
"num_inputs": 5,
|
|
5
|
-
"instructions": [
|
|
6
|
-
{ "op": "constrain_to_boolean", "var": 0 },
|
|
7
|
-
{ "op": "constrain_bits", "var": 1, "bits": 8 },
|
|
8
|
-
{ "op": "constrain_bits", "var": 2, "bits": 248 },
|
|
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": "30" },
|
|
13
|
-
{ "op": "declare_pub_input", "var": 6 },
|
|
14
|
-
{ "op": "pi_skip", "guard": 5, "count": 1 },
|
|
15
|
-
{ "op": "load_imm", "imm": "50" },
|
|
16
|
-
{ "op": "load_imm", "imm": "03" },
|
|
17
|
-
{ "op": "declare_pub_input", "var": 7 },
|
|
18
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
19
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
20
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
21
|
-
{ "op": "pi_skip", "guard": 5, "count": 4 },
|
|
22
|
-
{ "op": "public_input", "guard": null },
|
|
23
|
-
{ "op": "public_input", "guard": null },
|
|
24
|
-
{ "op": "load_imm", "imm": "20" },
|
|
25
|
-
{ "op": "load_imm", "imm": "0C" },
|
|
26
|
-
{ "op": "declare_pub_input", "var": 12 },
|
|
27
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
28
|
-
{ "op": "declare_pub_input", "var": 11 },
|
|
29
|
-
{ "op": "declare_pub_input", "var": 9 },
|
|
30
|
-
{ "op": "declare_pub_input", "var": 10 },
|
|
31
|
-
{ "op": "pi_skip", "guard": 5, "count": 5 },
|
|
32
|
-
{ "op": "private_input", "guard": null },
|
|
33
|
-
{ "op": "constrain_bits", "var": 13, "bits": 8 },
|
|
34
|
-
{ "op": "private_input", "guard": null },
|
|
35
|
-
{ "op": "constrain_bits", "var": 14, "bits": 248 },
|
|
36
|
-
{ "op": "test_eq", "a": 9, "b": 13 },
|
|
37
|
-
{ "op": "test_eq", "a": 10, "b": 14 },
|
|
38
|
-
{ "op": "load_imm", "imm": "00" },
|
|
39
|
-
{ "op": "cond_select", "bit": 15, "a": 16, "b": 17 },
|
|
40
|
-
{ "op": "assert", "cond": 18 },
|
|
41
|
-
{ "op": "load_imm", "imm": "10" },
|
|
42
|
-
{ "op": "load_imm", "imm": "04" },
|
|
43
|
-
{ "op": "declare_pub_input", "var": 19 },
|
|
44
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
45
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
46
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
47
|
-
{ "op": "declare_pub_input", "var": 20 },
|
|
48
|
-
{ "op": "pi_skip", "guard": 5, "count": 5 },
|
|
49
|
-
{ "op": "load_imm", "imm": "11" },
|
|
50
|
-
{ "op": "declare_pub_input", "var": 21 },
|
|
51
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
52
|
-
{ "op": "declare_pub_input", "var": 8 },
|
|
53
|
-
{ "op": "declare_pub_input", "var": 5 },
|
|
54
|
-
{ "op": "declare_pub_input", "var": 11 },
|
|
55
|
-
{ "op": "declare_pub_input", "var": 11 },
|
|
56
|
-
{ "op": "declare_pub_input", "var": 0 },
|
|
57
|
-
{ "op": "declare_pub_input", "var": 1 },
|
|
58
|
-
{ "op": "declare_pub_input", "var": 2 },
|
|
59
|
-
{ "op": "declare_pub_input", "var": 3 },
|
|
60
|
-
{ "op": "declare_pub_input", "var": 4 },
|
|
61
|
-
{ "op": "pi_skip", "guard": 5, "count": 11 },
|
|
62
|
-
{ "op": "load_imm", "imm": "91" },
|
|
63
|
-
{ "op": "declare_pub_input", "var": 22 },
|
|
64
|
-
{ "op": "pi_skip", "guard": 5, "count": 1 }
|
|
65
|
-
]
|
|
66
|
-
}
|