@aztec/pxe 0.0.1-commit.9ef841308 → 0.0.1-commit.a4600f49

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 (485) hide show
  1. package/dest/bin/check_oracle_version.js +45 -111
  2. package/dest/bin/index.d.ts +2 -0
  3. package/dest/bin/index.d.ts.map +1 -0
  4. package/dest/bin/index.js +1 -0
  5. package/dest/bin/oracle_version_helpers.d.ts +51 -0
  6. package/dest/bin/oracle_version_helpers.d.ts.map +1 -0
  7. package/dest/bin/oracle_version_helpers.js +254 -0
  8. package/dest/block_synchronizer/block_stream_source.d.ts +10 -0
  9. package/dest/block_synchronizer/block_stream_source.d.ts.map +1 -0
  10. package/dest/block_synchronizer/block_stream_source.js +37 -0
  11. package/dest/block_synchronizer/block_synchronizer.d.ts +23 -15
  12. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -1
  13. package/dest/block_synchronizer/block_synchronizer.js +78 -28
  14. package/dest/config/index.d.ts +8 -1
  15. package/dest/config/index.d.ts.map +1 -1
  16. package/dest/config/index.js +13 -14
  17. package/dest/config/package_info.js +1 -1
  18. package/dest/contract/contract_class_service.d.ts +31 -0
  19. package/dest/contract/contract_class_service.d.ts.map +1 -0
  20. package/dest/contract/contract_class_service.js +68 -0
  21. package/dest/contract/contract_sync_service.d.ts +48 -0
  22. package/dest/contract/contract_sync_service.d.ts.map +1 -0
  23. package/dest/contract/contract_sync_service.js +116 -0
  24. package/dest/contract/helpers.d.ts +7 -0
  25. package/dest/contract/helpers.d.ts.map +1 -0
  26. package/dest/contract/helpers.js +20 -0
  27. package/dest/contract_function_simulator/anchored_contract_data.d.ts +36 -0
  28. package/dest/contract_function_simulator/anchored_contract_data.d.ts.map +1 -0
  29. package/dest/contract_function_simulator/anchored_contract_data.js +54 -0
  30. package/dest/contract_function_simulator/contract_function_simulator.d.ts +27 -21
  31. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  32. package/dest/contract_function_simulator/contract_function_simulator.js +82 -39
  33. package/dest/contract_function_simulator/ephemeral_array_service.d.ts +28 -0
  34. package/dest/contract_function_simulator/ephemeral_array_service.d.ts.map +1 -0
  35. package/dest/contract_function_simulator/ephemeral_array_service.js +78 -0
  36. package/dest/contract_function_simulator/execution_note_cache.d.ts +4 -10
  37. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  38. package/dest/contract_function_simulator/execution_note_cache.js +8 -28
  39. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +5 -9
  40. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
  41. package/dest/contract_function_simulator/execution_tagging_index_cache.js +3 -7
  42. package/dest/contract_function_simulator/index.d.ts +26 -6
  43. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  44. package/dest/contract_function_simulator/index.js +12 -4
  45. package/dest/contract_function_simulator/noir-structs/bounded_vec.d.ts +29 -0
  46. package/dest/contract_function_simulator/noir-structs/bounded_vec.d.ts.map +1 -0
  47. package/dest/contract_function_simulator/noir-structs/bounded_vec.js +30 -0
  48. package/dest/contract_function_simulator/noir-structs/contract_class_log_data.d.ts +9 -0
  49. package/dest/contract_function_simulator/noir-structs/contract_class_log_data.d.ts.map +1 -0
  50. package/dest/contract_function_simulator/noir-structs/contract_class_log_data.js +1 -0
  51. package/dest/contract_function_simulator/noir-structs/embedded_curve_point.d.ts +7 -0
  52. package/dest/contract_function_simulator/noir-structs/embedded_curve_point.d.ts.map +1 -0
  53. package/dest/contract_function_simulator/noir-structs/embedded_curve_point.js +1 -0
  54. package/dest/contract_function_simulator/noir-structs/ephemeral_array.d.ts +37 -0
  55. package/dest/contract_function_simulator/noir-structs/ephemeral_array.d.ts.map +1 -0
  56. package/dest/contract_function_simulator/noir-structs/ephemeral_array.js +59 -0
  57. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +4 -3
  58. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  59. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +5 -4
  60. package/dest/contract_function_simulator/noir-structs/fact.d.ts +16 -0
  61. package/dest/contract_function_simulator/noir-structs/fact.d.ts.map +1 -0
  62. package/dest/contract_function_simulator/noir-structs/fact.js +6 -0
  63. package/dest/contract_function_simulator/noir-structs/fact_collection.d.ts +27 -0
  64. package/dest/contract_function_simulator/noir-structs/fact_collection.d.ts.map +1 -0
  65. package/dest/contract_function_simulator/noir-structs/fact_collection.js +31 -0
  66. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +19 -10
  67. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -1
  68. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +12 -24
  69. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +11 -9
  70. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
  71. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +2 -61
  72. package/dest/contract_function_simulator/noir-structs/note_data.d.ts +27 -0
  73. package/dest/contract_function_simulator/noir-structs/note_data.d.ts.map +1 -0
  74. package/dest/contract_function_simulator/noir-structs/note_data.js +3 -0
  75. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +4 -3
  76. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
  77. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +6 -5
  78. package/dest/contract_function_simulator/noir-structs/option.d.ts +59 -0
  79. package/dest/contract_function_simulator/noir-structs/option.d.ts.map +1 -0
  80. package/dest/contract_function_simulator/noir-structs/option.js +67 -0
  81. package/dest/contract_function_simulator/noir-structs/origin_block.d.ts +11 -0
  82. package/dest/contract_function_simulator/noir-structs/origin_block.d.ts.map +1 -0
  83. package/dest/contract_function_simulator/noir-structs/origin_block.js +5 -0
  84. package/dest/contract_function_simulator/noir-structs/pending_tagged_log.d.ts +11 -0
  85. package/dest/contract_function_simulator/noir-structs/pending_tagged_log.d.ts.map +1 -0
  86. package/dest/contract_function_simulator/noir-structs/pending_tagged_log.js +4 -0
  87. package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts +8 -0
  88. package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts.map +1 -0
  89. package/dest/contract_function_simulator/noir-structs/provided_secret.js +1 -0
  90. package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.d.ts +28 -0
  91. package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.d.ts.map +1 -0
  92. package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.js +43 -0
  93. package/dest/contract_function_simulator/noir-structs/resolved_tx.d.ts +21 -0
  94. package/dest/contract_function_simulator/noir-structs/resolved_tx.d.ts.map +1 -0
  95. package/dest/contract_function_simulator/noir-structs/resolved_tx.js +50 -0
  96. package/dest/contract_function_simulator/noir-structs/tx_effect_data.d.ts +14 -0
  97. package/dest/contract_function_simulator/noir-structs/tx_effect_data.d.ts.map +1 -0
  98. package/dest/contract_function_simulator/noir-structs/tx_effect_data.js +5 -0
  99. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +6 -11
  100. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  101. package/dest/contract_function_simulator/noir-structs/utility_context.js +1 -20
  102. package/dest/contract_function_simulator/oracle/acir_callback.d.ts +21 -0
  103. package/dest/contract_function_simulator/oracle/acir_callback.d.ts.map +1 -0
  104. package/dest/contract_function_simulator/oracle/acir_callback.js +115 -0
  105. package/dest/contract_function_simulator/oracle/index.d.ts +2 -13
  106. package/dest/contract_function_simulator/oracle/index.d.ts.map +1 -1
  107. package/dest/contract_function_simulator/oracle/index.js +1 -1
  108. package/dest/contract_function_simulator/oracle/interfaces.d.ts +15 -103
  109. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  110. package/dest/contract_function_simulator/oracle/interfaces.js +2 -2
  111. package/dest/contract_function_simulator/oracle/legacy_oracle_registry.d.ts +39 -0
  112. package/dest/contract_function_simulator/oracle/legacy_oracle_registry.d.ts.map +1 -0
  113. package/dest/contract_function_simulator/oracle/legacy_oracle_registry.js +74 -0
  114. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -14
  115. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  116. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js +1 -24
  117. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +2 -2
  118. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  119. package/dest/contract_function_simulator/oracle/note_packing_utils.js +2 -2
  120. package/dest/contract_function_simulator/oracle/oracle_registry.d.ts +136 -0
  121. package/dest/contract_function_simulator/oracle/oracle_registry.d.ts.map +1 -0
  122. package/dest/contract_function_simulator/oracle/oracle_registry.js +989 -0
  123. package/dest/contract_function_simulator/oracle/oracle_type_mappings.d.ts +222 -0
  124. package/dest/contract_function_simulator/oracle/oracle_type_mappings.d.ts.map +1 -0
  125. package/dest/contract_function_simulator/oracle/oracle_type_mappings.js +1243 -0
  126. package/dest/contract_function_simulator/oracle/private_execution.d.ts +1 -1
  127. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  128. package/dest/contract_function_simulator/oracle/private_execution.js +2 -3
  129. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +47 -37
  130. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  131. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +186 -55
  132. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +136 -65
  133. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  134. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +448 -170
  135. package/dest/contract_function_simulator/pick_notes.d.ts +1 -1
  136. package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -1
  137. package/dest/contract_function_simulator/pick_notes.js +20 -3
  138. package/dest/contract_function_simulator/transient_array_service.d.ts +31 -0
  139. package/dest/contract_function_simulator/transient_array_service.d.ts.map +1 -0
  140. package/dest/contract_function_simulator/transient_array_service.js +62 -0
  141. package/dest/debug/pxe_debug_utils.d.ts +4 -9
  142. package/dest/debug/pxe_debug_utils.d.ts.map +1 -1
  143. package/dest/debug/pxe_debug_utils.js +0 -6
  144. package/dest/entrypoints/client/bundle/index.d.ts +1 -2
  145. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  146. package/dest/entrypoints/client/bundle/index.js +0 -1
  147. package/dest/entrypoints/client/bundle/utils.d.ts +2 -2
  148. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  149. package/dest/entrypoints/client/bundle/utils.js +20 -7
  150. package/dest/entrypoints/client/lazy/index.d.ts +1 -2
  151. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  152. package/dest/entrypoints/client/lazy/index.js +0 -1
  153. package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
  154. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  155. package/dest/entrypoints/client/lazy/utils.js +20 -7
  156. package/dest/entrypoints/pxe_creation_options.d.ts +16 -2
  157. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  158. package/dest/entrypoints/pxe_creation_options.js +3 -1
  159. package/dest/entrypoints/server/index.d.ts +6 -4
  160. package/dest/entrypoints/server/index.d.ts.map +1 -1
  161. package/dest/entrypoints/server/index.js +4 -3
  162. package/dest/entrypoints/server/utils.d.ts +4 -3
  163. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  164. package/dest/entrypoints/server/utils.js +20 -6
  165. package/dest/error_enriching.d.ts +5 -3
  166. package/dest/error_enriching.d.ts.map +1 -1
  167. package/dest/error_enriching.js +13 -11
  168. package/dest/events/event_service.d.ts +13 -5
  169. package/dest/events/event_service.d.ts.map +1 -1
  170. package/dest/events/event_service.js +30 -9
  171. package/dest/events/private_event_filter_validator.d.ts +3 -2
  172. package/dest/events/private_event_filter_validator.d.ts.map +1 -1
  173. package/dest/events/private_event_filter_validator.js +15 -0
  174. package/dest/hooks/authorize_utility_call.d.ts +41 -0
  175. package/dest/hooks/authorize_utility_call.d.ts.map +1 -0
  176. package/dest/hooks/authorize_utility_call.js +4 -0
  177. package/dest/hooks/execution_hooks.d.ts +62 -0
  178. package/dest/hooks/execution_hooks.d.ts.map +1 -0
  179. package/dest/hooks/execution_hooks.js +9 -0
  180. package/dest/hooks/index.d.ts +5 -0
  181. package/dest/hooks/index.d.ts.map +1 -0
  182. package/dest/hooks/index.js +1 -0
  183. package/dest/hooks/resolve_custom_request.d.ts +23 -0
  184. package/dest/hooks/resolve_custom_request.d.ts.map +1 -0
  185. package/dest/hooks/resolve_custom_request.js +3 -0
  186. package/dest/hooks/resolve_tagging_secret_strategy.d.ts +48 -0
  187. package/dest/hooks/resolve_tagging_secret_strategy.d.ts.map +1 -0
  188. package/dest/hooks/resolve_tagging_secret_strategy.js +3 -0
  189. package/dest/logs/log_service.d.ts +13 -11
  190. package/dest/logs/log_service.d.ts.map +1 -1
  191. package/dest/logs/log_service.js +181 -72
  192. package/dest/messages/tx_resolver_service.d.ts +17 -0
  193. package/dest/messages/tx_resolver_service.d.ts.map +1 -0
  194. package/dest/messages/tx_resolver_service.js +55 -0
  195. package/dest/notes/note_service.d.ts +27 -6
  196. package/dest/notes/note_service.d.ts.map +1 -1
  197. package/dest/notes/note_service.js +80 -65
  198. package/dest/notes_filter.d.ts +2 -3
  199. package/dest/notes_filter.d.ts.map +1 -1
  200. package/dest/oracle_version.d.ts +4 -3
  201. package/dest/oracle_version.d.ts.map +1 -1
  202. package/dest/oracle_version.js +20 -10
  203. package/dest/private_kernel/batch_planner.d.ts +47 -0
  204. package/dest/private_kernel/batch_planner.d.ts.map +1 -0
  205. package/dest/private_kernel/batch_planner.js +104 -0
  206. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +1 -1
  207. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -1
  208. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.js +7 -3
  209. package/dest/private_kernel/hints/test_utils.d.ts +1 -1
  210. package/dest/private_kernel/hints/test_utils.d.ts.map +1 -1
  211. package/dest/private_kernel/hints/test_utils.js +3 -4
  212. package/dest/private_kernel/private_kernel_execution_prover.d.ts +6 -2
  213. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  214. package/dest/private_kernel/private_kernel_execution_prover.js +203 -89
  215. package/dest/private_kernel/private_kernel_oracle.d.ts +12 -10
  216. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  217. package/dest/private_kernel/private_kernel_oracle.js +40 -26
  218. package/dest/pxe.d.ts +167 -55
  219. package/dest/pxe.d.ts.map +1 -1
  220. package/dest/pxe.js +334 -206
  221. package/dest/storage/allowed_scopes.d.ts +6 -0
  222. package/dest/storage/allowed_scopes.d.ts.map +1 -0
  223. package/dest/storage/allowed_scopes.js +7 -0
  224. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -6
  225. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -1
  226. package/dest/storage/anchor_block_store/anchor_block_store.js +9 -7
  227. package/dest/storage/backwards_compatibility_tests/kv_store_snapshot.d.ts +42 -0
  228. package/dest/storage/backwards_compatibility_tests/kv_store_snapshot.d.ts.map +1 -0
  229. package/dest/storage/backwards_compatibility_tests/kv_store_snapshot.js +93 -0
  230. package/dest/storage/backwards_compatibility_tests/schema_tests.d.ts +15 -0
  231. package/dest/storage/backwards_compatibility_tests/schema_tests.d.ts.map +1 -0
  232. package/dest/storage/backwards_compatibility_tests/schema_tests.js +647 -0
  233. package/dest/storage/backwards_compatibility_tests/store_spy.d.ts +19 -0
  234. package/dest/storage/backwards_compatibility_tests/store_spy.d.ts.map +1 -0
  235. package/dest/storage/backwards_compatibility_tests/store_spy.js +63 -0
  236. package/dest/storage/capsule_store/capsule_service.d.ts +2 -3
  237. package/dest/storage/capsule_store/capsule_service.d.ts.map +1 -1
  238. package/dest/storage/capsule_store/capsule_service.js +6 -9
  239. package/dest/storage/capsule_store/capsule_store.d.ts +1 -1
  240. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -1
  241. package/dest/storage/capsule_store/capsule_store.js +8 -5
  242. package/dest/storage/contract_store/contract_store.d.ts +27 -24
  243. package/dest/storage/contract_store/contract_store.d.ts.map +1 -1
  244. package/dest/storage/contract_store/contract_store.js +70 -98
  245. package/dest/storage/fact_store/fact_service.d.ts +22 -0
  246. package/dest/storage/fact_store/fact_service.d.ts.map +1 -0
  247. package/dest/storage/fact_store/fact_service.js +45 -0
  248. package/dest/storage/fact_store/fact_store.d.ts +95 -0
  249. package/dest/storage/fact_store/fact_store.d.ts.map +1 -0
  250. package/dest/storage/fact_store/fact_store.js +408 -0
  251. package/dest/storage/fact_store/fact_store_keys.d.ts +34 -0
  252. package/dest/storage/fact_store/fact_store_keys.d.ts.map +1 -0
  253. package/dest/storage/fact_store/fact_store_keys.js +50 -0
  254. package/dest/storage/fact_store/index.d.ts +6 -0
  255. package/dest/storage/fact_store/index.d.ts.map +1 -0
  256. package/dest/storage/fact_store/index.js +4 -0
  257. package/dest/storage/fact_store/origin_state.d.ts +57 -0
  258. package/dest/storage/fact_store/origin_state.d.ts.map +1 -0
  259. package/dest/storage/fact_store/origin_state.js +53 -0
  260. package/dest/storage/fact_store/stored_fact.d.ts +32 -0
  261. package/dest/storage/fact_store/stored_fact.d.ts.map +1 -0
  262. package/dest/storage/fact_store/stored_fact.js +64 -0
  263. package/dest/storage/index.d.ts +3 -2
  264. package/dest/storage/index.d.ts.map +1 -1
  265. package/dest/storage/index.js +2 -1
  266. package/dest/storage/metadata.d.ts +2 -2
  267. package/dest/storage/metadata.d.ts.map +1 -1
  268. package/dest/storage/metadata.js +1 -1
  269. package/dest/storage/note_store/note_store.d.ts +42 -33
  270. package/dest/storage/note_store/note_store.d.ts.map +1 -1
  271. package/dest/storage/note_store/note_store.js +199 -170
  272. package/dest/storage/note_store/stored_note.d.ts +3 -8
  273. package/dest/storage/note_store/stored_note.d.ts.map +1 -1
  274. package/dest/storage/note_store/stored_note.js +4 -20
  275. package/dest/storage/open_pxe_stores.d.ts +35 -0
  276. package/dest/storage/open_pxe_stores.d.ts.map +1 -0
  277. package/dest/storage/open_pxe_stores.js +29 -0
  278. package/dest/storage/private_event_store/private_event_store.d.ts +13 -16
  279. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -1
  280. package/dest/storage/private_event_store/private_event_store.js +43 -43
  281. package/dest/storage/private_event_store/stored_private_event.js +1 -1
  282. package/dest/storage/tagging_store/index.d.ts +2 -2
  283. package/dest/storage/tagging_store/index.d.ts.map +1 -1
  284. package/dest/storage/tagging_store/index.js +1 -1
  285. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +6 -6
  286. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -1
  287. package/dest/storage/tagging_store/sender_tagging_store.d.ts +5 -5
  288. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -1
  289. package/dest/storage/tagging_store/sender_tagging_store.js +3 -3
  290. package/dest/storage/tagging_store/tagging_secret_sources_store.d.ts +51 -0
  291. package/dest/storage/tagging_store/tagging_secret_sources_store.d.ts.map +1 -0
  292. package/dest/storage/tagging_store/tagging_secret_sources_store.js +105 -0
  293. package/dest/tagging/constants.d.ts +2 -2
  294. package/dest/tagging/constants.d.ts.map +1 -1
  295. package/dest/tagging/constants.js +5 -8
  296. package/dest/tagging/get_all_logs_by_tags.d.ts +34 -10
  297. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -1
  298. package/dest/tagging/get_all_logs_by_tags.js +36 -37
  299. package/dest/tagging/index.d.ts +5 -4
  300. package/dest/tagging/index.d.ts.map +1 -1
  301. package/dest/tagging/index.js +4 -3
  302. package/dest/tagging/persist_sender_tagging_index_ranges.d.ts +29 -0
  303. package/dest/tagging/persist_sender_tagging_index_ranges.d.ts.map +1 -0
  304. package/dest/tagging/persist_sender_tagging_index_ranges.js +42 -0
  305. package/dest/tagging/recipient_sync/sync_tagged_private_logs.d.ts +69 -0
  306. package/dest/tagging/recipient_sync/sync_tagged_private_logs.d.ts.map +1 -0
  307. package/dest/tagging/recipient_sync/sync_tagged_private_logs.js +203 -0
  308. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts +3 -3
  309. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts.map +1 -1
  310. package/dest/tagging/reconcile_tagging_index_ranges.d.ts +36 -0
  311. package/dest/tagging/reconcile_tagging_index_ranges.d.ts.map +1 -0
  312. package/dest/tagging/reconcile_tagging_index_ranges.js +74 -0
  313. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +4 -5
  314. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -1
  315. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +26 -14
  316. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +11 -6
  317. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -1
  318. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +21 -0
  319. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +4 -4
  320. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -1
  321. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +2 -2
  322. package/package.json +20 -17
  323. package/src/bin/check_oracle_version.ts +51 -133
  324. package/src/bin/index.ts +5 -0
  325. package/src/bin/oracle_version_helpers.ts +311 -0
  326. package/src/block_synchronizer/block_stream_source.ts +42 -0
  327. package/src/block_synchronizer/block_synchronizer.ts +96 -39
  328. package/src/config/index.ts +15 -8
  329. package/src/config/package_info.ts +1 -1
  330. package/src/contract/contract_class_service.ts +83 -0
  331. package/src/contract/contract_sync_service.ts +176 -0
  332. package/src/contract/helpers.ts +35 -0
  333. package/src/contract_function_simulator/anchored_contract_data.ts +74 -0
  334. package/src/contract_function_simulator/contract_function_simulator.ts +136 -55
  335. package/src/contract_function_simulator/ephemeral_array_service.ts +110 -0
  336. package/src/contract_function_simulator/execution_note_cache.ts +8 -29
  337. package/src/contract_function_simulator/execution_tagging_index_cache.ts +5 -9
  338. package/src/contract_function_simulator/index.ts +69 -5
  339. package/src/contract_function_simulator/noir-structs/bounded_vec.ts +43 -0
  340. package/src/contract_function_simulator/noir-structs/contract_class_log_data.ts +9 -0
  341. package/src/contract_function_simulator/noir-structs/embedded_curve_point.ts +4 -0
  342. package/src/contract_function_simulator/noir-structs/ephemeral_array.ts +66 -0
  343. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +5 -4
  344. package/src/contract_function_simulator/noir-structs/fact.ts +13 -0
  345. package/src/contract_function_simulator/noir-structs/fact_collection.ts +64 -0
  346. package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +27 -20
  347. package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +14 -61
  348. package/src/contract_function_simulator/noir-structs/note_data.ts +27 -0
  349. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +6 -5
  350. package/src/contract_function_simulator/noir-structs/option.ts +75 -0
  351. package/src/contract_function_simulator/noir-structs/origin_block.ts +8 -0
  352. package/src/contract_function_simulator/noir-structs/pending_tagged_log.ts +12 -0
  353. package/src/contract_function_simulator/noir-structs/provided_secret.ts +5 -0
  354. package/src/contract_function_simulator/noir-structs/resolved_tagging_strategy.ts +58 -0
  355. package/src/contract_function_simulator/noir-structs/resolved_tx.ts +53 -0
  356. package/src/contract_function_simulator/noir-structs/tx_effect_data.ts +15 -0
  357. package/src/contract_function_simulator/noir-structs/utility_context.ts +5 -17
  358. package/src/contract_function_simulator/oracle/acir_callback.ts +154 -0
  359. package/src/contract_function_simulator/oracle/index.ts +1 -15
  360. package/src/contract_function_simulator/oracle/interfaces.ts +11 -185
  361. package/src/contract_function_simulator/oracle/legacy_oracle_registry.ts +120 -0
  362. package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +6 -21
  363. package/src/contract_function_simulator/oracle/note_packing_utils.ts +3 -3
  364. package/src/contract_function_simulator/oracle/oracle_registry.ts +689 -0
  365. package/src/contract_function_simulator/oracle/oracle_type_mappings.ts +964 -0
  366. package/src/contract_function_simulator/oracle/private_execution.ts +2 -3
  367. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +233 -79
  368. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +681 -320
  369. package/src/contract_function_simulator/pick_notes.ts +22 -3
  370. package/src/contract_function_simulator/transient_array_service.ts +91 -0
  371. package/src/debug/pxe_debug_utils.ts +4 -12
  372. package/src/entrypoints/client/bundle/index.ts +0 -1
  373. package/src/entrypoints/client/bundle/utils.ts +19 -7
  374. package/src/entrypoints/client/lazy/index.ts +0 -1
  375. package/src/entrypoints/client/lazy/utils.ts +19 -7
  376. package/src/entrypoints/pxe_creation_options.ts +21 -1
  377. package/src/entrypoints/server/index.ts +6 -3
  378. package/src/entrypoints/server/utils.ts +24 -7
  379. package/src/error_enriching.ts +27 -11
  380. package/src/events/event_service.ts +54 -19
  381. package/src/events/private_event_filter_validator.ts +21 -1
  382. package/src/hooks/authorize_utility_call.ts +44 -0
  383. package/src/hooks/execution_hooks.ts +68 -0
  384. package/src/hooks/index.ts +12 -0
  385. package/src/hooks/resolve_custom_request.ts +24 -0
  386. package/src/hooks/resolve_tagging_secret_strategy.ts +57 -0
  387. package/src/logs/log_service.ts +212 -139
  388. package/src/messages/tx_resolver_service.ts +69 -0
  389. package/src/notes/note_service.ts +117 -94
  390. package/src/notes_filter.ts +1 -3
  391. package/src/oracle_version.ts +20 -10
  392. package/src/private_kernel/batch_planner.ts +168 -0
  393. package/src/private_kernel/hints/private_kernel_reset_private_inputs_builder.ts +12 -2
  394. package/src/private_kernel/hints/test_utils.ts +3 -10
  395. package/src/private_kernel/private_kernel_execution_prover.ts +335 -121
  396. package/src/private_kernel/private_kernel_oracle.ts +58 -29
  397. package/src/pxe.ts +530 -236
  398. package/src/storage/allowed_scopes.ts +14 -0
  399. package/src/storage/anchor_block_store/anchor_block_store.ts +9 -7
  400. package/src/storage/backwards_compatibility_tests/__snapshots__/AddressStore.json +22 -0
  401. package/src/storage/backwards_compatibility_tests/__snapshots__/AnchorBlockStore.json +3 -0
  402. package/src/storage/backwards_compatibility_tests/__snapshots__/CapsuleStore.json +16 -0
  403. package/src/storage/backwards_compatibility_tests/__snapshots__/ContractStore.json +28 -0
  404. package/src/storage/backwards_compatibility_tests/__snapshots__/FactStore.json +40 -0
  405. package/src/storage/backwards_compatibility_tests/__snapshots__/KeyStore.json +52 -0
  406. package/src/storage/backwards_compatibility_tests/__snapshots__/L2TipsKVStore.json +40 -0
  407. package/src/storage/backwards_compatibility_tests/__snapshots__/NoteStore.json +56 -0
  408. package/src/storage/backwards_compatibility_tests/__snapshots__/PrivateEventStore.json +44 -0
  409. package/src/storage/backwards_compatibility_tests/__snapshots__/RecipientTaggingStore.json +18 -0
  410. package/src/storage/backwards_compatibility_tests/__snapshots__/SenderTaggingStore.json +22 -0
  411. package/src/storage/backwards_compatibility_tests/__snapshots__/TaggingSecretSourcesStore.json +30 -0
  412. package/src/storage/backwards_compatibility_tests/__snapshots__/opened_stores.json +117 -0
  413. package/src/storage/backwards_compatibility_tests/kv_store_snapshot.ts +122 -0
  414. package/src/storage/backwards_compatibility_tests/schema_tests.ts +774 -0
  415. package/src/storage/backwards_compatibility_tests/store_spy.ts +73 -0
  416. package/src/storage/capsule_store/capsule_service.ts +8 -14
  417. package/src/storage/capsule_store/capsule_store.ts +15 -5
  418. package/src/storage/contract_store/contract_store.ts +96 -124
  419. package/src/storage/fact_store/fact_service.ts +69 -0
  420. package/src/storage/fact_store/fact_store.ts +487 -0
  421. package/src/storage/fact_store/fact_store_keys.ts +75 -0
  422. package/src/storage/fact_store/index.ts +14 -0
  423. package/src/storage/fact_store/origin_state.ts +75 -0
  424. package/src/storage/fact_store/stored_fact.ts +80 -0
  425. package/src/storage/index.ts +2 -1
  426. package/src/storage/metadata.ts +1 -1
  427. package/src/storage/note_store/note_store.ts +228 -192
  428. package/src/storage/note_store/stored_note.ts +5 -27
  429. package/src/storage/open_pxe_stores.ts +52 -0
  430. package/src/storage/private_event_store/private_event_store.ts +52 -54
  431. package/src/storage/private_event_store/stored_private_event.ts +1 -1
  432. package/src/storage/tagging_store/index.ts +1 -1
  433. package/src/storage/tagging_store/recipient_tagging_store.ts +5 -9
  434. package/src/storage/tagging_store/sender_tagging_store.ts +6 -6
  435. package/src/storage/tagging_store/tagging_secret_sources_store.ts +138 -0
  436. package/src/tagging/constants.ts +6 -8
  437. package/src/tagging/get_all_logs_by_tags.ts +78 -50
  438. package/src/tagging/index.ts +4 -3
  439. package/src/tagging/persist_sender_tagging_index_ranges.ts +57 -0
  440. package/src/tagging/recipient_sync/sync_tagged_private_logs.ts +301 -0
  441. package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +2 -2
  442. package/src/tagging/reconcile_tagging_index_ranges.ts +102 -0
  443. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +41 -19
  444. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +23 -8
  445. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +4 -5
  446. package/dest/access_scopes.d.ts +0 -9
  447. package/dest/access_scopes.d.ts.map +0 -1
  448. package/dest/access_scopes.js +0 -6
  449. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts +0 -9
  450. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts.map +0 -1
  451. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.js +0 -38
  452. package/dest/contract_function_simulator/oracle/oracle.d.ts +0 -80
  453. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +0 -1
  454. package/dest/contract_function_simulator/oracle/oracle.js +0 -458
  455. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +0 -6
  456. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +0 -1
  457. package/dest/contract_function_simulator/proxied_contract_data_source.js +0 -80
  458. package/dest/contract_sync/contract_sync_service.d.ts +0 -46
  459. package/dest/contract_sync/contract_sync_service.d.ts.map +0 -1
  460. package/dest/contract_sync/contract_sync_service.js +0 -124
  461. package/dest/contract_sync/helpers.d.ts +0 -29
  462. package/dest/contract_sync/helpers.d.ts.map +0 -1
  463. package/dest/contract_sync/helpers.js +0 -60
  464. package/dest/messages/message_context_service.d.ts +0 -17
  465. package/dest/messages/message_context_service.d.ts.map +0 -1
  466. package/dest/messages/message_context_service.js +0 -36
  467. package/dest/storage/tagging_store/sender_address_book_store.d.ts +0 -14
  468. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +0 -1
  469. package/dest/storage/tagging_store/sender_address_book_store.js +0 -36
  470. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +0 -14
  471. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +0 -1
  472. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +0 -99
  473. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +0 -14
  474. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +0 -1
  475. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +0 -33
  476. package/src/access_scopes.ts +0 -9
  477. package/src/contract_function_simulator/oracle/legacy_oracle_mappings.ts +0 -98
  478. package/src/contract_function_simulator/oracle/oracle.ts +0 -721
  479. package/src/contract_function_simulator/proxied_contract_data_source.ts +0 -83
  480. package/src/contract_sync/contract_sync_service.ts +0 -192
  481. package/src/contract_sync/helpers.ts +0 -99
  482. package/src/messages/message_context_service.ts +0 -44
  483. package/src/storage/tagging_store/sender_address_book_store.ts +0 -48
  484. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +0 -140
  485. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +0 -44
@@ -0,0 +1,50 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
3
+ /** Facts are always tied to a real scope; the zero address is not a valid fact scope. */ function assertNonZeroScope(scope) {
4
+ if (scope.equals(AztecAddress.ZERO)) {
5
+ throw new Error('scope must not be the zero address');
6
+ }
7
+ }
8
+ /** Identifies all fact collections of one type within a contract, for one scope. */ export class FactCollectionTypeKey {
9
+ contractAddress;
10
+ scope;
11
+ factCollectionTypeId;
12
+ constructor(contractAddress, scope, factCollectionTypeId){
13
+ this.contractAddress = contractAddress;
14
+ this.scope = scope;
15
+ this.factCollectionTypeId = factCollectionTypeId;
16
+ assertNonZeroScope(scope);
17
+ }
18
+ static from(fields) {
19
+ return new FactCollectionTypeKey(fields.contractAddress, fields.scope, fields.factCollectionTypeId);
20
+ }
21
+ toString() {
22
+ return `${this.contractAddress}:${this.scope}:${this.factCollectionTypeId}`;
23
+ }
24
+ }
25
+ /** Uniquely identifies a single fact collection, isolated by scope; all its facts share this key. */ export class FactCollectionKey {
26
+ contractAddress;
27
+ scope;
28
+ factCollectionTypeId;
29
+ factCollectionId;
30
+ constructor(contractAddress, scope, factCollectionTypeId, factCollectionId){
31
+ this.contractAddress = contractAddress;
32
+ this.scope = scope;
33
+ this.factCollectionTypeId = factCollectionTypeId;
34
+ this.factCollectionId = factCollectionId;
35
+ assertNonZeroScope(scope);
36
+ }
37
+ static from(fields) {
38
+ return new FactCollectionKey(fields.contractAddress, fields.scope, fields.factCollectionTypeId, fields.factCollectionId);
39
+ }
40
+ /** Inverse of toString */ static fromString(str) {
41
+ const [contractAddress, scope, factCollectionTypeId, factCollectionId] = str.split(':');
42
+ return new FactCollectionKey(AztecAddress.fromStringUnsafe(contractAddress), AztecAddress.fromStringUnsafe(scope), Fr.fromString(factCollectionTypeId), Fr.fromString(factCollectionId));
43
+ }
44
+ /** The key grouping this collection with the other collections of its type within the same contract and scope. */ factCollectionTypeKey() {
45
+ return new FactCollectionTypeKey(this.contractAddress, this.scope, this.factCollectionTypeId);
46
+ }
47
+ toString() {
48
+ return `${this.contractAddress}:${this.scope}:${this.factCollectionTypeId}:${this.factCollectionId}`;
49
+ }
50
+ }
@@ -0,0 +1,6 @@
1
+ export { FactStore, type FactCollection } from './fact_store.js';
2
+ export { FactService } from './fact_service.js';
3
+ export { FactCollectionKey, FactCollectionTypeKey, type OriginBlock } from './fact_store_keys.js';
4
+ export type { Fact } from './stored_fact.js';
5
+ export { OriginBlockState, classifyOriginBlockState, anchoredTipBlockNumbers, toFactWithOriginState, type TipBlockNumbers, type RetractableFactOrigin, type FactWithOriginState, type FactCollectionWithOriginState, } from './origin_state.js';
6
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zdG9yYWdlL2ZhY3Rfc3RvcmUvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFNBQVMsRUFBRSxLQUFLLGNBQWMsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNoRCxPQUFPLEVBQUUsaUJBQWlCLEVBQUUscUJBQXFCLEVBQUUsS0FBSyxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNsRyxZQUFZLEVBQUUsSUFBSSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDN0MsT0FBTyxFQUNMLGdCQUFnQixFQUNoQix3QkFBd0IsRUFDeEIsdUJBQXVCLEVBQ3ZCLHFCQUFxQixFQUNyQixLQUFLLGVBQWUsRUFDcEIsS0FBSyxxQkFBcUIsRUFDMUIsS0FBSyxtQkFBbUIsRUFDeEIsS0FBSyw2QkFBNkIsR0FDbkMsTUFBTSxtQkFBbUIsQ0FBQyJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,KAAK,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAClG,YAAY,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EACL,gBAAgB,EAChB,wBAAwB,EACxB,uBAAuB,EACvB,qBAAqB,EACrB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,mBAAmB,EACxB,KAAK,6BAA6B,GACnC,MAAM,mBAAmB,CAAC"}
@@ -0,0 +1,4 @@
1
+ export { FactStore } from './fact_store.js';
2
+ export { FactService } from './fact_service.js';
3
+ export { FactCollectionKey, FactCollectionTypeKey } from './fact_store_keys.js';
4
+ export { OriginBlockState, classifyOriginBlockState, anchoredTipBlockNumbers, toFactWithOriginState } from './origin_state.js';
@@ -0,0 +1,57 @@
1
+ import type { Fr } from '@aztec/foundation/curves/bn254';
2
+ import type { L2Tips } from '@aztec/stdlib/block';
3
+ import type { FactCollectionKey, OriginBlock } from './fact_store_keys.js';
4
+ import type { Fact } from './stored_fact.js';
5
+ /**
6
+ * Chain state of a retractable fact's origin block, mirroring the L2 chain tips.
7
+ *
8
+ * - `Pending`: above the proven tip.
9
+ * - `Proven`: proof on L1 but not yet finalized.
10
+ * - `Finalized`: L1-finalized.
11
+ *
12
+ * The numeric discriminants must stay in sync with the Noir `OriginBlockState` in
13
+ * `noir-projects/aztec-nr/aztec/src/facts/origin_state.nr`: PXE serializes this value into the `Fact` oracle response
14
+ * and Noir deserializes it via `from_u8`, which rejects any value outside this set.
15
+ */
16
+ export declare enum OriginBlockState {
17
+ Pending = 1,
18
+ Proven = 2,
19
+ Finalized = 3
20
+ }
21
+ /** The two chain-tip block numbers needed to classify an origin block (`finalized <= proven` always holds). */
22
+ export type TipBlockNumbers = {
23
+ provenBlockNumber: number;
24
+ finalizedBlockNumber: number;
25
+ };
26
+ /**
27
+ * Projects the live chain tips to the block numbers used for classification, capped at the anchor block.
28
+ *
29
+ * A utility execution reads against a fixed anchor block, and every other node query in the oracle is bounded by it.
30
+ * Capping the proven/finalized tips at the anchor keeps origin-state consistent with that view and deterministic
31
+ * across runs: an origin block at or before the anchor classifies exactly as it would against the live tips, while an
32
+ * origin block above the anchor is reported `Pending` rather than trusting tips that look past the anchor.
33
+ */
34
+ export declare function anchoredTipBlockNumbers(tips: L2Tips, anchorBlockNumber: number): TipBlockNumbers;
35
+ /** A retractable fact's origin block annotated with that block's current chain state. */
36
+ export type RetractableFactOrigin = OriginBlock & {
37
+ blockState: OriginBlockState;
38
+ };
39
+ /** A fact enriched with origin-block state. `originBlock` is undefined for a non-retractable fact. */
40
+ export type FactWithOriginState = {
41
+ factTypeId: Fr;
42
+ payload: Fr[];
43
+ originBlock: RetractableFactOrigin | undefined;
44
+ };
45
+ /** A fact collection whose facts carry origin-block state. */
46
+ export type FactCollectionWithOriginState = {
47
+ key: FactCollectionKey;
48
+ facts: FactWithOriginState[];
49
+ };
50
+ /**
51
+ * Classifies an origin block by number against the chain tips. A surviving retractable fact's origin block is
52
+ * guaranteed canonical (a reorg would have pruned the fact), so a number comparison is sufficient.
53
+ */
54
+ export declare function classifyOriginBlockState(blockNumber: number, tips: TipBlockNumbers): OriginBlockState;
55
+ /** Enriches a stored fact with the chain state of its origin block (when retractable). */
56
+ export declare function toFactWithOriginState(fact: Fact, tips: TipBlockNumbers): FactWithOriginState;
57
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JpZ2luX3N0YXRlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvc3RvcmFnZS9mYWN0X3N0b3JlL29yaWdpbl9zdGF0ZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUVsRCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxXQUFXLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUMzRSxPQUFPLEtBQUssRUFBRSxJQUFJLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUU3Qzs7Ozs7Ozs7OztHQVVHO0FBQ0gsb0JBQVksZ0JBQWdCO0lBQzFCLE9BQU8sSUFBSTtJQUNYLE1BQU0sSUFBSTtJQUNWLFNBQVMsSUFBSTtDQUNkO0FBRUQsK0dBQStHO0FBQy9HLE1BQU0sTUFBTSxlQUFlLEdBQUc7SUFBRSxpQkFBaUIsRUFBRSxNQUFNLENBQUM7SUFBQyxvQkFBb0IsRUFBRSxNQUFNLENBQUE7Q0FBRSxDQUFDO0FBRTFGOzs7Ozs7O0dBT0c7QUFDSCx3QkFBZ0IsdUJBQXVCLENBQUMsSUFBSSxFQUFFLE1BQU0sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLEdBQUcsZUFBZSxDQUtoRztBQUVELHlGQUF5RjtBQUN6RixNQUFNLE1BQU0scUJBQXFCLEdBQUcsV0FBVyxHQUFHO0lBQUUsVUFBVSxFQUFFLGdCQUFnQixDQUFBO0NBQUUsQ0FBQztBQUVuRixzR0FBc0c7QUFDdEcsTUFBTSxNQUFNLG1CQUFtQixHQUFHO0lBQUUsVUFBVSxFQUFFLEVBQUUsQ0FBQztJQUFDLE9BQU8sRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUFDLFdBQVcsRUFBRSxxQkFBcUIsR0FBRyxTQUFTLENBQUE7Q0FBRSxDQUFDO0FBRXBILDhEQUE4RDtBQUM5RCxNQUFNLE1BQU0sNkJBQTZCLEdBQUc7SUFBRSxHQUFHLEVBQUUsaUJBQWlCLENBQUM7SUFBQyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQTtDQUFFLENBQUM7QUFFckc7OztHQUdHO0FBQ0gsd0JBQWdCLHdCQUF3QixDQUFDLFdBQVcsRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLGVBQWUsR0FBRyxnQkFBZ0IsQ0FRckc7QUFFRCwwRkFBMEY7QUFDMUYsd0JBQWdCLHFCQUFxQixDQUFDLElBQUksRUFBRSxJQUFJLEVBQUUsSUFBSSxFQUFFLGVBQWUsR0FBRyxtQkFBbUIsQ0FTNUYifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"origin_state.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/origin_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAE7C;;;;;;;;;;GAUG;AACH,oBAAY,gBAAgB;IAC1B,OAAO,IAAI;IACX,MAAM,IAAI;IACV,SAAS,IAAI;CACd;AAED,+GAA+G;AAC/G,MAAM,MAAM,eAAe,GAAG;IAAE,iBAAiB,EAAE,MAAM,CAAC;IAAC,oBAAoB,EAAE,MAAM,CAAA;CAAE,CAAC;AAE1F;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,GAAG,eAAe,CAKhG;AAED,yFAAyF;AACzF,MAAM,MAAM,qBAAqB,GAAG,WAAW,GAAG;IAAE,UAAU,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAEnF,sGAAsG;AACtG,MAAM,MAAM,mBAAmB,GAAG;IAAE,UAAU,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,qBAAqB,GAAG,SAAS,CAAA;CAAE,CAAC;AAEpH,8DAA8D;AAC9D,MAAM,MAAM,6BAA6B,GAAG;IAAE,GAAG,EAAE,iBAAiB,CAAC;IAAC,KAAK,EAAE,mBAAmB,EAAE,CAAA;CAAE,CAAC;AAErG;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,eAAe,GAAG,gBAAgB,CAQrG;AAED,0FAA0F;AAC1F,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,GAAG,mBAAmB,CAS5F"}
@@ -0,0 +1,53 @@
1
+ /**
2
+ * Chain state of a retractable fact's origin block, mirroring the L2 chain tips.
3
+ *
4
+ * - `Pending`: above the proven tip.
5
+ * - `Proven`: proof on L1 but not yet finalized.
6
+ * - `Finalized`: L1-finalized.
7
+ *
8
+ * The numeric discriminants must stay in sync with the Noir `OriginBlockState` in
9
+ * `noir-projects/aztec-nr/aztec/src/facts/origin_state.nr`: PXE serializes this value into the `Fact` oracle response
10
+ * and Noir deserializes it via `from_u8`, which rejects any value outside this set.
11
+ */ export var OriginBlockState = /*#__PURE__*/ function(OriginBlockState) {
12
+ OriginBlockState[OriginBlockState["Pending"] = 1] = "Pending";
13
+ OriginBlockState[OriginBlockState["Proven"] = 2] = "Proven";
14
+ OriginBlockState[OriginBlockState["Finalized"] = 3] = "Finalized";
15
+ return OriginBlockState;
16
+ }({});
17
+ /**
18
+ * Projects the live chain tips to the block numbers used for classification, capped at the anchor block.
19
+ *
20
+ * A utility execution reads against a fixed anchor block, and every other node query in the oracle is bounded by it.
21
+ * Capping the proven/finalized tips at the anchor keeps origin-state consistent with that view and deterministic
22
+ * across runs: an origin block at or before the anchor classifies exactly as it would against the live tips, while an
23
+ * origin block above the anchor is reported `Pending` rather than trusting tips that look past the anchor.
24
+ */ export function anchoredTipBlockNumbers(tips, anchorBlockNumber) {
25
+ return {
26
+ provenBlockNumber: Math.min(tips.proven.block.number, anchorBlockNumber),
27
+ finalizedBlockNumber: Math.min(tips.finalized.block.number, anchorBlockNumber)
28
+ };
29
+ }
30
+ /**
31
+ * Classifies an origin block by number against the chain tips. A surviving retractable fact's origin block is
32
+ * guaranteed canonical (a reorg would have pruned the fact), so a number comparison is sufficient.
33
+ */ export function classifyOriginBlockState(blockNumber, tips) {
34
+ if (blockNumber <= tips.finalizedBlockNumber) {
35
+ return 3;
36
+ }
37
+ if (blockNumber <= tips.provenBlockNumber) {
38
+ return 2;
39
+ }
40
+ return 1;
41
+ }
42
+ /** Enriches a stored fact with the chain state of its origin block (when retractable). */ export function toFactWithOriginState(fact, tips) {
43
+ const originBlock = fact.originBlock ? {
44
+ blockNumber: fact.originBlock.blockNumber,
45
+ blockHash: fact.originBlock.blockHash,
46
+ blockState: classifyOriginBlockState(fact.originBlock.blockNumber, tips)
47
+ } : undefined;
48
+ return {
49
+ factTypeId: fact.factTypeId,
50
+ payload: fact.payload,
51
+ originBlock
52
+ };
53
+ }
@@ -0,0 +1,32 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { BufferReader } from '@aztec/foundation/serialize';
3
+ import { FactCollectionKey, type OriginBlock } from './fact_store_keys.js';
4
+ /** A fact as returned by the fact store. */
5
+ export type Fact = {
6
+ factTypeId: Fr;
7
+ payload: Fr[];
8
+ originBlock: OriginBlock | undefined;
9
+ };
10
+ /**
11
+ * A single immutable fact belonging to a fact collection.
12
+ */
13
+ export declare class StoredFact {
14
+ readonly factCollectionKey: FactCollectionKey;
15
+ readonly factTypeId: Fr;
16
+ readonly payload: Fr[];
17
+ readonly originBlock: OriginBlock | undefined;
18
+ constructor(factCollectionKey: FactCollectionKey, factTypeId: Fr, payload: Fr[], originBlock: OriginBlock | undefined);
19
+ /** Whether this fact is deleted on block pruning (true) or survives reorgs (false). */
20
+ get isRetractable(): boolean;
21
+ /** Stable digest of the payload, used for fact idempotency. */
22
+ payloadHash(): Fr;
23
+ /** Returns the externally facing view of this fact. */
24
+ toFact(): Fact;
25
+ toBuffer(): Buffer;
26
+ static fromBuffer(buffer: Buffer | BufferReader): StoredFact;
27
+ }
28
+ /**
29
+ * Builds the serialized key that identifies a fact in the store.
30
+ */
31
+ export declare function factKeyStrOf(fact: StoredFact): string;
32
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmVkX2ZhY3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9zdG9yYWdlL2ZhY3Rfc3RvcmUvc3RvcmVkX2ZhY3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFHOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLEtBQUssV0FBVyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFM0UsNENBQTRDO0FBQzVDLE1BQU0sTUFBTSxJQUFJLEdBQUc7SUFBRSxVQUFVLEVBQUUsRUFBRSxDQUFDO0lBQUMsT0FBTyxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQUMsV0FBVyxFQUFFLFdBQVcsR0FBRyxTQUFTLENBQUE7Q0FBRSxDQUFDO0FBRTNGOztHQUVHO0FBQ0gscUJBQWEsVUFBVTthQUVILGlCQUFpQixFQUFFLGlCQUFpQjthQUNwQyxVQUFVLEVBQUUsRUFBRTthQUNkLE9BQU8sRUFBRSxFQUFFLEVBQUU7YUFDYixXQUFXLEVBQUUsV0FBVyxHQUFHLFNBQVM7SUFKdEQsWUFDa0IsaUJBQWlCLEVBQUUsaUJBQWlCLEVBQ3BDLFVBQVUsRUFBRSxFQUFFLEVBQ2QsT0FBTyxFQUFFLEVBQUUsRUFBRSxFQUNiLFdBQVcsRUFBRSxXQUFXLEdBQUcsU0FBUyxFQUNsRDtJQUVKLHVGQUF1RjtJQUN2RixJQUFJLGFBQWEsSUFBSSxPQUFPLENBRTNCO0lBRUQsK0RBQStEO0lBQy9ELFdBQVcsSUFBSSxFQUFFLENBRWhCO0lBRUQsdURBQXVEO0lBQ3ZELE1BQU0sSUFBSSxJQUFJLENBRWI7SUFFRCxRQUFRLElBQUksTUFBTSxDQWFqQjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsVUFBVSxDQW1CM0Q7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLFlBQVksQ0FBQyxJQUFJLEVBQUUsVUFBVSxHQUFHLE1BQU0sQ0FHckQifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"stored_fact.d.ts","sourceRoot":"","sources":["../../../src/storage/fact_store/stored_fact.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,iBAAiB,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAE3E,4CAA4C;AAC5C,MAAM,MAAM,IAAI,GAAG;IAAE,UAAU,EAAE,EAAE,CAAC;IAAC,OAAO,EAAE,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,WAAW,GAAG,SAAS,CAAA;CAAE,CAAC;AAE3F;;GAEG;AACH,qBAAa,UAAU;aAEH,iBAAiB,EAAE,iBAAiB;aACpC,UAAU,EAAE,EAAE;aACd,OAAO,EAAE,EAAE,EAAE;aACb,WAAW,EAAE,WAAW,GAAG,SAAS;IAJtD,YACkB,iBAAiB,EAAE,iBAAiB,EACpC,UAAU,EAAE,EAAE,EACd,OAAO,EAAE,EAAE,EAAE,EACb,WAAW,EAAE,WAAW,GAAG,SAAS,EAClD;IAEJ,uFAAuF;IACvF,IAAI,aAAa,IAAI,OAAO,CAE3B;IAED,+DAA+D;IAC/D,WAAW,IAAI,EAAE,CAEhB;IAED,uDAAuD;IACvD,MAAM,IAAI,IAAI,CAEb;IAED,QAAQ,IAAI,MAAM,CAajB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU,CAmB3D;CACF;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAGrD"}
@@ -0,0 +1,64 @@
1
+ import { sha256ToField } from '@aztec/foundation/crypto/sha256';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
4
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
5
+ import { FactCollectionKey } from './fact_store_keys.js';
6
+ /**
7
+ * A single immutable fact belonging to a fact collection.
8
+ */ export class StoredFact {
9
+ factCollectionKey;
10
+ factTypeId;
11
+ payload;
12
+ originBlock;
13
+ constructor(factCollectionKey, factTypeId, payload, originBlock){
14
+ this.factCollectionKey = factCollectionKey;
15
+ this.factTypeId = factTypeId;
16
+ this.payload = payload;
17
+ this.originBlock = originBlock;
18
+ }
19
+ /** Whether this fact is deleted on block pruning (true) or survives reorgs (false). */ get isRetractable() {
20
+ return this.originBlock !== undefined;
21
+ }
22
+ /** Stable digest of the payload, used for fact idempotency. */ payloadHash() {
23
+ return sha256ToField([
24
+ this.payload.length,
25
+ ...this.payload
26
+ ]);
27
+ }
28
+ /** Returns the externally facing view of this fact. */ toFact() {
29
+ return {
30
+ factTypeId: this.factTypeId,
31
+ payload: this.payload,
32
+ originBlock: this.originBlock
33
+ };
34
+ }
35
+ toBuffer() {
36
+ return serializeToBuffer(this.factCollectionKey.contractAddress, this.factCollectionKey.scope, this.factCollectionKey.factCollectionTypeId, this.factCollectionKey.factCollectionId, this.factTypeId, this.payload.length, ...this.payload, this.originBlock !== undefined, this.originBlock ? this.originBlock.blockNumber : 0, this.originBlock ? this.originBlock.blockHash : Fr.ZERO);
37
+ }
38
+ static fromBuffer(buffer) {
39
+ const reader = BufferReader.asReader(buffer);
40
+ const contractAddress = reader.readObject(AztecAddress);
41
+ const scope = reader.readObject(AztecAddress);
42
+ const factCollectionTypeId = reader.readObject(Fr);
43
+ const factCollectionId = reader.readObject(Fr);
44
+ const factTypeId = reader.readObject(Fr);
45
+ const payloadLen = reader.readNumber();
46
+ const payload = reader.readArray(payloadLen, Fr);
47
+ const hasOriginBlock = reader.readBoolean();
48
+ const blockNumber = reader.readNumber();
49
+ const blockHash = reader.readObject(Fr);
50
+ const originBlock = hasOriginBlock ? {
51
+ blockNumber,
52
+ blockHash
53
+ } : undefined;
54
+ return new StoredFact(new FactCollectionKey(contractAddress, scope, factCollectionTypeId, factCollectionId), factTypeId, [
55
+ ...payload
56
+ ], originBlock);
57
+ }
58
+ }
59
+ /**
60
+ * Builds the serialized key that identifies a fact in the store.
61
+ */ export function factKeyStrOf(fact) {
62
+ const origin = fact.originBlock ? `${fact.originBlock.blockNumber}:${fact.originBlock.blockHash}` : 'none';
63
+ return `${fact.factCollectionKey}:${fact.factTypeId}:${fact.payloadHash()}:${origin}`;
64
+ }
@@ -1,9 +1,10 @@
1
1
  export * from './address_store/index.js';
2
+ export * from './anchor_block_store/index.js';
2
3
  export * from './capsule_store/index.js';
3
4
  export * from './contract_store/index.js';
5
+ export * from './fact_store/index.js';
4
6
  export * from './note_store/index.js';
5
- export * from './anchor_block_store/index.js';
6
7
  export * from './tagging_store/index.js';
7
8
  export * from './metadata.js';
8
9
  export * from './private_event_store/private_event_store.js';
9
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdG9yYWdlL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsMEJBQTBCLENBQUM7QUFDekMsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLDJCQUEyQixDQUFDO0FBQzFDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYywrQkFBK0IsQ0FBQztBQUM5QyxjQUFjLDBCQUEwQixDQUFDO0FBQ3pDLGNBQWMsZUFBZSxDQUFDO0FBQzlCLGNBQWMsOENBQThDLENBQUMifQ==
10
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdG9yYWdlL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsMEJBQTBCLENBQUM7QUFDekMsY0FBYywrQkFBK0IsQ0FBQztBQUM5QyxjQUFjLDBCQUEwQixDQUFDO0FBQ3pDLGNBQWMsMkJBQTJCLENBQUM7QUFDMUMsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxjQUFjLHVCQUF1QixDQUFDO0FBQ3RDLGNBQWMsMEJBQTBCLENBQUM7QUFDekMsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyw4Q0FBOEMsQ0FBQyJ9
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/storage/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,0BAA0B,CAAC;AACzC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,uBAAuB,CAAC;AACtC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,0BAA0B,CAAC;AACzC,cAAc,eAAe,CAAC;AAC9B,cAAc,8CAA8C,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/storage/index.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,0BAA0B,CAAC;AACzC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,uBAAuB,CAAC;AACtC,cAAc,uBAAuB,CAAC;AACtC,cAAc,0BAA0B,CAAC;AACzC,cAAc,eAAe,CAAC;AAC9B,cAAc,8CAA8C,CAAC"}
@@ -1,8 +1,9 @@
1
1
  export * from './address_store/index.js';
2
+ export * from './anchor_block_store/index.js';
2
3
  export * from './capsule_store/index.js';
3
4
  export * from './contract_store/index.js';
5
+ export * from './fact_store/index.js';
4
6
  export * from './note_store/index.js';
5
- export * from './anchor_block_store/index.js';
6
7
  export * from './tagging_store/index.js';
7
8
  export * from './metadata.js';
8
9
  export * from './private_event_store/private_event_store.js';
@@ -1,2 +1,2 @@
1
- export declare const PXE_DATA_SCHEMA_VERSION = 5;
2
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWV0YWRhdGEuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdG9yYWdlL21ldGFkYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGVBQU8sTUFBTSx1QkFBdUIsSUFBSSxDQUFDIn0=
1
+ export declare const PXE_DATA_SCHEMA_VERSION = 12;
2
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWV0YWRhdGEuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zdG9yYWdlL21ldGFkYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGVBQU8sTUFBTSx1QkFBdUIsS0FBSyxDQUFDIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"metadata.d.ts","sourceRoot":"","sources":["../../src/storage/metadata.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,uBAAuB,IAAI,CAAC"}
1
+ {"version":3,"file":"metadata.d.ts","sourceRoot":"","sources":["../../src/storage/metadata.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,uBAAuB,KAAK,CAAC"}
@@ -1 +1 @@
1
- export const PXE_DATA_SCHEMA_VERSION = 5;
1
+ export const PXE_DATA_SCHEMA_VERSION = 12;
@@ -6,14 +6,19 @@ import { NoteDao } from '@aztec/stdlib/note';
6
6
  import type { StagedStore } from '../../job_coordinator/job_coordinator.js';
7
7
  import type { NotesFilter } from '../../notes_filter.js';
8
8
  /**
9
- * NoteStore manages the storage and retrieval of notes.
9
+ * NoteStore manages the storage and retrieval of notes using an append-only model.
10
10
  *
11
- * Notes can be active or nullified. This class processes new notes, nullifications, and performs rollback handling in
12
- * the case of a reorg.
13
- **/
11
+ * Notes are written once (keyed by siloedNullifier) and never mutated. They might be deleted in case of reorg though.
12
+ * Nullifier emissions are recorded as separate append-only entries: a map from nullifier to the number of the block
13
+ * that emitted it.
14
+ *
15
+ * Reorgs are handled by delete-on-prune: the `chain-pruned` event triggers deletion of every note and nullifier
16
+ * originating on a reorg'd block.
17
+ */
14
18
  export declare class NoteStore implements StagedStore {
15
19
  #private;
16
20
  readonly storeName: string;
21
+ logger: import("@aztec/foundation/log").Logger;
17
22
  constructor(store: AztecAsyncKVStore);
18
23
  /**
19
24
  * Adds multiple notes to the notes store under the specified scope.
@@ -29,46 +34,37 @@ export declare class NoteStore implements StagedStore {
29
34
  /**
30
35
  * Retrieves notes based on the provided filter criteria.
31
36
  *
32
- * This method queries both active and optionally nullified notes based on the filter parameters.
37
+ * A note is considered nullified iff its corresponding nullifier emission has been recorded.
38
+ *
39
+ * All DB reads are kicked off before any await so IndexedDB does not auto-commit the transaction mid-read.
33
40
  *
34
41
  * @param filter - Filter criteria including contractAddress (required), and optional owner,
35
42
  * storageSlot, status, scopes, and siloedNullifier.
36
- * @params jobId - the job context to read from.
37
- * @returns Filtered and deduplicated notes (a note might be present in multiple scopes - we ensure it is only
38
- * returned once if this is the case)
43
+ * @param jobId - the job context to read from.
44
+ * @returns Filtered and deduplicated notes (a note might be present in multiple scopes, but returned at most once)
39
45
  */
40
46
  getNotes(filter: NotesFilter, jobId: string): Promise<NoteDao[]>;
41
47
  /**
42
- * Transitions notes from "active" to "nullified" state.
43
- *
44
- * This operation processes a batch of nullifiers to mark the corresponding notes as spent/nullified.
45
- * The operation is atomic - if any nullifier is not found, the entire operation fails and no notes are modified.
48
+ * Records emission of the given siloed nullifiers, which causes notes to be considered nullified.
46
49
  *
47
- * applyNullifiers is idempotent: the same nullifier can be applied multiple times without error.
48
- * This relaxes constraints on usage of NoteService#validateAndStoreNote, which can then be run concurrently in a Promise.all
49
- * context without risking unnecessarily defensive checks failing.
50
- *
51
- * @param nullifiers - Array of nullifiers with their block numbers to process
52
- * @param jobId - The job context for staged writes
53
- * @returns Array of NoteDao objects that were nullified
54
- * @throws Error if any nullifier is not found in this notes store
55
- */
56
- applyNullifiers(nullifiers: DataInBlock<Fr>[], jobId: string): Promise<NoteDao[]>;
57
- /**
58
- * Synchronizes notes and nullifiers to a specific block number.
50
+ * Each nullifier gets an append-only entry recording the block number at which it was emitted.
59
51
  *
60
- * This method ensures that the state of notes and nullifiers is consistent with the specified block number.
61
- * It restores any notes that were nullified after the given block and deletes any active notes created after that
62
- * block.
52
+ * Every nullifier passed must correspond to a note already present in this store. Callers only apply nullifiers for
53
+ * notes of scopes they track, and a note is always discovered before the nullifier that spends it, so a nullifier
54
+ * with no matching note signals a bug (broken nonce/index discovery, a sync-ordering error, store corruption, etc).
63
55
  *
64
- * IMPORTANT: This method must be called within a transaction to ensure atomicity.
56
+ * `applyNullifiers` is idempotent: a nullifier whose emission is already recorded (committed or staged in this job) is
57
+ * skipped, so re-applying it neither re-writes the emission, changes note visibility, nor appears in the result.
65
58
  *
66
- * @param blockNumber - The new chain tip after a reorg
67
- * @param synchedBlockNumber - The block number up to which PXE managed to sync before the reorg happened.
59
+ * @param siloedNullifiers - Array of nullifiers with their block locations to record
60
+ * @param jobId - The job context for staged writes
61
+ * @returns The notes that transition from active to nullified in this call; already-nullified notes are skipped, so
62
+ * a repeat application returns an empty array.
63
+ * @throws If any nullifier has no matching note in this store, or was emitted at block 0.
68
64
  */
69
- rollback(blockNumber: number, synchedBlockNumber: number): Promise<void>;
65
+ applyNullifiers(siloedNullifiers: DataInBlock<Fr>[], jobId: string): Promise<NoteDao[]>;
70
66
  /**
71
- * Commits in memory job data to persistent storage.
67
+ * Commits in-memory job data to persistent storage.
72
68
  *
73
69
  * Called by JobCoordinator when a job completes successfully.
74
70
  *
@@ -79,5 +75,18 @@ export declare class NoteStore implements StagedStore {
79
75
  */
80
76
  commit(jobId: string): Promise<void>;
81
77
  discardStaged(jobId: string): Promise<void>;
78
+ /** Returns the nullifiers (note ids) of all notes created at the given block number. Used by delete-on-prune. */
79
+ nullifiersOfNotesAtBlock(blockNumber: number): Promise<string[]>;
80
+ /**
81
+ * Rolls the store back to `toBlock`: deletes every note and nullifier emission originating on a block strictly above
82
+ * it, as if nothing past that block height ever happened. Used to retract notes and nullifiers on a reorg.
83
+ *
84
+ * Must be called inside a transaction owned by the caller (it issues no `transactionAsync` of its own, because the
85
+ * reorg path wraps it together with other store operations, and IndexedDB has no nested transaction support).
86
+ *
87
+ * Throws if any job has uncommitted staged writes, since rolling back mid-job could later re-introduce notes or
88
+ * nullifier emissions anchored to deleted blocks.
89
+ */
90
+ rollback(toBlock: number): Promise<void>;
82
91
  }
83
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm90ZV9zdG9yZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3N0b3JhZ2Uvbm90ZV9zdG9yZS9ub3RlX3N0b3JlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFxQyxNQUFNLGlCQUFpQixDQUFDO0FBQzVGLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3ZELE9BQU8sRUFBRSxPQUFPLEVBQWMsTUFBTSxvQkFBb0IsQ0FBQztBQUV6RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSwwQ0FBMEMsQ0FBQztBQUM1RSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUd6RDs7Ozs7SUFLSTtBQUNKLHFCQUFhLFNBQVUsWUFBVyxXQUFXOztJQUMzQyxRQUFRLENBQUMsU0FBUyxFQUFFLE1BQU0sQ0FBVTtJQStCcEMsWUFBWSxLQUFLLEVBQUUsaUJBQWlCLEVBUW5DO0lBRUQ7Ozs7Ozs7OztPQVNHO0lBQ0ksUUFBUSxDQUFDLEtBQUssRUFBRSxPQUFPLEVBQUUsRUFBRSxLQUFLLEVBQUUsWUFBWSxFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksRUFBRSxDQUFDLENBYXJGO0lBY0Q7Ozs7Ozs7Ozs7T0FVRztJQUNILFFBQVEsQ0FBQyxNQUFNLEVBQUUsV0FBVyxFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBZ0cvRDtJQUVEOzs7Ozs7Ozs7Ozs7OztPQWNHO0lBQ0gsZUFBZSxDQUFDLFVBQVUsRUFBRSxXQUFXLENBQUMsRUFBRSxDQUFDLEVBQUUsRUFBRSxLQUFLLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQXlDaEY7SUFFRDs7Ozs7Ozs7Ozs7T0FXRztJQUNVLFFBQVEsQ0FBQyxXQUFXLEVBQUUsTUFBTSxFQUFFLGtCQUFrQixFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBTXBGO0lBNkVEOzs7Ozs7Ozs7T0FTRztJQUNHLE1BQU0sQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FVekM7SUFFRCxhQUFhLENBQUMsS0FBSyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBRzFDO0NBa0NGIn0=
92
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibm90ZV9zdG9yZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3N0b3JhZ2Uvbm90ZV9zdG9yZS9ub3RlX3N0b3JlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFxQyxNQUFNLGlCQUFpQixDQUFDO0FBQzVGLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ3ZELE9BQU8sRUFBRSxPQUFPLEVBQWMsTUFBTSxvQkFBb0IsQ0FBQztBQUV6RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSwwQ0FBMEMsQ0FBQztBQUM1RSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQVV6RDs7Ozs7Ozs7O0dBU0c7QUFDSCxxQkFBYSxTQUFVLFlBQVcsV0FBVzs7SUFDM0MsUUFBUSxDQUFDLFNBQVMsRUFBRSxNQUFNLENBQVU7SUFFcEMsTUFBTSx5Q0FBOEI7SUEwQ3BDLFlBQVksS0FBSyxFQUFFLGlCQUFpQixFQVduQztJQUVEOzs7Ozs7Ozs7T0FTRztJQUNJLFFBQVEsQ0FBQyxLQUFLLEVBQUUsT0FBTyxFQUFFLEVBQUUsS0FBSyxFQUFFLFlBQVksRUFBRSxLQUFLLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLEVBQUUsQ0FBQyxDQWFyRjtJQStCRDs7Ozs7Ozs7Ozs7T0FXRztJQUNILFFBQVEsQ0FBQyxNQUFNLEVBQUUsV0FBVyxFQUFFLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLE9BQU8sRUFBRSxDQUFDLENBOEYvRDtJQUVEOzs7Ozs7Ozs7Ozs7Ozs7OztPQWlCRztJQUNILGVBQWUsQ0FBQyxnQkFBZ0IsRUFBRSxXQUFXLENBQUMsRUFBRSxDQUFDLEVBQUUsRUFBRSxLQUFLLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQXlDdEY7SUFFRDs7Ozs7Ozs7O09BU0c7SUFDRyxNQUFNLENBQUMsS0FBSyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBYXpDO0lBRUQsYUFBYSxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUcxQztJQTZDRCxpSEFBaUg7SUFDcEcsd0JBQXdCLENBQUMsV0FBVyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FNNUU7SUFFRDs7Ozs7Ozs7O09BU0c7SUFDVSxRQUFRLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBa0RwRDtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"note_store.d.ts","sourceRoot":"","sources":["../../../src/storage/note_store/note_store.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,2BAA2B,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAqC,MAAM,iBAAiB,CAAC;AAC5F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAc,MAAM,oBAAoB,CAAC;AAEzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0CAA0C,CAAC;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGzD;;;;;IAKI;AACJ,qBAAa,SAAU,YAAW,WAAW;;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAU;IA+BpC,YAAY,KAAK,EAAE,iBAAiB,EAQnC;IAED;;;;;;;;;OASG;IACI,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAarF;IAcD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAgG/D;IAED;;;;;;;;;;;;;;OAcG;IACH,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAyChF;IAED;;;;;;;;;;;OAWG;IACU,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAMpF;IA6ED;;;;;;;;;OASG;IACG,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAUzC;IAED,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAG1C;CAkCF"}
1
+ {"version":3,"file":"note_store.d.ts","sourceRoot":"","sources":["../../../src/storage/note_store/note_store.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,2BAA2B,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAqC,MAAM,iBAAiB,CAAC;AAC5F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAc,MAAM,oBAAoB,CAAC;AAEzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0CAA0C,CAAC;AAC5E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAUzD;;;;;;;;;GASG;AACH,qBAAa,SAAU,YAAW,WAAW;;IAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAU;IAEpC,MAAM,yCAA8B;IA0CpC,YAAY,KAAK,EAAE,iBAAiB,EAWnC;IAED;;;;;;;;;OASG;IACI,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAarF;IA+BD;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CA8F/D;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,eAAe,CAAC,gBAAgB,EAAE,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAyCtF;IAED;;;;;;;;;OASG;IACG,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAazC;IAED,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAG1C;IA6CD,iHAAiH;IACpG,wBAAwB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAM5E;IAED;;;;;;;;;OASG;IACU,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAkDpD;CACF"}