@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
|
Binary file
|
|
@@ -1,57 +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": "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
|
-
}
|
|
Binary file
|
|
@@ -1,53 +0,0 @@
|
|
|
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
|
-
}
|
|
Binary file
|
|
@@ -1,58 +0,0 @@
|
|
|
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
|
-
}
|
|
Binary file
|
|
@@ -1,65 +0,0 @@
|
|
|
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
|
-
}
|