@midnames/sdk 1.0.6 → 2.0.0-rc2

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 (142) hide show
  1. package/README.md +4 -43
  2. package/dist/contract.d.ts +5 -0
  3. package/dist/contract.js +5 -0
  4. package/dist/core.d.ts +27 -9
  5. package/dist/core.js +196 -233
  6. package/dist/errors.d.ts +0 -3
  7. package/dist/errors.js +9 -17
  8. package/dist/holographic-card.css +1 -1
  9. package/dist/index.d.ts +10 -10
  10. package/dist/index.js +15 -11
  11. package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/compiler/contract-info.json +298 -232
  12. package/dist/managed/contract/index.d.ts +237 -0
  13. package/{node_modules/@midnames/ns/dist/managed/leaf → dist/managed}/contract/index.js +2044 -1713
  14. package/dist/managed/keys/add_domain_field.prover +0 -0
  15. package/dist/managed/keys/add_multiple_fields.prover +0 -0
  16. package/dist/managed/keys/change_field_limit.prover +0 -0
  17. package/dist/managed/keys/change_root_enable_subdomains.prover +0 -0
  18. package/dist/managed/keys/clear_domain_fields.prover +0 -0
  19. package/dist/managed/keys/create_domain.prover +0 -0
  20. package/dist/managed/keys/lock_payment_config.prover +0 -0
  21. package/dist/managed/keys/lock_target.prover +0 -0
  22. package/dist/managed/keys/remove_domain_field.prover +0 -0
  23. package/dist/managed/keys/transfer_domain.prover +0 -0
  24. package/dist/managed/keys/update_domain_default_field.prover +0 -0
  25. package/dist/managed/keys/update_payment_config.prover +0 -0
  26. package/dist/managed/keys/update_target.prover +0 -0
  27. package/dist/operations.d.ts +32 -20
  28. package/dist/operations.js +86 -103
  29. package/dist/provider.d.ts +6 -7
  30. package/dist/provider.js +11 -7
  31. package/dist/react/DomainProfileWidget.d.ts +1 -1
  32. package/dist/react/DomainProfileWidget.js +14 -36
  33. package/dist/react/HolographicCard.d.ts +1 -17
  34. package/dist/react/HolographicCard.js +1 -6
  35. package/dist/results.d.ts +0 -25
  36. package/dist/results.js +2 -75
  37. package/dist/styles.css +0 -1
  38. package/dist/types.d.ts +19 -4
  39. package/dist/types.js +1 -2
  40. package/dist/utils/address.d.ts +6 -1
  41. package/dist/utils/address.js +23 -6
  42. package/dist/utils/domain.d.ts +0 -4
  43. package/dist/utils/domain.js +15 -40
  44. package/dist/utils/sanitize.js +0 -4
  45. package/dist/witnesses.d.ts +8 -0
  46. package/dist/witnesses.js +6 -0
  47. package/package.json +47 -83
  48. package/dist/controller-types.d.ts +0 -108
  49. package/dist/controller-types.js +0 -17
  50. package/dist/controller-types.js.map +0 -1
  51. package/dist/core.js.map +0 -1
  52. package/dist/errors.js.map +0 -1
  53. package/dist/index.js.map +0 -1
  54. package/dist/operations.js.map +0 -1
  55. package/dist/provider.js.map +0 -1
  56. package/dist/react/DomainProfileWidget/index.d.ts +0 -2
  57. package/dist/react/DomainProfileWidget/index.js +0 -2
  58. package/dist/react/DomainProfileWidget/index.js.map +0 -1
  59. package/dist/react/DomainProfileWidget.js.map +0 -1
  60. package/dist/react/HolographicCard/index.d.ts +0 -3
  61. package/dist/react/HolographicCard/index.js +0 -3
  62. package/dist/react/HolographicCard/index.js.map +0 -1
  63. package/dist/react/HolographicCard.js.map +0 -1
  64. package/dist/react/index.d.ts +0 -3
  65. package/dist/react/index.js +0 -3
  66. package/dist/react/index.js.map +0 -1
  67. package/dist/results.js.map +0 -1
  68. package/dist/types.js.map +0 -1
  69. package/dist/utils/address.js.map +0 -1
  70. package/dist/utils/domain.js.map +0 -1
  71. package/dist/utils/imageResolver.d.ts +0 -8
  72. package/dist/utils/imageResolver.js +0 -90
  73. package/dist/utils/imageResolver.js.map +0 -1
  74. package/dist/utils/index.d.ts +0 -2
  75. package/dist/utils/index.js +0 -3
  76. package/dist/utils/index.js.map +0 -1
  77. package/dist/utils/sanitize.js.map +0 -1
  78. package/node_modules/@midnames/ns/dist/index.d.ts +0 -5
  79. package/node_modules/@midnames/ns/dist/index.js +0 -6
  80. package/node_modules/@midnames/ns/dist/index.js.map +0 -1
  81. package/node_modules/@midnames/ns/dist/leaf.compact +0 -290
  82. package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.d.ts +0 -197
  83. package/node_modules/@midnames/ns/dist/managed/leaf/contract/index.js.map +0 -8
  84. package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.prover +0 -0
  85. package/node_modules/@midnames/ns/dist/managed/leaf/keys/add_multiple_fields.verifier +0 -0
  86. package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.prover +0 -0
  87. package/node_modules/@midnames/ns/dist/managed/leaf/keys/buy_domain_for.verifier +0 -0
  88. package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.prover +0 -0
  89. package/node_modules/@midnames/ns/dist/managed/leaf/keys/change_owner.verifier +0 -0
  90. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.prover +0 -0
  91. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_all_fields.verifier +0 -0
  92. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.prover +0 -0
  93. package/node_modules/@midnames/ns/dist/managed/leaf/keys/clear_field.verifier +0 -0
  94. package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.prover +0 -0
  95. package/node_modules/@midnames/ns/dist/managed/leaf/keys/insert_field.verifier +0 -0
  96. package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.prover +0 -0
  97. package/node_modules/@midnames/ns/dist/managed/leaf/keys/register_domain_for.verifier +0 -0
  98. package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.prover +0 -0
  99. package/node_modules/@midnames/ns/dist/managed/leaf/keys/set_resolver.verifier +0 -0
  100. package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.prover +0 -0
  101. package/node_modules/@midnames/ns/dist/managed/leaf/keys/transfer_domain.verifier +0 -0
  102. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.prover +0 -0
  103. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_color.verifier +0 -0
  104. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.prover +0 -0
  105. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_costs.verifier +0 -0
  106. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.prover +0 -0
  107. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_domain_target.verifier +0 -0
  108. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.prover +0 -0
  109. package/node_modules/@midnames/ns/dist/managed/leaf/keys/update_target_and_fields.verifier +0 -0
  110. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.bzkir +0 -0
  111. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/add_multiple_fields.zkir +0 -424
  112. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.bzkir +0 -0
  113. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/buy_domain_for.zkir +0 -1456
  114. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.bzkir +0 -0
  115. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/change_owner.zkir +0 -57
  116. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.bzkir +0 -0
  117. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_all_fields.zkir +0 -53
  118. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.bzkir +0 -0
  119. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/clear_field.zkir +0 -58
  120. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.bzkir +0 -0
  121. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/insert_field.zkir +0 -65
  122. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.bzkir +0 -0
  123. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/register_domain_for.zkir +0 -401
  124. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.bzkir +0 -0
  125. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/set_resolver.zkir +0 -109
  126. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.bzkir +0 -0
  127. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/transfer_domain.zkir +0 -212
  128. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.bzkir +0 -0
  129. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_color.zkir +0 -58
  130. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.bzkir +0 -0
  131. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_costs.zkir +0 -88
  132. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.bzkir +0 -0
  133. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_domain_target.zkir +0 -66
  134. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.bzkir +0 -0
  135. package/node_modules/@midnames/ns/dist/managed/leaf/zkir/update_target_and_fields.zkir +0 -450
  136. package/node_modules/@midnames/ns/dist/utils.d.ts +0 -5
  137. package/node_modules/@midnames/ns/dist/utils.js +0 -19
  138. package/node_modules/@midnames/ns/dist/utils.js.map +0 -1
  139. package/node_modules/@midnames/ns/dist/witnesses.d.ts +0 -4
  140. package/node_modules/@midnames/ns/dist/witnesses.js +0 -3
  141. package/node_modules/@midnames/ns/dist/witnesses.js.map +0 -1
  142. 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
- }
@@ -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
- }
@@ -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
- }
@@ -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
- }