noah-starknet 0.1.0

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 (186) hide show
  1. package/assets/abis/CredentialRegistry.json +438 -0
  2. package/assets/abis/UltraStarknetHonkVerifier.json +1 -0
  3. package/assets/circuit.json +1 -0
  4. package/assets/deployments.json +4 -0
  5. package/assets/vk.bin +0 -0
  6. package/dist/check_garaga_output.d.ts +1 -0
  7. package/dist/check_garaga_output.js +12 -0
  8. package/dist/check_garaga_output.js.map +1 -0
  9. package/dist/check_generator.d.ts +1 -0
  10. package/dist/check_generator.js +16 -0
  11. package/dist/check_generator.js.map +1 -0
  12. package/dist/check_hash.d.ts +3 -0
  13. package/dist/check_hash.js +7 -0
  14. package/dist/check_hash.js.map +1 -0
  15. package/dist/check_point.d.ts +6 -0
  16. package/dist/check_point.js +33 -0
  17. package/dist/check_point.js.map +1 -0
  18. package/dist/check_single_point.d.ts +7 -0
  19. package/dist/check_single_point.js +19 -0
  20. package/dist/check_single_point.js.map +1 -0
  21. package/dist/check_size.d.ts +1 -0
  22. package/dist/check_size.js +50 -0
  23. package/dist/check_size.js.map +1 -0
  24. package/dist/check_tail_points.d.ts +1 -0
  25. package/dist/check_tail_points.js +21 -0
  26. package/dist/check_tail_points.js.map +1 -0
  27. package/dist/check_tail_points_extended.d.ts +2 -0
  28. package/dist/check_tail_points_extended.js +38 -0
  29. package/dist/check_tail_points_extended.js.map +1 -0
  30. package/dist/check_w1_offset.d.ts +1 -0
  31. package/dist/check_w1_offset.js +56 -0
  32. package/dist/check_w1_offset.js.map +1 -0
  33. package/dist/circuit/garaga_adapter.d.ts +69 -0
  34. package/dist/circuit/garaga_adapter.js +294 -0
  35. package/dist/circuit/garaga_adapter.js.map +1 -0
  36. package/dist/circuit/prover.d.ts +62 -0
  37. package/dist/circuit/prover.js +197 -0
  38. package/dist/circuit/prover.js.map +1 -0
  39. package/dist/compare_sdk_and_good.d.ts +1 -0
  40. package/dist/compare_sdk_and_good.js +49 -0
  41. package/dist/compare_sdk_and_good.js.map +1 -0
  42. package/dist/compare_vks.d.ts +1 -0
  43. package/dist/compare_vks.js +47 -0
  44. package/dist/compare_vks.js.map +1 -0
  45. package/dist/contract/manager.d.ts +19 -0
  46. package/dist/contract/manager.js +39 -0
  47. package/dist/contract/manager.js.map +1 -0
  48. package/dist/contract/registry.d.ts +31 -0
  49. package/dist/contract/registry.js +104 -0
  50. package/dist/contract/registry.js.map +1 -0
  51. package/dist/crypto/blinded.d.ts +19 -0
  52. package/dist/crypto/blinded.js +36 -0
  53. package/dist/crypto/blinded.js.map +1 -0
  54. package/dist/data/mrz.d.ts +24 -0
  55. package/dist/data/mrz.js +95 -0
  56. package/dist/data/mrz.js.map +1 -0
  57. package/dist/data/nfc.d.ts +33 -0
  58. package/dist/data/nfc.js +44 -0
  59. package/dist/data/nfc.js.map +1 -0
  60. package/dist/data/provider.d.ts +19 -0
  61. package/dist/data/provider.js +27 -0
  62. package/dist/data/provider.js.map +1 -0
  63. package/dist/debug_adapter_parse.d.ts +1 -0
  64. package/dist/debug_adapter_parse.js +49 -0
  65. package/dist/debug_adapter_parse.js.map +1 -0
  66. package/dist/debug_offset.d.ts +1 -0
  67. package/dist/debug_offset.js +21 -0
  68. package/dist/debug_offset.js.map +1 -0
  69. package/dist/debug_proof_head.d.ts +1 -0
  70. package/dist/debug_proof_head.js +45 -0
  71. package/dist/debug_proof_head.js.map +1 -0
  72. package/dist/debug_proof_tail.d.ts +1 -0
  73. package/dist/debug_proof_tail.js +39 -0
  74. package/dist/debug_proof_tail.js.map +1 -0
  75. package/dist/debug_public_inputs.d.ts +0 -0
  76. package/dist/debug_public_inputs.js +72 -0
  77. package/dist/debug_public_inputs.js.map +1 -0
  78. package/dist/debug_raw_vk.d.ts +1 -0
  79. package/dist/debug_raw_vk.js +22 -0
  80. package/dist/debug_raw_vk.js.map +1 -0
  81. package/dist/debug_shift_dump.d.ts +1 -0
  82. package/dist/debug_shift_dump.js +75 -0
  83. package/dist/debug_shift_dump.js.map +1 -0
  84. package/dist/debug_vk.d.ts +1 -0
  85. package/dist/debug_vk.js +43 -0
  86. package/dist/debug_vk.js.map +1 -0
  87. package/dist/debug_with_adapter.d.ts +1 -0
  88. package/dist/debug_with_adapter.js +103 -0
  89. package/dist/debug_with_adapter.js.map +1 -0
  90. package/dist/fingerprint_vk.d.ts +1 -0
  91. package/dist/fingerprint_vk.js +21 -0
  92. package/dist/fingerprint_vk.js.map +1 -0
  93. package/dist/index.d.ts +14 -0
  94. package/dist/index.js +15 -0
  95. package/dist/index.js.map +1 -0
  96. package/dist/inspect_garaga.d.ts +1 -0
  97. package/dist/inspect_garaga.js +10 -0
  98. package/dist/inspect_garaga.js.map +1 -0
  99. package/dist/locate_value.d.ts +1 -0
  100. package/dist/locate_value.js +50 -0
  101. package/dist/locate_value.js.map +1 -0
  102. package/dist/locate_value_2.d.ts +1 -0
  103. package/dist/locate_value_2.js +45 -0
  104. package/dist/locate_value_2.js.map +1 -0
  105. package/dist/orchestrator/jobs.d.ts +24 -0
  106. package/dist/orchestrator/jobs.js +47 -0
  107. package/dist/orchestrator/jobs.js.map +1 -0
  108. package/dist/orchestrator/proof.d.ts +50 -0
  109. package/dist/orchestrator/proof.js +114 -0
  110. package/dist/orchestrator/proof.js.map +1 -0
  111. package/dist/probe_vk.d.ts +1 -0
  112. package/dist/probe_vk.js +33 -0
  113. package/dist/probe_vk.js.map +1 -0
  114. package/dist/probe_vk_le.d.ts +1 -0
  115. package/dist/probe_vk_le.js +31 -0
  116. package/dist/probe_vk_le.js.map +1 -0
  117. package/dist/probe_vk_packed.d.ts +1 -0
  118. package/dist/probe_vk_packed.js +26 -0
  119. package/dist/probe_vk_packed.js.map +1 -0
  120. package/dist/probe_vk_packed_le.d.ts +1 -0
  121. package/dist/probe_vk_packed_le.js +26 -0
  122. package/dist/probe_vk_packed_le.js.map +1 -0
  123. package/dist/register_roots.d.ts +1 -0
  124. package/dist/register_roots.js +44 -0
  125. package/dist/register_roots.js.map +1 -0
  126. package/dist/reproduce_fix.d.ts +1 -0
  127. package/dist/reproduce_fix.js +38 -0
  128. package/dist/reproduce_fix.js.map +1 -0
  129. package/dist/reproduce_garaga_error.d.ts +1 -0
  130. package/dist/reproduce_garaga_error.js +24 -0
  131. package/dist/reproduce_garaga_error.js.map +1 -0
  132. package/dist/scan_points.d.ts +1 -0
  133. package/dist/scan_points.js +37 -0
  134. package/dist/scan_points.js.map +1 -0
  135. package/dist/scan_proof_points.d.ts +1 -0
  136. package/dist/scan_proof_points.js +59 -0
  137. package/dist/scan_proof_points.js.map +1 -0
  138. package/dist/scan_reliable.d.ts +1 -0
  139. package/dist/scan_reliable.js +56 -0
  140. package/dist/scan_reliable.js.map +1 -0
  141. package/dist/search_point.d.ts +1 -0
  142. package/dist/search_point.js +26 -0
  143. package/dist/search_point.js.map +1 -0
  144. package/dist/split_proof.d.ts +1 -0
  145. package/dist/split_proof.js +20 -0
  146. package/dist/split_proof.js.map +1 -0
  147. package/dist/storage/base.d.ts +5 -0
  148. package/dist/storage/base.js +2 -0
  149. package/dist/storage/base.js.map +1 -0
  150. package/dist/storage/browser.d.ts +6 -0
  151. package/dist/storage/browser.js +12 -0
  152. package/dist/storage/browser.js.map +1 -0
  153. package/dist/test_adapter.d.ts +1 -0
  154. package/dist/test_adapter.js +30 -0
  155. package/dist/test_adapter.js.map +1 -0
  156. package/dist/test_existing_proofs.d.ts +1 -0
  157. package/dist/test_existing_proofs.js +34 -0
  158. package/dist/test_existing_proofs.js.map +1 -0
  159. package/dist/test_garaga_layout.d.ts +1 -0
  160. package/dist/test_garaga_layout.js +65 -0
  161. package/dist/test_garaga_layout.js.map +1 -0
  162. package/dist/test_proof_length.d.ts +1 -0
  163. package/dist/test_proof_length.js +34 -0
  164. package/dist/test_proof_length.js.map +1 -0
  165. package/dist/test_proof_size.d.ts +1 -0
  166. package/dist/test_proof_size.js +55 -0
  167. package/dist/test_proof_size.js.map +1 -0
  168. package/dist/test_vk_gen.d.ts +1 -0
  169. package/dist/test_vk_gen.js +40 -0
  170. package/dist/test_vk_gen.js.map +1 -0
  171. package/dist/utils/conversions.d.ts +17 -0
  172. package/dist/utils/conversions.js +58 -0
  173. package/dist/utils/conversions.js.map +1 -0
  174. package/dist/utils/errors.d.ts +13 -0
  175. package/dist/utils/errors.js +27 -0
  176. package/dist/utils/errors.js.map +1 -0
  177. package/dist/verify_fix_calldata.d.ts +1 -0
  178. package/dist/verify_fix_calldata.js +54 -0
  179. package/dist/verify_fix_calldata.js.map +1 -0
  180. package/dist/verify_fix_zero.d.ts +1 -0
  181. package/dist/verify_fix_zero.js +54 -0
  182. package/dist/verify_fix_zero.js.map +1 -0
  183. package/dist/verify_synthetic.d.ts +1 -0
  184. package/dist/verify_synthetic.js +77 -0
  185. package/dist/verify_synthetic.js.map +1 -0
  186. package/package.json +34 -0
@@ -0,0 +1,438 @@
1
+ [
2
+ {
3
+ "type": "impl",
4
+ "name": "CredentialRegistryImpl",
5
+ "interface_name": "credential_registry::ICredentialRegistry"
6
+ },
7
+ {
8
+ "type": "struct",
9
+ "name": "core::array::Span::<core::felt252>",
10
+ "members": [
11
+ {
12
+ "name": "snapshot",
13
+ "type": "@core::array::Array::<core::felt252>"
14
+ }
15
+ ]
16
+ },
17
+ {
18
+ "type": "struct",
19
+ "name": "core::integer::u256",
20
+ "members": [
21
+ {
22
+ "name": "low",
23
+ "type": "core::integer::u128"
24
+ },
25
+ {
26
+ "name": "high",
27
+ "type": "core::integer::u128"
28
+ }
29
+ ]
30
+ },
31
+ {
32
+ "type": "struct",
33
+ "name": "core::array::Span::<core::integer::u256>",
34
+ "members": [
35
+ {
36
+ "name": "snapshot",
37
+ "type": "@core::array::Array::<core::integer::u256>"
38
+ }
39
+ ]
40
+ },
41
+ {
42
+ "type": "enum",
43
+ "name": "core::bool",
44
+ "variants": [
45
+ {
46
+ "name": "False",
47
+ "type": "()"
48
+ },
49
+ {
50
+ "name": "True",
51
+ "type": "()"
52
+ }
53
+ ]
54
+ },
55
+ {
56
+ "type": "interface",
57
+ "name": "credential_registry::ICredentialRegistry",
58
+ "items": [
59
+ {
60
+ "type": "function",
61
+ "name": "verify_credential",
62
+ "inputs": [
63
+ {
64
+ "name": "proof",
65
+ "type": "core::array::Span::<core::felt252>"
66
+ },
67
+ {
68
+ "name": "current_year",
69
+ "type": "core::integer::u256"
70
+ },
71
+ {
72
+ "name": "current_month",
73
+ "type": "core::integer::u256"
74
+ },
75
+ {
76
+ "name": "current_day",
77
+ "type": "core::integer::u256"
78
+ },
79
+ {
80
+ "name": "min_age",
81
+ "type": "core::integer::u256"
82
+ }
83
+ ],
84
+ "outputs": [],
85
+ "state_mutability": "external"
86
+ },
87
+ {
88
+ "type": "function",
89
+ "name": "add_jurisdiction_root",
90
+ "inputs": [
91
+ {
92
+ "name": "root",
93
+ "type": "core::integer::u256"
94
+ }
95
+ ],
96
+ "outputs": [],
97
+ "state_mutability": "external"
98
+ },
99
+ {
100
+ "type": "function",
101
+ "name": "add_membership_root",
102
+ "inputs": [
103
+ {
104
+ "name": "root",
105
+ "type": "core::integer::u256"
106
+ }
107
+ ],
108
+ "outputs": [],
109
+ "state_mutability": "external"
110
+ },
111
+ {
112
+ "type": "function",
113
+ "name": "add_jurisdiction_roots_batch",
114
+ "inputs": [
115
+ {
116
+ "name": "roots",
117
+ "type": "core::array::Span::<core::integer::u256>"
118
+ }
119
+ ],
120
+ "outputs": [],
121
+ "state_mutability": "external"
122
+ },
123
+ {
124
+ "type": "function",
125
+ "name": "add_membership_roots_batch",
126
+ "inputs": [
127
+ {
128
+ "name": "roots",
129
+ "type": "core::array::Span::<core::integer::u256>"
130
+ }
131
+ ],
132
+ "outputs": [],
133
+ "state_mutability": "external"
134
+ },
135
+ {
136
+ "type": "function",
137
+ "name": "remove_jurisdiction_root",
138
+ "inputs": [
139
+ {
140
+ "name": "root",
141
+ "type": "core::integer::u256"
142
+ }
143
+ ],
144
+ "outputs": [],
145
+ "state_mutability": "external"
146
+ },
147
+ {
148
+ "type": "function",
149
+ "name": "remove_membership_root",
150
+ "inputs": [
151
+ {
152
+ "name": "root",
153
+ "type": "core::integer::u256"
154
+ }
155
+ ],
156
+ "outputs": [],
157
+ "state_mutability": "external"
158
+ },
159
+ {
160
+ "type": "function",
161
+ "name": "is_jurisdiction_root_valid",
162
+ "inputs": [
163
+ {
164
+ "name": "root",
165
+ "type": "core::integer::u256"
166
+ }
167
+ ],
168
+ "outputs": [
169
+ {
170
+ "type": "core::bool"
171
+ }
172
+ ],
173
+ "state_mutability": "view"
174
+ },
175
+ {
176
+ "type": "function",
177
+ "name": "is_membership_root_valid",
178
+ "inputs": [
179
+ {
180
+ "name": "root",
181
+ "type": "core::integer::u256"
182
+ }
183
+ ],
184
+ "outputs": [
185
+ {
186
+ "type": "core::bool"
187
+ }
188
+ ],
189
+ "state_mutability": "view"
190
+ },
191
+ {
192
+ "type": "function",
193
+ "name": "is_nullifier_used",
194
+ "inputs": [
195
+ {
196
+ "name": "nullifier",
197
+ "type": "core::integer::u256"
198
+ }
199
+ ],
200
+ "outputs": [
201
+ {
202
+ "type": "core::bool"
203
+ }
204
+ ],
205
+ "state_mutability": "view"
206
+ },
207
+ {
208
+ "type": "function",
209
+ "name": "is_address_verified",
210
+ "inputs": [
211
+ {
212
+ "name": "user",
213
+ "type": "core::starknet::contract_address::ContractAddress"
214
+ }
215
+ ],
216
+ "outputs": [
217
+ {
218
+ "type": "core::bool"
219
+ }
220
+ ],
221
+ "state_mutability": "view"
222
+ },
223
+ {
224
+ "type": "function",
225
+ "name": "get_owner",
226
+ "inputs": [],
227
+ "outputs": [
228
+ {
229
+ "type": "core::starknet::contract_address::ContractAddress"
230
+ }
231
+ ],
232
+ "state_mutability": "view"
233
+ },
234
+ {
235
+ "type": "function",
236
+ "name": "is_paused",
237
+ "inputs": [],
238
+ "outputs": [
239
+ {
240
+ "type": "core::bool"
241
+ }
242
+ ],
243
+ "state_mutability": "view"
244
+ },
245
+ {
246
+ "type": "function",
247
+ "name": "transfer_ownership",
248
+ "inputs": [
249
+ {
250
+ "name": "new_owner",
251
+ "type": "core::starknet::contract_address::ContractAddress"
252
+ }
253
+ ],
254
+ "outputs": [],
255
+ "state_mutability": "external"
256
+ },
257
+ {
258
+ "type": "function",
259
+ "name": "pause",
260
+ "inputs": [],
261
+ "outputs": [],
262
+ "state_mutability": "external"
263
+ },
264
+ {
265
+ "type": "function",
266
+ "name": "unpause",
267
+ "inputs": [],
268
+ "outputs": [],
269
+ "state_mutability": "external"
270
+ }
271
+ ]
272
+ },
273
+ {
274
+ "type": "constructor",
275
+ "name": "constructor",
276
+ "inputs": [
277
+ {
278
+ "name": "verifier",
279
+ "type": "core::starknet::contract_address::ContractAddress"
280
+ },
281
+ {
282
+ "name": "owner",
283
+ "type": "core::starknet::contract_address::ContractAddress"
284
+ }
285
+ ]
286
+ },
287
+ {
288
+ "type": "event",
289
+ "name": "credential_registry::CredentialRegistry::CredentialVerified",
290
+ "kind": "struct",
291
+ "members": [
292
+ {
293
+ "name": "nullifier",
294
+ "type": "core::integer::u256",
295
+ "kind": "key"
296
+ },
297
+ {
298
+ "name": "action_id",
299
+ "type": "core::integer::u256",
300
+ "kind": "data"
301
+ },
302
+ {
303
+ "name": "min_age",
304
+ "type": "core::integer::u256",
305
+ "kind": "data"
306
+ },
307
+ {
308
+ "name": "timestamp",
309
+ "type": "core::integer::u64",
310
+ "kind": "data"
311
+ }
312
+ ]
313
+ },
314
+ {
315
+ "type": "event",
316
+ "name": "credential_registry::CredentialRegistry::JurisdictionRootAdded",
317
+ "kind": "struct",
318
+ "members": [
319
+ {
320
+ "name": "root",
321
+ "type": "core::integer::u256",
322
+ "kind": "data"
323
+ }
324
+ ]
325
+ },
326
+ {
327
+ "type": "event",
328
+ "name": "credential_registry::CredentialRegistry::MembershipRootAdded",
329
+ "kind": "struct",
330
+ "members": [
331
+ {
332
+ "name": "root",
333
+ "type": "core::integer::u256",
334
+ "kind": "data"
335
+ }
336
+ ]
337
+ },
338
+ {
339
+ "type": "event",
340
+ "name": "credential_registry::CredentialRegistry::JurisdictionRootRemoved",
341
+ "kind": "struct",
342
+ "members": [
343
+ {
344
+ "name": "root",
345
+ "type": "core::integer::u256",
346
+ "kind": "data"
347
+ }
348
+ ]
349
+ },
350
+ {
351
+ "type": "event",
352
+ "name": "credential_registry::CredentialRegistry::MembershipRootRemoved",
353
+ "kind": "struct",
354
+ "members": [
355
+ {
356
+ "name": "root",
357
+ "type": "core::integer::u256",
358
+ "kind": "data"
359
+ }
360
+ ]
361
+ },
362
+ {
363
+ "type": "event",
364
+ "name": "credential_registry::CredentialRegistry::OwnershipTransferred",
365
+ "kind": "struct",
366
+ "members": [
367
+ {
368
+ "name": "previous_owner",
369
+ "type": "core::starknet::contract_address::ContractAddress",
370
+ "kind": "data"
371
+ },
372
+ {
373
+ "name": "new_owner",
374
+ "type": "core::starknet::contract_address::ContractAddress",
375
+ "kind": "data"
376
+ }
377
+ ]
378
+ },
379
+ {
380
+ "type": "event",
381
+ "name": "credential_registry::CredentialRegistry::Paused",
382
+ "kind": "struct",
383
+ "members": []
384
+ },
385
+ {
386
+ "type": "event",
387
+ "name": "credential_registry::CredentialRegistry::Unpaused",
388
+ "kind": "struct",
389
+ "members": []
390
+ },
391
+ {
392
+ "type": "event",
393
+ "name": "credential_registry::CredentialRegistry::Event",
394
+ "kind": "enum",
395
+ "variants": [
396
+ {
397
+ "name": "CredentialVerified",
398
+ "type": "credential_registry::CredentialRegistry::CredentialVerified",
399
+ "kind": "nested"
400
+ },
401
+ {
402
+ "name": "JurisdictionRootAdded",
403
+ "type": "credential_registry::CredentialRegistry::JurisdictionRootAdded",
404
+ "kind": "nested"
405
+ },
406
+ {
407
+ "name": "MembershipRootAdded",
408
+ "type": "credential_registry::CredentialRegistry::MembershipRootAdded",
409
+ "kind": "nested"
410
+ },
411
+ {
412
+ "name": "JurisdictionRootRemoved",
413
+ "type": "credential_registry::CredentialRegistry::JurisdictionRootRemoved",
414
+ "kind": "nested"
415
+ },
416
+ {
417
+ "name": "MembershipRootRemoved",
418
+ "type": "credential_registry::CredentialRegistry::MembershipRootRemoved",
419
+ "kind": "nested"
420
+ },
421
+ {
422
+ "name": "OwnershipTransferred",
423
+ "type": "credential_registry::CredentialRegistry::OwnershipTransferred",
424
+ "kind": "nested"
425
+ },
426
+ {
427
+ "name": "Paused",
428
+ "type": "credential_registry::CredentialRegistry::Paused",
429
+ "kind": "nested"
430
+ },
431
+ {
432
+ "name": "Unpaused",
433
+ "type": "credential_registry::CredentialRegistry::Unpaused",
434
+ "kind": "nested"
435
+ }
436
+ ]
437
+ }
438
+ ]