@midnames/sdk 1.0.1 → 1.0.4
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 +1 -1
- package/dist/controller-types.d.ts +5 -1
- package/dist/controller-types.js +1 -0
- package/dist/controller-types.js.map +1 -0
- package/dist/core.d.ts +1 -1
- package/dist/core.js +2 -1
- package/dist/core.js.map +1 -0
- package/dist/errors.js +3 -0
- package/dist/errors.js.map +1 -0
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -0
- package/dist/operations.js +3 -2
- package/dist/operations.js.map +1 -0
- package/dist/provider.js +5 -5
- package/dist/provider.js.map +1 -0
- package/dist/react/DomainProfileWidget/index.js +1 -0
- package/dist/react/DomainProfileWidget/index.js.map +1 -0
- package/dist/react/DomainProfileWidget.js +12 -14
- package/dist/react/DomainProfileWidget.js.map +1 -0
- package/dist/react/HolographicCard/index.js +1 -0
- package/dist/react/HolographicCard/index.js.map +1 -0
- package/dist/react/HolographicCard.js +5 -5
- package/dist/react/HolographicCard.js.map +1 -0
- package/dist/react/index.js +1 -0
- package/dist/react/index.js.map +1 -0
- package/dist/results.js +2 -0
- package/dist/results.js.map +1 -0
- package/dist/types.d.ts +1 -1
- package/dist/types.js +1 -0
- package/dist/types.js.map +1 -0
- package/dist/utils/address.js +1 -0
- package/dist/utils/address.js.map +1 -0
- package/dist/utils/domain.js +1 -0
- package/dist/utils/domain.js.map +1 -0
- package/dist/utils/imageResolver.js +1 -0
- package/dist/utils/imageResolver.js.map +1 -0
- package/dist/utils/index.js +1 -0
- package/dist/utils/index.js.map +1 -0
- package/dist/utils/sanitize.js +1 -0
- package/dist/utils/sanitize.js.map +1 -0
- package/{dist/managed → node_modules/@midnames/ns/dist}/index.d.ts +2 -0
- package/{dist/managed → node_modules/@midnames/ns/dist}/index.js +2 -0
- package/node_modules/@midnames/ns/dist/index.js.map +1 -0
- package/node_modules/@midnames/ns/dist/managed/leaf/compiler/contract-info.json +534 -0
- 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 +424 -0
- 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 +1456 -0
- 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 +57 -0
- 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 +53 -0
- 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 +58 -0
- 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 +65 -0
- 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 +401 -0
- 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 +109 -0
- 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 +212 -0
- 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 +58 -0
- 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 +88 -0
- 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 +66 -0
- 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 +450 -0
- package/node_modules/@midnames/ns/package.json +55 -0
- package/package.json +42 -9
- package/dist/managed/index.js.map +0 -1
- package/exported.md +0 -111
- package/managed/index.js +0 -4
- package/managed/index.js.map +0 -1
- package/managed/leaf.compact +0 -290
- package/managed/managed/leaf/contract/index.js +0 -3094
- package/managed/managed/leaf/contract/index.js.map +0 -8
- package/managed/utils.js +0 -19
- package/managed/utils.js.map +0 -1
- package/managed/witnesses.js +0 -3
- package/managed/witnesses.js.map +0 -1
- /package/{dist/managed → node_modules/@midnames/ns/dist}/leaf.compact +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/managed/leaf/contract/index.d.ts +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/managed/leaf/contract/index.js +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/managed/leaf/contract/index.js.map +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/utils.d.ts +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/utils.js +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/utils.js.map +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/witnesses.d.ts +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/witnesses.js +0 -0
- /package/{dist/managed → node_modules/@midnames/ns/dist}/witnesses.js.map +0 -0
|
@@ -0,0 +1,57 @@
|
|
|
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": "declare_pub_input", "var": 16 },
|
|
40
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
41
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
42
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
43
|
+
{ "op": "declare_pub_input", "var": 5 },
|
|
44
|
+
{ "op": "pi_skip", "guard": 2, "count": 5 },
|
|
45
|
+
{ "op": "load_imm", "imm": "11" },
|
|
46
|
+
{ "op": "declare_pub_input", "var": 17 },
|
|
47
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
48
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
49
|
+
{ "op": "declare_pub_input", "var": 8 },
|
|
50
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
51
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
52
|
+
{ "op": "pi_skip", "guard": 2, "count": 6 },
|
|
53
|
+
{ "op": "load_imm", "imm": "91" },
|
|
54
|
+
{ "op": "declare_pub_input", "var": 18 },
|
|
55
|
+
{ "op": "pi_skip", "guard": 2, "count": 1 }
|
|
56
|
+
]
|
|
57
|
+
}
|
|
@@ -0,0 +1,53 @@
|
|
|
1
|
+
{
|
|
2
|
+
"version": { "major": 2, "minor": 0 },
|
|
3
|
+
"do_communications_commitment": true,
|
|
4
|
+
"num_inputs": 0,
|
|
5
|
+
"instructions": [
|
|
6
|
+
{ "op": "load_imm", "imm": "01" },
|
|
7
|
+
{ "op": "load_imm", "imm": "30" },
|
|
8
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
9
|
+
{ "op": "pi_skip", "guard": 0, "count": 1 },
|
|
10
|
+
{ "op": "load_imm", "imm": "50" },
|
|
11
|
+
{ "op": "load_imm", "imm": "03" },
|
|
12
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
13
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
14
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
15
|
+
{ "op": "declare_pub_input", "var": 3 },
|
|
16
|
+
{ "op": "pi_skip", "guard": 0, "count": 4 },
|
|
17
|
+
{ "op": "public_input", "guard": null },
|
|
18
|
+
{ "op": "public_input", "guard": null },
|
|
19
|
+
{ "op": "load_imm", "imm": "20" },
|
|
20
|
+
{ "op": "load_imm", "imm": "0C" },
|
|
21
|
+
{ "op": "declare_pub_input", "var": 7 },
|
|
22
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
23
|
+
{ "op": "declare_pub_input", "var": 6 },
|
|
24
|
+
{ "op": "declare_pub_input", "var": 4 },
|
|
25
|
+
{ "op": "declare_pub_input", "var": 5 },
|
|
26
|
+
{ "op": "pi_skip", "guard": 0, "count": 5 },
|
|
27
|
+
{ "op": "private_input", "guard": null },
|
|
28
|
+
{ "op": "constrain_bits", "var": 8, "bits": 8 },
|
|
29
|
+
{ "op": "private_input", "guard": null },
|
|
30
|
+
{ "op": "constrain_bits", "var": 9, "bits": 248 },
|
|
31
|
+
{ "op": "test_eq", "a": 4, "b": 8 },
|
|
32
|
+
{ "op": "test_eq", "a": 5, "b": 9 },
|
|
33
|
+
{ "op": "load_imm", "imm": "00" },
|
|
34
|
+
{ "op": "cond_select", "bit": 10, "a": 11, "b": 12 },
|
|
35
|
+
{ "op": "assert", "cond": 13 },
|
|
36
|
+
{ "op": "load_imm", "imm": "10" },
|
|
37
|
+
{ "op": "load_imm", "imm": "07" },
|
|
38
|
+
{ "op": "declare_pub_input", "var": 14 },
|
|
39
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
40
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
41
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
42
|
+
{ "op": "declare_pub_input", "var": 15 },
|
|
43
|
+
{ "op": "pi_skip", "guard": 0, "count": 5 },
|
|
44
|
+
{ "op": "load_imm", "imm": "11" },
|
|
45
|
+
{ "op": "load_imm", "imm": "02" },
|
|
46
|
+
{ "op": "declare_pub_input", "var": 16 },
|
|
47
|
+
{ "op": "declare_pub_input", "var": 17 },
|
|
48
|
+
{ "op": "pi_skip", "guard": 0, "count": 2 },
|
|
49
|
+
{ "op": "load_imm", "imm": "91" },
|
|
50
|
+
{ "op": "declare_pub_input", "var": 18 },
|
|
51
|
+
{ "op": "pi_skip", "guard": 0, "count": 1 }
|
|
52
|
+
]
|
|
53
|
+
}
|
|
@@ -0,0 +1,58 @@
|
|
|
1
|
+
{
|
|
2
|
+
"version": { "major": 2, "minor": 0 },
|
|
3
|
+
"do_communications_commitment": true,
|
|
4
|
+
"num_inputs": 1,
|
|
5
|
+
"instructions": [
|
|
6
|
+
{ "op": "load_imm", "imm": "01" },
|
|
7
|
+
{ "op": "load_imm", "imm": "30" },
|
|
8
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
9
|
+
{ "op": "pi_skip", "guard": 1, "count": 1 },
|
|
10
|
+
{ "op": "load_imm", "imm": "50" },
|
|
11
|
+
{ "op": "load_imm", "imm": "03" },
|
|
12
|
+
{ "op": "declare_pub_input", "var": 3 },
|
|
13
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
14
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
15
|
+
{ "op": "declare_pub_input", "var": 4 },
|
|
16
|
+
{ "op": "pi_skip", "guard": 1, "count": 4 },
|
|
17
|
+
{ "op": "public_input", "guard": null },
|
|
18
|
+
{ "op": "public_input", "guard": null },
|
|
19
|
+
{ "op": "load_imm", "imm": "20" },
|
|
20
|
+
{ "op": "load_imm", "imm": "0C" },
|
|
21
|
+
{ "op": "declare_pub_input", "var": 8 },
|
|
22
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
23
|
+
{ "op": "declare_pub_input", "var": 7 },
|
|
24
|
+
{ "op": "declare_pub_input", "var": 5 },
|
|
25
|
+
{ "op": "declare_pub_input", "var": 6 },
|
|
26
|
+
{ "op": "pi_skip", "guard": 1, "count": 5 },
|
|
27
|
+
{ "op": "private_input", "guard": null },
|
|
28
|
+
{ "op": "constrain_bits", "var": 9, "bits": 8 },
|
|
29
|
+
{ "op": "private_input", "guard": null },
|
|
30
|
+
{ "op": "constrain_bits", "var": 10, "bits": 248 },
|
|
31
|
+
{ "op": "test_eq", "a": 5, "b": 9 },
|
|
32
|
+
{ "op": "test_eq", "a": 6, "b": 10 },
|
|
33
|
+
{ "op": "load_imm", "imm": "00" },
|
|
34
|
+
{ "op": "cond_select", "bit": 11, "a": 12, "b": 13 },
|
|
35
|
+
{ "op": "assert", "cond": 14 },
|
|
36
|
+
{ "op": "load_imm", "imm": "70" },
|
|
37
|
+
{ "op": "load_imm", "imm": "07" },
|
|
38
|
+
{ "op": "declare_pub_input", "var": 15 },
|
|
39
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
40
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
41
|
+
{ "op": "declare_pub_input", "var": 16 },
|
|
42
|
+
{ "op": "pi_skip", "guard": 1, "count": 4 },
|
|
43
|
+
{ "op": "load_imm", "imm": "10" },
|
|
44
|
+
{ "op": "load_imm", "imm": "-01" },
|
|
45
|
+
{ "op": "declare_pub_input", "var": 17 },
|
|
46
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
47
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
48
|
+
{ "op": "declare_pub_input", "var": 18 },
|
|
49
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
50
|
+
{ "op": "pi_skip", "guard": 1, "count": 5 },
|
|
51
|
+
{ "op": "load_imm", "imm": "19" },
|
|
52
|
+
{ "op": "declare_pub_input", "var": 19 },
|
|
53
|
+
{ "op": "pi_skip", "guard": 1, "count": 1 },
|
|
54
|
+
{ "op": "load_imm", "imm": "A1" },
|
|
55
|
+
{ "op": "declare_pub_input", "var": 20 },
|
|
56
|
+
{ "op": "pi_skip", "guard": 1, "count": 1 }
|
|
57
|
+
]
|
|
58
|
+
}
|
|
@@ -0,0 +1,65 @@
|
|
|
1
|
+
{
|
|
2
|
+
"version": { "major": 2, "minor": 0 },
|
|
3
|
+
"do_communications_commitment": true,
|
|
4
|
+
"num_inputs": 2,
|
|
5
|
+
"instructions": [
|
|
6
|
+
{ "op": "load_imm", "imm": "01" },
|
|
7
|
+
{ "op": "load_imm", "imm": "30" },
|
|
8
|
+
{ "op": "declare_pub_input", "var": 3 },
|
|
9
|
+
{ "op": "pi_skip", "guard": 2, "count": 1 },
|
|
10
|
+
{ "op": "load_imm", "imm": "50" },
|
|
11
|
+
{ "op": "load_imm", "imm": "03" },
|
|
12
|
+
{ "op": "declare_pub_input", "var": 4 },
|
|
13
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
14
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
15
|
+
{ "op": "declare_pub_input", "var": 5 },
|
|
16
|
+
{ "op": "pi_skip", "guard": 2, "count": 4 },
|
|
17
|
+
{ "op": "public_input", "guard": null },
|
|
18
|
+
{ "op": "public_input", "guard": null },
|
|
19
|
+
{ "op": "load_imm", "imm": "20" },
|
|
20
|
+
{ "op": "load_imm", "imm": "0C" },
|
|
21
|
+
{ "op": "declare_pub_input", "var": 9 },
|
|
22
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
23
|
+
{ "op": "declare_pub_input", "var": 8 },
|
|
24
|
+
{ "op": "declare_pub_input", "var": 6 },
|
|
25
|
+
{ "op": "declare_pub_input", "var": 7 },
|
|
26
|
+
{ "op": "pi_skip", "guard": 2, "count": 5 },
|
|
27
|
+
{ "op": "private_input", "guard": null },
|
|
28
|
+
{ "op": "constrain_bits", "var": 10, "bits": 8 },
|
|
29
|
+
{ "op": "private_input", "guard": null },
|
|
30
|
+
{ "op": "constrain_bits", "var": 11, "bits": 248 },
|
|
31
|
+
{ "op": "test_eq", "a": 6, "b": 10 },
|
|
32
|
+
{ "op": "test_eq", "a": 7, "b": 11 },
|
|
33
|
+
{ "op": "load_imm", "imm": "00" },
|
|
34
|
+
{ "op": "cond_select", "bit": 12, "a": 13, "b": 14 },
|
|
35
|
+
{ "op": "assert", "cond": 15 },
|
|
36
|
+
{ "op": "load_imm", "imm": "70" },
|
|
37
|
+
{ "op": "load_imm", "imm": "07" },
|
|
38
|
+
{ "op": "declare_pub_input", "var": 16 },
|
|
39
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
40
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
41
|
+
{ "op": "declare_pub_input", "var": 17 },
|
|
42
|
+
{ "op": "pi_skip", "guard": 2, "count": 4 },
|
|
43
|
+
{ "op": "load_imm", "imm": "10" },
|
|
44
|
+
{ "op": "load_imm", "imm": "-01" },
|
|
45
|
+
{ "op": "declare_pub_input", "var": 18 },
|
|
46
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
47
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
48
|
+
{ "op": "declare_pub_input", "var": 19 },
|
|
49
|
+
{ "op": "declare_pub_input", "var": 0 },
|
|
50
|
+
{ "op": "pi_skip", "guard": 2, "count": 5 },
|
|
51
|
+
{ "op": "load_imm", "imm": "11" },
|
|
52
|
+
{ "op": "declare_pub_input", "var": 20 },
|
|
53
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
54
|
+
{ "op": "declare_pub_input", "var": 2 },
|
|
55
|
+
{ "op": "declare_pub_input", "var": 19 },
|
|
56
|
+
{ "op": "declare_pub_input", "var": 1 },
|
|
57
|
+
{ "op": "pi_skip", "guard": 2, "count": 5 },
|
|
58
|
+
{ "op": "load_imm", "imm": "91" },
|
|
59
|
+
{ "op": "declare_pub_input", "var": 21 },
|
|
60
|
+
{ "op": "pi_skip", "guard": 2, "count": 1 },
|
|
61
|
+
{ "op": "load_imm", "imm": "A1" },
|
|
62
|
+
{ "op": "declare_pub_input", "var": 22 },
|
|
63
|
+
{ "op": "pi_skip", "guard": 2, "count": 1 }
|
|
64
|
+
]
|
|
65
|
+
}
|