@aztec/pxe 0.0.1-commit.5476d83 → 0.0.1-commit.5914bae

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