@aztec/pxe 3.0.3 → 3.9.9-nightly.20260312

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 (396) 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.js +1 -1
  5. package/dest/block_synchronizer/block_synchronizer.d.ts +45 -0
  6. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -0
  7. package/dest/block_synchronizer/block_synchronizer.js +153 -0
  8. package/dest/block_synchronizer/index.d.ts +2 -0
  9. package/dest/block_synchronizer/index.d.ts.map +1 -0
  10. package/dest/block_synchronizer/index.js +1 -0
  11. package/dest/config/index.d.ts +6 -4
  12. package/dest/config/index.d.ts.map +1 -1
  13. package/dest/config/index.js +17 -0
  14. package/dest/config/package_info.js +1 -1
  15. package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
  16. package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
  17. package/dest/contract_function_simulator/benchmarked_node.js +77 -0
  18. package/dest/contract_function_simulator/contract_function_simulator.d.ts +75 -23
  19. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  20. package/dest/contract_function_simulator/contract_function_simulator.js +219 -74
  21. package/dest/contract_function_simulator/execution_note_cache.d.ts +18 -9
  22. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  23. package/dest/contract_function_simulator/execution_note_cache.js +45 -28
  24. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +6 -6
  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 +4 -4
  27. package/dest/contract_function_simulator/index.d.ts +2 -2
  28. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  29. package/dest/contract_function_simulator/index.js +1 -1
  30. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +4 -3
  31. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  32. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +7 -4
  33. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +4 -3
  34. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -1
  35. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +7 -6
  36. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +3 -3
  37. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
  38. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +2 -2
  39. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
  40. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  41. package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
  42. package/dest/contract_function_simulator/oracle/interfaces.d.ts +24 -17
  43. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  44. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +3 -1
  45. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  46. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +6 -6
  47. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  48. package/dest/contract_function_simulator/oracle/note_packing_utils.js +8 -8
  49. package/dest/contract_function_simulator/oracle/oracle.d.ts +12 -10
  50. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  51. package/dest/contract_function_simulator/oracle/oracle.js +70 -47
  52. package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -28
  53. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  54. package/dest/contract_function_simulator/oracle/private_execution.js +1 -37
  55. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +49 -41
  56. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  57. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +109 -60
  58. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +114 -37
  59. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  60. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +218 -84
  61. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +4 -4
  62. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -1
  63. package/dest/contract_function_simulator/proxied_contract_data_source.js +23 -5
  64. package/dest/contract_logging.d.ts +22 -0
  65. package/dest/contract_logging.d.ts.map +1 -0
  66. package/dest/contract_logging.js +23 -0
  67. package/dest/contract_sync/contract_sync_service.d.ts +43 -0
  68. package/dest/contract_sync/contract_sync_service.d.ts.map +1 -0
  69. package/dest/contract_sync/contract_sync_service.js +97 -0
  70. package/dest/contract_sync/helpers.d.ts +29 -0
  71. package/dest/contract_sync/helpers.d.ts.map +1 -0
  72. package/dest/contract_sync/helpers.js +55 -0
  73. package/dest/debug/pxe_debug_utils.d.ts +45 -0
  74. package/dest/debug/pxe_debug_utils.d.ts.map +1 -0
  75. package/dest/debug/pxe_debug_utils.js +48 -0
  76. package/dest/entrypoints/client/bundle/index.d.ts +4 -2
  77. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  78. package/dest/entrypoints/client/bundle/index.js +3 -1
  79. package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
  80. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  81. package/dest/entrypoints/client/bundle/utils.js +31 -8
  82. package/dest/entrypoints/client/lazy/index.d.ts +4 -2
  83. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  84. package/dest/entrypoints/client/lazy/index.js +3 -1
  85. package/dest/entrypoints/client/lazy/utils.d.ts +2 -2
  86. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  87. package/dest/entrypoints/client/lazy/utils.js +32 -9
  88. package/dest/entrypoints/pxe_creation_options.d.ts +5 -3
  89. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  90. package/dest/entrypoints/server/index.d.ts +6 -2
  91. package/dest/entrypoints/server/index.d.ts.map +1 -1
  92. package/dest/entrypoints/server/index.js +5 -1
  93. package/dest/entrypoints/server/utils.d.ts +1 -1
  94. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  95. package/dest/entrypoints/server/utils.js +39 -16
  96. package/dest/error_enriching.d.ts +4 -4
  97. package/dest/error_enriching.d.ts.map +1 -1
  98. package/dest/error_enriching.js +6 -6
  99. package/dest/events/event_service.d.ts +15 -0
  100. package/dest/events/event_service.d.ts.map +1 -0
  101. package/dest/events/event_service.js +44 -0
  102. package/dest/events/private_event_filter_validator.d.ts +6 -5
  103. package/dest/events/private_event_filter_validator.d.ts.map +1 -1
  104. package/dest/events/private_event_filter_validator.js +5 -6
  105. package/dest/job_coordinator/job_coordinator.d.ts +75 -0
  106. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
  107. package/dest/job_coordinator/job_coordinator.js +94 -0
  108. package/dest/logs/log_service.d.ts +29 -0
  109. package/dest/logs/log_service.d.ts.map +1 -0
  110. package/dest/logs/log_service.js +118 -0
  111. package/dest/notes/index.d.ts +2 -0
  112. package/dest/notes/index.d.ts.map +1 -0
  113. package/dest/notes/index.js +1 -0
  114. package/dest/notes/note_service.d.ts +49 -0
  115. package/dest/notes/note_service.d.ts.map +1 -0
  116. package/dest/notes/note_service.js +148 -0
  117. package/dest/notes_filter.d.ts +25 -0
  118. package/dest/notes_filter.d.ts.map +1 -0
  119. package/dest/notes_filter.js +4 -0
  120. package/dest/oracle_version.d.ts +3 -3
  121. package/dest/oracle_version.d.ts.map +1 -1
  122. package/dest/oracle_version.js +4 -3
  123. package/dest/private_kernel/hints/compute_tx_expiration_timestamp.d.ts +4 -0
  124. package/dest/private_kernel/hints/compute_tx_expiration_timestamp.d.ts.map +1 -0
  125. package/dest/private_kernel/hints/{compute_tx_include_by_timestamp.js → compute_tx_expiration_timestamp.js} +12 -12
  126. package/dest/private_kernel/hints/index.d.ts +3 -3
  127. package/dest/private_kernel/hints/index.d.ts.map +1 -1
  128. package/dest/private_kernel/hints/index.js +2 -2
  129. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +29 -0
  130. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
  131. package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +141 -74
  132. package/dest/private_kernel/hints/test_utils.d.ts +122 -0
  133. package/dest/private_kernel/hints/test_utils.d.ts.map +1 -0
  134. package/dest/private_kernel/hints/test_utils.js +203 -0
  135. package/dest/private_kernel/private_kernel_execution_prover.d.ts +3 -2
  136. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  137. package/dest/private_kernel/private_kernel_execution_prover.js +24 -17
  138. package/dest/private_kernel/private_kernel_oracle.d.ts +24 -24
  139. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  140. package/dest/private_kernel/private_kernel_oracle.js +94 -2
  141. package/dest/pxe.d.ts +100 -90
  142. package/dest/pxe.d.ts.map +1 -1
  143. package/dest/pxe.js +245 -245
  144. package/dest/storage/address_store/address_store.d.ts +11 -0
  145. package/dest/storage/address_store/address_store.d.ts.map +1 -0
  146. package/dest/storage/{address_data_provider/address_data_provider.js → address_store/address_store.js} +13 -12
  147. package/dest/storage/address_store/index.d.ts +2 -0
  148. package/dest/storage/address_store/index.d.ts.map +1 -0
  149. package/dest/storage/address_store/index.js +1 -0
  150. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +17 -0
  151. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -0
  152. package/dest/storage/{sync_data_provider/sync_data_provider.js → anchor_block_store/anchor_block_store.js} +10 -10
  153. package/dest/storage/{sync_data_provider → anchor_block_store}/index.d.ts +2 -2
  154. package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
  155. package/dest/storage/anchor_block_store/index.js +1 -0
  156. package/dest/storage/capsule_store/capsule_store.d.ts +72 -0
  157. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -0
  158. package/dest/storage/capsule_store/capsule_store.js +253 -0
  159. package/dest/storage/capsule_store/index.d.ts +2 -0
  160. package/dest/storage/capsule_store/index.d.ts.map +1 -0
  161. package/dest/storage/capsule_store/index.js +1 -0
  162. package/dest/storage/contract_store/contract_store.d.ts +93 -0
  163. package/dest/storage/contract_store/contract_store.d.ts.map +1 -0
  164. package/dest/storage/contract_store/contract_store.js +309 -0
  165. package/dest/storage/contract_store/index.d.ts +2 -0
  166. package/dest/storage/contract_store/index.d.ts.map +1 -0
  167. package/dest/storage/contract_store/index.js +1 -0
  168. package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.d.ts +1 -1
  169. package/dest/storage/contract_store/private_functions_tree.d.ts.map +1 -0
  170. package/dest/storage/index.d.ts +8 -8
  171. package/dest/storage/index.d.ts.map +1 -1
  172. package/dest/storage/index.js +7 -7
  173. package/dest/storage/metadata.d.ts +1 -1
  174. package/dest/storage/metadata.js +1 -1
  175. package/dest/storage/note_store/index.d.ts +3 -0
  176. package/dest/storage/note_store/index.d.ts.map +1 -0
  177. package/dest/storage/note_store/index.js +2 -0
  178. package/dest/storage/note_store/note_store.d.ts +83 -0
  179. package/dest/storage/note_store/note_store.d.ts.map +1 -0
  180. package/dest/storage/note_store/note_store.js +343 -0
  181. package/dest/storage/note_store/stored_note.d.ts +16 -0
  182. package/dest/storage/note_store/stored_note.d.ts.map +1 -0
  183. package/dest/storage/note_store/stored_note.js +43 -0
  184. package/dest/storage/private_event_store/private_event_store.d.ts +91 -0
  185. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -0
  186. package/dest/storage/private_event_store/private_event_store.js +273 -0
  187. package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
  188. package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
  189. package/dest/storage/private_event_store/stored_private_event.js +56 -0
  190. package/dest/storage/tagging_store/index.d.ts +4 -0
  191. package/dest/storage/tagging_store/index.d.ts.map +1 -0
  192. package/dest/storage/tagging_store/index.js +3 -0
  193. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +28 -0
  194. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -0
  195. package/dest/storage/tagging_store/recipient_tagging_store.js +111 -0
  196. package/dest/storage/tagging_store/sender_address_book_store.d.ts +14 -0
  197. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -0
  198. package/dest/storage/tagging_store/sender_address_book_store.js +36 -0
  199. package/dest/storage/tagging_store/sender_tagging_store.d.ts +77 -0
  200. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -0
  201. package/dest/storage/tagging_store/sender_tagging_store.js +348 -0
  202. package/dest/tagging/constants.d.ts +2 -2
  203. package/dest/tagging/constants.d.ts.map +1 -1
  204. package/dest/tagging/constants.js +10 -2
  205. package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
  206. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
  207. package/dest/tagging/get_all_logs_by_tags.js +60 -0
  208. package/dest/tagging/index.d.ts +16 -6
  209. package/dest/tagging/index.d.ts.map +1 -1
  210. package/dest/tagging/index.js +15 -5
  211. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +14 -0
  212. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -0
  213. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +99 -0
  214. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts +12 -0
  215. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts.map +1 -0
  216. package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +20 -0
  217. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +14 -0
  218. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -0
  219. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +33 -0
  220. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +17 -0
  221. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -0
  222. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +71 -0
  223. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +11 -0
  224. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -0
  225. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +29 -0
  226. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +18 -0
  227. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -0
  228. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +59 -0
  229. package/package.json +27 -18
  230. package/src/access_scopes.ts +9 -0
  231. package/src/bin/check_oracle_version.ts +1 -0
  232. package/src/block_synchronizer/block_synchronizer.ts +178 -0
  233. package/src/block_synchronizer/index.ts +1 -0
  234. package/src/config/index.ts +17 -3
  235. package/src/config/package_info.ts +1 -1
  236. package/src/contract_function_simulator/benchmarked_node.ts +103 -0
  237. package/src/contract_function_simulator/contract_function_simulator.ts +381 -106
  238. package/src/contract_function_simulator/execution_note_cache.ts +44 -25
  239. package/src/contract_function_simulator/execution_tagging_index_cache.ts +6 -6
  240. package/src/contract_function_simulator/index.ts +1 -1
  241. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +6 -2
  242. package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +5 -4
  243. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +2 -2
  244. package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
  245. package/src/contract_function_simulator/oracle/interfaces.ts +28 -16
  246. package/src/contract_function_simulator/oracle/note_packing_utils.ts +10 -10
  247. package/src/contract_function_simulator/oracle/oracle.ts +82 -50
  248. package/src/contract_function_simulator/oracle/private_execution.ts +1 -68
  249. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +158 -94
  250. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +351 -99
  251. package/src/contract_function_simulator/proxied_contract_data_source.ts +24 -7
  252. package/src/contract_logging.ts +39 -0
  253. package/src/contract_sync/contract_sync_service.ts +152 -0
  254. package/src/contract_sync/helpers.ts +98 -0
  255. package/src/debug/pxe_debug_utils.ts +93 -0
  256. package/src/entrypoints/client/bundle/index.ts +3 -1
  257. package/src/entrypoints/client/bundle/utils.ts +23 -16
  258. package/src/entrypoints/client/lazy/index.ts +3 -1
  259. package/src/entrypoints/client/lazy/utils.ts +24 -17
  260. package/src/entrypoints/pxe_creation_options.ts +4 -2
  261. package/src/entrypoints/server/index.ts +5 -1
  262. package/src/entrypoints/server/utils.ts +33 -41
  263. package/src/error_enriching.ts +7 -15
  264. package/src/events/event_service.ts +71 -0
  265. package/src/events/private_event_filter_validator.ts +4 -5
  266. package/src/job_coordinator/job_coordinator.ts +150 -0
  267. package/src/logs/log_service.ts +213 -0
  268. package/src/notes/index.ts +1 -0
  269. package/src/notes/note_service.ts +196 -0
  270. package/src/notes_filter.ts +26 -0
  271. package/src/oracle_version.ts +4 -3
  272. package/src/private_kernel/hints/{compute_tx_include_by_timestamp.ts → compute_tx_expiration_timestamp.ts} +13 -13
  273. package/src/private_kernel/hints/index.ts +2 -2
  274. package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +196 -138
  275. package/src/private_kernel/hints/test_utils.ts +325 -0
  276. package/src/private_kernel/private_kernel_execution_prover.ts +27 -19
  277. package/src/private_kernel/private_kernel_oracle.ts +116 -36
  278. package/src/pxe.ts +377 -323
  279. package/src/storage/{address_data_provider/address_data_provider.ts → address_store/address_store.ts} +16 -16
  280. package/src/storage/address_store/index.ts +1 -0
  281. package/src/storage/{sync_data_provider/sync_data_provider.ts → anchor_block_store/anchor_block_store.ts} +10 -12
  282. package/src/storage/anchor_block_store/index.ts +1 -0
  283. package/src/storage/capsule_store/capsule_store.ts +315 -0
  284. package/src/storage/capsule_store/index.ts +1 -0
  285. package/src/storage/contract_store/contract_store.ts +429 -0
  286. package/src/storage/contract_store/index.ts +1 -0
  287. package/src/storage/index.ts +7 -7
  288. package/src/storage/metadata.ts +1 -1
  289. package/src/storage/note_store/index.ts +2 -0
  290. package/src/storage/note_store/note_store.ts +418 -0
  291. package/src/storage/note_store/stored_note.ts +48 -0
  292. package/src/storage/private_event_store/private_event_store.ts +384 -0
  293. package/src/storage/private_event_store/stored_private_event.ts +73 -0
  294. package/src/storage/tagging_store/index.ts +3 -0
  295. package/src/storage/tagging_store/recipient_tagging_store.ts +143 -0
  296. package/src/storage/tagging_store/sender_address_book_store.ts +48 -0
  297. package/src/storage/tagging_store/sender_tagging_store.ts +429 -0
  298. package/src/tagging/constants.ts +10 -2
  299. package/src/tagging/get_all_logs_by_tags.ts +92 -0
  300. package/src/tagging/index.ts +18 -5
  301. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +140 -0
  302. package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +34 -0
  303. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +44 -0
  304. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +94 -0
  305. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +36 -0
  306. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +75 -0
  307. package/dest/contract_function_simulator/execution_data_provider.d.ts +0 -268
  308. package/dest/contract_function_simulator/execution_data_provider.d.ts.map +0 -1
  309. package/dest/contract_function_simulator/execution_data_provider.js +0 -14
  310. package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
  311. package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
  312. package/dest/contract_function_simulator/proxied_node.js +0 -27
  313. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts +0 -124
  314. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts.map +0 -1
  315. package/dest/contract_function_simulator/pxe_oracle_interface.js +0 -727
  316. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  317. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  318. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +0 -4
  319. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts.map +0 -1
  320. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -46
  321. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
  322. package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
  323. package/dest/storage/address_data_provider/address_data_provider.d.ts +0 -11
  324. package/dest/storage/address_data_provider/address_data_provider.d.ts.map +0 -1
  325. package/dest/storage/address_data_provider/index.d.ts +0 -2
  326. package/dest/storage/address_data_provider/index.d.ts.map +0 -1
  327. package/dest/storage/address_data_provider/index.js +0 -1
  328. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -25
  329. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts.map +0 -1
  330. package/dest/storage/capsule_data_provider/capsule_data_provider.js +0 -118
  331. package/dest/storage/capsule_data_provider/index.d.ts +0 -2
  332. package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
  333. package/dest/storage/capsule_data_provider/index.js +0 -1
  334. package/dest/storage/contract_data_provider/contract_data_provider.d.ts +0 -64
  335. package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
  336. package/dest/storage/contract_data_provider/contract_data_provider.js +0 -193
  337. package/dest/storage/contract_data_provider/index.d.ts +0 -2
  338. package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
  339. package/dest/storage/contract_data_provider/index.js +0 -1
  340. package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
  341. package/dest/storage/note_data_provider/index.d.ts +0 -3
  342. package/dest/storage/note_data_provider/index.d.ts.map +0 -1
  343. package/dest/storage/note_data_provider/index.js +0 -2
  344. package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -84
  345. package/dest/storage/note_data_provider/note_data_provider.d.ts.map +0 -1
  346. package/dest/storage/note_data_provider/note_data_provider.js +0 -322
  347. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts +0 -51
  348. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts.map +0 -1
  349. package/dest/storage/private_event_data_provider/private_event_data_provider.js +0 -115
  350. package/dest/storage/sync_data_provider/index.d.ts.map +0 -1
  351. package/dest/storage/sync_data_provider/index.js +0 -1
  352. package/dest/storage/sync_data_provider/sync_data_provider.d.ts +0 -11
  353. package/dest/storage/sync_data_provider/sync_data_provider.d.ts.map +0 -1
  354. package/dest/storage/tagging_data_provider/index.d.ts +0 -2
  355. package/dest/storage/tagging_data_provider/index.d.ts.map +0 -1
  356. package/dest/storage/tagging_data_provider/index.js +0 -1
  357. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts +0 -40
  358. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts.map +0 -1
  359. package/dest/storage/tagging_data_provider/tagging_data_provider.js +0 -89
  360. package/dest/synchronizer/index.d.ts +0 -2
  361. package/dest/synchronizer/index.d.ts.map +0 -1
  362. package/dest/synchronizer/index.js +0 -1
  363. package/dest/synchronizer/synchronizer.d.ts +0 -36
  364. package/dest/synchronizer/synchronizer.d.ts.map +0 -1
  365. package/dest/synchronizer/synchronizer.js +0 -102
  366. package/dest/tagging/siloed_tag.d.ts +0 -14
  367. package/dest/tagging/siloed_tag.d.ts.map +0 -1
  368. package/dest/tagging/siloed_tag.js +0 -20
  369. package/dest/tagging/tag.d.ts +0 -12
  370. package/dest/tagging/tag.d.ts.map +0 -1
  371. package/dest/tagging/tag.js +0 -17
  372. package/dest/tagging/utils.d.ts +0 -18
  373. package/dest/tagging/utils.d.ts.map +0 -1
  374. package/dest/tagging/utils.js +0 -24
  375. package/src/contract_function_simulator/execution_data_provider.ts +0 -343
  376. package/src/contract_function_simulator/proxied_node.ts +0 -33
  377. package/src/contract_function_simulator/pxe_oracle_interface.ts +0 -1055
  378. package/src/private_kernel/private_kernel_oracle_impl.ts +0 -133
  379. package/src/storage/address_data_provider/index.ts +0 -1
  380. package/src/storage/capsule_data_provider/capsule_data_provider.ts +0 -147
  381. package/src/storage/capsule_data_provider/index.ts +0 -1
  382. package/src/storage/contract_data_provider/contract_data_provider.ts +0 -277
  383. package/src/storage/contract_data_provider/index.ts +0 -1
  384. package/src/storage/note_data_provider/index.ts +0 -2
  385. package/src/storage/note_data_provider/note_data_provider.ts +0 -412
  386. package/src/storage/private_event_data_provider/private_event_data_provider.ts +0 -162
  387. package/src/storage/sync_data_provider/index.ts +0 -1
  388. package/src/storage/tagging_data_provider/index.ts +0 -1
  389. package/src/storage/tagging_data_provider/tagging_data_provider.ts +0 -120
  390. package/src/synchronizer/index.ts +0 -1
  391. package/src/synchronizer/synchronizer.ts +0 -121
  392. package/src/tagging/siloed_tag.ts +0 -22
  393. package/src/tagging/tag.ts +0 -16
  394. package/src/tagging/utils.ts +0 -31
  395. /package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.js +0 -0
  396. /package/src/storage/{contract_data_provider → contract_store}/private_functions_tree.ts +0 -0
package/src/pxe.ts CHANGED
@@ -1,6 +1,7 @@
1
1
  import type { PrivateEventFilter } from '@aztec/aztec.js/wallet';
2
+ import { BlockNumber } from '@aztec/foundation/branded-types';
2
3
  import { Fr } from '@aztec/foundation/curves/bn254';
3
- import { type Logger, createLogger } from '@aztec/foundation/log';
4
+ import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
4
5
  import { SerialQueue } from '@aztec/foundation/queue';
5
6
  import { Timer } from '@aztec/foundation/timer';
6
7
  import { KeyStore } from '@aztec/key-store';
@@ -12,32 +13,27 @@ import {
12
13
  type ContractArtifact,
13
14
  EventSelector,
14
15
  FunctionCall,
15
- FunctionSelector,
16
16
  FunctionType,
17
17
  decodeFunctionSignature,
18
- encodeArguments,
19
18
  } from '@aztec/stdlib/abi';
20
19
  import type { AuthWitness } from '@aztec/stdlib/auth-witness';
21
20
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
22
21
  import {
23
22
  CompleteAddress,
24
- type ContractClassWithId,
25
23
  type ContractInstanceWithAddress,
26
24
  type PartialAddress,
27
25
  computeContractAddressFromInstance,
28
26
  getContractClassFromArtifact,
29
27
  } from '@aztec/stdlib/contract';
30
28
  import { SimulationError } from '@aztec/stdlib/errors';
31
- import { computeProtocolNullifier, siloNullifier } from '@aztec/stdlib/hash';
32
29
  import type { AztecNode, PrivateKernelProver } from '@aztec/stdlib/interfaces/client';
33
30
  import type {
34
31
  PrivateExecutionStep,
35
32
  PrivateKernelExecutionProofOutput,
36
33
  PrivateKernelTailCircuitPublicInputs,
37
34
  } from '@aztec/stdlib/kernel';
38
- import type { NotesFilter } from '@aztec/stdlib/note';
39
- import { NoteDao } from '@aztec/stdlib/note';
40
35
  import {
36
+ BlockHeader,
41
37
  type ContractOverrides,
42
38
  type InTx,
43
39
  PrivateExecutionResult,
@@ -51,41 +47,97 @@ import {
51
47
  TxProfileResult,
52
48
  TxProvingResult,
53
49
  TxSimulationResult,
54
- UtilitySimulationResult,
50
+ UtilityExecutionResult,
55
51
  } from '@aztec/stdlib/tx';
56
52
 
57
53
  import { inspect } from 'util';
58
54
 
55
+ import type { AccessScopes } from './access_scopes.js';
56
+ import { BlockSynchronizer } from './block_synchronizer/index.js';
59
57
  import type { PXEConfig } from './config/index.js';
58
+ import { BenchmarkedNodeFactory } from './contract_function_simulator/benchmarked_node.js';
60
59
  import {
61
60
  ContractFunctionSimulator,
62
61
  generateSimulatedProvingResult,
63
62
  } from './contract_function_simulator/contract_function_simulator.js';
64
- import { readCurrentClassId } from './contract_function_simulator/oracle/private_execution.js';
65
- import { ProxiedContractDataProviderFactory } from './contract_function_simulator/proxied_contract_data_source.js';
66
- import { ProxiedNodeFactory } from './contract_function_simulator/proxied_node.js';
67
- import { PXEOracleInterface } from './contract_function_simulator/pxe_oracle_interface.js';
63
+ import { ProxiedContractStoreFactory } from './contract_function_simulator/proxied_contract_data_source.js';
64
+ import { displayDebugLogs } from './contract_logging.js';
65
+ import { ContractSyncService } from './contract_sync/contract_sync_service.js';
66
+ import { readCurrentClassId } from './contract_sync/helpers.js';
67
+ import { PXEDebugUtils } from './debug/pxe_debug_utils.js';
68
68
  import { enrichPublicSimulationError, enrichSimulationError } from './error_enriching.js';
69
69
  import { PrivateEventFilterValidator } from './events/private_event_filter_validator.js';
70
+ import { JobCoordinator } from './job_coordinator/job_coordinator.js';
70
71
  import {
71
72
  PrivateKernelExecutionProver,
72
73
  type PrivateKernelExecutionProverConfig,
73
74
  } from './private_kernel/private_kernel_execution_prover.js';
74
- import { PrivateKernelOracleImpl } from './private_kernel/private_kernel_oracle_impl.js';
75
- import { AddressDataProvider } from './storage/address_data_provider/address_data_provider.js';
76
- import { CapsuleDataProvider } from './storage/capsule_data_provider/capsule_data_provider.js';
77
- import { ContractDataProvider } from './storage/contract_data_provider/contract_data_provider.js';
78
- import { NoteDataProvider } from './storage/note_data_provider/note_data_provider.js';
79
- import { PrivateEventDataProvider } from './storage/private_event_data_provider/private_event_data_provider.js';
80
- import { SyncDataProvider } from './storage/sync_data_provider/sync_data_provider.js';
81
- import { TaggingDataProvider } from './storage/tagging_data_provider/tagging_data_provider.js';
82
- import { Synchronizer } from './synchronizer/index.js';
75
+ import { PrivateKernelOracle } from './private_kernel/private_kernel_oracle.js';
76
+ import { AddressStore } from './storage/address_store/address_store.js';
77
+ import { AnchorBlockStore } from './storage/anchor_block_store/anchor_block_store.js';
78
+ import { CapsuleStore } from './storage/capsule_store/capsule_store.js';
79
+ import { ContractStore } from './storage/contract_store/contract_store.js';
80
+ import { NoteStore } from './storage/note_store/note_store.js';
81
+ import { PrivateEventStore } from './storage/private_event_store/private_event_store.js';
82
+ import { RecipientTaggingStore } from './storage/tagging_store/recipient_tagging_store.js';
83
+ import { SenderAddressBookStore } from './storage/tagging_store/sender_address_book_store.js';
84
+ import { SenderTaggingStore } from './storage/tagging_store/sender_tagging_store.js';
83
85
 
84
86
  export type PackedPrivateEvent = InTx & {
85
87
  packedEvent: Fr[];
86
88
  eventSelector: EventSelector;
87
89
  };
88
90
 
91
+ /** Options for PXE.profileTx. */
92
+ export type ProfileTxOpts = {
93
+ /** The profiling mode to use. */
94
+ profileMode: 'full' | 'execution-steps' | 'gates';
95
+ /** If true, proof generation is skipped during profiling. Defaults to true. */
96
+ skipProofGeneration?: boolean;
97
+ /** Addresses whose private state and keys are accessible during private execution. */
98
+ scopes: AccessScopes;
99
+ };
100
+
101
+ /** Options for PXE.simulateTx. */
102
+ export type SimulateTxOpts = {
103
+ /** Whether to simulate the public part of the transaction. */
104
+ simulatePublic: boolean;
105
+ /** If false, this function throws if the transaction is unable to be included in a block at the current state. */
106
+ skipTxValidation?: boolean;
107
+ /** If false, fees are enforced. */
108
+ skipFeeEnforcement?: boolean;
109
+ /** State overrides for the simulation, such as contract instances and artifacts. */
110
+ overrides?: SimulationOverrides;
111
+ /** Addresses whose private state and keys are accessible during private execution */
112
+ scopes: AccessScopes;
113
+ };
114
+
115
+ /** Options for PXE.executeUtility. */
116
+ export type ExecuteUtilityOpts = {
117
+ /** The authentication witnesses required for the function call. */
118
+ authwits?: AuthWitness[];
119
+ /** The accounts whose notes we can access in this call */
120
+ scopes: AccessScopes;
121
+ };
122
+
123
+ /** Args for PXE.create. */
124
+ export type PXECreateArgs = {
125
+ /** The Aztec node to connect to. */
126
+ node: AztecNode;
127
+ /** The key-value store for persisting PXE state. */
128
+ store: AztecAsyncKVStore;
129
+ /** The prover for generating private kernel proofs. */
130
+ proofCreator: PrivateKernelProver;
131
+ /** The circuit simulator for executing ACIR circuits. */
132
+ simulator: CircuitSimulator;
133
+ /** Provider for protocol contract artifacts and instances. */
134
+ protocolContractsProvider: ProtocolContractsProvider;
135
+ /** PXE configuration options. */
136
+ config: PXEConfig;
137
+ /** Optional logger instance or string suffix for the logger name. */
138
+ loggerOrSuffix?: string | Logger;
139
+ };
140
+
89
141
  /**
90
142
  * Private eXecution Environment (PXE) is a library used by wallets to simulate private phase of transactions and to
91
143
  * manage private state of users.
@@ -93,21 +145,26 @@ export type PackedPrivateEvent = InTx & {
93
145
  export class PXE {
94
146
  private constructor(
95
147
  private node: AztecNode,
96
- private synchronizer: Synchronizer,
148
+ private blockStateSynchronizer: BlockSynchronizer,
97
149
  private keyStore: KeyStore,
98
- private contractDataProvider: ContractDataProvider,
99
- private noteDataProvider: NoteDataProvider,
100
- private capsuleDataProvider: CapsuleDataProvider,
101
- private syncDataProvider: SyncDataProvider,
102
- private taggingDataProvider: TaggingDataProvider,
103
- private addressDataProvider: AddressDataProvider,
104
- private privateEventDataProvider: PrivateEventDataProvider,
150
+ private contractStore: ContractStore,
151
+ private noteStore: NoteStore,
152
+ private capsuleStore: CapsuleStore,
153
+ private anchorBlockStore: AnchorBlockStore,
154
+ private senderTaggingStore: SenderTaggingStore,
155
+ private senderAddressBookStore: SenderAddressBookStore,
156
+ private recipientTaggingStore: RecipientTaggingStore,
157
+ private addressStore: AddressStore,
158
+ private privateEventStore: PrivateEventStore,
159
+ private contractSyncService: ContractSyncService,
105
160
  private simulator: CircuitSimulator,
106
161
  private proverEnabled: boolean,
107
162
  private proofCreator: PrivateKernelProver,
108
163
  private protocolContractsProvider: ProtocolContractsProvider,
109
164
  private log: Logger,
110
165
  private jobQueue: SerialQueue,
166
+ private jobCoordinator: JobCoordinator,
167
+ public debug: PXEDebugUtils,
111
168
  ) {}
112
169
 
113
170
  /**
@@ -117,65 +174,103 @@ export class PXE {
117
174
  *
118
175
  * @returns A promise that resolves PXE is ready to be used.
119
176
  */
120
- public static async create(
121
- node: AztecNode,
122
- store: AztecAsyncKVStore,
123
- proofCreator: PrivateKernelProver,
124
- simulator: CircuitSimulator,
125
- protocolContractsProvider: ProtocolContractsProvider,
126
- config: PXEConfig,
127
- loggerOrSuffix?: string | Logger,
128
- ) {
177
+ public static async create({
178
+ node,
179
+ store,
180
+ proofCreator,
181
+ simulator,
182
+ protocolContractsProvider,
183
+ config,
184
+ loggerOrSuffix,
185
+ }: PXECreateArgs) {
186
+ // Extract bindings from the logger, or use empty bindings if a string suffix is provided.
187
+ const bindings: LoggerBindings | undefined =
188
+ loggerOrSuffix && typeof loggerOrSuffix !== 'string' ? loggerOrSuffix.getBindings() : undefined;
189
+
129
190
  const log =
130
191
  !loggerOrSuffix || typeof loggerOrSuffix === 'string'
131
192
  ? createLogger(loggerOrSuffix ? `pxe:service:${loggerOrSuffix}` : `pxe:service`)
132
193
  : loggerOrSuffix;
133
194
 
134
- const proverEnabled = !!config.proverEnabled;
135
- const addressDataProvider = new AddressDataProvider(store);
136
- const privateEventDataProvider = new PrivateEventDataProvider(store);
137
- const contractDataProvider = new ContractDataProvider(store);
138
- const noteDataProvider = await NoteDataProvider.create(store);
139
- const syncDataProvider = new SyncDataProvider(store);
140
- const taggingDataProvider = new TaggingDataProvider(store);
141
- const capsuleDataProvider = new CapsuleDataProvider(store);
195
+ const info = await node.getNodeInfo();
196
+
197
+ const proverEnabled = config.proverEnabled !== undefined ? config.proverEnabled : info.realProofs;
198
+ const addressStore = new AddressStore(store);
199
+ const privateEventStore = new PrivateEventStore(store);
200
+ const contractStore = new ContractStore(store);
201
+ const noteStore = new NoteStore(store);
202
+ const anchorBlockStore = new AnchorBlockStore(store);
203
+ const senderTaggingStore = new SenderTaggingStore(store);
204
+ const senderAddressBookStore = new SenderAddressBookStore(store);
205
+ const recipientTaggingStore = new RecipientTaggingStore(store);
206
+ const capsuleStore = new CapsuleStore(store);
142
207
  const keyStore = new KeyStore(store);
143
208
  const tipsStore = new L2TipsKVStore(store, 'pxe');
144
- const synchronizer = new Synchronizer(
209
+ const contractSyncService = new ContractSyncService(
210
+ node,
211
+ contractStore,
212
+ noteStore,
213
+ createLogger('pxe:contract_sync', bindings),
214
+ );
215
+ const synchronizer = new BlockSynchronizer(
145
216
  node,
146
- syncDataProvider,
147
- noteDataProvider,
148
- taggingDataProvider,
217
+ store,
218
+ anchorBlockStore,
219
+ noteStore,
220
+ privateEventStore,
149
221
  tipsStore,
222
+ contractSyncService,
150
223
  config,
151
- loggerOrSuffix,
224
+ bindings,
152
225
  );
153
226
 
227
+ const jobCoordinator = new JobCoordinator(store, bindings);
228
+ jobCoordinator.registerStores([
229
+ capsuleStore,
230
+ senderTaggingStore,
231
+ recipientTaggingStore,
232
+ privateEventStore,
233
+ noteStore,
234
+ contractSyncService,
235
+ ]);
236
+
237
+ const debugUtils = new PXEDebugUtils(contractSyncService, noteStore, synchronizer, anchorBlockStore);
238
+
154
239
  const jobQueue = new SerialQueue();
155
240
 
156
241
  const pxe = new PXE(
157
242
  node,
158
243
  synchronizer,
159
244
  keyStore,
160
- contractDataProvider,
161
- noteDataProvider,
162
- capsuleDataProvider,
163
- syncDataProvider,
164
- taggingDataProvider,
165
- addressDataProvider,
166
- privateEventDataProvider,
245
+ contractStore,
246
+ noteStore,
247
+ capsuleStore,
248
+ anchorBlockStore,
249
+ senderTaggingStore,
250
+ senderAddressBookStore,
251
+ recipientTaggingStore,
252
+ addressStore,
253
+ privateEventStore,
254
+ contractSyncService,
167
255
  simulator,
168
256
  proverEnabled,
169
257
  proofCreator,
170
258
  protocolContractsProvider,
171
259
  log,
172
260
  jobQueue,
261
+ jobCoordinator,
262
+ debugUtils,
263
+ );
264
+
265
+ debugUtils.setPXEHelpers(
266
+ pxe.#putInJobQueue.bind(pxe),
267
+ pxe.#getSimulatorForTx.bind(pxe),
268
+ pxe.#executeUtility.bind(pxe),
173
269
  );
174
270
 
175
271
  pxe.jobQueue.start();
176
272
 
177
273
  await pxe.#registerProtocolContracts();
178
- const info = await node.getNodeInfo();
179
274
  log.info(`Started PXE connected to chain ${info.l1ChainId} version ${info.rollupVersion}`);
180
275
  return pxe;
181
276
  }
@@ -183,19 +278,22 @@ export class PXE {
183
278
  // Internal methods
184
279
 
185
280
  #getSimulatorForTx(overrides?: { contracts?: ContractOverrides }) {
186
- const pxeOracleInterface = new PXEOracleInterface(
187
- ProxiedNodeFactory.create(this.node),
188
- this.keyStore,
189
- ProxiedContractDataProviderFactory.create(this.contractDataProvider, overrides?.contracts),
190
- this.noteDataProvider,
191
- this.capsuleDataProvider,
192
- this.syncDataProvider,
193
- this.taggingDataProvider,
194
- this.addressDataProvider,
195
- this.privateEventDataProvider,
196
- this.log,
197
- );
198
- return new ContractFunctionSimulator(pxeOracleInterface, this.simulator);
281
+ const proxyContractStore = ProxiedContractStoreFactory.create(this.contractStore, overrides?.contracts);
282
+
283
+ return new ContractFunctionSimulator({
284
+ contractStore: proxyContractStore,
285
+ noteStore: this.noteStore,
286
+ keyStore: this.keyStore,
287
+ addressStore: this.addressStore,
288
+ aztecNode: BenchmarkedNodeFactory.create(this.node),
289
+ senderTaggingStore: this.senderTaggingStore,
290
+ recipientTaggingStore: this.recipientTaggingStore,
291
+ senderAddressBookStore: this.senderAddressBookStore,
292
+ capsuleStore: this.capsuleStore,
293
+ privateEventStore: this.privateEventStore,
294
+ simulator: this.simulator,
295
+ contractSyncService: this.contractSyncService,
296
+ });
199
297
  }
200
298
 
201
299
  #contextualizeError(err: Error, ...context: string[]): Error {
@@ -218,7 +316,7 @@ export class PXE {
218
316
  *
219
317
  * Useful for tasks that cannot run concurrently, such as contract function simulation.
220
318
  */
221
- #putInJobQueue<T>(fn: () => Promise<T>): Promise<T> {
319
+ #putInJobQueue<T>(fn: (jobId: string) => Promise<T>): Promise<T> {
222
320
  // TODO(#12636): relax the conditions under which we forbid concurrency.
223
321
  if (this.jobQueue.length() != 0) {
224
322
  this.log.warn(
@@ -226,109 +324,98 @@ export class PXE {
226
324
  );
227
325
  }
228
326
 
229
- return this.jobQueue.put(fn);
327
+ return this.jobQueue.put(async () => {
328
+ const jobId = this.jobCoordinator.beginJob();
329
+ this.log.verbose(`Beginning job ${jobId}`);
330
+
331
+ try {
332
+ const result = await fn(jobId);
333
+ this.log.verbose(`Committing job ${jobId}`);
334
+
335
+ await this.jobCoordinator.commitJob(jobId);
336
+ return result;
337
+ } catch (err) {
338
+ this.log.verbose(`Aborting job ${jobId}`);
339
+ await this.jobCoordinator.abortJob(jobId);
340
+ throw err;
341
+ }
342
+ });
230
343
  }
231
344
 
232
345
  async #registerProtocolContracts() {
233
346
  const registered: Record<string, string> = {};
234
347
  for (const name of protocolContractNames) {
235
- const { address, contractClass, instance, artifact } =
236
- await this.protocolContractsProvider.getProtocolContractArtifact(name);
237
- await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
238
- await this.contractDataProvider.addContractInstance(instance);
348
+ const { address, instance, artifact } = await this.protocolContractsProvider.getProtocolContractArtifact(name);
349
+ await this.contractStore.addContractArtifact(artifact);
350
+ await this.contractStore.addContractInstance(instance);
239
351
  registered[name] = address.toString();
240
352
  }
241
353
  this.log.verbose(`Registered protocol contracts in pxe`, registered);
242
354
  }
243
355
 
244
- async #isContractClassPubliclyRegistered(id: Fr): Promise<boolean> {
245
- return !!(await this.node.getContractClass(id));
246
- }
247
-
248
- async #isContractPublished(address: AztecAddress): Promise<boolean> {
249
- return !!(await this.node.getContract(address));
250
- }
251
-
252
- async #isContractInitialized(address: AztecAddress): Promise<boolean> {
253
- const initNullifier = await siloNullifier(address, address.toField());
254
- return !!(await this.node.getNullifierMembershipWitness('latest', initNullifier));
255
- }
256
-
257
- async #getFunctionCall(functionName: string, args: any[], to: AztecAddress): Promise<FunctionCall> {
258
- const contract = await this.contractDataProvider.getContract(to);
259
- if (!contract) {
260
- throw new Error(
261
- `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`,
262
- );
263
- }
264
-
265
- const functionDao = contract.functions.find(f => f.name === functionName);
266
- if (!functionDao) {
267
- throw new Error(`Unknown function ${functionName} in contract ${contract.name}.`);
268
- }
269
-
270
- return {
271
- name: functionDao.name,
272
- args: encodeArguments(functionDao, args),
273
- selector: await FunctionSelector.fromNameAndParameters(functionDao.name, functionDao.parameters),
274
- type: functionDao.functionType,
275
- to,
276
- hideMsgSender: false,
277
- isStatic: functionDao.isStatic,
278
- returnTypes: functionDao.returnTypes,
279
- };
280
- }
281
-
282
356
  // Executes the entrypoint private function, as well as all nested private
283
357
  // functions that might arise.
284
358
  async #executePrivate(
285
359
  contractFunctionSimulator: ContractFunctionSimulator,
286
360
  txRequest: TxExecutionRequest,
287
- scopes?: AztecAddress[],
361
+ scopes: AccessScopes,
362
+ jobId: string,
288
363
  ): Promise<PrivateExecutionResult> {
289
364
  const { origin: contractAddress, functionSelector } = txRequest;
290
365
 
291
366
  try {
292
- const result = await contractFunctionSimulator.run(
293
- txRequest,
367
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
368
+
369
+ await this.contractSyncService.ensureContractSynced(
294
370
  contractAddress,
295
371
  functionSelector,
296
- undefined,
297
- // The sender for tags is set by contracts, typically by an account
298
- // contract entrypoint
299
- undefined, // senderForTags
372
+ (privateSyncCall, execScopes) =>
373
+ this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId),
374
+ anchorBlockHeader,
375
+ jobId,
300
376
  scopes,
301
377
  );
378
+
379
+ const result = await contractFunctionSimulator.run(txRequest, {
380
+ contractAddress,
381
+ selector: functionSelector,
382
+ anchorBlockHeader,
383
+ scopes,
384
+ jobId,
385
+ });
302
386
  this.log.debug(`Private simulation completed for ${contractAddress.toString()}:${functionSelector}`);
303
387
  return result;
304
388
  } catch (err) {
305
389
  if (err instanceof SimulationError) {
306
- await enrichSimulationError(err, this.contractDataProvider, this.log);
390
+ await enrichSimulationError(err, this.contractStore, this.log);
307
391
  }
308
392
  throw err;
309
393
  }
310
394
  }
311
395
 
312
396
  /**
313
- * Simulate a utility function call on the given contract.
397
+ * Execute a utility function call on the given contract.
314
398
  * @param contractFunctionSimulator - The simulator to use for the function call.
315
399
  * @param call - The function call to execute.
316
400
  * @param authWitnesses - Authentication witnesses required for the function call.
317
401
  * @param scopes - Optional array of account addresses whose notes can be accessed in this call. Defaults to all
318
402
  * accounts if not specified.
319
- * @returns The simulation result containing the outputs of the utility function.
403
+ * @param jobId - The job ID for staged writes.
404
+ * @returns The execution result containing the outputs of the utility function.
320
405
  */
321
- async #simulateUtility(
406
+ async #executeUtility(
322
407
  contractFunctionSimulator: ContractFunctionSimulator,
323
408
  call: FunctionCall,
324
- authWitnesses?: AuthWitness[],
325
- scopes?: AztecAddress[],
409
+ authWitnesses: AuthWitness[] | undefined,
410
+ scopes: AccessScopes,
411
+ jobId: string,
326
412
  ) {
327
413
  try {
328
- return contractFunctionSimulator.runUtility(call, authWitnesses ?? [], scopes);
414
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
415
+ return contractFunctionSimulator.runUtility(call, authWitnesses ?? [], anchorBlockHeader, scopes, jobId);
329
416
  } catch (err) {
330
417
  if (err instanceof SimulationError) {
331
- await enrichSimulationError(err, this.contractDataProvider, this.log);
418
+ await enrichSimulationError(err, this.contractStore, this.log);
332
419
  }
333
420
  throw err;
334
421
  }
@@ -352,7 +439,7 @@ export class PXE {
352
439
  } catch (err) {
353
440
  if (err instanceof SimulationError) {
354
441
  try {
355
- await enrichPublicSimulationError(err, this.contractDataProvider, this.log);
442
+ await enrichPublicSimulationError(err, this.contractStore, this.log);
356
443
  } catch (enrichErr) {
357
444
  this.log.error(`Failed to enrich public simulation error: ${enrichErr}`);
358
445
  }
@@ -378,85 +465,45 @@ export class PXE {
378
465
  privateExecutionResult: PrivateExecutionResult,
379
466
  config: PrivateKernelExecutionProverConfig,
380
467
  ): Promise<PrivateKernelExecutionProofOutput<PrivateKernelTailCircuitPublicInputs>> {
381
- const simulationAnchorBlock = privateExecutionResult.getSimulationAnchorBlockNumber();
382
- const kernelOracle = new PrivateKernelOracleImpl(
383
- this.contractDataProvider,
384
- this.keyStore,
385
- this.node,
386
- simulationAnchorBlock,
468
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
469
+ const anchorBlockHash = await anchorBlockHeader.hash();
470
+ const kernelOracle = new PrivateKernelOracle(this.contractStore, this.keyStore, this.node, anchorBlockHash);
471
+ const kernelTraceProver = new PrivateKernelExecutionProver(
472
+ kernelOracle,
473
+ proofCreator,
474
+ !this.proverEnabled,
475
+ this.log.getBindings(),
387
476
  );
388
- const kernelTraceProver = new PrivateKernelExecutionProver(kernelOracle, proofCreator, !this.proverEnabled);
389
477
  this.log.debug(`Executing kernel trace prover (${JSON.stringify(config)})...`);
390
478
  return await kernelTraceProver.proveWithKernels(txExecutionRequest.toTxRequest(), privateExecutionResult, config);
391
479
  }
392
480
 
393
481
  // Public API
394
482
 
395
- public getContractInstance(address: AztecAddress): Promise<ContractInstanceWithAddress | undefined> {
396
- return this.contractDataProvider.getContractInstance(address);
483
+ /**
484
+ * Returns the block header up to which the PXE has synced.
485
+ * @returns The synced block header
486
+ */
487
+ public getSyncedBlockHeader(): Promise<BlockHeader> {
488
+ return this.anchorBlockStore.getBlockHeader();
397
489
  }
398
490
 
399
491
  /**
400
- * Returns the contract class metadata given a contract class id.
401
- * The metadata consists of its contract class, whether it has been publicly registered, and its artifact.
402
- * @remark - it queries the node to check whether the contract class with the given id has been publicly registered.
403
- * @param id - Identifier of the class.
404
- * @param includeArtifact - Identifier of the class.
405
- * @returns - It returns the contract class metadata, with the artifact field being optional, and will only be returned if true is passed in
406
- * for `includeArtifact`
407
- * TODO(@spalladino): The PXE actually holds artifacts and not classes, what should we return? Also,
408
- * should the pxe query the node for contract public info, and merge it with its own definitions?
409
- * TODO(@spalladino): This method is strictly needed to decide whether to publicly register a class or not
410
- * during a public deployment. We probably want a nicer and more general API for this, but it'll have to
411
- * do for the time being.
492
+ * Returns the contract instance for a given address, if it's registered in the PXE.
493
+ * @param address - The contract address.
494
+ * @returns The contract instance if found, undefined otherwise.
412
495
  */
413
- public async getContractClassMetadata(
414
- id: Fr,
415
- includeArtifact: boolean = false,
416
- ): Promise<{
417
- contractClass: ContractClassWithId | undefined;
418
- isContractClassPubliclyRegistered: boolean;
419
- artifact: ContractArtifact | undefined;
420
- }> {
421
- const artifact = await this.contractDataProvider.getContractArtifact(id);
422
- if (!artifact) {
423
- this.log.warn(`No artifact found for contract class ${id.toString()} when looking for its metadata`);
424
- }
425
-
426
- return {
427
- contractClass: artifact && (await getContractClassFromArtifact(artifact)),
428
- isContractClassPubliclyRegistered: await this.#isContractClassPubliclyRegistered(id),
429
- artifact: includeArtifact ? artifact : undefined,
430
- };
496
+ public getContractInstance(address: AztecAddress): Promise<ContractInstanceWithAddress | undefined> {
497
+ return this.contractStore.getContractInstance(address);
431
498
  }
432
499
 
433
500
  /**
434
- * Returns the contract metadata given an address.
435
- * The metadata consists of its contract instance, which includes the contract class identifier,
436
- * initialization hash, deployment salt, and public keys hash; whether the contract instance has been initialized;
437
- * and whether the contract instance with the given address has been publicly deployed.
438
- * @remark - it queries the node to check whether the contract instance has been initialized / publicly deployed through a node.
439
- * This query is not dependent on the PXE.
440
- * @param address - The address that the contract instance resides at.
441
- * @returns - It returns the contract metadata
442
- * TODO(@spalladino): Should we return the public keys in plain as well here?
501
+ * Returns the contract artifact for a given contract class id, if it's registered in the PXE.
502
+ * @param id - Identifier of the contract class.
503
+ * @returns The contract artifact if found, undefined otherwise.
443
504
  */
444
- public async getContractMetadata(address: AztecAddress): Promise<{
445
- contractInstance: ContractInstanceWithAddress | undefined;
446
- isContractInitialized: boolean;
447
- isContractPublished: boolean;
448
- }> {
449
- let instance;
450
- try {
451
- instance = await this.contractDataProvider.getContractInstance(address);
452
- } catch {
453
- this.log.warn(`No instance found for contract ${address.toString()} when looking for its metadata`);
454
- }
455
- return {
456
- contractInstance: instance,
457
- isContractInitialized: await this.#isContractInitialized(address),
458
- isContractPublished: await this.#isContractPublished(address),
459
- };
505
+ public async getContractArtifact(id: Fr): Promise<ContractArtifact | undefined> {
506
+ return await this.contractStore.getContractArtifact(id);
460
507
  }
461
508
 
462
509
  /**
@@ -480,56 +527,57 @@ export class PXE {
480
527
  this.log.debug(`Registered account\n ${accountCompleteAddress.toReadableString()}`);
481
528
  }
482
529
 
483
- await this.addressDataProvider.addCompleteAddress(accountCompleteAddress);
484
- await this.noteDataProvider.addScope(accountCompleteAddress.address);
530
+ await this.addressStore.addCompleteAddress(accountCompleteAddress);
485
531
  return accountCompleteAddress;
486
532
  }
487
533
 
488
534
  /**
489
- * Registers a user contact in PXE.
535
+ * Registers a sender in this PXE.
490
536
  *
491
- * Once a new contact is registered, the PXE will be able to receive notes tagged from this contact.
492
- * Will do nothing if the account is already registered.
537
+ * After registering a new sender, the PXE will sync private logs that are tagged with this sender's address.
538
+ * Will do nothing if the address is already registered.
493
539
  *
494
- * @param address - Address of the user to add to the address book
495
- * @returns The address address of the account.
540
+ * @param sender - Address of the sender to register.
541
+ * @returns The address of the sender.
542
+ * TODO: It's strange that we return the address here and I (benesjan) think we should drop the return value.
496
543
  */
497
- public async registerSender(address: AztecAddress): Promise<AztecAddress> {
544
+ public async registerSender(sender: AztecAddress): Promise<AztecAddress> {
498
545
  const accounts = await this.keyStore.getAccounts();
499
- if (accounts.includes(address)) {
500
- this.log.info(`Sender:\n "${address.toString()}"\n already registered.`);
501
- return address;
546
+ if (accounts.includes(sender)) {
547
+ this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
548
+ return sender;
502
549
  }
503
550
 
504
- const wasAdded = await this.taggingDataProvider.addSenderAddress(address);
551
+ const wasAdded = await this.senderAddressBookStore.addSender(sender);
505
552
 
506
553
  if (wasAdded) {
507
- this.log.info(`Added sender:\n ${address.toString()}`);
554
+ this.log.info(`Added sender:\n ${sender.toString()}`);
508
555
  } else {
509
- this.log.info(`Sender:\n "${address.toString()}"\n already registered.`);
556
+ this.log.info(`Sender:\n "${sender.toString()}"\n already registered.`);
510
557
  }
511
558
 
512
- return address;
559
+ return sender;
513
560
  }
514
561
 
515
562
  /**
516
- * Retrieves the addresses stored as senders on this PXE.
517
- * @returns An array of the senders on this PXE.
563
+ * Retrieves senders registered in this PXE.
564
+ * @returns Senders registered in this PXE.
518
565
  */
519
566
  public getSenders(): Promise<AztecAddress[]> {
520
- return this.taggingDataProvider.getSenderAddresses();
567
+ return this.senderAddressBookStore.getSenders();
521
568
  }
522
569
 
523
570
  /**
524
- * Removes a sender in the address book.
571
+ * Removes a sender registered in this PXE.
572
+ * @param sender - The address of the sender to remove.
525
573
  */
526
- public async removeSender(address: AztecAddress): Promise<void> {
527
- const wasRemoved = await this.taggingDataProvider.removeSenderAddress(address);
574
+ public async removeSender(sender: AztecAddress): Promise<void> {
575
+ const wasRemoved = await this.senderAddressBookStore.removeSender(sender);
528
576
 
529
577
  if (wasRemoved) {
530
- this.log.info(`Removed sender:\n ${address.toString()}`);
578
+ this.log.info(`Removed sender:\n ${sender.toString()}`);
531
579
  } else {
532
- this.log.info(`Sender:\n "${address.toString()}"\n not in address book.`);
580
+ this.log.info(`Sender:\n "${sender.toString()}"\n not registered in PXE.`);
533
581
  }
534
582
  }
535
583
 
@@ -539,7 +587,7 @@ export class PXE {
539
587
  */
540
588
  public async getRegisteredAccounts(): Promise<CompleteAddress[]> {
541
589
  // Get complete addresses of both the recipients and the accounts
542
- const completeAddresses = await this.addressDataProvider.getCompleteAddresses();
590
+ const completeAddresses = await this.addressStore.getCompleteAddresses();
543
591
  // Filter out the addresses not corresponding to accounts
544
592
  const accounts = await this.keyStore.getAccounts();
545
593
  return completeAddresses.filter(completeAddress =>
@@ -553,8 +601,7 @@ export class PXE {
553
601
  * @param artifact - The build artifact for the contract class.
554
602
  */
555
603
  public async registerContractClass(artifact: ContractArtifact): Promise<void> {
556
- const { id: contractClassId } = await getContractClassFromArtifact(artifact);
557
- await this.contractDataProvider.addContractArtifact(contractClassId, artifact);
604
+ const contractClassId = await this.contractStore.addContractArtifact(artifact);
558
605
  this.log.info(`Added contract class ${artifact.name} with id ${contractClassId}`);
559
606
  }
560
607
 
@@ -573,17 +620,17 @@ export class PXE {
573
620
  if (artifact) {
574
621
  // If the user provides an artifact, validate it against the expected class id and register it
575
622
  const contractClass = await getContractClassFromArtifact(artifact);
576
- const contractClassId = contractClass.id;
577
- if (!contractClassId.equals(instance.currentContractClassId)) {
623
+ if (!contractClass.id.equals(instance.currentContractClassId)) {
578
624
  throw new Error(
579
- `Artifact does not match expected class id (computed ${contractClassId} but instance refers to ${instance.currentContractClassId})`,
625
+ `Artifact does not match expected class id (computed ${contractClass.id} but instance refers to ${instance.currentContractClassId})`,
580
626
  );
581
627
  }
582
628
  const computedAddress = await computeContractAddressFromInstance(instance);
583
629
  if (!computedAddress.equals(instance.address)) {
584
630
  throw new Error('Added a contract in which the address does not match the contract instance.');
585
631
  }
586
- await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
632
+
633
+ await this.contractStore.addContractArtifact(artifact, contractClass);
587
634
 
588
635
  const publicFunctionSignatures = artifact.functions
589
636
  .filter(fn => fn.functionType === FunctionType.PUBLIC)
@@ -591,7 +638,7 @@ export class PXE {
591
638
  await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
592
639
  } else {
593
640
  // Otherwise, make sure there is an artifact already registered for that class id
594
- artifact = await this.contractDataProvider.getContractArtifact(instance.currentContractClassId);
641
+ artifact = await this.contractStore.getContractArtifact(instance.currentContractClassId);
595
642
  if (!artifact) {
596
643
  throw new Error(
597
644
  `Artifact not found when registering an instance. Contract class: ${instance.currentContractClassId}.`,
@@ -599,7 +646,7 @@ export class PXE {
599
646
  }
600
647
  }
601
648
 
602
- await this.contractDataProvider.addContractInstance(instance);
649
+ await this.contractStore.addContractInstance(instance);
603
650
  this.log.info(
604
651
  `Added contract ${artifact.name} at ${instance.address.toString()} with class ${instance.currentContractClassId}`,
605
652
  );
@@ -618,35 +665,30 @@ export class PXE {
618
665
  // We disable concurrently updating contracts to avoid concurrently syncing with the node, or changing a contract's
619
666
  // class while we're simulating it.
620
667
  return this.#putInJobQueue(async () => {
621
- const currentInstance = await this.contractDataProvider.getContractInstance(contractAddress);
668
+ const currentInstance = await this.contractStore.getContractInstance(contractAddress);
622
669
  if (!currentInstance) {
623
670
  throw new Error(`Instance not found when updating a contract. Contract address: ${contractAddress}.`);
624
671
  }
625
672
  const contractClass = await getContractClassFromArtifact(artifact);
626
- await this.synchronizer.sync();
673
+ await this.blockStateSynchronizer.sync();
627
674
 
628
- const header = await this.syncDataProvider.getBlockHeader();
675
+ const header = await this.anchorBlockStore.getBlockHeader();
629
676
 
630
- const currentClassId = await readCurrentClassId(
631
- contractAddress,
632
- currentInstance,
633
- this.node,
634
- header.globalVariables.blockNumber,
635
- header.globalVariables.timestamp,
636
- );
677
+ const currentClassId = await readCurrentClassId(contractAddress, currentInstance, this.node, header);
637
678
  if (!contractClass.id.equals(currentClassId)) {
638
679
  throw new Error('Could not update contract to a class different from the current one.');
639
680
  }
640
681
 
641
- await this.contractDataProvider.addContractArtifact(contractClass.id, artifact);
642
-
643
682
  const publicFunctionSignatures = artifact.functions
644
683
  .filter(fn => fn.functionType === FunctionType.PUBLIC)
645
684
  .map(fn => decodeFunctionSignature(fn.name, fn.parameters));
646
685
  await this.node.registerContractFunctionSignatures(publicFunctionSignatures);
647
686
 
648
687
  currentInstance.currentContractClassId = contractClass.id;
649
- await this.contractDataProvider.addContractInstance(currentInstance);
688
+ await Promise.all([
689
+ this.contractStore.addContractArtifact(artifact, contractClass),
690
+ this.contractStore.addContractInstance(currentInstance),
691
+ ]);
650
692
  this.log.info(`Updated contract ${artifact.name} at ${contractAddress.toString()} to class ${contractClass.id}`);
651
693
  });
652
694
  }
@@ -656,26 +698,7 @@ export class PXE {
656
698
  * @returns An array of contracts addresses registered on this PXE.
657
699
  */
658
700
  public getContracts(): Promise<AztecAddress[]> {
659
- return this.contractDataProvider.getContractsAddresses();
660
- }
661
-
662
- /**
663
- * A debugging utility to get notes based on the provided filter.
664
- *
665
- * Note that this should not be used in production code because the structure of notes is considered to be
666
- * an implementation detail of contracts. This is only meant to be used for debugging purposes. If you need to obtain
667
- * note-related information in production code, please implement a custom utility function on your contract and call
668
- * that function instead (e.g. `get_balance(owner: AztecAddress) -> u128` utility function on a Token contract).
669
- *
670
- * @param filter - The filter to apply to the notes.
671
- * @returns The requested notes.
672
- */
673
- public async getNotes(filter: NotesFilter): Promise<NoteDao[]> {
674
- // We need to manually trigger private state sync to have a guarantee that all the notes are available.
675
- const call = await this.#getFunctionCall('sync_private_state', [], filter.contractAddress);
676
- await this.simulateUtility(call);
677
-
678
- return this.noteDataProvider.getNotes(filter);
701
+ return this.contractStore.getContractsAddresses();
679
702
  }
680
703
 
681
704
  /**
@@ -683,22 +706,23 @@ export class PXE {
683
706
  * (where validators prove the public portion).
684
707
  *
685
708
  * @param txRequest - An authenticated tx request ready for proving
709
+ * @param scopes - Addresses whose private state and keys are accessible during private execution.
686
710
  * @returns A result containing the proof and public inputs of the tail circuit.
687
711
  * @throws If contract code not found, or public simulation reverts.
688
712
  * Also throws if simulatePublic is true and public simulation reverts.
689
713
  */
690
- public proveTx(txRequest: TxExecutionRequest): Promise<TxProvingResult> {
714
+ public proveTx(txRequest: TxExecutionRequest, scopes: AztecAddress[]): Promise<TxProvingResult> {
691
715
  let privateExecutionResult: PrivateExecutionResult;
692
716
  // We disable proving concurrently mostly out of caution, since it accesses some of our stores. Proving is so
693
717
  // computationally demanding that it'd be rare for someone to try to do it concurrently regardless.
694
- return this.#putInJobQueue(async () => {
718
+ return this.#putInJobQueue(async jobId => {
695
719
  const totalTimer = new Timer();
696
720
  try {
697
721
  const syncTimer = new Timer();
698
- await this.synchronizer.sync();
722
+ await this.blockStateSynchronizer.sync();
699
723
  const syncTime = syncTimer.ms();
700
724
  const contractFunctionSimulator = this.#getSimulatorForTx();
701
- privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
725
+ privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
702
726
 
703
727
  const {
704
728
  publicInputs,
@@ -735,14 +759,22 @@ export class PXE {
735
759
  nodeRPCCalls: contractFunctionSimulator?.getStats().nodeRPCCalls,
736
760
  });
737
761
 
762
+ // While not strictly necessary to store tagging cache contents in the DB since we sync tagging indexes from
763
+ // chain before sending new logs, the sync can only see logs already included in blocks. If we send another
764
+ // transaction before this one is included in a block from this PXE, and that transaction contains a log with
765
+ // a tag derived from the same secret, we would reuse the tag and the transactions would be linked. Hence
766
+ // storing the tags here prevents linkage of txs sent from the same PXE.
738
767
  const preTagsUsedInTheTx = privateExecutionResult.entrypoint.preTags;
739
768
  if (preTagsUsedInTheTx.length > 0) {
740
- await this.taggingDataProvider.setLastUsedIndexesAsSender(preTagsUsedInTheTx);
741
- this.log.debug(`Stored used pre tags as sender for the tx`, {
769
+ // TODO(benesjan): The following is an expensive operation. Figure out a way to avoid it.
770
+ const txHash = (await txProvingResult.toTx()).txHash;
771
+
772
+ await this.senderTaggingStore.storePendingIndexes(preTagsUsedInTheTx, txHash, jobId);
773
+ this.log.debug(`Stored used pre-tags as sender for the tx`, {
742
774
  preTagsUsedInTheTx,
743
775
  });
744
776
  } else {
745
- this.log.debug(`No pre tags used in the tx`);
777
+ this.log.debug(`No pre-tags used in the tx`);
746
778
  }
747
779
 
748
780
  return txProvingResult;
@@ -754,20 +786,16 @@ export class PXE {
754
786
 
755
787
  /**
756
788
  * Profiles a transaction, reporting gate counts (unless disabled) and returns an execution trace.
757
- *
758
- * @param txRequest - An authenticated tx request ready for simulation
759
- * @param msgSender - (Optional) The message sender to use for the simulation.
760
- * @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
789
+ * @param txRequest - An authenticated tx request ready for simulation.
761
790
  * @returns A trace of the program execution with gate counts.
762
791
  * @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
763
792
  */
764
793
  public profileTx(
765
794
  txRequest: TxExecutionRequest,
766
- profileMode: 'full' | 'execution-steps' | 'gates',
767
- skipProofGeneration: boolean = true,
795
+ { profileMode, skipProofGeneration = true, scopes }: ProfileTxOpts,
768
796
  ): Promise<TxProfileResult> {
769
797
  // We disable concurrent profiles for consistency with simulateTx.
770
- return this.#putInJobQueue(async () => {
798
+ return this.#putInJobQueue(async jobId => {
771
799
  const totalTimer = new Timer();
772
800
  try {
773
801
  const txInfo = {
@@ -783,11 +811,11 @@ export class PXE {
783
811
  txInfo,
784
812
  );
785
813
  const syncTimer = new Timer();
786
- await this.synchronizer.sync();
814
+ await this.blockStateSynchronizer.sync();
787
815
  const syncTime = syncTimer.ms();
788
816
 
789
817
  const contractFunctionSimulator = this.#getSimulatorForTx();
790
- const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest);
818
+ const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
791
819
 
792
820
  const { executionSteps, timings: { proving } = {} } = await this.#prove(
793
821
  txRequest,
@@ -844,12 +872,7 @@ export class PXE {
844
872
  * In that case, the transaction returned is only potentially ready to be sent to the network for execution.
845
873
  *
846
874
  *
847
- * @param txRequest - An authenticated tx request ready for simulation
848
- * @param simulatePublic - Whether to simulate the public part of the transaction.
849
- * @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
850
- * @param skipFeeEnforcement - (Optional) If false, fees are enforced.
851
- * @param overrides - (Optional) State overrides for the simulation, such as msgSender, contract instances and artifacts.
852
- * @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
875
+ * @param txRequest - An authenticated tx request ready for simulation.
853
876
  * @returns A simulated transaction result object that includes public and private return values.
854
877
  * @throws If the code for the functions executed in this transaction have not been made available via `addContracts`.
855
878
  * Also throws if simulatePublic is true and public simulation reverts.
@@ -858,16 +881,12 @@ export class PXE {
858
881
  */
859
882
  public simulateTx(
860
883
  txRequest: TxExecutionRequest,
861
- simulatePublic: boolean,
862
- skipTxValidation: boolean = false,
863
- skipFeeEnforcement: boolean = false,
864
- overrides?: SimulationOverrides,
865
- scopes?: AztecAddress[],
884
+ { simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, overrides, scopes }: SimulateTxOpts,
866
885
  ): Promise<TxSimulationResult> {
867
886
  // We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
868
887
  // to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
869
888
  // delete the same read value, or reading values that another simulation is currently modifying).
870
- return this.#putInJobQueue(async () => {
889
+ return this.#putInJobQueue(async jobId => {
871
890
  try {
872
891
  const totalTimer = new Timer();
873
892
  const txInfo = {
@@ -883,31 +902,33 @@ export class PXE {
883
902
  txInfo,
884
903
  );
885
904
  const syncTimer = new Timer();
886
- await this.synchronizer.sync();
905
+ await this.blockStateSynchronizer.sync();
887
906
  const syncTime = syncTimer.ms();
888
907
 
889
908
  const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
890
909
  // Temporary: in case there are overrides, we have to skip the kernels or validations
891
910
  // will fail. Consider handing control to the user/wallet on whether they want to run them
892
911
  // or not.
893
- const skipKernels = overrides?.contracts !== undefined && Object.keys(overrides.contracts ?? {}).length > 0;
912
+ const overriddenContracts = overrides?.contracts ? new Set(Object.keys(overrides.contracts)) : undefined;
913
+ const hasOverriddenContracts = overriddenContracts !== undefined && overriddenContracts.size > 0;
914
+ const skipKernels = hasOverriddenContracts;
915
+
916
+ // Set overridden contracts on the sync service so it knows to skip syncing them
917
+ if (hasOverriddenContracts) {
918
+ this.contractSyncService.setOverriddenContracts(jobId, overriddenContracts);
919
+ }
894
920
 
895
921
  // Execution of private functions only; no proving, and no kernel logic.
896
- const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes);
922
+ const privateExecutionResult = await this.#executePrivate(contractFunctionSimulator, txRequest, scopes, jobId);
897
923
 
898
924
  let publicInputs: PrivateKernelTailCircuitPublicInputs | undefined;
899
925
  let executionSteps: PrivateExecutionStep[] = [];
900
926
 
901
927
  if (skipKernels) {
902
- // According to the protocol rules, the nonce generator for the note hashes
903
- // can either be the first nullifier in the tx or the protocol nullifier if there are none.
904
- const nonceGenerator = privateExecutionResult.firstNullifier.equals(Fr.ZERO)
905
- ? await computeProtocolNullifier(await txRequest.toTxRequest().hash())
906
- : privateExecutionResult.firstNullifier;
907
928
  ({ publicInputs, executionSteps } = await generateSimulatedProvingResult(
908
929
  privateExecutionResult,
909
- nonceGenerator,
910
- this.contractDataProvider,
930
+ (addr, sel) => this.contractStore.getDebugFunctionName(addr, sel),
931
+ this.node,
911
932
  ));
912
933
  } else {
913
934
  // Kernel logic, plus proving of all private functions and kernels.
@@ -926,6 +947,9 @@ export class PXE {
926
947
  const publicSimulationTimer = new Timer();
927
948
  publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement);
928
949
  publicSimulationTime = publicSimulationTimer.ms();
950
+ if (publicOutput?.debugLogs?.length) {
951
+ await displayDebugLogs(publicOutput.debugLogs, addr => this.contractStore.getDebugContractName(addr));
952
+ }
929
953
  }
930
954
 
931
955
  let validationTime: number | undefined;
@@ -985,38 +1009,50 @@ export class PXE {
985
1009
  inspect(txRequest),
986
1010
  `simulatePublic=${simulatePublic}`,
987
1011
  `skipTxValidation=${skipTxValidation}`,
988
- `scopes=${scopes?.map(s => s.toString()).join(', ') ?? 'undefined'}`,
1012
+ `scopes=${scopes === 'ALL_SCOPES' ? scopes : scopes.map(s => s.toString()).join(', ')}`,
989
1013
  );
990
1014
  }
991
1015
  });
992
1016
  }
993
1017
 
994
1018
  /**
995
- * Simulate the execution of a contract utility function.
996
- *
1019
+ * Executes a contract utility function.
997
1020
  * @param call - The function call containing the function details, arguments, and target contract address.
998
- * @param authwits - (Optional) The authentication witnesses required for the function call.
999
- * @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will
1000
- * default to all.
1001
- * @returns The result of the utility function call, structured based on the function ABI.
1002
1021
  */
1003
- public simulateUtility(
1022
+ public executeUtility(
1004
1023
  call: FunctionCall,
1005
- authwits?: AuthWitness[],
1006
- scopes?: AztecAddress[],
1007
- ): Promise<UtilitySimulationResult> {
1008
- // We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
1024
+ { authwits, scopes }: ExecuteUtilityOpts = { scopes: 'ALL_SCOPES' },
1025
+ ): Promise<UtilityExecutionResult> {
1026
+ // We disable concurrent executions since those might execute oracles which read and write to the PXE stores (e.g.
1009
1027
  // to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
1010
- // delete the same read value, or reading values that another simulation is currently modifying).
1011
- return this.#putInJobQueue(async () => {
1028
+ // delete the same read value, or reading values that another execution is currently modifying).
1029
+ return this.#putInJobQueue(async jobId => {
1012
1030
  try {
1013
1031
  const totalTimer = new Timer();
1014
1032
  const syncTimer = new Timer();
1015
- await this.synchronizer.sync();
1033
+ await this.blockStateSynchronizer.sync();
1016
1034
  const syncTime = syncTimer.ms();
1017
1035
  const functionTimer = new Timer();
1018
1036
  const contractFunctionSimulator = this.#getSimulatorForTx();
1019
- const executionResult = await this.#simulateUtility(contractFunctionSimulator, call, authwits ?? [], scopes);
1037
+
1038
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
1039
+ await this.contractSyncService.ensureContractSynced(
1040
+ call.to,
1041
+ call.selector,
1042
+ (privateSyncCall, execScopes) =>
1043
+ this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId),
1044
+ anchorBlockHeader,
1045
+ jobId,
1046
+ scopes,
1047
+ );
1048
+
1049
+ const executionResult = await this.#executeUtility(
1050
+ contractFunctionSimulator,
1051
+ call,
1052
+ authwits ?? [],
1053
+ scopes,
1054
+ jobId,
1055
+ );
1020
1056
  const functionTime = functionTimer.ms();
1021
1057
 
1022
1058
  const totalTime = totalTimer.ms();
@@ -1037,8 +1073,8 @@ export class PXE {
1037
1073
  const stringifiedArgs = args.map(arg => arg.toString()).join(', ');
1038
1074
  throw this.#contextualizeError(
1039
1075
  err,
1040
- `simulateUtility ${to}:${name}(${stringifiedArgs})`,
1041
- `scopes=${scopes?.map(s => s.toString()).join(', ') ?? 'undefined'}`,
1076
+ `executeUtility ${to}:${name}(${stringifiedArgs})`,
1077
+ `scopes=${scopes === 'ALL_SCOPES' ? scopes : scopes.map(s => s.toString()).join(', ')}`,
1042
1078
  );
1043
1079
  }
1044
1080
  });
@@ -1061,17 +1097,35 @@ export class PXE {
1061
1097
  eventSelector: EventSelector,
1062
1098
  filter: PrivateEventFilter,
1063
1099
  ): Promise<PackedPrivateEvent[]> {
1064
- // We need to manually trigger private state sync to have a guarantee that all the events are available.
1065
- const call = await this.#getFunctionCall('sync_private_state', [], filter.contractAddress);
1066
- await this.simulateUtility(call);
1100
+ let anchorBlockNumber: BlockNumber;
1101
+
1102
+ await this.#putInJobQueue(async jobId => {
1103
+ await this.blockStateSynchronizer.sync();
1104
+
1105
+ const anchorBlockHeader = await this.anchorBlockStore.getBlockHeader();
1106
+ anchorBlockNumber = anchorBlockHeader.getBlockNumber();
1107
+
1108
+ const contractFunctionSimulator = this.#getSimulatorForTx();
1109
+
1110
+ await this.contractSyncService.ensureContractSynced(
1111
+ filter.contractAddress,
1112
+ null,
1113
+ async (privateSyncCall, execScopes) =>
1114
+ await this.#executeUtility(contractFunctionSimulator, privateSyncCall, [], execScopes, jobId),
1115
+ anchorBlockHeader,
1116
+ jobId,
1117
+ filter.scopes,
1118
+ );
1119
+ });
1067
1120
 
1068
- const sanitizedFilter = await new PrivateEventFilterValidator(this.syncDataProvider).validate(filter);
1121
+ // anchorBlockNumber is set during the job and fixed to whatever it is after a block sync
1122
+ const sanitizedFilter = new PrivateEventFilterValidator(anchorBlockNumber!).validate(filter);
1069
1123
 
1070
- this.log.error(
1124
+ this.log.debug(
1071
1125
  `Getting private events for ${sanitizedFilter.contractAddress.toString()} from ${sanitizedFilter.fromBlock} to ${sanitizedFilter.toBlock}`,
1072
1126
  );
1073
1127
 
1074
- return this.privateEventDataProvider.getPrivateEvents(eventSelector, sanitizedFilter);
1128
+ return this.privateEventStore.getPrivateEvents(eventSelector, sanitizedFilter);
1075
1129
  }
1076
1130
 
1077
1131
  /**