@aztec/pxe 0.0.1-commit.b655e406 → 0.0.1-commit.b6e433891

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 (434) hide show
  1. package/dest/access_scopes.d.ts +9 -0
  2. package/dest/access_scopes.d.ts.map +1 -0
  3. package/dest/access_scopes.js +6 -0
  4. package/dest/bin/check_oracle_version.d.ts +1 -1
  5. package/dest/bin/check_oracle_version.js +105 -15
  6. package/dest/block_synchronizer/block_synchronizer.d.ts +45 -0
  7. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -0
  8. package/dest/block_synchronizer/block_synchronizer.js +153 -0
  9. package/dest/block_synchronizer/index.d.ts +2 -0
  10. package/dest/block_synchronizer/index.d.ts.map +1 -0
  11. package/dest/block_synchronizer/index.js +1 -0
  12. package/dest/config/index.d.ts +7 -13
  13. package/dest/config/index.d.ts.map +1 -1
  14. package/dest/config/index.js +25 -14
  15. package/dest/config/package_info.d.ts +1 -1
  16. package/dest/config/package_info.js +1 -1
  17. package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
  18. package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
  19. package/dest/contract_function_simulator/benchmarked_node.js +77 -0
  20. package/dest/contract_function_simulator/contract_function_simulator.d.ts +84 -26
  21. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  22. package/dest/contract_function_simulator/contract_function_simulator.js +251 -85
  23. package/dest/contract_function_simulator/execution_note_cache.d.ts +25 -14
  24. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  25. package/dest/contract_function_simulator/execution_note_cache.js +59 -34
  26. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +7 -7
  27. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
  28. package/dest/contract_function_simulator/execution_tagging_index_cache.js +19 -11
  29. package/dest/contract_function_simulator/hashed_values_cache.d.ts +2 -2
  30. package/dest/contract_function_simulator/hashed_values_cache.d.ts.map +1 -1
  31. package/dest/contract_function_simulator/index.d.ts +3 -2
  32. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/index.js +2 -1
  34. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +6 -6
  35. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  36. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +11 -7
  37. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +5 -4
  38. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -1
  39. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +7 -6
  40. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +3 -3
  41. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
  42. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +2 -4
  43. package/dest/contract_function_simulator/noir-structs/message_tx_context.d.ts +16 -0
  44. package/dest/contract_function_simulator/noir-structs/message_tx_context.d.ts.map +1 -0
  45. package/dest/contract_function_simulator/noir-structs/message_tx_context.js +57 -0
  46. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +7 -7
  47. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
  48. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +14 -7
  49. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
  50. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  51. package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
  52. package/dest/contract_function_simulator/oracle/index.d.ts +1 -1
  53. package/dest/contract_function_simulator/oracle/interfaces.d.ts +64 -49
  54. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  55. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts +9 -0
  56. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.d.ts.map +1 -0
  57. package/dest/contract_function_simulator/oracle/legacy_oracle_mappings.js +42 -0
  58. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +2 -2
  59. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  60. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js +1 -1
  61. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +14 -8
  62. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  63. package/dest/contract_function_simulator/oracle/note_packing_utils.js +16 -11
  64. package/dest/contract_function_simulator/oracle/oracle.d.ts +45 -41
  65. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  66. package/dest/contract_function_simulator/oracle/oracle.js +226 -117
  67. package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -27
  68. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  69. package/dest/contract_function_simulator/oracle/private_execution.js +6 -40
  70. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +67 -88
  71. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  72. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +140 -118
  73. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +149 -56
  74. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  75. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +290 -104
  76. package/dest/contract_function_simulator/pick_notes.d.ts +2 -2
  77. package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -1
  78. package/dest/contract_function_simulator/pick_notes.js +1 -1
  79. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +4 -4
  80. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -1
  81. package/dest/contract_function_simulator/proxied_contract_data_source.js +23 -5
  82. package/dest/contract_logging.d.ts +22 -0
  83. package/dest/contract_logging.d.ts.map +1 -0
  84. package/dest/contract_logging.js +23 -0
  85. package/dest/contract_sync/contract_sync_service.d.ts +45 -0
  86. package/dest/contract_sync/contract_sync_service.d.ts.map +1 -0
  87. package/dest/contract_sync/contract_sync_service.js +114 -0
  88. package/dest/contract_sync/helpers.d.ts +29 -0
  89. package/dest/contract_sync/helpers.d.ts.map +1 -0
  90. package/dest/contract_sync/helpers.js +55 -0
  91. package/dest/debug/pxe_debug_utils.d.ts +45 -0
  92. package/dest/debug/pxe_debug_utils.d.ts.map +1 -0
  93. package/dest/debug/pxe_debug_utils.js +48 -0
  94. package/dest/entrypoints/client/bundle/index.d.ts +4 -2
  95. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  96. package/dest/entrypoints/client/bundle/index.js +3 -1
  97. package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
  98. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  99. package/dest/entrypoints/client/bundle/utils.js +33 -10
  100. package/dest/entrypoints/client/lazy/index.d.ts +4 -2
  101. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  102. package/dest/entrypoints/client/lazy/index.js +3 -1
  103. package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
  104. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  105. package/dest/entrypoints/client/lazy/utils.js +34 -11
  106. package/dest/entrypoints/pxe_creation_options.d.ts +7 -3
  107. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  108. package/dest/entrypoints/server/index.d.ts +6 -2
  109. package/dest/entrypoints/server/index.d.ts.map +1 -1
  110. package/dest/entrypoints/server/index.js +5 -1
  111. package/dest/entrypoints/server/utils.d.ts +1 -1
  112. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  113. package/dest/entrypoints/server/utils.js +40 -28
  114. package/dest/error_enriching.d.ts +4 -4
  115. package/dest/error_enriching.d.ts.map +1 -1
  116. package/dest/error_enriching.js +6 -6
  117. package/dest/events/event_service.d.ts +15 -0
  118. package/dest/events/event_service.d.ts.map +1 -0
  119. package/dest/events/event_service.js +44 -0
  120. package/dest/events/index.d.ts +2 -0
  121. package/dest/events/index.d.ts.map +1 -0
  122. package/dest/events/index.js +1 -0
  123. package/dest/events/private_event_filter_validator.d.ts +9 -0
  124. package/dest/events/private_event_filter_validator.d.ts.map +1 -0
  125. package/dest/events/private_event_filter_validator.js +38 -0
  126. package/dest/job_coordinator/job_coordinator.d.ts +75 -0
  127. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
  128. package/dest/job_coordinator/job_coordinator.js +94 -0
  129. package/dest/logs/log_service.d.ts +29 -0
  130. package/dest/logs/log_service.d.ts.map +1 -0
  131. package/dest/logs/log_service.js +118 -0
  132. package/dest/messages/message_context_service.d.ts +17 -0
  133. package/dest/messages/message_context_service.d.ts.map +1 -0
  134. package/dest/messages/message_context_service.js +36 -0
  135. package/dest/notes/index.d.ts +2 -0
  136. package/dest/notes/index.d.ts.map +1 -0
  137. package/dest/notes/index.js +1 -0
  138. package/dest/notes/note_service.d.ts +49 -0
  139. package/dest/notes/note_service.d.ts.map +1 -0
  140. package/dest/notes/note_service.js +148 -0
  141. package/dest/notes_filter.d.ts +25 -0
  142. package/dest/notes_filter.d.ts.map +1 -0
  143. package/dest/notes_filter.js +4 -0
  144. package/dest/oracle_version.d.ts +3 -3
  145. package/dest/oracle_version.d.ts.map +1 -1
  146. package/dest/oracle_version.js +5 -4
  147. package/dest/private_kernel/hints/compute_tx_expiration_timestamp.d.ts +4 -0
  148. package/dest/private_kernel/hints/compute_tx_expiration_timestamp.d.ts.map +1 -0
  149. package/dest/private_kernel/hints/{compute_tx_include_by_timestamp.js → compute_tx_expiration_timestamp.js} +12 -12
  150. package/dest/private_kernel/hints/index.d.ts +3 -3
  151. package/dest/private_kernel/hints/index.d.ts.map +1 -1
  152. package/dest/private_kernel/hints/index.js +2 -2
  153. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +29 -0
  154. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
  155. package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +144 -77
  156. package/dest/private_kernel/hints/test_utils.d.ts +122 -0
  157. package/dest/private_kernel/hints/test_utils.d.ts.map +1 -0
  158. package/dest/private_kernel/hints/test_utils.js +203 -0
  159. package/dest/private_kernel/index.d.ts +1 -1
  160. package/dest/private_kernel/private_kernel_execution_prover.d.ts +3 -2
  161. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  162. package/dest/private_kernel/private_kernel_execution_prover.js +33 -25
  163. package/dest/private_kernel/private_kernel_oracle.d.ts +26 -25
  164. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  165. package/dest/private_kernel/private_kernel_oracle.js +94 -2
  166. package/dest/pxe.d.ts +124 -103
  167. package/dest/pxe.d.ts.map +1 -1
  168. package/dest/pxe.js +288 -285
  169. package/dest/storage/address_store/address_store.d.ts +11 -0
  170. package/dest/storage/address_store/address_store.d.ts.map +1 -0
  171. package/dest/storage/{address_data_provider/address_data_provider.js → address_store/address_store.js} +13 -12
  172. package/dest/storage/address_store/index.d.ts +2 -0
  173. package/dest/storage/address_store/index.d.ts.map +1 -0
  174. package/dest/storage/address_store/index.js +1 -0
  175. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +17 -0
  176. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -0
  177. package/dest/storage/{sync_data_provider/sync_data_provider.js → anchor_block_store/anchor_block_store.js} +10 -10
  178. package/dest/storage/anchor_block_store/index.d.ts +2 -0
  179. package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
  180. package/dest/storage/anchor_block_store/index.js +1 -0
  181. package/dest/storage/capsule_store/capsule_store.d.ts +72 -0
  182. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -0
  183. package/dest/storage/capsule_store/capsule_store.js +253 -0
  184. package/dest/storage/capsule_store/index.d.ts +2 -0
  185. package/dest/storage/capsule_store/index.d.ts.map +1 -0
  186. package/dest/storage/capsule_store/index.js +1 -0
  187. package/dest/storage/contract_store/contract_store.d.ts +93 -0
  188. package/dest/storage/contract_store/contract_store.d.ts.map +1 -0
  189. package/dest/storage/contract_store/contract_store.js +309 -0
  190. package/dest/storage/contract_store/index.d.ts +2 -0
  191. package/dest/storage/contract_store/index.d.ts.map +1 -0
  192. package/dest/storage/contract_store/index.js +1 -0
  193. package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.d.ts +1 -1
  194. package/dest/storage/contract_store/private_functions_tree.d.ts.map +1 -0
  195. package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.js +1 -1
  196. package/dest/storage/index.d.ts +8 -8
  197. package/dest/storage/index.d.ts.map +1 -1
  198. package/dest/storage/index.js +7 -7
  199. package/dest/storage/metadata.d.ts +2 -2
  200. package/dest/storage/metadata.js +1 -1
  201. package/dest/storage/note_store/index.d.ts +3 -0
  202. package/dest/storage/note_store/index.d.ts.map +1 -0
  203. package/dest/storage/note_store/index.js +2 -0
  204. package/dest/storage/note_store/note_store.d.ts +83 -0
  205. package/dest/storage/note_store/note_store.d.ts.map +1 -0
  206. package/dest/storage/note_store/note_store.js +343 -0
  207. package/dest/storage/note_store/stored_note.d.ts +16 -0
  208. package/dest/storage/note_store/stored_note.d.ts.map +1 -0
  209. package/dest/storage/note_store/stored_note.js +43 -0
  210. package/dest/storage/private_event_store/private_event_store.d.ts +91 -0
  211. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -0
  212. package/dest/storage/private_event_store/private_event_store.js +273 -0
  213. package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
  214. package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
  215. package/dest/storage/private_event_store/stored_private_event.js +56 -0
  216. package/dest/storage/tagging_store/index.d.ts +4 -0
  217. package/dest/storage/tagging_store/index.d.ts.map +1 -0
  218. package/dest/storage/tagging_store/index.js +3 -0
  219. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +28 -0
  220. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -0
  221. package/dest/storage/tagging_store/recipient_tagging_store.js +111 -0
  222. package/dest/storage/tagging_store/sender_address_book_store.d.ts +14 -0
  223. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -0
  224. package/dest/storage/tagging_store/sender_address_book_store.js +36 -0
  225. package/dest/storage/tagging_store/sender_tagging_store.d.ts +78 -0
  226. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -0
  227. package/dest/storage/tagging_store/sender_tagging_store.js +374 -0
  228. package/dest/tagging/constants.d.ts +2 -2
  229. package/dest/tagging/constants.d.ts.map +1 -1
  230. package/dest/tagging/constants.js +10 -2
  231. package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
  232. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
  233. package/dest/tagging/get_all_logs_by_tags.js +60 -0
  234. package/dest/tagging/index.d.ts +17 -7
  235. package/dest/tagging/index.d.ts.map +1 -1
  236. package/dest/tagging/index.js +15 -5
  237. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +14 -0
  238. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -0
  239. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +99 -0
  240. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts +12 -0
  241. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts.map +1 -0
  242. package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +20 -0
  243. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +14 -0
  244. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -0
  245. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +33 -0
  246. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +17 -0
  247. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -0
  248. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +80 -0
  249. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +12 -0
  250. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -0
  251. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +39 -0
  252. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +19 -0
  253. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -0
  254. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +72 -0
  255. package/package.json +29 -19
  256. package/src/access_scopes.ts +9 -0
  257. package/src/bin/check_oracle_version.ts +131 -20
  258. package/src/block_synchronizer/block_synchronizer.ts +178 -0
  259. package/src/block_synchronizer/index.ts +1 -0
  260. package/src/config/index.ts +25 -26
  261. package/src/config/package_info.ts +1 -1
  262. package/src/contract_function_simulator/benchmarked_node.ts +103 -0
  263. package/src/contract_function_simulator/contract_function_simulator.ts +431 -119
  264. package/src/contract_function_simulator/execution_note_cache.ts +58 -28
  265. package/src/contract_function_simulator/execution_tagging_index_cache.ts +19 -14
  266. package/src/contract_function_simulator/hashed_values_cache.ts +1 -1
  267. package/src/contract_function_simulator/index.ts +2 -1
  268. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +14 -7
  269. package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +6 -5
  270. package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +3 -6
  271. package/src/contract_function_simulator/noir-structs/message_tx_context.ts +55 -0
  272. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +16 -7
  273. package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
  274. package/src/contract_function_simulator/oracle/interfaces.ts +86 -61
  275. package/src/contract_function_simulator/oracle/legacy_oracle_mappings.ts +135 -0
  276. package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +1 -1
  277. package/src/contract_function_simulator/oracle/note_packing_utils.ts +30 -14
  278. package/src/contract_function_simulator/oracle/oracle.ts +258 -158
  279. package/src/contract_function_simulator/oracle/private_execution.ts +6 -72
  280. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +187 -167
  281. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +457 -115
  282. package/src/contract_function_simulator/pick_notes.ts +1 -1
  283. package/src/contract_function_simulator/proxied_contract_data_source.ts +24 -7
  284. package/src/contract_logging.ts +39 -0
  285. package/src/contract_sync/contract_sync_service.ts +181 -0
  286. package/src/contract_sync/helpers.ts +98 -0
  287. package/src/debug/pxe_debug_utils.ts +93 -0
  288. package/src/entrypoints/client/bundle/index.ts +3 -1
  289. package/src/entrypoints/client/bundle/utils.ts +25 -18
  290. package/src/entrypoints/client/lazy/index.ts +3 -1
  291. package/src/entrypoints/client/lazy/utils.ts +26 -19
  292. package/src/entrypoints/pxe_creation_options.ts +6 -2
  293. package/src/entrypoints/server/index.ts +5 -1
  294. package/src/entrypoints/server/utils.ts +34 -56
  295. package/src/error_enriching.ts +7 -15
  296. package/src/events/event_service.ts +71 -0
  297. package/src/events/index.ts +1 -0
  298. package/src/events/private_event_filter_validator.ts +46 -0
  299. package/src/job_coordinator/job_coordinator.ts +150 -0
  300. package/src/logs/log_service.ts +213 -0
  301. package/src/messages/message_context_service.ts +45 -0
  302. package/src/notes/index.ts +1 -0
  303. package/src/notes/note_service.ts +196 -0
  304. package/src/notes_filter.ts +26 -0
  305. package/src/oracle_version.ts +5 -4
  306. package/src/private_kernel/hints/{compute_tx_include_by_timestamp.ts → compute_tx_expiration_timestamp.ts} +13 -13
  307. package/src/private_kernel/hints/index.ts +2 -2
  308. package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +199 -145
  309. package/src/private_kernel/hints/test_utils.ts +325 -0
  310. package/src/private_kernel/private_kernel_execution_prover.ts +38 -34
  311. package/src/private_kernel/private_kernel_oracle.ts +118 -37
  312. package/src/pxe.ts +450 -389
  313. package/src/storage/{address_data_provider/address_data_provider.ts → address_store/address_store.ts} +16 -16
  314. package/src/storage/address_store/index.ts +1 -0
  315. package/src/storage/{sync_data_provider/sync_data_provider.ts → anchor_block_store/anchor_block_store.ts} +10 -11
  316. package/src/storage/anchor_block_store/index.ts +1 -0
  317. package/src/storage/capsule_store/capsule_store.ts +315 -0
  318. package/src/storage/capsule_store/index.ts +1 -0
  319. package/src/storage/contract_store/contract_store.ts +429 -0
  320. package/src/storage/contract_store/index.ts +1 -0
  321. package/src/storage/{contract_data_provider → contract_store}/private_functions_tree.ts +1 -1
  322. package/src/storage/index.ts +7 -7
  323. package/src/storage/metadata.ts +1 -1
  324. package/src/storage/note_store/index.ts +2 -0
  325. package/src/storage/note_store/note_store.ts +418 -0
  326. package/src/storage/note_store/stored_note.ts +48 -0
  327. package/src/storage/private_event_store/private_event_store.ts +384 -0
  328. package/src/storage/private_event_store/stored_private_event.ts +73 -0
  329. package/src/storage/tagging_store/index.ts +3 -0
  330. package/src/storage/tagging_store/recipient_tagging_store.ts +143 -0
  331. package/src/storage/tagging_store/sender_address_book_store.ts +48 -0
  332. package/src/storage/tagging_store/sender_tagging_store.ts +476 -0
  333. package/src/tagging/constants.ts +10 -2
  334. package/src/tagging/get_all_logs_by_tags.ts +92 -0
  335. package/src/tagging/index.ts +19 -6
  336. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +140 -0
  337. package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +34 -0
  338. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +44 -0
  339. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +112 -0
  340. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +51 -0
  341. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +85 -0
  342. package/dest/contract_function_simulator/execution_data_provider.d.ts +0 -274
  343. package/dest/contract_function_simulator/execution_data_provider.d.ts.map +0 -1
  344. package/dest/contract_function_simulator/execution_data_provider.js +0 -14
  345. package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
  346. package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
  347. package/dest/contract_function_simulator/proxied_node.js +0 -27
  348. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts +0 -122
  349. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts.map +0 -1
  350. package/dest/contract_function_simulator/pxe_oracle_interface.js +0 -701
  351. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  352. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  353. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +0 -4
  354. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts.map +0 -1
  355. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -45
  356. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
  357. package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
  358. package/dest/storage/address_data_provider/address_data_provider.d.ts +0 -11
  359. package/dest/storage/address_data_provider/address_data_provider.d.ts.map +0 -1
  360. package/dest/storage/address_data_provider/index.d.ts +0 -2
  361. package/dest/storage/address_data_provider/index.d.ts.map +0 -1
  362. package/dest/storage/address_data_provider/index.js +0 -1
  363. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -25
  364. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts.map +0 -1
  365. package/dest/storage/capsule_data_provider/capsule_data_provider.js +0 -118
  366. package/dest/storage/capsule_data_provider/index.d.ts +0 -2
  367. package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
  368. package/dest/storage/capsule_data_provider/index.js +0 -1
  369. package/dest/storage/contract_data_provider/contract_data_provider.d.ts +0 -74
  370. package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
  371. package/dest/storage/contract_data_provider/contract_data_provider.js +0 -205
  372. package/dest/storage/contract_data_provider/index.d.ts +0 -2
  373. package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
  374. package/dest/storage/contract_data_provider/index.js +0 -1
  375. package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
  376. package/dest/storage/note_data_provider/index.d.ts +0 -3
  377. package/dest/storage/note_data_provider/index.d.ts.map +0 -1
  378. package/dest/storage/note_data_provider/index.js +0 -2
  379. package/dest/storage/note_data_provider/note_dao.d.ts +0 -100
  380. package/dest/storage/note_data_provider/note_dao.d.ts.map +0 -1
  381. package/dest/storage/note_data_provider/note_dao.js +0 -102
  382. package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -83
  383. package/dest/storage/note_data_provider/note_data_provider.d.ts.map +0 -1
  384. package/dest/storage/note_data_provider/note_data_provider.js +0 -308
  385. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts +0 -43
  386. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts.map +0 -1
  387. package/dest/storage/private_event_data_provider/private_event_data_provider.js +0 -104
  388. package/dest/storage/sync_data_provider/index.d.ts +0 -2
  389. package/dest/storage/sync_data_provider/index.d.ts.map +0 -1
  390. package/dest/storage/sync_data_provider/index.js +0 -1
  391. package/dest/storage/sync_data_provider/sync_data_provider.d.ts +0 -10
  392. package/dest/storage/sync_data_provider/sync_data_provider.d.ts.map +0 -1
  393. package/dest/storage/tagging_data_provider/index.d.ts +0 -2
  394. package/dest/storage/tagging_data_provider/index.d.ts.map +0 -1
  395. package/dest/storage/tagging_data_provider/index.js +0 -1
  396. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts +0 -40
  397. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts.map +0 -1
  398. package/dest/storage/tagging_data_provider/tagging_data_provider.js +0 -89
  399. package/dest/synchronizer/index.d.ts +0 -2
  400. package/dest/synchronizer/index.d.ts.map +0 -1
  401. package/dest/synchronizer/index.js +0 -1
  402. package/dest/synchronizer/synchronizer.d.ts +0 -35
  403. package/dest/synchronizer/synchronizer.d.ts.map +0 -1
  404. package/dest/synchronizer/synchronizer.js +0 -101
  405. package/dest/tagging/siloed_tag.d.ts +0 -14
  406. package/dest/tagging/siloed_tag.d.ts.map +0 -1
  407. package/dest/tagging/siloed_tag.js +0 -20
  408. package/dest/tagging/tag.d.ts +0 -12
  409. package/dest/tagging/tag.d.ts.map +0 -1
  410. package/dest/tagging/tag.js +0 -17
  411. package/dest/tagging/utils.d.ts +0 -18
  412. package/dest/tagging/utils.d.ts.map +0 -1
  413. package/dest/tagging/utils.js +0 -24
  414. package/src/contract_function_simulator/execution_data_provider.ts +0 -343
  415. package/src/contract_function_simulator/proxied_node.ts +0 -33
  416. package/src/contract_function_simulator/pxe_oracle_interface.ts +0 -1019
  417. package/src/private_kernel/private_kernel_oracle_impl.ts +0 -132
  418. package/src/storage/address_data_provider/index.ts +0 -1
  419. package/src/storage/capsule_data_provider/capsule_data_provider.ts +0 -147
  420. package/src/storage/capsule_data_provider/index.ts +0 -1
  421. package/src/storage/contract_data_provider/contract_data_provider.ts +0 -294
  422. package/src/storage/contract_data_provider/index.ts +0 -1
  423. package/src/storage/note_data_provider/index.ts +0 -2
  424. package/src/storage/note_data_provider/note_dao.ts +0 -154
  425. package/src/storage/note_data_provider/note_data_provider.ts +0 -393
  426. package/src/storage/private_event_data_provider/private_event_data_provider.ts +0 -148
  427. package/src/storage/sync_data_provider/index.ts +0 -1
  428. package/src/storage/tagging_data_provider/index.ts +0 -1
  429. package/src/storage/tagging_data_provider/tagging_data_provider.ts +0 -120
  430. package/src/synchronizer/index.ts +0 -1
  431. package/src/synchronizer/synchronizer.ts +0 -120
  432. package/src/tagging/siloed_tag.ts +0 -22
  433. package/src/tagging/tag.ts +0 -16
  434. package/src/tagging/utils.ts +0 -31
package/dest/pxe.js CHANGED
@@ -1,70 +1,88 @@
1
- import { Fr } from '@aztec/foundation/fields';
2
1
  import { createLogger } from '@aztec/foundation/log';
3
2
  import { SerialQueue } from '@aztec/foundation/queue';
4
3
  import { Timer } from '@aztec/foundation/timer';
5
4
  import { KeyStore } from '@aztec/key-store';
6
5
  import { L2TipsKVStore } from '@aztec/kv-store/stores';
7
6
  import { protocolContractNames } from '@aztec/protocol-contracts';
8
- import { FunctionSelector, FunctionType, decodeFromAbi, decodeFunctionSignature, encodeArguments } from '@aztec/stdlib/abi';
7
+ import { FunctionType, decodeFunctionSignature } from '@aztec/stdlib/abi';
9
8
  import { computeContractAddressFromInstance, getContractClassFromArtifact } from '@aztec/stdlib/contract';
10
9
  import { SimulationError } from '@aztec/stdlib/errors';
11
- import { siloNullifier } from '@aztec/stdlib/hash';
12
- import { UniqueNote } from '@aztec/stdlib/note';
13
10
  import { PrivateSimulationResult, TxProfileResult, TxProvingResult, TxSimulationResult } from '@aztec/stdlib/tx';
14
11
  import { inspect } from 'util';
12
+ import { BlockSynchronizer } from './block_synchronizer/index.js';
13
+ import { BenchmarkedNodeFactory } from './contract_function_simulator/benchmarked_node.js';
15
14
  import { ContractFunctionSimulator, generateSimulatedProvingResult } from './contract_function_simulator/contract_function_simulator.js';
16
- import { readCurrentClassId } from './contract_function_simulator/oracle/private_execution.js';
17
- import { ProxiedContractDataProviderFactory } from './contract_function_simulator/proxied_contract_data_source.js';
18
- import { ProxiedNodeFactory } from './contract_function_simulator/proxied_node.js';
19
- import { PXEOracleInterface } from './contract_function_simulator/pxe_oracle_interface.js';
15
+ import { ProxiedContractStoreFactory } from './contract_function_simulator/proxied_contract_data_source.js';
16
+ import { displayDebugLogs } from './contract_logging.js';
17
+ import { ContractSyncService } from './contract_sync/contract_sync_service.js';
18
+ import { readCurrentClassId } from './contract_sync/helpers.js';
19
+ import { PXEDebugUtils } from './debug/pxe_debug_utils.js';
20
20
  import { enrichPublicSimulationError, enrichSimulationError } from './error_enriching.js';
21
+ import { PrivateEventFilterValidator } from './events/private_event_filter_validator.js';
22
+ import { JobCoordinator } from './job_coordinator/job_coordinator.js';
23
+ import { MessageContextService } from './messages/message_context_service.js';
21
24
  import { PrivateKernelExecutionProver } from './private_kernel/private_kernel_execution_prover.js';
22
- import { PrivateKernelOracleImpl } from './private_kernel/private_kernel_oracle_impl.js';
23
- import { AddressDataProvider } from './storage/address_data_provider/address_data_provider.js';
24
- import { CapsuleDataProvider } from './storage/capsule_data_provider/capsule_data_provider.js';
25
- import { ContractDataProvider } from './storage/contract_data_provider/contract_data_provider.js';
26
- import { NoteDataProvider } from './storage/note_data_provider/note_data_provider.js';
27
- import { PrivateEventDataProvider } from './storage/private_event_data_provider/private_event_data_provider.js';
28
- import { SyncDataProvider } from './storage/sync_data_provider/sync_data_provider.js';
29
- import { TaggingDataProvider } from './storage/tagging_data_provider/tagging_data_provider.js';
30
- import { Synchronizer } from './synchronizer/index.js';
25
+ import { PrivateKernelOracle } from './private_kernel/private_kernel_oracle.js';
26
+ import { AddressStore } from './storage/address_store/address_store.js';
27
+ import { AnchorBlockStore } from './storage/anchor_block_store/anchor_block_store.js';
28
+ import { CapsuleStore } from './storage/capsule_store/capsule_store.js';
29
+ import { ContractStore } from './storage/contract_store/contract_store.js';
30
+ import { NoteStore } from './storage/note_store/note_store.js';
31
+ import { PrivateEventStore } from './storage/private_event_store/private_event_store.js';
32
+ import { RecipientTaggingStore } from './storage/tagging_store/recipient_tagging_store.js';
33
+ import { SenderAddressBookStore } from './storage/tagging_store/sender_address_book_store.js';
34
+ import { SenderTaggingStore } from './storage/tagging_store/sender_tagging_store.js';
31
35
  /**
32
36
  * Private eXecution Environment (PXE) is a library used by wallets to simulate private phase of transactions and to
33
37
  * manage private state of users.
34
38
  */ export class PXE {
35
39
  node;
36
- synchronizer;
40
+ db;
41
+ blockStateSynchronizer;
37
42
  keyStore;
38
- contractDataProvider;
39
- noteDataProvider;
40
- capsuleDataProvider;
41
- syncDataProvider;
42
- taggingDataProvider;
43
- addressDataProvider;
44
- privateEventDataProvider;
43
+ contractStore;
44
+ noteStore;
45
+ capsuleStore;
46
+ anchorBlockStore;
47
+ senderTaggingStore;
48
+ senderAddressBookStore;
49
+ recipientTaggingStore;
50
+ addressStore;
51
+ privateEventStore;
52
+ contractSyncService;
53
+ messageContextService;
45
54
  simulator;
46
55
  proverEnabled;
47
56
  proofCreator;
48
57
  protocolContractsProvider;
49
58
  log;
50
59
  jobQueue;
51
- constructor(node, synchronizer, keyStore, contractDataProvider, noteDataProvider, capsuleDataProvider, syncDataProvider, taggingDataProvider, addressDataProvider, privateEventDataProvider, simulator, proverEnabled, proofCreator, protocolContractsProvider, log, jobQueue){
60
+ jobCoordinator;
61
+ debug;
62
+ constructor(node, db, blockStateSynchronizer, keyStore, contractStore, noteStore, capsuleStore, anchorBlockStore, senderTaggingStore, senderAddressBookStore, recipientTaggingStore, addressStore, privateEventStore, contractSyncService, messageContextService, simulator, proverEnabled, proofCreator, protocolContractsProvider, log, jobQueue, jobCoordinator, debug){
52
63
  this.node = node;
53
- this.synchronizer = synchronizer;
64
+ this.db = db;
65
+ this.blockStateSynchronizer = blockStateSynchronizer;
54
66
  this.keyStore = keyStore;
55
- this.contractDataProvider = contractDataProvider;
56
- this.noteDataProvider = noteDataProvider;
57
- this.capsuleDataProvider = capsuleDataProvider;
58
- this.syncDataProvider = syncDataProvider;
59
- this.taggingDataProvider = taggingDataProvider;
60
- this.addressDataProvider = addressDataProvider;
61
- this.privateEventDataProvider = privateEventDataProvider;
67
+ this.contractStore = contractStore;
68
+ this.noteStore = noteStore;
69
+ this.capsuleStore = capsuleStore;
70
+ this.anchorBlockStore = anchorBlockStore;
71
+ this.senderTaggingStore = senderTaggingStore;
72
+ this.senderAddressBookStore = senderAddressBookStore;
73
+ this.recipientTaggingStore = recipientTaggingStore;
74
+ this.addressStore = addressStore;
75
+ this.privateEventStore = privateEventStore;
76
+ this.contractSyncService = contractSyncService;
77
+ this.messageContextService = messageContextService;
62
78
  this.simulator = simulator;
63
79
  this.proverEnabled = proverEnabled;
64
80
  this.proofCreator = proofCreator;
65
81
  this.protocolContractsProvider = protocolContractsProvider;
66
82
  this.log = log;
67
83
  this.jobQueue = jobQueue;
84
+ this.jobCoordinator = jobCoordinator;
85
+ this.debug = debug;
68
86
  }
69
87
  /**
70
88
  * Creates an instance of a PXE by instantiating all the necessary data providers and services.
@@ -72,31 +90,62 @@ import { Synchronizer } from './synchronizer/index.js';
72
90
  * can be contacted.
73
91
  *
74
92
  * @returns A promise that resolves PXE is ready to be used.
75
- */ static async create(node, store, proofCreator, simulator, protocolContractsProvider, config, loggerOrSuffix) {
93
+ */ static async create({ node, store, proofCreator, simulator, protocolContractsProvider, config, loggerOrSuffix }) {
94
+ // Extract bindings from the logger, or use empty bindings if a string suffix is provided.
95
+ const bindings = loggerOrSuffix && typeof loggerOrSuffix !== 'string' ? loggerOrSuffix.getBindings() : undefined;
76
96
  const log = !loggerOrSuffix || typeof loggerOrSuffix === 'string' ? createLogger(loggerOrSuffix ? `pxe:service:${loggerOrSuffix}` : `pxe:service`) : loggerOrSuffix;
77
- const proverEnabled = !!config.proverEnabled;
78
- const addressDataProvider = new AddressDataProvider(store);
79
- const privateEventDataProvider = new PrivateEventDataProvider(store);
80
- const contractDataProvider = new ContractDataProvider(store);
81
- const noteDataProvider = await NoteDataProvider.create(store);
82
- const syncDataProvider = new SyncDataProvider(store);
83
- const taggingDataProvider = new TaggingDataProvider(store);
84
- const capsuleDataProvider = new CapsuleDataProvider(store);
97
+ const info = await node.getNodeInfo();
98
+ const proverEnabled = config.proverEnabled !== undefined ? config.proverEnabled : info.realProofs;
99
+ const addressStore = new AddressStore(store);
100
+ const privateEventStore = new PrivateEventStore(store);
101
+ const contractStore = new ContractStore(store);
102
+ const noteStore = new NoteStore(store);
103
+ const anchorBlockStore = new AnchorBlockStore(store);
104
+ const senderTaggingStore = new SenderTaggingStore(store);
105
+ const senderAddressBookStore = new SenderAddressBookStore(store);
106
+ const recipientTaggingStore = new RecipientTaggingStore(store);
107
+ const capsuleStore = new CapsuleStore(store);
85
108
  const keyStore = new KeyStore(store);
86
109
  const tipsStore = new L2TipsKVStore(store, 'pxe');
87
- const synchronizer = new Synchronizer(node, syncDataProvider, noteDataProvider, taggingDataProvider, tipsStore, config, loggerOrSuffix);
110
+ const contractSyncService = new ContractSyncService(node, contractStore, noteStore, createLogger('pxe:contract_sync', bindings));
111
+ const messageContextService = new MessageContextService(node);
112
+ const synchronizer = new BlockSynchronizer(node, store, anchorBlockStore, noteStore, privateEventStore, tipsStore, contractSyncService, config, bindings);
113
+ const jobCoordinator = new JobCoordinator(store, bindings);
114
+ jobCoordinator.registerStores([
115
+ capsuleStore,
116
+ senderTaggingStore,
117
+ recipientTaggingStore,
118
+ privateEventStore,
119
+ noteStore,
120
+ contractSyncService
121
+ ]);
122
+ const debugUtils = new PXEDebugUtils(contractSyncService, noteStore, synchronizer, anchorBlockStore);
88
123
  const jobQueue = new SerialQueue();
89
- const pxe = new PXE(node, synchronizer, keyStore, contractDataProvider, noteDataProvider, capsuleDataProvider, syncDataProvider, taggingDataProvider, addressDataProvider, privateEventDataProvider, simulator, proverEnabled, proofCreator, protocolContractsProvider, log, jobQueue);
124
+ const pxe = new PXE(node, store, synchronizer, keyStore, contractStore, noteStore, capsuleStore, anchorBlockStore, senderTaggingStore, senderAddressBookStore, recipientTaggingStore, addressStore, privateEventStore, contractSyncService, messageContextService, simulator, proverEnabled, proofCreator, protocolContractsProvider, log, jobQueue, jobCoordinator, debugUtils);
125
+ debugUtils.setPXEHelpers(pxe.#putInJobQueue.bind(pxe), pxe.#getSimulatorForTx.bind(pxe), pxe.#executeUtility.bind(pxe));
90
126
  pxe.jobQueue.start();
91
127
  await pxe.#registerProtocolContracts();
92
- const info = await node.getNodeInfo();
93
128
  log.info(`Started PXE connected to chain ${info.l1ChainId} version ${info.rollupVersion}`);
94
129
  return pxe;
95
130
  }
96
131
  // Internal methods
97
132
  #getSimulatorForTx(overrides) {
98
- const pxeOracleInterface = new PXEOracleInterface(ProxiedNodeFactory.create(this.node), this.keyStore, ProxiedContractDataProviderFactory.create(this.contractDataProvider, overrides?.contracts), this.noteDataProvider, this.capsuleDataProvider, this.syncDataProvider, this.taggingDataProvider, this.addressDataProvider, this.privateEventDataProvider, this.log);
99
- return new ContractFunctionSimulator(pxeOracleInterface, this.simulator);
133
+ const proxyContractStore = ProxiedContractStoreFactory.create(this.contractStore, overrides?.contracts);
134
+ return new ContractFunctionSimulator({
135
+ contractStore: proxyContractStore,
136
+ noteStore: this.noteStore,
137
+ keyStore: this.keyStore,
138
+ addressStore: this.addressStore,
139
+ aztecNode: BenchmarkedNodeFactory.create(this.node),
140
+ senderTaggingStore: this.senderTaggingStore,
141
+ recipientTaggingStore: this.recipientTaggingStore,
142
+ senderAddressBookStore: this.senderAddressBookStore,
143
+ capsuleStore: this.capsuleStore,
144
+ privateEventStore: this.privateEventStore,
145
+ simulator: this.simulator,
146
+ contractSyncService: this.contractSyncService,
147
+ messageContextService: this.messageContextService
148
+ });
100
149
  }
101
150
  #contextualizeError(err, ...context) {
102
151
  let contextStr = '';
@@ -121,79 +170,74 @@ import { Synchronizer } from './synchronizer/index.js';
121
170
  if (this.jobQueue.length() != 0) {
122
171
  this.log.warn(`PXE is already processing ${this.jobQueue.length()} jobs, concurrent execution is not supported. Will run once those are complete.`);
123
172
  }
124
- return this.jobQueue.put(fn);
173
+ return this.jobQueue.put(async ()=>{
174
+ const jobId = this.jobCoordinator.beginJob();
175
+ this.log.verbose(`Beginning job ${jobId}`);
176
+ try {
177
+ const result = await fn(jobId);
178
+ this.log.verbose(`Committing job ${jobId}`);
179
+ await this.jobCoordinator.commitJob(jobId);
180
+ return result;
181
+ } catch (err) {
182
+ this.log.verbose(`Aborting job ${jobId}`);
183
+ await this.jobCoordinator.abortJob(jobId);
184
+ throw err;
185
+ }
186
+ });
125
187
  }
126
188
  async #registerProtocolContracts() {
127
189
  const registered = {};
128
190
  for (const name of protocolContractNames){
129
- const { address, contractClass, instance, artifact } = await this.protocolContractsProvider.getProtocolContractArtifact(name);
130
- await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
131
- await this.contractDataProvider.addContractInstance(instance);
191
+ const { address, instance, artifact } = await this.protocolContractsProvider.getProtocolContractArtifact(name);
192
+ await this.contractStore.addContractArtifact(artifact);
193
+ await this.contractStore.addContractInstance(instance);
132
194
  registered[name] = address.toString();
133
195
  }
134
196
  this.log.verbose(`Registered protocol contracts in pxe`, registered);
135
197
  }
136
- async #isContractClassPubliclyRegistered(id) {
137
- return !!await this.node.getContractClass(id);
138
- }
139
- async #isContractPublished(address) {
140
- return !!await this.node.getContract(address);
141
- }
142
- async #isContractInitialized(address) {
143
- const initNullifier = await siloNullifier(address, address.toField());
144
- return !!await this.node.getNullifierMembershipWitness('latest', initNullifier);
145
- }
146
- async #getFunctionCall(functionName, args, to) {
147
- const contract = await this.contractDataProvider.getContract(to);
148
- if (!contract) {
149
- throw new Error(`Unknown contract ${to}: add it to PXE by calling server.addContracts(...).\nSee docs for context: https://docs.aztec.network/developers/resources/debugging/aztecnr-errors#unknown-contract-0x0-add-it-to-pxe-by-calling-serveraddcontracts`);
150
- }
151
- const functionDao = contract.functions.find((f)=>f.name === functionName);
152
- if (!functionDao) {
153
- throw new Error(`Unknown function ${functionName} in contract ${contract.name}.`);
154
- }
155
- return {
156
- name: functionDao.name,
157
- args: encodeArguments(functionDao, args),
158
- selector: await FunctionSelector.fromNameAndParameters(functionDao.name, functionDao.parameters),
159
- type: functionDao.functionType,
160
- to,
161
- hideMsgSender: false,
162
- isStatic: functionDao.isStatic,
163
- returnTypes: functionDao.returnTypes
164
- };
165
- }
166
198
  // Executes the entrypoint private function, as well as all nested private
167
199
  // functions that might arise.
168
- async #executePrivate(contractFunctionSimulator, txRequest, scopes) {
200
+ async #executePrivate(contractFunctionSimulator, txRequest, scopes, jobId) {
169
201
  const { origin: contractAddress, functionSelector } = txRequest;
170
202
  try {
171
- const result = await contractFunctionSimulator.run(txRequest, contractAddress, functionSelector, undefined, // The sender for tags is set by contracts, typically by an account
172
- // contract entrypoint
173
- undefined, scopes);
203
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
204
+ await this.contractSyncService.ensureContractSynced(contractAddress, functionSelector, (privateSyncCall, execScopes)=>this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId), anchorBlockHeader, jobId, scopes);
205
+ const result = await contractFunctionSimulator.run(txRequest, {
206
+ contractAddress,
207
+ selector: functionSelector,
208
+ anchorBlockHeader,
209
+ scopes,
210
+ jobId
211
+ });
174
212
  this.log.debug(`Private simulation completed for ${contractAddress.toString()}:${functionSelector}`);
175
213
  return result;
176
214
  } catch (err) {
177
215
  if (err instanceof SimulationError) {
178
- await enrichSimulationError(err, this.contractDataProvider, this.log);
216
+ await enrichSimulationError(err, this.contractStore, this.log);
179
217
  }
180
218
  throw err;
181
219
  }
182
220
  }
183
221
  /**
184
- * Simulate a utility function call on the given contract.
222
+ * Execute a utility function call on the given contract.
185
223
  * @param contractFunctionSimulator - The simulator to use for the function call.
186
224
  * @param call - The function call to execute.
187
225
  * @param authWitnesses - Authentication witnesses required for the function call.
188
226
  * @param scopes - Optional array of account addresses whose notes can be accessed in this call. Defaults to all
189
227
  * accounts if not specified.
190
- * @returns The simulation result containing the outputs of the utility function.
191
- */ async #simulateUtility(contractFunctionSimulator, call, authWitnesses, scopes) {
228
+ * @param jobId - The job ID for staged writes.
229
+ * @returns The execution result containing the outputs of the utility function.
230
+ */ async #executeUtility(contractFunctionSimulator, call, authWitnesses, scopes, jobId) {
192
231
  try {
193
- return contractFunctionSimulator.runUtility(call, authWitnesses ?? [], scopes);
232
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
233
+ const { result, offchainEffects } = await contractFunctionSimulator.runUtility(call, authWitnesses ?? [], anchorBlockHeader, scopes, jobId);
234
+ return {
235
+ result,
236
+ offchainEffects
237
+ };
194
238
  } catch (err) {
195
239
  if (err instanceof SimulationError) {
196
- await enrichSimulationError(err, this.contractDataProvider, this.log);
240
+ await enrichSimulationError(err, this.contractStore, this.log);
197
241
  }
198
242
  throw err;
199
243
  }
@@ -215,7 +259,7 @@ import { Synchronizer } from './synchronizer/index.js';
215
259
  } catch (err) {
216
260
  if (err instanceof SimulationError) {
217
261
  try {
218
- await enrichPublicSimulationError(err, this.contractDataProvider, this.log);
262
+ await enrichPublicSimulationError(err, this.contractStore, this.log);
219
263
  } catch (enrichErr) {
220
264
  this.log.error(`Failed to enrich public simulation error: ${enrichErr}`);
221
265
  }
@@ -234,62 +278,33 @@ import { Synchronizer } from './synchronizer/index.js';
234
278
  * @param config - The configuration for the kernel execution prover.
235
279
  * @returns An object that contains the output of the kernel execution, including the ChonkProof if proving is enabled.
236
280
  */ async #prove(txExecutionRequest, proofCreator, privateExecutionResult, config) {
237
- const simulationAnchorBlock = privateExecutionResult.getSimulationAnchorBlockNumber();
238
- const kernelOracle = new PrivateKernelOracleImpl(this.contractDataProvider, this.keyStore, this.node, simulationAnchorBlock);
239
- const kernelTraceProver = new PrivateKernelExecutionProver(kernelOracle, proofCreator, !this.proverEnabled);
281
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
282
+ const anchorBlockHash = await anchorBlockHeader.hash();
283
+ const kernelOracle = new PrivateKernelOracle(this.contractStore, this.keyStore, this.node, anchorBlockHash);
284
+ const kernelTraceProver = new PrivateKernelExecutionProver(kernelOracle, proofCreator, !this.proverEnabled, this.log.getBindings());
240
285
  this.log.debug(`Executing kernel trace prover (${JSON.stringify(config)})...`);
241
286
  return await kernelTraceProver.proveWithKernels(txExecutionRequest.toTxRequest(), privateExecutionResult, config);
242
287
  }
243
288
  // Public API
244
- getContractInstance(address) {
245
- return this.contractDataProvider.getContractInstance(address);
289
+ /**
290
+ * Returns the block header up to which the PXE has synced.
291
+ * @returns The synced block header
292
+ */ getSyncedBlockHeader() {
293
+ return this.anchorBlockStore.getBlockHeader();
246
294
  }
247
295
  /**
248
- * Returns the contract class metadata given a contract class id.
249
- * The metadata consists of its contract class, whether it has been publicly registered, and its artifact.
250
- * @remark - it queries the node to check whether the contract class with the given id has been publicly registered.
251
- * @param id - Identifier of the class.
252
- * @param includeArtifact - Identifier of the class.
253
- * @returns - It returns the contract class metadata, with the artifact field being optional, and will only be returned if true is passed in
254
- * for `includeArtifact`
255
- * TODO(@spalladino): The PXE actually holds artifacts and not classes, what should we return? Also,
256
- * should the pxe query the node for contract public info, and merge it with its own definitions?
257
- * TODO(@spalladino): This method is strictly needed to decide whether to publicly register a class or not
258
- * during a public deployment. We probably want a nicer and more general API for this, but it'll have to
259
- * do for the time being.
260
- */ async getContractClassMetadata(id, includeArtifact = false) {
261
- const artifact = await this.contractDataProvider.getContractArtifact(id);
262
- if (!artifact) {
263
- this.log.warn(`No artifact found for contract class ${id.toString()} when looking for its metadata`);
264
- }
265
- return {
266
- contractClass: artifact && await getContractClassFromArtifact(artifact),
267
- isContractClassPubliclyRegistered: await this.#isContractClassPubliclyRegistered(id),
268
- artifact: includeArtifact ? artifact : undefined
269
- };
296
+ * Returns the contract instance for a given address, if it's registered in the PXE.
297
+ * @param address - The contract address.
298
+ * @returns The contract instance if found, undefined otherwise.
299
+ */ getContractInstance(address) {
300
+ return this.contractStore.getContractInstance(address);
270
301
  }
271
302
  /**
272
- * Returns the contract metadata given an address.
273
- * The metadata consists of its contract instance, which includes the contract class identifier,
274
- * initialization hash, deployment salt, and public keys hash; whether the contract instance has been initialized;
275
- * and whether the contract instance with the given address has been publicly deployed.
276
- * @remark - it queries the node to check whether the contract instance has been initialized / publicly deployed through a node.
277
- * This query is not dependent on the PXE.
278
- * @param address - The address that the contract instance resides at.
279
- * @returns - It returns the contract metadata
280
- * TODO(@spalladino): Should we return the public keys in plain as well here?
281
- */ async getContractMetadata(address) {
282
- let instance;
283
- try {
284
- instance = await this.contractDataProvider.getContractInstance(address);
285
- } catch {
286
- this.log.warn(`No instance found for contract ${address.toString()} when looking for its metadata`);
287
- }
288
- return {
289
- contractInstance: instance,
290
- isContractInitialized: await this.#isContractInitialized(address),
291
- isContractPublished: await this.#isContractPublished(address)
292
- };
303
+ * Returns the contract artifact for a given contract class id, if it's registered in the PXE.
304
+ * @param id - Identifier of the contract class.
305
+ * @returns The contract artifact if found, undefined otherwise.
306
+ */ async getContractArtifact(id) {
307
+ return await this.contractStore.getContractArtifact(id);
293
308
  }
294
309
  /**
295
310
  * Registers a user account in PXE given its master encryption private key.
@@ -310,46 +325,50 @@ import { Synchronizer } from './synchronizer/index.js';
310
325
  this.log.info(`Registered account ${accountCompleteAddress.address.toString()}`);
311
326
  this.log.debug(`Registered account\n ${accountCompleteAddress.toReadableString()}`);
312
327
  }
313
- await this.addressDataProvider.addCompleteAddress(accountCompleteAddress);
314
- await this.noteDataProvider.addScope(accountCompleteAddress.address);
328
+ await this.addressStore.addCompleteAddress(accountCompleteAddress);
315
329
  return accountCompleteAddress;
316
330
  }
317
331
  /**
318
- * Registers a user contact in PXE.
332
+ * Registers a sender in this PXE.
319
333
  *
320
- * Once a new contact is registered, the PXE will be able to receive notes tagged from this contact.
321
- * Will do nothing if the account is already registered.
334
+ * After registering a new sender, the PXE will sync private logs that are tagged with this sender's address.
335
+ * Will do nothing if the address is already registered.
322
336
  *
323
- * @param address - Address of the user to add to the address book
324
- * @returns The address address of the account.
325
- */ async registerSender(address) {
337
+ * @param sender - Address of the sender to register.
338
+ * @returns The address of the sender.
339
+ * TODO: It's strange that we return the address here and I (benesjan) think we should drop the return value.
340
+ */ async registerSender(sender) {
326
341
  const accounts = await this.keyStore.getAccounts();
327
- if (accounts.includes(address)) {
328
- this.log.info(`Sender:\n "${address.toString()}"\n already registered.`);
329
- return address;
342
+ if (accounts.includes(sender)) {
343
+ this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
344
+ return sender;
330
345
  }
331
- const wasAdded = await this.taggingDataProvider.addSenderAddress(address);
346
+ const wasAdded = await this.senderAddressBookStore.addSender(sender);
332
347
  if (wasAdded) {
333
- this.log.info(`Added sender:\n ${address.toString()}`);
348
+ this.log.info(`Added sender:\n ${sender.toString()}`);
349
+ // Wipe the entire sync cache: the new sender's tagged logs could contain notes/events for any contract, so
350
+ // all contracts must re-sync to discover them.
351
+ this.contractSyncService.wipe();
334
352
  } else {
335
- this.log.info(`Sender:\n "${address.toString()}"\n already registered.`);
353
+ this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
336
354
  }
337
- return address;
355
+ return sender;
338
356
  }
339
357
  /**
340
- * Retrieves the addresses stored as senders on this PXE.
341
- * @returns An array of the senders on this PXE.
358
+ * Retrieves senders registered in this PXE.
359
+ * @returns Senders registered in this PXE.
342
360
  */ getSenders() {
343
- return this.taggingDataProvider.getSenderAddresses();
361
+ return this.senderAddressBookStore.getSenders();
344
362
  }
345
363
  /**
346
- * Removes a sender in the address book.
347
- */ async removeSender(address) {
348
- const wasRemoved = await this.taggingDataProvider.removeSenderAddress(address);
364
+ * Removes a sender registered in this PXE.
365
+ * @param sender - The address of the sender to remove.
366
+ */ async removeSender(sender) {
367
+ const wasRemoved = await this.senderAddressBookStore.removeSender(sender);
349
368
  if (wasRemoved) {
350
- this.log.info(`Removed sender:\n ${address.toString()}`);
369
+ this.log.info(`Removed sender:\n ${sender.toString()}`);
351
370
  } else {
352
- this.log.info(`Sender:\n "${address.toString()}"\n not in address book.`);
371
+ this.log.info(`Sender:\n "${sender.toString()}"\n not registered in PXE.`);
353
372
  }
354
373
  }
355
374
  /**
@@ -357,7 +376,7 @@ import { Synchronizer } from './synchronizer/index.js';
357
376
  * @returns An array of the accounts registered on this PXE.
358
377
  */ async getRegisteredAccounts() {
359
378
  // Get complete addresses of both the recipients and the accounts
360
- const completeAddresses = await this.addressDataProvider.getCompleteAddresses();
379
+ const completeAddresses = await this.addressStore.getCompleteAddresses();
361
380
  // Filter out the addresses not corresponding to accounts
362
381
  const accounts = await this.keyStore.getAccounts();
363
382
  return completeAddresses.filter((completeAddress)=>accounts.find((address)=>address.equals(completeAddress.address)));
@@ -367,8 +386,7 @@ import { Synchronizer } from './synchronizer/index.js';
367
386
  *
368
387
  * @param artifact - The build artifact for the contract class.
369
388
  */ async registerContractClass(artifact) {
370
- const { id: contractClassId } = await getContractClassFromArtifact(artifact);
371
- await this.contractDataProvider.addContractArtifact(contractClassId, artifact);
389
+ const contractClassId = await this.contractStore.addContractArtifact(artifact);
372
390
  this.log.info(`Added contract class ${artifact.name} with id ${contractClassId}`);
373
391
  }
374
392
  /**
@@ -384,25 +402,24 @@ import { Synchronizer } from './synchronizer/index.js';
384
402
  if (artifact) {
385
403
  // If the user provides an artifact, validate it against the expected class id and register it
386
404
  const contractClass = await getContractClassFromArtifact(artifact);
387
- const contractClassId = contractClass.id;
388
- if (!contractClassId.equals(instance.currentContractClassId)) {
389
- throw new Error(`Artifact does not match expected class id (computed ${contractClassId} but instance refers to ${instance.currentContractClassId})`);
405
+ if (!contractClass.id.equals(instance.currentContractClassId)) {
406
+ throw new Error(`Artifact does not match expected class id (computed ${contractClass.id} but instance refers to ${instance.currentContractClassId})`);
390
407
  }
391
408
  const computedAddress = await computeContractAddressFromInstance(instance);
392
409
  if (!computedAddress.equals(instance.address)) {
393
410
  throw new Error('Added a contract in which the address does not match the contract instance.');
394
411
  }
395
- await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
412
+ await this.contractStore.addContractArtifact(artifact, contractClass);
396
413
  const publicFunctionSignatures = artifact.functions.filter((fn)=>fn.functionType === FunctionType.PUBLIC).map((fn)=>decodeFunctionSignature(fn.name, fn.parameters));
397
414
  await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
398
415
  } else {
399
416
  // Otherwise, make sure there is an artifact already registered for that class id
400
- artifact = await this.contractDataProvider.getContractArtifact(instance.currentContractClassId);
417
+ artifact = await this.contractStore.getContractArtifact(instance.currentContractClassId);
401
418
  if (!artifact) {
402
419
  throw new Error(`Artifact not found when registering an instance. Contract class: ${instance.currentContractClassId}.`);
403
420
  }
404
421
  }
405
- await this.contractDataProvider.addContractInstance(instance);
422
+ await this.contractStore.addContractInstance(instance);
406
423
  this.log.info(`Added contract ${artifact.name} at ${instance.address.toString()} with class ${instance.currentContractClassId}`);
407
424
  }
408
425
  /**
@@ -417,22 +434,24 @@ import { Synchronizer } from './synchronizer/index.js';
417
434
  // We disable concurrently updating contracts to avoid concurrently syncing with the node, or changing a contract's
418
435
  // class while we're simulating it.
419
436
  return this.#putInJobQueue(async ()=>{
420
- const currentInstance = await this.contractDataProvider.getContractInstance(contractAddress);
437
+ const currentInstance = await this.contractStore.getContractInstance(contractAddress);
421
438
  if (!currentInstance) {
422
439
  throw new Error(`Instance not found when updating a contract. Contract address: ${contractAddress}.`);
423
440
  }
424
441
  const contractClass = await getContractClassFromArtifact(artifact);
425
- await this.synchronizer.sync();
426
- const header = await this.syncDataProvider.getBlockHeader();
427
- const currentClassId = await readCurrentClassId(contractAddress, currentInstance, this.node, header.globalVariables.blockNumber, header.globalVariables.timestamp);
442
+ await this.blockStateSynchronizer.sync();
443
+ const header = await this.anchorBlockStore.getBlockHeader();
444
+ const currentClassId = await readCurrentClassId(contractAddress, currentInstance, this.node, header);
428
445
  if (!contractClass.id.equals(currentClassId)) {
429
446
  throw new Error('Could not update contract to a class different from the current one.');
430
447
  }
431
- await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
432
448
  const publicFunctionSignatures = artifact.functions.filter((fn)=>fn.functionType === FunctionType.PUBLIC).map((fn)=>decodeFunctionSignature(fn.name, fn.parameters));
433
449
  await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
434
450
  currentInstance.currentContractClassId = contractClass.id;
435
- await this.contractDataProvider.addContractInstance(currentInstance);
451
+ await Promise.all([
452
+ this.contractStore.addContractArtifact(artifact, contractClass),
453
+ this.contractStore.addContractInstance(currentInstance)
454
+ ]);
436
455
  this.log.info(`Updated contract ${artifact.name} at ${contractAddress.toString()} to class ${contractClass.id}`);
437
456
  });
438
457
  }
@@ -440,54 +459,29 @@ import { Synchronizer } from './synchronizer/index.js';
440
459
  * Retrieves the addresses of contracts added to this PXE.
441
460
  * @returns An array of contracts addresses registered on this PXE.
442
461
  */ getContracts() {
443
- return this.contractDataProvider.getContractsAddresses();
444
- }
445
- /**
446
- * A debugging utility to get notes based on the provided filter.
447
- *
448
- * Note that this should not be used in production code because the structure of notes is considered to be
449
- * an implementation detail of contracts. This is only meant to be used for debugging purposes. If you need to obtain
450
- * note-related information in production code, please implement a custom utility function on your contract and call
451
- * that function instead (e.g. `get_balance(owner: AztecAddress) -> u128` utility function on a Token contract).
452
- *
453
- * @param filter - The filter to apply to the notes.
454
- * @returns The requested notes.
455
- */ async getNotes(filter) {
456
- // We need to manually trigger private state sync to have a guarantee that all the notes are available.
457
- await this.simulateUtility('sync_private_state', [], filter.contractAddress);
458
- const noteDaos = await this.noteDataProvider.getNotes(filter);
459
- const uniqueNotes = noteDaos.map(async (dao)=>{
460
- const completeAddresses = await this.addressDataProvider.getCompleteAddresses();
461
- const completeAddressIndex = completeAddresses.findIndex((completeAddress)=>completeAddress.address.equals(dao.recipient));
462
- const completeAddress = completeAddresses[completeAddressIndex];
463
- if (completeAddress === undefined) {
464
- throw new Error(`Cannot find complete address for recipient ${dao.recipient.toString()}`);
465
- }
466
- const recipient = completeAddress.address;
467
- return new UniqueNote(dao.note, recipient, dao.contractAddress, dao.storageSlot, dao.txHash, dao.noteNonce);
468
- });
469
- return Promise.all(uniqueNotes);
462
+ return this.contractStore.getContractsAddresses();
470
463
  }
471
464
  /**
472
465
  * Proves the private portion of a simulated transaction, ready to send to the network
473
466
  * (where validators prove the public portion).
474
467
  *
475
468
  * @param txRequest - An authenticated tx request ready for proving
469
+ * @param scopes - Addresses whose private state and keys are accessible during private execution.
476
470
  * @returns A result containing the proof and public inputs of the tail circuit.
477
471
  * @throws If contract code not found, or public simulation reverts.
478
472
  * Also throws if simulatePublic is true and public simulation reverts.
479
- */ proveTx(txRequest) {
473
+ */ proveTx(txRequest, scopes) {
480
474
  let privateExecutionResult;
481
475
  // We disable proving concurrently mostly out of caution, since it accesses some of our stores. Proving is so
482
476
  // computationally demanding that it'd be rare for someone to try to do it concurrently regardless.
483
- return this.#putInJobQueue(async ()=>{
477
+ return this.#putInJobQueue(async (jobId)=>{
484
478
  const totalTimer = new Timer();
485
479
  try {
486
480
  const syncTimer = new Timer();
487
- await this.synchronizer.sync();
481
+ await this.blockStateSynchronizer.sync();
488
482
  const syncTime = syncTimer.ms();
489
483
  const contractFunctionSimulator = this.#getSimulatorForTx();
490
- privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
484
+ privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
491
485
  const { publicInputs, chonkProof, executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
492
486
  simulate: false,
493
487
  skipFeeEnforcement: false,
@@ -513,14 +507,21 @@ import { Synchronizer } from './synchronizer/index.js';
513
507
  timings,
514
508
  nodeRPCCalls: contractFunctionSimulator?.getStats().nodeRPCCalls
515
509
  });
516
- const preTagsUsedInTheTx = privateExecutionResult.entrypoint.preTags;
517
- if (preTagsUsedInTheTx.length > 0) {
518
- await this.taggingDataProvider.setLastUsedIndexesAsSender(preTagsUsedInTheTx);
519
- this.log.debug(`Stored used pre tags as sender for the tx`, {
520
- preTagsUsedInTheTx
510
+ // While not strictly necessary to store tagging cache contents in the DB since we sync tagging indexes from
511
+ // chain before sending new logs, the sync can only see logs already included in blocks. If we send another
512
+ // transaction before this one is included in a block from this PXE, and that transaction contains a log with
513
+ // a tag derived from the same secret, we would reuse the tag and the transactions would be linked. Hence
514
+ // storing the tags here prevents linkage of txs sent from the same PXE.
515
+ const taggingIndexRangesUsedInTheTx = privateExecutionResult.entrypoint.taggingIndexRanges;
516
+ if (taggingIndexRangesUsedInTheTx.length > 0) {
517
+ // TODO(benesjan): The following is an expensive operation. Figure out a way to avoid it.
518
+ const txHash = (await txProvingResult.toTx()).txHash;
519
+ await this.senderTaggingStore.storePendingIndexes(taggingIndexRangesUsedInTheTx, txHash, jobId);
520
+ this.log.debug(`Stored used tagging index ranges as sender for the tx`, {
521
+ taggingIndexRangesUsedInTheTx
521
522
  });
522
523
  } else {
523
- this.log.debug(`No pre tags used in the tx`);
524
+ this.log.debug(`No tagging index ranges used in the tx`);
524
525
  }
525
526
  return txProvingResult;
526
527
  } catch (err) {
@@ -530,15 +531,12 @@ import { Synchronizer } from './synchronizer/index.js';
530
531
  }
531
532
  /**
532
533
  * Profiles a transaction, reporting gate counts (unless disabled) and returns an execution trace.
533
- *
534
- * @param txRequest - An authenticated tx request ready for simulation
535
- * @param msgSender - (Optional) The message sender to use for the simulation.
536
- * @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
534
+ * @param txRequest - An authenticated tx request ready for simulation.
537
535
  * @returns A trace of the program execution with gate counts.
538
536
  * @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
539
- */ profileTx(txRequest, profileMode, skipProofGeneration = true) {
537
+ */ profileTx(txRequest, { profileMode, skipProofGeneration = true, scopes }) {
540
538
  // We disable concurrent profiles for consistency with simulateTx.
541
- return this.#putInJobQueue(async ()=>{
539
+ return this.#putInJobQueue(async (jobId)=>{
542
540
  const totalTimer = new Timer();
543
541
  try {
544
542
  const txInfo = {
@@ -551,10 +549,10 @@ import { Synchronizer } from './synchronizer/index.js';
551
549
  };
552
550
  this.log.info(`Profiling transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`, txInfo);
553
551
  const syncTimer = new Timer();
554
- await this.synchronizer.sync();
552
+ await this.blockStateSynchronizer.sync();
555
553
  const syncTime = syncTimer.ms();
556
554
  const contractFunctionSimulator = this.#getSimulatorForTx();
557
- const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
555
+ const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
558
556
  const { executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
559
557
  simulate: skipProofGeneration,
560
558
  skipFeeEnforcement: false,
@@ -599,22 +597,17 @@ import { Synchronizer } from './synchronizer/index.js';
599
597
  * In that case, the transaction returned is only potentially ready to be sent to the network for execution.
600
598
  *
601
599
  *
602
- * @param txRequest - An authenticated tx request ready for simulation
603
- * @param simulatePublic - Whether to simulate the public part of the transaction.
604
- * @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
605
- * @param skipFeeEnforcement - (Optional) If false, fees are enforced.
606
- * @param overrides - (Optional) State overrides for the simulation, such as msgSender, contract instances and artifacts.
607
- * @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
600
+ * @param txRequest - An authenticated tx request ready for simulation.
608
601
  * @returns A simulated transaction result object that includes public and private return values.
609
602
  * @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
610
603
  * Also throws if simulatePublic is true and public simulation reverts.
611
604
  *
612
605
  * TODO(#7456) Prevent msgSender being defined here for the first call
613
- */ simulateTx(txRequest, simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, overrides, scopes) {
606
+ */ simulateTx(txRequest, { simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, skipKernels = true, overrides, scopes }) {
614
607
  // We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
615
608
  // to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
616
609
  // delete the same read value, or reading values that another simulation is currently modifying).
617
- return this.#putInJobQueue(async ()=>{
610
+ return this.#putInJobQueue(async (jobId)=>{
618
611
  try {
619
612
  const totalTimer = new Timer();
620
613
  const txInfo = {
@@ -627,23 +620,25 @@ import { Synchronizer } from './synchronizer/index.js';
627
620
  };
628
621
  this.log.info(`Simulating transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`, txInfo);
629
622
  const syncTimer = new Timer();
630
- await this.synchronizer.sync();
623
+ await this.blockStateSynchronizer.sync();
631
624
  const syncTime = syncTimer.ms();
625
+ const overriddenContracts = overrides?.contracts ? new Set(Object.keys(overrides.contracts)) : undefined;
626
+ const hasOverriddenContracts = overriddenContracts !== undefined && overriddenContracts.size > 0;
627
+ if (hasOverriddenContracts && !skipKernels) {
628
+ throw new Error('Simulating with overridden contracts is not compatible with kernel execution. Please set skipKernels to true when simulating with overridden contracts.');
629
+ }
632
630
  const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
633
- // Temporary: in case there are overrides, we have to skip the kernels or validations
634
- // will fail. Consider handing control to the user/wallet on whether they want to run them
635
- // or not.
636
- const skipKernels = overrides?.contracts !== undefined && Object.keys(overrides.contracts ?? {}).length > 0;
631
+ if (hasOverriddenContracts) {
632
+ // Overridden contracts don't have a sync function, so calling sync on them would fail.
633
+ // We exclude them so the sync service skips them entirely.
634
+ this.contractSyncService.setExcludedFromSync(jobId, overriddenContracts);
635
+ }
637
636
  // Execution of private functions only; no proving, and no kernel logic.
638
- const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes);
637
+ const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
639
638
  let publicInputs;
640
639
  let executionSteps = [];
641
640
  if (skipKernels) {
642
- // According to the protocol rules, the nonce generator for the note hashes
643
- // can either be the first nullifier in the tx or the hash of the initial tx request
644
- // if there are none.
645
- const nonceGenerator = privateExecutionResult.firstNullifier.equals(Fr.ZERO) ? await txRequest.toTxRequest().hash() : privateExecutionResult.firstNullifier;
646
- ({ publicInputs, executionSteps } = await generateSimulatedProvingResult(privateExecutionResult, nonceGenerator, this.contractDataProvider));
641
+ ({ publicInputs, executionSteps } = await generateSimulatedProvingResult(privateExecutionResult, (addr, sel)=>this.contractStore.getDebugFunctionName(addr, sel), this.node));
647
642
  } else {
648
643
  // Kernel logic, plus proving of all private functions and kernels.
649
644
  ({ publicInputs, executionSteps } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, {
@@ -660,6 +655,9 @@ import { Synchronizer } from './synchronizer/index.js';
660
655
  const publicSimulationTimer = new Timer();
661
656
  publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement);
662
657
  publicSimulationTime = publicSimulationTimer.ms();
658
+ if (publicOutput?.debugLogs?.length) {
659
+ await displayDebugLogs(publicOutput.debugLogs, (addr)=>this.contractStore.getDebugContractName(addr));
660
+ }
663
661
  }
664
662
  let validationTime;
665
663
  if (!skipTxValidation) {
@@ -670,7 +668,8 @@ import { Synchronizer } from './synchronizer/index.js';
670
668
  });
671
669
  validationTime = validationTimer.ms();
672
670
  if (validationResult.result === 'invalid') {
673
- throw new Error('The simulated transaction is unable to be added to state and is invalid.');
671
+ const reason = validationResult.reason.length > 0 ? ` Reason: ${validationResult.reason.join(', ')}` : '';
672
+ throw new Error(`The simulated transaction is unable to be added to state and is invalid.${reason}`);
674
673
  }
675
674
  }
676
675
  const txHash = simulatedTx.getTxHash();
@@ -703,40 +702,35 @@ import { Synchronizer } from './synchronizer/index.js';
703
702
  nodeRPCCalls: simulatorStats.nodeRPCCalls
704
703
  });
705
704
  } catch (err) {
706
- throw this.#contextualizeError(err, inspect(txRequest), `simulatePublic=${simulatePublic}`, `skipTxValidation=${skipTxValidation}`, `scopes=${scopes?.map((s)=>s.toString()).join(', ') ?? 'undefined'}`);
705
+ throw this.#contextualizeError(err, inspect(txRequest), `simulatePublic=${simulatePublic}`, `skipTxValidation=${skipTxValidation}`, `scopes=${scopes === 'ALL_SCOPES' ? scopes : scopes.map((s)=>s.toString()).join(', ')}`);
707
706
  }
708
707
  });
709
708
  }
710
709
  /**
711
- * Simulate the execution of a contract utility function.
712
- *
713
- * @param functionName - The name of the utility contract function to be called.
714
- * @param args - The arguments to be provided to the function.
715
- * @param to - The address of the contract to be called.
716
- * @param authwits - (Optional) The authentication witnesses required for the function call.
717
- * @param from - (Optional) The msg sender to set for the call.
718
- * @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will
719
- * default to all.
720
- * @returns The result of the utility function call, structured based on the function ABI.
721
- */ simulateUtility(functionName, args, to, authwits, _from, scopes) {
722
- // We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
710
+ * Executes a contract utility function.
711
+ * @param call - The function call containing the function details, arguments, and target contract address.
712
+ */ executeUtility(call, { authwits, scopes } = {
713
+ scopes: 'ALL_SCOPES'
714
+ }) {
715
+ // We disable concurrent executions since those might execute oracles which read and write to the PXE stores (e.g.
723
716
  // to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
724
- // delete the same read value, or reading values that another simulation is currently modifying).
725
- return this.#putInJobQueue(async ()=>{
717
+ // delete the same read value, or reading values that another execution is currently modifying).
718
+ return this.#putInJobQueue(async (jobId)=>{
726
719
  try {
727
720
  const totalTimer = new Timer();
728
721
  const syncTimer = new Timer();
729
- await this.synchronizer.sync();
722
+ await this.blockStateSynchronizer.sync();
730
723
  const syncTime = syncTimer.ms();
731
- const functionCall = await this.#getFunctionCall(functionName, args, to);
732
724
  const functionTimer = new Timer();
733
725
  const contractFunctionSimulator = this.#getSimulatorForTx();
734
- const executionResult = await this.#simulateUtility(contractFunctionSimulator, functionCall, authwits ?? [], scopes);
726
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
727
+ await this.contractSyncService.ensureContractSynced(call.to, call.selector, (privateSyncCall, execScopes)=>this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId), anchorBlockHeader, jobId, scopes);
728
+ const { result: executionResult, offchainEffects } = await this.#executeUtility(contractFunctionSimulator, call, authwits ?? [], scopes, jobId);
735
729
  const functionTime = functionTimer.ms();
736
730
  const totalTime = totalTimer.ms();
737
731
  const perFunction = [
738
732
  {
739
- functionName,
733
+ functionName: call.name,
740
734
  time: functionTime
741
735
  }
742
736
  ];
@@ -749,41 +743,50 @@ import { Synchronizer } from './synchronizer/index.js';
749
743
  const simulationStats = contractFunctionSimulator.getStats();
750
744
  return {
751
745
  result: executionResult,
746
+ offchainEffects,
747
+ anchorBlockTimestamp: anchorBlockHeader.globalVariables.timestamp,
752
748
  stats: {
753
749
  timings,
754
750
  nodeRPCCalls: simulationStats.nodeRPCCalls
755
751
  }
756
752
  };
757
753
  } catch (err) {
754
+ const { to, name, args } = call;
758
755
  const stringifiedArgs = args.map((arg)=>arg.toString()).join(', ');
759
- throw this.#contextualizeError(err, `simulateUtility ${to}:${functionName}(${stringifiedArgs})`, `scopes=${scopes?.map((s)=>s.toString()).join(', ') ?? 'undefined'}`);
756
+ throw this.#contextualizeError(err, `executeUtility ${to}:${name}(${stringifiedArgs})`, `scopes=${scopes === 'ALL_SCOPES' ? scopes : scopes.map((s)=>s.toString()).join(', ')}`);
760
757
  }
761
758
  });
762
759
  }
763
760
  /**
764
761
  * Returns the private events given search parameters.
765
- * @param contractAddress - The address of the contract to get events from.
766
- * @param eventMetadata - Metadata of the event. This should be the class generated from the contract. e.g. Contract.events.Event
767
- * @param from - The block number to search from.
768
- * @param numBlocks - The amount of blocks to search.
769
- * @param recipients - The addresses that decrypted the logs.
770
- * @returns - The deserialized events.
771
- */ async getPrivateEvents(contractAddress, eventMetadataDef, from, numBlocks, recipients) {
772
- if (recipients.length === 0) {
773
- throw new Error('Recipients are required to get private events');
774
- }
775
- this.log.verbose(`Getting private events for ${contractAddress.toString()} from ${from} to ${from + numBlocks}`);
776
- // We need to manually trigger private state sync to have a guarantee that all the events are available.
777
- await this.simulateUtility('sync_private_state', [], contractAddress);
778
- const events = await this.privateEventDataProvider.getPrivateEvents(contractAddress, from, numBlocks, recipients, eventMetadataDef.eventSelector);
779
- const decodedEvents = events.map((event)=>decodeFromAbi([
780
- eventMetadataDef.abiType
781
- ], event.msgContent));
782
- return decodedEvents;
762
+ * @param eventSelector - Event selector to search for.
763
+ * @param filter
764
+ * contractAddress - The address of the contract to get events from. Required.
765
+ * scopes - One or more event scope addresses to filter by. Required.
766
+ * fromBlock - The block number to search from (inclusive). Optional. If provided, it must be >= 0.
767
+ * Defaults to 0.
768
+ * If toBlock is defined but fromBlock is not, fromBlock defaults to toBlock - 1.
769
+ * toBlock - The block number to search up to (exclusive). Optional. If provided, it must be > 0.
770
+ * Defaults to the latest known block to PXE + 1.
771
+ * @returns - The packed events with block and tx metadata.
772
+ */ async getPrivateEvents(eventSelector, filter) {
773
+ let anchorBlockNumber;
774
+ await this.#putInJobQueue(async (jobId)=>{
775
+ await this.blockStateSynchronizer.sync();
776
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
777
+ anchorBlockNumber = anchorBlockHeader.getBlockNumber();
778
+ const contractFunctionSimulator = this.#getSimulatorForTx();
779
+ await this.contractSyncService.ensureContractSynced(filter.contractAddress, null, async (privateSyncCall, execScopes)=>await this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId), anchorBlockHeader, jobId, filter.scopes);
780
+ });
781
+ // anchorBlockNumber is set during the job and fixed to whatever it is after a block sync
782
+ const sanitizedFilter = new PrivateEventFilterValidator(anchorBlockNumber).validate(filter);
783
+ this.log.debug(`Getting private events for ${sanitizedFilter.contractAddress.toString()} from ${sanitizedFilter.fromBlock} to ${sanitizedFilter.toBlock}`);
784
+ return this.privateEventStore.getPrivateEvents(eventSelector, sanitizedFilter);
783
785
  }
784
786
  /**
785
- * Stops the PXE's job queue.
786
- */ stop() {
787
- return this.jobQueue.end();
787
+ * Stops the PXE's job queue and closes the backing store.
788
+ */ async stop() {
789
+ await this.jobQueue.end();
790
+ await this.db.close();
788
791
  }
789
792
  }