@midnight-ntwrk/midnight-did-contract 0.5.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.
Files changed (68) hide show
  1. package/LICENSE +201 -0
  2. package/README.md +63 -0
  3. package/dist/controller-key.d.ts +2 -0
  4. package/dist/controller-key.d.ts.map +1 -0
  5. package/dist/controller-key.js +30 -0
  6. package/dist/controller-key.js.map +1 -0
  7. package/dist/did.compact +375 -0
  8. package/dist/index.d.ts +4 -0
  9. package/dist/index.d.ts.map +1 -0
  10. package/dist/index.js +18 -0
  11. package/dist/index.js.map +1 -0
  12. package/dist/managed/did/compiler/contract-info.json +481 -0
  13. package/dist/managed/did/contract/index.d.ts +233 -0
  14. package/dist/managed/did/contract/index.js +3658 -0
  15. package/dist/managed/did/contract/index.js.map +8 -0
  16. package/dist/managed/did/keys/deactivate.prover +0 -0
  17. package/dist/managed/did/keys/deactivate.verifier +0 -0
  18. package/dist/managed/did/keys/removeSchnorrJubjubVerificationMethod.prover +0 -0
  19. package/dist/managed/did/keys/removeSchnorrJubjubVerificationMethod.verifier +0 -0
  20. package/dist/managed/did/keys/removeService.prover +0 -0
  21. package/dist/managed/did/keys/removeService.verifier +0 -0
  22. package/dist/managed/did/keys/removeVerificationMethod.prover +0 -0
  23. package/dist/managed/did/keys/removeVerificationMethod.verifier +0 -0
  24. package/dist/managed/did/keys/rotateControllerKey.prover +0 -0
  25. package/dist/managed/did/keys/rotateControllerKey.verifier +0 -0
  26. package/dist/managed/did/keys/setAlsoKnownAs.prover +0 -0
  27. package/dist/managed/did/keys/setAlsoKnownAs.verifier +0 -0
  28. package/dist/managed/did/keys/setSchnorrJubjubVerificationMethod.prover +0 -0
  29. package/dist/managed/did/keys/setSchnorrJubjubVerificationMethod.verifier +0 -0
  30. package/dist/managed/did/keys/setService.prover +0 -0
  31. package/dist/managed/did/keys/setService.verifier +0 -0
  32. package/dist/managed/did/keys/setVerificationMethod.prover +0 -0
  33. package/dist/managed/did/keys/setVerificationMethod.verifier +0 -0
  34. package/dist/managed/did/keys/setVerificationMethodRelation.prover +0 -0
  35. package/dist/managed/did/keys/setVerificationMethodRelation.verifier +0 -0
  36. package/dist/managed/did/keys/verifySchnorrJubjubDigestSignature.prover +0 -0
  37. package/dist/managed/did/keys/verifySchnorrJubjubDigestSignature.verifier +0 -0
  38. package/dist/managed/did/zkir/deactivate.bzkir +0 -0
  39. package/dist/managed/did/zkir/deactivate.zkir +162 -0
  40. package/dist/managed/did/zkir/removeSchnorrJubjubVerificationMethod.bzkir +0 -0
  41. package/dist/managed/did/zkir/removeSchnorrJubjubVerificationMethod.zkir +299 -0
  42. package/dist/managed/did/zkir/removeService.bzkir +0 -0
  43. package/dist/managed/did/zkir/removeService.zkir +166 -0
  44. package/dist/managed/did/zkir/removeVerificationMethod.bzkir +0 -0
  45. package/dist/managed/did/zkir/removeVerificationMethod.zkir +300 -0
  46. package/dist/managed/did/zkir/rotateControllerKey.bzkir +0 -0
  47. package/dist/managed/did/zkir/rotateControllerKey.zkir +166 -0
  48. package/dist/managed/did/zkir/setAlsoKnownAs.bzkir +0 -0
  49. package/dist/managed/did/zkir/setAlsoKnownAs.zkir +258 -0
  50. package/dist/managed/did/zkir/setSchnorrJubjubVerificationMethod.bzkir +0 -0
  51. package/dist/managed/did/zkir/setSchnorrJubjubVerificationMethod.zkir +293 -0
  52. package/dist/managed/did/zkir/setService.bzkir +0 -0
  53. package/dist/managed/did/zkir/setService.zkir +256 -0
  54. package/dist/managed/did/zkir/setVerificationMethod.bzkir +0 -0
  55. package/dist/managed/did/zkir/setVerificationMethod.zkir +326 -0
  56. package/dist/managed/did/zkir/setVerificationMethodRelation.bzkir +0 -0
  57. package/dist/managed/did/zkir/setVerificationMethodRelation.zkir +683 -0
  58. package/dist/managed/did/zkir/verifySchnorrJubjubDigestSignature.bzkir +0 -0
  59. package/dist/managed/did/zkir/verifySchnorrJubjubDigestSignature.zkir +110 -0
  60. package/dist/witnesses.d.ts +11 -0
  61. package/dist/witnesses.d.ts.map +1 -0
  62. package/dist/witnesses.js +27 -0
  63. package/dist/witnesses.js.map +1 -0
  64. package/package.json +64 -0
  65. package/scripts/align-runtime-version.mjs +41 -0
  66. package/scripts/strip-managed-sourcemaps.mjs +30 -0
  67. package/tsconfig.build.json +24 -0
  68. package/tsconfig.json +37 -0
package/dist/managed/did/zkir/removeService.zkir ADDED
@@ -0,0 +1,166 @@
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": "private_input", "guard": null },
8
+ { "op": "constrain_bits", "var": 2, "bits": 8 },
9
+ { "op": "private_input", "guard": null },
10
+ { "op": "constrain_bits", "var": 3, "bits": 248 },
11
+ { "op": "load_imm", "imm": "00" },
12
+ { "op": "load_imm", "imm": "6469643A636F6E74726F6C6C65723A706B" },
13
+ { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [4, 5, 2, 3] },
14
+ { "op": "load_imm", "imm": "30" },
15
+ { "op": "declare_pub_input", "var": 8 },
16
+ { "op": "pi_skip", "guard": 1, "count": 1 },
17
+ { "op": "load_imm", "imm": "51" },
18
+ { "op": "declare_pub_input", "var": 9 },
19
+ { "op": "declare_pub_input", "var": 1 },
20
+ { "op": "declare_pub_input", "var": 1 },
21
+ { "op": "declare_pub_input", "var": 4 },
22
+ { "op": "declare_pub_input", "var": 1 },
23
+ { "op": "declare_pub_input", "var": 1 },
24
+ { "op": "declare_pub_input", "var": 1 },
25
+ { "op": "pi_skip", "guard": 1, "count": 7 },
26
+ { "op": "public_input", "guard": null },
27
+ { "op": "public_input", "guard": null },
28
+ { "op": "load_imm", "imm": "20" },
29
+ { "op": "load_imm", "imm": "0C" },
30
+ { "op": "declare_pub_input", "var": 13 },
31
+ { "op": "declare_pub_input", "var": 1 },
32
+ { "op": "declare_pub_input", "var": 12 },
33
+ { "op": "declare_pub_input", "var": 10 },
34
+ { "op": "declare_pub_input", "var": 11 },
35
+ { "op": "pi_skip", "guard": 1, "count": 5 },
36
+ { "op": "test_eq", "a": 6, "b": 10 },
37
+ { "op": "test_eq", "a": 7, "b": 11 },
38
+ { "op": "cond_select", "bit": 14, "a": 15, "b": 4 },
39
+ { "op": "assert", "cond": 16 },
40
+ { "op": "declare_pub_input", "var": 8 },
41
+ { "op": "pi_skip", "guard": 1, "count": 1 },
42
+ { "op": "load_imm", "imm": "05" },
43
+ { "op": "declare_pub_input", "var": 9 },
44
+ { "op": "declare_pub_input", "var": 1 },
45
+ { "op": "declare_pub_input", "var": 1 },
46
+ { "op": "declare_pub_input", "var": 1 },
47
+ { "op": "declare_pub_input", "var": 1 },
48
+ { "op": "declare_pub_input", "var": 1 },
49
+ { "op": "declare_pub_input", "var": 17 },
50
+ { "op": "pi_skip", "guard": 1, "count": 7 },
51
+ { "op": "public_input", "guard": null },
52
+ { "op": "declare_pub_input", "var": 13 },
53
+ { "op": "declare_pub_input", "var": 1 },
54
+ { "op": "declare_pub_input", "var": 1 },
55
+ { "op": "declare_pub_input", "var": 18 },
56
+ { "op": "pi_skip", "guard": 1, "count": 4 },
57
+ { "op": "assert", "cond": 18 },
58
+ { "op": "declare_pub_input", "var": 8 },
59
+ { "op": "pi_skip", "guard": 1, "count": 1 },
60
+ { "op": "load_imm", "imm": "0E" },
61
+ { "op": "declare_pub_input", "var": 9 },
62
+ { "op": "declare_pub_input", "var": 1 },
63
+ { "op": "declare_pub_input", "var": 1 },
64
+ { "op": "declare_pub_input", "var": 1 },
65
+ { "op": "declare_pub_input", "var": 1 },
66
+ { "op": "declare_pub_input", "var": 1 },
67
+ { "op": "declare_pub_input", "var": 19 },
68
+ { "op": "pi_skip", "guard": 1, "count": 7 },
69
+ { "op": "load_imm", "imm": "10" },
70
+ { "op": "load_imm", "imm": "-01" },
71
+ { "op": "declare_pub_input", "var": 20 },
72
+ { "op": "declare_pub_input", "var": 1 },
73
+ { "op": "declare_pub_input", "var": 1 },
74
+ { "op": "declare_pub_input", "var": 21 },
75
+ { "op": "declare_pub_input", "var": 0 },
76
+ { "op": "pi_skip", "guard": 1, "count": 5 },
77
+ { "op": "load_imm", "imm": "18" },
78
+ { "op": "declare_pub_input", "var": 22 },
79
+ { "op": "pi_skip", "guard": 1, "count": 1 },
80
+ { "op": "public_input", "guard": null },
81
+ { "op": "load_imm", "imm": "0D" },
82
+ { "op": "declare_pub_input", "var": 24 },
83
+ { "op": "declare_pub_input", "var": 1 },
84
+ { "op": "declare_pub_input", "var": 1 },
85
+ { "op": "declare_pub_input", "var": 23 },
86
+ { "op": "pi_skip", "guard": 1, "count": 4 },
87
+ { "op": "assert", "cond": 23 },
88
+ { "op": "load_imm", "imm": "71" },
89
+ { "op": "declare_pub_input", "var": 25 },
90
+ { "op": "declare_pub_input", "var": 1 },
91
+ { "op": "declare_pub_input", "var": 1 },
92
+ { "op": "declare_pub_input", "var": 1 },
93
+ { "op": "declare_pub_input", "var": 1 },
94
+ { "op": "declare_pub_input", "var": 1 },
95
+ { "op": "declare_pub_input", "var": 19 },
96
+ { "op": "pi_skip", "guard": 1, "count": 7 },
97
+ { "op": "declare_pub_input", "var": 20 },
98
+ { "op": "declare_pub_input", "var": 1 },
99
+ { "op": "declare_pub_input", "var": 1 },
100
+ { "op": "declare_pub_input", "var": 21 },
101
+ { "op": "declare_pub_input", "var": 0 },
102
+ { "op": "pi_skip", "guard": 1, "count": 5 },
103
+ { "op": "load_imm", "imm": "19" },
104
+ { "op": "declare_pub_input", "var": 26 },
105
+ { "op": "pi_skip", "guard": 1, "count": 1 },
106
+ { "op": "load_imm", "imm": "A2" },
107
+ { "op": "declare_pub_input", "var": 27 },
108
+ { "op": "pi_skip", "guard": 1, "count": 1 },
109
+ { "op": "load_imm", "imm": "06" },
110
+ { "op": "declare_pub_input", "var": 25 },
111
+ { "op": "declare_pub_input", "var": 1 },
112
+ { "op": "declare_pub_input", "var": 1 },
113
+ { "op": "declare_pub_input", "var": 1 },
114
+ { "op": "declare_pub_input", "var": 1 },
115
+ { "op": "declare_pub_input", "var": 1 },
116
+ { "op": "declare_pub_input", "var": 28 },
117
+ { "op": "pi_skip", "guard": 1, "count": 7 },
118
+ { "op": "declare_pub_input", "var": 19 },
119
+ { "op": "declare_pub_input", "var": 1 },
120
+ { "op": "pi_skip", "guard": 1, "count": 2 },
121
+ { "op": "declare_pub_input", "var": 27 },
122
+ { "op": "pi_skip", "guard": 1, "count": 1 },
123
+ { "op": "declare_pub_input", "var": 25 },
124
+ { "op": "declare_pub_input", "var": 1 },
125
+ { "op": "declare_pub_input", "var": 1 },
126
+ { "op": "declare_pub_input", "var": 1 },
127
+ { "op": "declare_pub_input", "var": 1 },
128
+ { "op": "declare_pub_input", "var": 1 },
129
+ { "op": "declare_pub_input", "var": 1 },
130
+ { "op": "pi_skip", "guard": 1, "count": 7 },
131
+ { "op": "declare_pub_input", "var": 19 },
132
+ { "op": "declare_pub_input", "var": 1 },
133
+ { "op": "pi_skip", "guard": 1, "count": 2 },
134
+ { "op": "declare_pub_input", "var": 27 },
135
+ { "op": "pi_skip", "guard": 1, "count": 1 },
136
+ { "op": "private_input", "guard": null },
137
+ { "op": "constrain_bits", "var": 29, "bits": 64 },
138
+ { "op": "load_imm", "imm": "70" },
139
+ { "op": "declare_pub_input", "var": 30 },
140
+ { "op": "declare_pub_input", "var": 1 },
141
+ { "op": "declare_pub_input", "var": 1 },
142
+ { "op": "declare_pub_input", "var": 1 },
143
+ { "op": "pi_skip", "guard": 1, "count": 4 },
144
+ { "op": "load_imm", "imm": "03" },
145
+ { "op": "declare_pub_input", "var": 20 },
146
+ { "op": "declare_pub_input", "var": 1 },
147
+ { "op": "declare_pub_input", "var": 1 },
148
+ { "op": "declare_pub_input", "var": 1 },
149
+ { "op": "declare_pub_input", "var": 31 },
150
+ { "op": "pi_skip", "guard": 1, "count": 5 },
151
+ { "op": "load_imm", "imm": "11" },
152
+ { "op": "load_imm", "imm": "08" },
153
+ { "op": "declare_pub_input", "var": 32 },
154
+ { "op": "declare_pub_input", "var": 1 },
155
+ { "op": "declare_pub_input", "var": 1 },
156
+ { "op": "declare_pub_input", "var": 33 },
157
+ { "op": "declare_pub_input", "var": 29 },
158
+ { "op": "pi_skip", "guard": 1, "count": 5 },
159
+ { "op": "load_imm", "imm": "91" },
160
+ { "op": "declare_pub_input", "var": 34 },
161
+ { "op": "pi_skip", "guard": 1, "count": 1 },
162
+ { "op": "load_imm", "imm": "A1" },
163
+ { "op": "declare_pub_input", "var": 35 },
164
+ { "op": "pi_skip", "guard": 1, "count": 1 }
165
+ ]
166
+ }
package/dist/managed/did/zkir/removeVerificationMethod.zkir ADDED
@@ -0,0 +1,300 @@
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": "private_input", "guard": null },
8
+ { "op": "constrain_bits", "var": 2, "bits": 8 },
9
+ { "op": "private_input", "guard": null },
10
+ { "op": "constrain_bits", "var": 3, "bits": 248 },
11
+ { "op": "load_imm", "imm": "00" },
12
+ { "op": "load_imm", "imm": "6469643A636F6E74726F6C6C65723A706B" },
13
+ { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [4, 5, 2, 3] },
14
+ { "op": "load_imm", "imm": "30" },
15
+ { "op": "declare_pub_input", "var": 8 },
16
+ { "op": "pi_skip", "guard": 1, "count": 1 },
17
+ { "op": "load_imm", "imm": "51" },
18
+ { "op": "declare_pub_input", "var": 9 },
19
+ { "op": "declare_pub_input", "var": 1 },
20
+ { "op": "declare_pub_input", "var": 1 },
21
+ { "op": "declare_pub_input", "var": 4 },
22
+ { "op": "declare_pub_input", "var": 1 },
23
+ { "op": "declare_pub_input", "var": 1 },
24
+ { "op": "declare_pub_input", "var": 1 },
25
+ { "op": "pi_skip", "guard": 1, "count": 7 },
26
+ { "op": "public_input", "guard": null },
27
+ { "op": "public_input", "guard": null },
28
+ { "op": "load_imm", "imm": "20" },
29
+ { "op": "load_imm", "imm": "0C" },
30
+ { "op": "declare_pub_input", "var": 13 },
31
+ { "op": "declare_pub_input", "var": 1 },
32
+ { "op": "declare_pub_input", "var": 12 },
33
+ { "op": "declare_pub_input", "var": 10 },
34
+ { "op": "declare_pub_input", "var": 11 },
35
+ { "op": "pi_skip", "guard": 1, "count": 5 },
36
+ { "op": "test_eq", "a": 6, "b": 10 },
37
+ { "op": "test_eq", "a": 7, "b": 11 },
38
+ { "op": "cond_select", "bit": 14, "a": 15, "b": 4 },
39
+ { "op": "assert", "cond": 16 },
40
+ { "op": "declare_pub_input", "var": 8 },
41
+ { "op": "pi_skip", "guard": 1, "count": 1 },
42
+ { "op": "load_imm", "imm": "05" },
43
+ { "op": "declare_pub_input", "var": 9 },
44
+ { "op": "declare_pub_input", "var": 1 },
45
+ { "op": "declare_pub_input", "var": 1 },
46
+ { "op": "declare_pub_input", "var": 1 },
47
+ { "op": "declare_pub_input", "var": 1 },
48
+ { "op": "declare_pub_input", "var": 1 },
49
+ { "op": "declare_pub_input", "var": 17 },
50
+ { "op": "pi_skip", "guard": 1, "count": 7 },
51
+ { "op": "public_input", "guard": null },
52
+ { "op": "declare_pub_input", "var": 13 },
53
+ { "op": "declare_pub_input", "var": 1 },
54
+ { "op": "declare_pub_input", "var": 1 },
55
+ { "op": "declare_pub_input", "var": 18 },
56
+ { "op": "pi_skip", "guard": 1, "count": 4 },
57
+ { "op": "assert", "cond": 18 },
58
+ { "op": "declare_pub_input", "var": 8 },
59
+ { "op": "pi_skip", "guard": 1, "count": 1 },
60
+ { "op": "load_imm", "imm": "07" },
61
+ { "op": "declare_pub_input", "var": 9 },
62
+ { "op": "declare_pub_input", "var": 1 },
63
+ { "op": "declare_pub_input", "var": 1 },
64
+ { "op": "declare_pub_input", "var": 1 },
65
+ { "op": "declare_pub_input", "var": 1 },
66
+ { "op": "declare_pub_input", "var": 1 },
67
+ { "op": "declare_pub_input", "var": 19 },
68
+ { "op": "pi_skip", "guard": 1, "count": 7 },
69
+ { "op": "load_imm", "imm": "10" },
70
+ { "op": "load_imm", "imm": "-01" },
71
+ { "op": "declare_pub_input", "var": 20 },
72
+ { "op": "declare_pub_input", "var": 1 },
73
+ { "op": "declare_pub_input", "var": 1 },
74
+ { "op": "declare_pub_input", "var": 21 },
75
+ { "op": "declare_pub_input", "var": 0 },
76
+ { "op": "pi_skip", "guard": 1, "count": 5 },
77
+ { "op": "load_imm", "imm": "18" },
78
+ { "op": "declare_pub_input", "var": 22 },
79
+ { "op": "pi_skip", "guard": 1, "count": 1 },
80
+ { "op": "public_input", "guard": null },
81
+ { "op": "load_imm", "imm": "0D" },
82
+ { "op": "declare_pub_input", "var": 24 },
83
+ { "op": "declare_pub_input", "var": 1 },
84
+ { "op": "declare_pub_input", "var": 1 },
85
+ { "op": "declare_pub_input", "var": 23 },
86
+ { "op": "pi_skip", "guard": 1, "count": 4 },
87
+ { "op": "assert", "cond": 23 },
88
+ { "op": "declare_pub_input", "var": 8 },
89
+ { "op": "pi_skip", "guard": 1, "count": 1 },
90
+ { "op": "load_imm", "imm": "09" },
91
+ { "op": "declare_pub_input", "var": 9 },
92
+ { "op": "declare_pub_input", "var": 1 },
93
+ { "op": "declare_pub_input", "var": 1 },
94
+ { "op": "declare_pub_input", "var": 1 },
95
+ { "op": "declare_pub_input", "var": 1 },
96
+ { "op": "declare_pub_input", "var": 1 },
97
+ { "op": "declare_pub_input", "var": 25 },
98
+ { "op": "pi_skip", "guard": 1, "count": 7 },
99
+ { "op": "declare_pub_input", "var": 20 },
100
+ { "op": "declare_pub_input", "var": 1 },
101
+ { "op": "declare_pub_input", "var": 1 },
102
+ { "op": "declare_pub_input", "var": 21 },
103
+ { "op": "declare_pub_input", "var": 0 },
104
+ { "op": "pi_skip", "guard": 1, "count": 5 },
105
+ { "op": "declare_pub_input", "var": 22 },
106
+ { "op": "pi_skip", "guard": 1, "count": 1 },
107
+ { "op": "public_input", "guard": null },
108
+ { "op": "declare_pub_input", "var": 24 },
109
+ { "op": "declare_pub_input", "var": 1 },
110
+ { "op": "declare_pub_input", "var": 1 },
111
+ { "op": "declare_pub_input", "var": 26 },
112
+ { "op": "pi_skip", "guard": 1, "count": 4 },
113
+ { "op": "cond_select", "bit": 26, "a": 4, "b": 1 },
114
+ { "op": "assert", "cond": 27 },
115
+ { "op": "declare_pub_input", "var": 8 },
116
+ { "op": "pi_skip", "guard": 1, "count": 1 },
117
+ { "op": "load_imm", "imm": "0A" },
118
+ { "op": "declare_pub_input", "var": 9 },
119
+ { "op": "declare_pub_input", "var": 1 },
120
+ { "op": "declare_pub_input", "var": 1 },
121
+ { "op": "declare_pub_input", "var": 1 },
122
+ { "op": "declare_pub_input", "var": 1 },
123
+ { "op": "declare_pub_input", "var": 1 },
124
+ { "op": "declare_pub_input", "var": 28 },
125
+ { "op": "pi_skip", "guard": 1, "count": 7 },
126
+ { "op": "declare_pub_input", "var": 20 },
127
+ { "op": "declare_pub_input", "var": 1 },
128
+ { "op": "declare_pub_input", "var": 1 },
129
+ { "op": "declare_pub_input", "var": 21 },
130
+ { "op": "declare_pub_input", "var": 0 },
131
+ { "op": "pi_skip", "guard": 1, "count": 5 },
132
+ { "op": "declare_pub_input", "var": 22 },
133
+ { "op": "pi_skip", "guard": 1, "count": 1 },
134
+ { "op": "public_input", "guard": null },
135
+ { "op": "declare_pub_input", "var": 24 },
136
+ { "op": "declare_pub_input", "var": 1 },
137
+ { "op": "declare_pub_input", "var": 1 },
138
+ { "op": "declare_pub_input", "var": 29 },
139
+ { "op": "pi_skip", "guard": 1, "count": 4 },
140
+ { "op": "cond_select", "bit": 29, "a": 4, "b": 1 },
141
+ { "op": "assert", "cond": 30 },
142
+ { "op": "declare_pub_input", "var": 8 },
143
+ { "op": "pi_skip", "guard": 1, "count": 1 },
144
+ { "op": "load_imm", "imm": "0B" },
145
+ { "op": "declare_pub_input", "var": 9 },
146
+ { "op": "declare_pub_input", "var": 1 },
147
+ { "op": "declare_pub_input", "var": 1 },
148
+ { "op": "declare_pub_input", "var": 1 },
149
+ { "op": "declare_pub_input", "var": 1 },
150
+ { "op": "declare_pub_input", "var": 1 },
151
+ { "op": "declare_pub_input", "var": 31 },
152
+ { "op": "pi_skip", "guard": 1, "count": 7 },
153
+ { "op": "declare_pub_input", "var": 20 },
154
+ { "op": "declare_pub_input", "var": 1 },
155
+ { "op": "declare_pub_input", "var": 1 },
156
+ { "op": "declare_pub_input", "var": 21 },
157
+ { "op": "declare_pub_input", "var": 0 },
158
+ { "op": "pi_skip", "guard": 1, "count": 5 },
159
+ { "op": "declare_pub_input", "var": 22 },
160
+ { "op": "pi_skip", "guard": 1, "count": 1 },
161
+ { "op": "public_input", "guard": null },
162
+ { "op": "declare_pub_input", "var": 24 },
163
+ { "op": "declare_pub_input", "var": 1 },
164
+ { "op": "declare_pub_input", "var": 1 },
165
+ { "op": "declare_pub_input", "var": 32 },
166
+ { "op": "pi_skip", "guard": 1, "count": 4 },
167
+ { "op": "cond_select", "bit": 32, "a": 4, "b": 1 },
168
+ { "op": "assert", "cond": 33 },
169
+ { "op": "declare_pub_input", "var": 8 },
170
+ { "op": "pi_skip", "guard": 1, "count": 1 },
171
+ { "op": "declare_pub_input", "var": 9 },
172
+ { "op": "declare_pub_input", "var": 1 },
173
+ { "op": "declare_pub_input", "var": 1 },
174
+ { "op": "declare_pub_input", "var": 1 },
175
+ { "op": "declare_pub_input", "var": 1 },
176
+ { "op": "declare_pub_input", "var": 1 },
177
+ { "op": "declare_pub_input", "var": 13 },
178
+ { "op": "pi_skip", "guard": 1, "count": 7 },
179
+ { "op": "declare_pub_input", "var": 20 },
180
+ { "op": "declare_pub_input", "var": 1 },
181
+ { "op": "declare_pub_input", "var": 1 },
182
+ { "op": "declare_pub_input", "var": 21 },
183
+ { "op": "declare_pub_input", "var": 0 },
184
+ { "op": "pi_skip", "guard": 1, "count": 5 },
185
+ { "op": "declare_pub_input", "var": 22 },
186
+ { "op": "pi_skip", "guard": 1, "count": 1 },
187
+ { "op": "public_input", "guard": null },
188
+ { "op": "declare_pub_input", "var": 24 },
189
+ { "op": "declare_pub_input", "var": 1 },
190
+ { "op": "declare_pub_input", "var": 1 },
191
+ { "op": "declare_pub_input", "var": 34 },
192
+ { "op": "pi_skip", "guard": 1, "count": 4 },
193
+ { "op": "cond_select", "bit": 34, "a": 4, "b": 1 },
194
+ { "op": "assert", "cond": 35 },
195
+ { "op": "declare_pub_input", "var": 8 },
196
+ { "op": "pi_skip", "guard": 1, "count": 1 },
197
+ { "op": "declare_pub_input", "var": 9 },
198
+ { "op": "declare_pub_input", "var": 1 },
199
+ { "op": "declare_pub_input", "var": 1 },
200
+ { "op": "declare_pub_input", "var": 1 },
201
+ { "op": "declare_pub_input", "var": 1 },
202
+ { "op": "declare_pub_input", "var": 1 },
203
+ { "op": "declare_pub_input", "var": 24 },
204
+ { "op": "pi_skip", "guard": 1, "count": 7 },
205
+ { "op": "declare_pub_input", "var": 20 },
206
+ { "op": "declare_pub_input", "var": 1 },
207
+ { "op": "declare_pub_input", "var": 1 },
208
+ { "op": "declare_pub_input", "var": 21 },
209
+ { "op": "declare_pub_input", "var": 0 },
210
+ { "op": "pi_skip", "guard": 1, "count": 5 },
211
+ { "op": "declare_pub_input", "var": 22 },
212
+ { "op": "pi_skip", "guard": 1, "count": 1 },
213
+ { "op": "public_input", "guard": null },
214
+ { "op": "declare_pub_input", "var": 24 },
215
+ { "op": "declare_pub_input", "var": 1 },
216
+ { "op": "declare_pub_input", "var": 1 },
217
+ { "op": "declare_pub_input", "var": 36 },
218
+ { "op": "pi_skip", "guard": 1, "count": 4 },
219
+ { "op": "cond_select", "bit": 36, "a": 4, "b": 1 },
220
+ { "op": "assert", "cond": 37 },
221
+ { "op": "load_imm", "imm": "71" },
222
+ { "op": "declare_pub_input", "var": 38 },
223
+ { "op": "declare_pub_input", "var": 1 },
224
+ { "op": "declare_pub_input", "var": 1 },
225
+ { "op": "declare_pub_input", "var": 1 },
226
+ { "op": "declare_pub_input", "var": 1 },
227
+ { "op": "declare_pub_input", "var": 1 },
228
+ { "op": "declare_pub_input", "var": 19 },
229
+ { "op": "pi_skip", "guard": 1, "count": 7 },
230
+ { "op": "declare_pub_input", "var": 20 },
231
+ { "op": "declare_pub_input", "var": 1 },
232
+ { "op": "declare_pub_input", "var": 1 },
233
+ { "op": "declare_pub_input", "var": 21 },
234
+ { "op": "declare_pub_input", "var": 0 },
235
+ { "op": "pi_skip", "guard": 1, "count": 5 },
236
+ { "op": "load_imm", "imm": "19" },
237
+ { "op": "declare_pub_input", "var": 39 },
238
+ { "op": "pi_skip", "guard": 1, "count": 1 },
239
+ { "op": "load_imm", "imm": "A2" },
240
+ { "op": "declare_pub_input", "var": 40 },
241
+ { "op": "pi_skip", "guard": 1, "count": 1 },
242
+ { "op": "load_imm", "imm": "06" },
243
+ { "op": "declare_pub_input", "var": 38 },
244
+ { "op": "declare_pub_input", "var": 1 },
245
+ { "op": "declare_pub_input", "var": 1 },
246
+ { "op": "declare_pub_input", "var": 1 },
247
+ { "op": "declare_pub_input", "var": 1 },
248
+ { "op": "declare_pub_input", "var": 1 },
249
+ { "op": "declare_pub_input", "var": 41 },
250
+ { "op": "pi_skip", "guard": 1, "count": 7 },
251
+ { "op": "load_imm", "imm": "0E" },
252
+ { "op": "declare_pub_input", "var": 42 },
253
+ { "op": "declare_pub_input", "var": 1 },
254
+ { "op": "pi_skip", "guard": 1, "count": 2 },
255
+ { "op": "declare_pub_input", "var": 40 },
256
+ { "op": "pi_skip", "guard": 1, "count": 1 },
257
+ { "op": "declare_pub_input", "var": 38 },
258
+ { "op": "declare_pub_input", "var": 1 },
259
+ { "op": "declare_pub_input", "var": 1 },
260
+ { "op": "declare_pub_input", "var": 1 },
261
+ { "op": "declare_pub_input", "var": 1 },
262
+ { "op": "declare_pub_input", "var": 1 },
263
+ { "op": "declare_pub_input", "var": 1 },
264
+ { "op": "pi_skip", "guard": 1, "count": 7 },
265
+ { "op": "declare_pub_input", "var": 42 },
266
+ { "op": "declare_pub_input", "var": 1 },
267
+ { "op": "pi_skip", "guard": 1, "count": 2 },
268
+ { "op": "declare_pub_input", "var": 40 },
269
+ { "op": "pi_skip", "guard": 1, "count": 1 },
270
+ { "op": "private_input", "guard": null },
271
+ { "op": "constrain_bits", "var": 43, "bits": 64 },
272
+ { "op": "load_imm", "imm": "70" },
273
+ { "op": "declare_pub_input", "var": 44 },
274
+ { "op": "declare_pub_input", "var": 1 },
275
+ { "op": "declare_pub_input", "var": 1 },
276
+ { "op": "declare_pub_input", "var": 1 },
277
+ { "op": "pi_skip", "guard": 1, "count": 4 },
278
+ { "op": "load_imm", "imm": "03" },
279
+ { "op": "declare_pub_input", "var": 20 },
280
+ { "op": "declare_pub_input", "var": 1 },
281
+ { "op": "declare_pub_input", "var": 1 },
282
+ { "op": "declare_pub_input", "var": 1 },
283
+ { "op": "declare_pub_input", "var": 45 },
284
+ { "op": "pi_skip", "guard": 1, "count": 5 },
285
+ { "op": "load_imm", "imm": "11" },
286
+ { "op": "load_imm", "imm": "08" },
287
+ { "op": "declare_pub_input", "var": 46 },
288
+ { "op": "declare_pub_input", "var": 1 },
289
+ { "op": "declare_pub_input", "var": 1 },
290
+ { "op": "declare_pub_input", "var": 47 },
291
+ { "op": "declare_pub_input", "var": 43 },
292
+ { "op": "pi_skip", "guard": 1, "count": 5 },
293
+ { "op": "load_imm", "imm": "91" },
294
+ { "op": "declare_pub_input", "var": 48 },
295
+ { "op": "pi_skip", "guard": 1, "count": 1 },
296
+ { "op": "load_imm", "imm": "A1" },
297
+ { "op": "declare_pub_input", "var": 49 },
298
+ { "op": "pi_skip", "guard": 1, "count": 1 }
299
+ ]
300
+ }
package/dist/managed/did/zkir/rotateControllerKey.zkir ADDED
@@ -0,0 +1,166 @@
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": "private_input", "guard": null },
10
+ { "op": "constrain_bits", "var": 3, "bits": 8 },
11
+ { "op": "private_input", "guard": null },
12
+ { "op": "constrain_bits", "var": 4, "bits": 248 },
13
+ { "op": "load_imm", "imm": "00" },
14
+ { "op": "load_imm", "imm": "6469643A636F6E74726F6C6C65723A706B" },
15
+ { "op": "persistent_hash", "alignment": [{ "tag": "atom", "value": { "length": 32, "tag": "bytes" } }, { "tag": "atom", "value": { "length": 32, "tag": "bytes" } }], "inputs": [5, 6, 3, 4] },
16
+ { "op": "load_imm", "imm": "30" },
17
+ { "op": "declare_pub_input", "var": 9 },
18
+ { "op": "pi_skip", "guard": 2, "count": 1 },
19
+ { "op": "load_imm", "imm": "51" },
20
+ { "op": "declare_pub_input", "var": 10 },
21
+ { "op": "declare_pub_input", "var": 2 },
22
+ { "op": "declare_pub_input", "var": 2 },
23
+ { "op": "declare_pub_input", "var": 5 },
24
+ { "op": "declare_pub_input", "var": 2 },
25
+ { "op": "declare_pub_input", "var": 2 },
26
+ { "op": "declare_pub_input", "var": 2 },
27
+ { "op": "pi_skip", "guard": 2, "count": 7 },
28
+ { "op": "public_input", "guard": null },
29
+ { "op": "public_input", "guard": null },
30
+ { "op": "load_imm", "imm": "20" },
31
+ { "op": "load_imm", "imm": "0C" },
32
+ { "op": "declare_pub_input", "var": 14 },
33
+ { "op": "declare_pub_input", "var": 2 },
34
+ { "op": "declare_pub_input", "var": 13 },
35
+ { "op": "declare_pub_input", "var": 11 },
36
+ { "op": "declare_pub_input", "var": 12 },
37
+ { "op": "pi_skip", "guard": 2, "count": 5 },
38
+ { "op": "test_eq", "a": 7, "b": 11 },
39
+ { "op": "test_eq", "a": 8, "b": 12 },
40
+ { "op": "cond_select", "bit": 15, "a": 16, "b": 5 },
41
+ { "op": "assert", "cond": 17 },
42
+ { "op": "declare_pub_input", "var": 9 },
43
+ { "op": "pi_skip", "guard": 2, "count": 1 },
44
+ { "op": "load_imm", "imm": "05" },
45
+ { "op": "declare_pub_input", "var": 10 },
46
+ { "op": "declare_pub_input", "var": 2 },
47
+ { "op": "declare_pub_input", "var": 2 },
48
+ { "op": "declare_pub_input", "var": 2 },
49
+ { "op": "declare_pub_input", "var": 2 },
50
+ { "op": "declare_pub_input", "var": 2 },
51
+ { "op": "declare_pub_input", "var": 18 },
52
+ { "op": "pi_skip", "guard": 2, "count": 7 },
53
+ { "op": "public_input", "guard": null },
54
+ { "op": "declare_pub_input", "var": 14 },
55
+ { "op": "declare_pub_input", "var": 2 },
56
+ { "op": "declare_pub_input", "var": 2 },
57
+ { "op": "declare_pub_input", "var": 19 },
58
+ { "op": "pi_skip", "guard": 2, "count": 4 },
59
+ { "op": "assert", "cond": 19 },
60
+ { "op": "declare_pub_input", "var": 9 },
61
+ { "op": "pi_skip", "guard": 2, "count": 1 },
62
+ { "op": "declare_pub_input", "var": 10 },
63
+ { "op": "declare_pub_input", "var": 2 },
64
+ { "op": "declare_pub_input", "var": 2 },
65
+ { "op": "declare_pub_input", "var": 5 },
66
+ { "op": "declare_pub_input", "var": 2 },
67
+ { "op": "declare_pub_input", "var": 2 },
68
+ { "op": "declare_pub_input", "var": 2 },
69
+ { "op": "pi_skip", "guard": 2, "count": 7 },
70
+ { "op": "public_input", "guard": null },
71
+ { "op": "public_input", "guard": null },
72
+ { "op": "declare_pub_input", "var": 14 },
73
+ { "op": "declare_pub_input", "var": 2 },
74
+ { "op": "declare_pub_input", "var": 13 },
75
+ { "op": "declare_pub_input", "var": 20 },
76
+ { "op": "declare_pub_input", "var": 21 },
77
+ { "op": "pi_skip", "guard": 2, "count": 5 },
78
+ { "op": "test_eq", "a": 0, "b": 20 },
79
+ { "op": "test_eq", "a": 1, "b": 21 },
80
+ { "op": "cond_select", "bit": 22, "a": 23, "b": 5 },
81
+ { "op": "cond_select", "bit": 24, "a": 5, "b": 2 },
82
+ { "op": "assert", "cond": 25 },
83
+ { "op": "load_imm", "imm": "70" },
84
+ { "op": "declare_pub_input", "var": 26 },
85
+ { "op": "declare_pub_input", "var": 2 },
86
+ { "op": "declare_pub_input", "var": 2 },
87
+ { "op": "declare_pub_input", "var": 5 },
88
+ { "op": "pi_skip", "guard": 2, "count": 4 },
89
+ { "op": "load_imm", "imm": "10" },
90
+ { "op": "declare_pub_input", "var": 27 },
91
+ { "op": "declare_pub_input", "var": 2 },
92
+ { "op": "declare_pub_input", "var": 2 },
93
+ { "op": "declare_pub_input", "var": 2 },
94
+ { "op": "declare_pub_input", "var": 2 },
95
+ { "op": "pi_skip", "guard": 2, "count": 5 },
96
+ { "op": "load_imm", "imm": "11" },
97
+ { "op": "declare_pub_input", "var": 28 },
98
+ { "op": "declare_pub_input", "var": 2 },
99
+ { "op": "declare_pub_input", "var": 2 },
100
+ { "op": "declare_pub_input", "var": 13 },
101
+ { "op": "declare_pub_input", "var": 0 },
102
+ { "op": "declare_pub_input", "var": 1 },
103
+ { "op": "pi_skip", "guard": 2, "count": 6 },
104
+ { "op": "load_imm", "imm": "91" },
105
+ { "op": "declare_pub_input", "var": 29 },
106
+ { "op": "pi_skip", "guard": 2, "count": 1 },
107
+ { "op": "load_imm", "imm": "A1" },
108
+ { "op": "declare_pub_input", "var": 30 },
109
+ { "op": "pi_skip", "guard": 2, "count": 1 },
110
+ { "op": "load_imm", "imm": "71" },
111
+ { "op": "load_imm", "imm": "06" },
112
+ { "op": "declare_pub_input", "var": 31 },
113
+ { "op": "declare_pub_input", "var": 2 },
114
+ { "op": "declare_pub_input", "var": 2 },
115
+ { "op": "declare_pub_input", "var": 2 },
116
+ { "op": "declare_pub_input", "var": 2 },
117
+ { "op": "declare_pub_input", "var": 2 },
118
+ { "op": "declare_pub_input", "var": 32 },
119
+ { "op": "pi_skip", "guard": 2, "count": 7 },
120
+ { "op": "load_imm", "imm": "0E" },
121
+ { "op": "declare_pub_input", "var": 33 },
122
+ { "op": "declare_pub_input", "var": 2 },
123
+ { "op": "pi_skip", "guard": 2, "count": 2 },
124
+ { "op": "load_imm", "imm": "A2" },
125
+ { "op": "declare_pub_input", "var": 34 },
126
+ { "op": "pi_skip", "guard": 2, "count": 1 },
127
+ { "op": "declare_pub_input", "var": 31 },
128
+ { "op": "declare_pub_input", "var": 2 },
129
+ { "op": "declare_pub_input", "var": 2 },
130
+ { "op": "declare_pub_input", "var": 2 },
131
+ { "op": "declare_pub_input", "var": 2 },
132
+ { "op": "declare_pub_input", "var": 2 },
133
+ { "op": "declare_pub_input", "var": 2 },
134
+ { "op": "pi_skip", "guard": 2, "count": 7 },
135
+ { "op": "declare_pub_input", "var": 33 },
136
+ { "op": "declare_pub_input", "var": 2 },
137
+ { "op": "pi_skip", "guard": 2, "count": 2 },
138
+ { "op": "declare_pub_input", "var": 34 },
139
+ { "op": "pi_skip", "guard": 2, "count": 1 },
140
+ { "op": "private_input", "guard": null },
141
+ { "op": "constrain_bits", "var": 35, "bits": 64 },
142
+ { "op": "declare_pub_input", "var": 26 },
143
+ { "op": "declare_pub_input", "var": 2 },
144
+ { "op": "declare_pub_input", "var": 2 },
145
+ { "op": "declare_pub_input", "var": 2 },
146
+ { "op": "pi_skip", "guard": 2, "count": 4 },
147
+ { "op": "load_imm", "imm": "03" },
148
+ { "op": "declare_pub_input", "var": 27 },
149
+ { "op": "declare_pub_input", "var": 2 },
150
+ { "op": "declare_pub_input", "var": 2 },
151
+ { "op": "declare_pub_input", "var": 2 },
152
+ { "op": "declare_pub_input", "var": 36 },
153
+ { "op": "pi_skip", "guard": 2, "count": 5 },
154
+ { "op": "load_imm", "imm": "08" },
155
+ { "op": "declare_pub_input", "var": 28 },
156
+ { "op": "declare_pub_input", "var": 2 },
157
+ { "op": "declare_pub_input", "var": 2 },
158
+ { "op": "declare_pub_input", "var": 37 },
159
+ { "op": "declare_pub_input", "var": 35 },
160
+ { "op": "pi_skip", "guard": 2, "count": 5 },
161
+ { "op": "declare_pub_input", "var": 29 },
162
+ { "op": "pi_skip", "guard": 2, "count": 1 },
163
+ { "op": "declare_pub_input", "var": 30 },
164
+ { "op": "pi_skip", "guard": 2, "count": 1 }
165
+ ]
166
+ }