@aztec/pxe 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

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 (379) hide show
  1. package/README.md +5 -5
  2. package/dest/bin/check_oracle_version.d.ts +1 -1
  3. package/dest/bin/check_oracle_version.js +110 -10
  4. package/dest/block_synchronizer/block_synchronizer.d.ts +39 -0
  5. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -0
  6. package/dest/{synchronizer/synchronizer.js → block_synchronizer/block_synchronizer.js} +23 -23
  7. package/dest/block_synchronizer/index.d.ts +2 -0
  8. package/dest/block_synchronizer/index.d.ts.map +1 -0
  9. package/dest/block_synchronizer/index.js +1 -0
  10. package/dest/config/index.d.ts +9 -17
  11. package/dest/config/index.d.ts.map +1 -1
  12. package/dest/config/index.js +10 -16
  13. package/dest/config/package_info.d.ts +1 -1
  14. package/dest/config/package_info.js +1 -1
  15. package/dest/contract_function_simulator/contract_function_simulator.d.ts +44 -15
  16. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  17. package/dest/contract_function_simulator/contract_function_simulator.js +142 -57
  18. package/dest/contract_function_simulator/execution_note_cache.d.ts +11 -9
  19. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  20. package/dest/contract_function_simulator/execution_note_cache.js +28 -17
  21. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +16 -0
  22. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -0
  23. package/dest/contract_function_simulator/execution_tagging_index_cache.js +26 -0
  24. package/dest/contract_function_simulator/hashed_values_cache.d.ts +2 -2
  25. package/dest/contract_function_simulator/hashed_values_cache.d.ts.map +1 -1
  26. package/dest/contract_function_simulator/index.d.ts +4 -2
  27. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  28. package/dest/contract_function_simulator/index.js +2 -1
  29. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +2 -2
  30. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  31. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +5 -4
  32. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +7 -6
  34. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +3 -3
  35. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
  36. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +8 -4
  37. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +6 -3
  38. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
  39. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +12 -3
  40. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +22 -0
  41. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -0
  42. package/dest/contract_function_simulator/noir-structs/utility_context.js +33 -0
  43. package/dest/contract_function_simulator/oracle/index.d.ts +2 -2
  44. package/dest/contract_function_simulator/oracle/index.d.ts.map +1 -1
  45. package/dest/contract_function_simulator/oracle/index.js +1 -1
  46. package/dest/contract_function_simulator/oracle/interfaces.d.ts +103 -0
  47. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -0
  48. package/dest/contract_function_simulator/oracle/interfaces.js +4 -0
  49. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +2 -4
  50. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -1
  51. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js +1 -1
  52. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +10 -4
  53. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -1
  54. package/dest/contract_function_simulator/oracle/note_packing_utils.js +10 -5
  55. package/dest/contract_function_simulator/oracle/oracle.d.ts +17 -15
  56. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  57. package/dest/contract_function_simulator/oracle/oracle.js +101 -81
  58. package/dest/contract_function_simulator/oracle/private_execution.d.ts +11 -12
  59. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  60. package/dest/contract_function_simulator/oracle/private_execution.js +15 -24
  61. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +51 -25
  62. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -1
  63. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +103 -27
  64. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +65 -36
  65. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -1
  66. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +171 -69
  67. package/dest/contract_function_simulator/pick_notes.d.ts +2 -2
  68. package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -1
  69. package/dest/contract_function_simulator/pick_notes.js +1 -1
  70. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +4 -4
  71. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -1
  72. package/dest/contract_function_simulator/proxied_contract_data_source.js +23 -5
  73. package/dest/contract_function_simulator/proxied_node.d.ts +1 -1
  74. package/dest/contract_function_simulator/proxied_node.d.ts.map +1 -1
  75. package/dest/debug/pxe_debug_utils.d.ts +31 -0
  76. package/dest/debug/pxe_debug_utils.d.ts.map +1 -0
  77. package/dest/debug/pxe_debug_utils.js +37 -0
  78. package/dest/entrypoints/client/bundle/index.d.ts +4 -3
  79. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  80. package/dest/entrypoints/client/bundle/index.js +2 -2
  81. package/dest/entrypoints/client/bundle/utils.d.ts +9 -9
  82. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  83. package/dest/entrypoints/client/bundle/utils.js +21 -12
  84. package/dest/entrypoints/client/lazy/index.d.ts +4 -3
  85. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  86. package/dest/entrypoints/client/lazy/index.js +2 -2
  87. package/dest/entrypoints/client/lazy/utils.d.ts +8 -8
  88. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  89. package/dest/entrypoints/client/lazy/utils.js +20 -11
  90. package/dest/entrypoints/pxe_creation_options.d.ts +5 -2
  91. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  92. package/dest/entrypoints/server/index.d.ts +5 -3
  93. package/dest/entrypoints/server/index.d.ts.map +1 -1
  94. package/dest/entrypoints/server/index.js +3 -2
  95. package/dest/entrypoints/server/utils.d.ts +5 -24
  96. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  97. package/dest/entrypoints/server/utils.js +17 -45
  98. package/dest/error_enriching.d.ts +11 -0
  99. package/dest/error_enriching.d.ts.map +1 -0
  100. package/dest/{pxe_service/error_enriching.js → error_enriching.js} +9 -6
  101. package/dest/events/event_service.d.ts +15 -0
  102. package/dest/events/event_service.d.ts.map +1 -0
  103. package/dest/events/event_service.js +47 -0
  104. package/dest/events/index.d.ts +2 -0
  105. package/dest/events/index.d.ts.map +1 -0
  106. package/dest/events/index.js +1 -0
  107. package/dest/events/private_event_filter_validator.d.ts +9 -0
  108. package/dest/events/private_event_filter_validator.d.ts.map +1 -0
  109. package/dest/events/private_event_filter_validator.js +39 -0
  110. package/dest/logs/log_service.d.ts +26 -0
  111. package/dest/logs/log_service.d.ts.map +1 -0
  112. package/dest/logs/log_service.js +120 -0
  113. package/dest/notes/index.d.ts +2 -0
  114. package/dest/notes/index.d.ts.map +1 -0
  115. package/dest/notes/index.js +1 -0
  116. package/dest/notes/note_service.d.ts +48 -0
  117. package/dest/notes/note_service.d.ts.map +1 -0
  118. package/dest/notes/note_service.js +152 -0
  119. package/dest/oracle_version.d.ts +3 -3
  120. package/dest/oracle_version.js +2 -2
  121. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +3 -3
  122. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +1 -1
  123. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.js +7 -7
  124. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +1 -1
  125. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.js +6 -6
  126. package/dest/private_kernel/hints/index.d.ts +1 -1
  127. package/dest/private_kernel/index.d.ts +1 -1
  128. package/dest/private_kernel/private_kernel_execution_prover.d.ts +9 -2
  129. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  130. package/dest/private_kernel/private_kernel_execution_prover.js +38 -32
  131. package/dest/private_kernel/private_kernel_oracle.d.ts +3 -2
  132. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  133. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +10 -9
  134. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +1 -1
  135. package/dest/private_kernel/private_kernel_oracle_impl.js +7 -7
  136. package/dest/public_storage/public_storage_service.d.ts +24 -0
  137. package/dest/public_storage/public_storage_service.d.ts.map +1 -0
  138. package/dest/public_storage/public_storage_service.js +26 -0
  139. package/dest/pxe.d.ts +232 -0
  140. package/dest/pxe.d.ts.map +1 -0
  141. package/dest/{pxe_service/pxe_service.js → pxe.js} +299 -324
  142. package/dest/storage/address_store/address_store.d.ts +11 -0
  143. package/dest/storage/address_store/address_store.d.ts.map +1 -0
  144. package/dest/storage/{address_data_provider/address_data_provider.js → address_store/address_store.js} +1 -4
  145. package/dest/storage/address_store/index.d.ts +2 -0
  146. package/dest/storage/address_store/index.d.ts.map +1 -0
  147. package/dest/storage/address_store/index.js +1 -0
  148. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -0
  149. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -0
  150. package/dest/storage/{sync_data_provider/sync_data_provider.js → anchor_block_store/anchor_block_store.js} +2 -12
  151. package/dest/storage/anchor_block_store/index.d.ts +2 -0
  152. package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
  153. package/dest/storage/anchor_block_store/index.js +1 -0
  154. package/dest/storage/capsule_store/capsule_store.d.ts +57 -0
  155. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -0
  156. package/dest/storage/{capsule_data_provider/capsule_data_provider.js → capsule_store/capsule_store.js} +34 -10
  157. package/dest/storage/capsule_store/index.d.ts +2 -0
  158. package/dest/storage/capsule_store/index.d.ts.map +1 -0
  159. package/dest/storage/capsule_store/index.js +1 -0
  160. package/dest/storage/{contract_data_provider/contract_data_provider.d.ts → contract_store/contract_store.d.ts} +10 -18
  161. package/dest/storage/contract_store/contract_store.d.ts.map +1 -0
  162. package/dest/storage/{contract_data_provider/contract_data_provider.js → contract_store/contract_store.js} +46 -18
  163. package/dest/storage/contract_store/index.d.ts +2 -0
  164. package/dest/storage/contract_store/index.d.ts.map +1 -0
  165. package/dest/storage/contract_store/index.js +1 -0
  166. package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.d.ts +1 -1
  167. package/dest/storage/contract_store/private_functions_tree.d.ts.map +1 -0
  168. package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.js +1 -1
  169. package/dest/storage/index.d.ts +8 -9
  170. package/dest/storage/index.d.ts.map +1 -1
  171. package/dest/storage/index.js +7 -8
  172. package/dest/storage/metadata.d.ts +1 -1
  173. package/dest/storage/note_store/index.d.ts +3 -0
  174. package/dest/storage/note_store/index.d.ts.map +1 -0
  175. package/dest/storage/note_store/index.js +2 -0
  176. package/dest/storage/note_store/note_store.d.ts +84 -0
  177. package/dest/storage/note_store/note_store.d.ts.map +1 -0
  178. package/dest/storage/{note_data_provider/note_data_provider.js → note_store/note_store.js} +144 -82
  179. package/dest/storage/private_event_store/private_event_store.d.ts +56 -0
  180. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -0
  181. package/dest/storage/private_event_store/private_event_store.js +157 -0
  182. package/dest/storage/tagging_store/index.d.ts +4 -0
  183. package/dest/storage/tagging_store/index.d.ts.map +1 -0
  184. package/dest/storage/tagging_store/index.js +3 -0
  185. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +21 -0
  186. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -0
  187. package/dest/storage/tagging_store/recipient_tagging_store.js +42 -0
  188. package/dest/storage/tagging_store/sender_address_book_store.d.ts +14 -0
  189. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -0
  190. package/dest/storage/tagging_store/sender_address_book_store.js +30 -0
  191. package/dest/storage/tagging_store/sender_tagging_store.d.ts +67 -0
  192. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -0
  193. package/dest/storage/tagging_store/sender_tagging_store.js +196 -0
  194. package/dest/tagging/index.d.ts +16 -0
  195. package/dest/tagging/index.d.ts.map +1 -0
  196. package/dest/tagging/index.js +23 -0
  197. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +14 -0
  198. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -0
  199. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +99 -0
  200. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts +12 -0
  201. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts.map +1 -0
  202. package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +20 -0
  203. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +14 -0
  204. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -0
  205. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +29 -0
  206. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +20 -0
  207. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -0
  208. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +74 -0
  209. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +11 -0
  210. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -0
  211. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +32 -0
  212. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +18 -0
  213. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -0
  214. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +55 -0
  215. package/dest/tree_membership/tree_membership_service.d.ts +52 -0
  216. package/dest/tree_membership/tree_membership_service.d.ts.map +1 -0
  217. package/dest/tree_membership/tree_membership_service.js +84 -0
  218. package/package.json +22 -24
  219. package/src/bin/check_oracle_version.ts +134 -10
  220. package/src/{synchronizer/synchronizer.ts → block_synchronizer/block_synchronizer.ts} +22 -23
  221. package/src/block_synchronizer/index.ts +1 -0
  222. package/src/config/index.ts +18 -32
  223. package/src/config/package_info.ts +1 -1
  224. package/src/contract_function_simulator/contract_function_simulator.ts +233 -75
  225. package/src/contract_function_simulator/execution_note_cache.ts +33 -17
  226. package/src/contract_function_simulator/execution_tagging_index_cache.ts +32 -0
  227. package/src/contract_function_simulator/hashed_values_cache.ts +1 -1
  228. package/src/contract_function_simulator/index.ts +3 -1
  229. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +1 -1
  230. package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +6 -5
  231. package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +10 -5
  232. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +14 -2
  233. package/src/contract_function_simulator/noir-structs/utility_context.ts +42 -0
  234. package/src/contract_function_simulator/oracle/index.ts +1 -1
  235. package/src/contract_function_simulator/oracle/interfaces.ts +175 -0
  236. package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +1 -1
  237. package/src/contract_function_simulator/oracle/note_packing_utils.ts +21 -5
  238. package/src/contract_function_simulator/oracle/oracle.ts +135 -80
  239. package/src/contract_function_simulator/oracle/private_execution.ts +22 -28
  240. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +200 -56
  241. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +260 -109
  242. package/src/contract_function_simulator/pick_notes.ts +1 -1
  243. package/src/contract_function_simulator/proxied_contract_data_source.ts +24 -7
  244. package/src/debug/pxe_debug_utils.ts +48 -0
  245. package/src/entrypoints/client/bundle/index.ts +3 -2
  246. package/src/entrypoints/client/bundle/utils.ts +21 -23
  247. package/src/entrypoints/client/lazy/index.ts +3 -2
  248. package/src/entrypoints/client/lazy/utils.ts +20 -23
  249. package/src/entrypoints/pxe_creation_options.ts +4 -1
  250. package/src/entrypoints/server/index.ts +4 -2
  251. package/src/entrypoints/server/utils.ts +20 -68
  252. package/src/{pxe_service/error_enriching.ts → error_enriching.ts} +11 -15
  253. package/src/events/event_service.ts +77 -0
  254. package/src/events/index.ts +1 -0
  255. package/src/events/private_event_filter_validator.ts +48 -0
  256. package/src/logs/log_service.ts +202 -0
  257. package/src/notes/index.ts +1 -0
  258. package/src/notes/note_service.ts +200 -0
  259. package/src/oracle_version.ts +2 -2
  260. package/src/private_kernel/hints/build_private_kernel_reset_private_inputs.ts +5 -9
  261. package/src/private_kernel/hints/compute_tx_include_by_timestamp.ts +6 -6
  262. package/src/private_kernel/private_kernel_execution_prover.ts +51 -43
  263. package/src/private_kernel/private_kernel_oracle.ts +2 -1
  264. package/src/private_kernel/private_kernel_oracle_impl.ts +10 -9
  265. package/src/public_storage/public_storage_service.ts +33 -0
  266. package/src/{pxe_service/pxe_service.ts → pxe.ts} +349 -410
  267. package/src/storage/{address_data_provider/address_data_provider.ts → address_store/address_store.ts} +1 -7
  268. package/src/storage/address_store/index.ts +1 -0
  269. package/src/storage/{sync_data_provider/sync_data_provider.ts → anchor_block_store/anchor_block_store.ts} +2 -17
  270. package/src/storage/anchor_block_store/index.ts +1 -0
  271. package/src/storage/{capsule_data_provider/capsule_data_provider.ts → capsule_store/capsule_store.ts} +34 -12
  272. package/src/storage/capsule_store/index.ts +1 -0
  273. package/src/storage/{contract_data_provider/contract_data_provider.ts → contract_store/contract_store.ts} +67 -28
  274. package/src/storage/contract_store/index.ts +1 -0
  275. package/src/storage/{contract_data_provider → contract_store}/private_functions_tree.ts +1 -1
  276. package/src/storage/index.ts +7 -8
  277. package/src/storage/note_store/index.ts +2 -0
  278. package/src/storage/{note_data_provider/note_data_provider.ts → note_store/note_store.ts} +173 -111
  279. package/src/storage/private_event_store/private_event_store.ts +213 -0
  280. package/src/storage/tagging_store/index.ts +3 -0
  281. package/src/storage/tagging_store/recipient_tagging_store.ts +53 -0
  282. package/src/storage/tagging_store/sender_address_book_store.ts +42 -0
  283. package/src/storage/tagging_store/sender_tagging_store.ts +244 -0
  284. package/src/tagging/index.ts +28 -0
  285. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +129 -0
  286. package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +34 -0
  287. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +43 -0
  288. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +96 -0
  289. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +44 -0
  290. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +72 -0
  291. package/src/tree_membership/tree_membership_service.ts +112 -0
  292. package/dest/bin/index.d.ts +0 -3
  293. package/dest/bin/index.d.ts.map +0 -1
  294. package/dest/bin/index.js +0 -48
  295. package/dest/contract_function_simulator/execution_data_provider.d.ts +0 -285
  296. package/dest/contract_function_simulator/execution_data_provider.d.ts.map +0 -1
  297. package/dest/contract_function_simulator/execution_data_provider.js +0 -14
  298. package/dest/contract_function_simulator/oracle/typed_oracle.d.ts +0 -87
  299. package/dest/contract_function_simulator/oracle/typed_oracle.d.ts.map +0 -1
  300. package/dest/contract_function_simulator/oracle/typed_oracle.js +0 -146
  301. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts +0 -158
  302. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts.map +0 -1
  303. package/dest/contract_function_simulator/pxe_oracle_interface.js +0 -701
  304. package/dest/contract_function_simulator/tagging_utils.d.ts +0 -17
  305. package/dest/contract_function_simulator/tagging_utils.d.ts.map +0 -1
  306. package/dest/contract_function_simulator/tagging_utils.js +0 -23
  307. package/dest/pxe_service/error_enriching.d.ts +0 -11
  308. package/dest/pxe_service/error_enriching.d.ts.map +0 -1
  309. package/dest/pxe_service/index.d.ts +0 -3
  310. package/dest/pxe_service/index.d.ts.map +0 -1
  311. package/dest/pxe_service/index.js +0 -2
  312. package/dest/pxe_service/pxe_service.d.ts +0 -100
  313. package/dest/pxe_service/pxe_service.d.ts.map +0 -1
  314. package/dest/storage/address_data_provider/address_data_provider.d.ts +0 -13
  315. package/dest/storage/address_data_provider/address_data_provider.d.ts.map +0 -1
  316. package/dest/storage/address_data_provider/index.d.ts +0 -2
  317. package/dest/storage/address_data_provider/index.d.ts.map +0 -1
  318. package/dest/storage/address_data_provider/index.js +0 -1
  319. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -27
  320. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts.map +0 -1
  321. package/dest/storage/capsule_data_provider/index.d.ts +0 -2
  322. package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
  323. package/dest/storage/capsule_data_provider/index.js +0 -1
  324. package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
  325. package/dest/storage/contract_data_provider/index.d.ts +0 -2
  326. package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
  327. package/dest/storage/contract_data_provider/index.js +0 -1
  328. package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
  329. package/dest/storage/data_provider.d.ts +0 -4
  330. package/dest/storage/data_provider.d.ts.map +0 -1
  331. package/dest/storage/data_provider.js +0 -1
  332. package/dest/storage/note_data_provider/index.d.ts +0 -3
  333. package/dest/storage/note_data_provider/index.d.ts.map +0 -1
  334. package/dest/storage/note_data_provider/index.js +0 -2
  335. package/dest/storage/note_data_provider/note_dao.d.ts +0 -100
  336. package/dest/storage/note_data_provider/note_dao.d.ts.map +0 -1
  337. package/dest/storage/note_data_provider/note_dao.js +0 -102
  338. package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -20
  339. package/dest/storage/note_data_provider/note_data_provider.d.ts.map +0 -1
  340. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts +0 -37
  341. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts.map +0 -1
  342. package/dest/storage/private_event_data_provider/private_event_data_provider.js +0 -96
  343. package/dest/storage/sync_data_provider/index.d.ts +0 -2
  344. package/dest/storage/sync_data_provider/index.d.ts.map +0 -1
  345. package/dest/storage/sync_data_provider/index.js +0 -1
  346. package/dest/storage/sync_data_provider/sync_data_provider.d.ts +0 -12
  347. package/dest/storage/sync_data_provider/sync_data_provider.d.ts.map +0 -1
  348. package/dest/storage/tagging_data_provider/index.d.ts +0 -2
  349. package/dest/storage/tagging_data_provider/index.d.ts.map +0 -1
  350. package/dest/storage/tagging_data_provider/index.js +0 -1
  351. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts +0 -18
  352. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts.map +0 -1
  353. package/dest/storage/tagging_data_provider/tagging_data_provider.js +0 -82
  354. package/dest/synchronizer/index.d.ts +0 -2
  355. package/dest/synchronizer/index.d.ts.map +0 -1
  356. package/dest/synchronizer/index.js +0 -1
  357. package/dest/synchronizer/synchronizer.d.ts +0 -35
  358. package/dest/synchronizer/synchronizer.d.ts.map +0 -1
  359. package/dest/test/pxe_test_suite.d.ts +0 -3
  360. package/dest/test/pxe_test_suite.d.ts.map +0 -1
  361. package/dest/test/pxe_test_suite.js +0 -97
  362. package/src/bin/index.ts +0 -62
  363. package/src/contract_function_simulator/execution_data_provider.ts +0 -361
  364. package/src/contract_function_simulator/oracle/typed_oracle.ts +0 -289
  365. package/src/contract_function_simulator/pxe_oracle_interface.ts +0 -1020
  366. package/src/contract_function_simulator/tagging_utils.ts +0 -32
  367. package/src/pxe_service/index.ts +0 -2
  368. package/src/storage/address_data_provider/index.ts +0 -1
  369. package/src/storage/capsule_data_provider/index.ts +0 -1
  370. package/src/storage/contract_data_provider/index.ts +0 -1
  371. package/src/storage/data_provider.ts +0 -3
  372. package/src/storage/note_data_provider/index.ts +0 -2
  373. package/src/storage/note_data_provider/note_dao.ts +0 -154
  374. package/src/storage/private_event_data_provider/private_event_data_provider.ts +0 -134
  375. package/src/storage/sync_data_provider/index.ts +0 -1
  376. package/src/storage/tagging_data_provider/index.ts +0 -1
  377. package/src/storage/tagging_data_provider/tagging_data_provider.ts +0 -123
  378. package/src/synchronizer/index.ts +0 -1
  379. package/src/test/pxe_test_suite.ts +0 -113
@@ -1,701 +0,0 @@
1
- import { timesParallel } from '@aztec/foundation/collection';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { createLogger } from '@aztec/foundation/log';
4
- import { getFunctionArtifact } from '@aztec/stdlib/abi';
5
- import { computeUniqueNoteHash, siloNoteHash, siloNullifier, siloPrivateLog } from '@aztec/stdlib/hash';
6
- import { MAX_RPC_LEN } from '@aztec/stdlib/interfaces/client';
7
- import { computeAddressSecret, computeAppTaggingSecret } from '@aztec/stdlib/keys';
8
- import { IndexedTaggingSecret, PendingTaggedLog, PrivateLogWithTxData, PublicLogWithTxData, deriveEcdhSharedSecret } from '@aztec/stdlib/logs';
9
- import { getNonNullifiedL1ToL2MessageWitness } from '@aztec/stdlib/messaging';
10
- import { Note } from '@aztec/stdlib/note';
11
- import { MerkleTreeId } from '@aztec/stdlib/trees';
12
- import { MessageLoadOracleInputs } from '../contract_function_simulator/oracle/message_load_oracle_inputs.js';
13
- import { ORACLE_VERSION } from '../oracle_version.js';
14
- import { NoteDao } from '../storage/note_data_provider/note_dao.js';
15
- import { EventValidationRequest } from './noir-structs/event_validation_request.js';
16
- import { LogRetrievalRequest } from './noir-structs/log_retrieval_request.js';
17
- import { LogRetrievalResponse } from './noir-structs/log_retrieval_response.js';
18
- import { NoteValidationRequest } from './noir-structs/note_validation_request.js';
19
- import { WINDOW_HALF_SIZE, getIndexedTaggingSecretsForTheWindow, getInitialIndexesMap } from './tagging_utils.js';
20
- /**
21
- * A data layer that provides and stores information needed for simulating/proving a transaction.
22
- */ export class PXEOracleInterface {
23
- aztecNode;
24
- keyStore;
25
- contractDataProvider;
26
- noteDataProvider;
27
- capsuleDataProvider;
28
- syncDataProvider;
29
- taggingDataProvider;
30
- addressDataProvider;
31
- privateEventDataProvider;
32
- log;
33
- constructor(aztecNode, keyStore, contractDataProvider, noteDataProvider, capsuleDataProvider, syncDataProvider, taggingDataProvider, addressDataProvider, privateEventDataProvider, log = createLogger('pxe:pxe_oracle_interface')){
34
- this.aztecNode = aztecNode;
35
- this.keyStore = keyStore;
36
- this.contractDataProvider = contractDataProvider;
37
- this.noteDataProvider = noteDataProvider;
38
- this.capsuleDataProvider = capsuleDataProvider;
39
- this.syncDataProvider = syncDataProvider;
40
- this.taggingDataProvider = taggingDataProvider;
41
- this.addressDataProvider = addressDataProvider;
42
- this.privateEventDataProvider = privateEventDataProvider;
43
- this.log = log;
44
- }
45
- getKeyValidationRequest(pkMHash, contractAddress) {
46
- return this.keyStore.getKeyValidationRequest(pkMHash, contractAddress);
47
- }
48
- async getCompleteAddress(account) {
49
- const completeAddress = await this.addressDataProvider.getCompleteAddress(account);
50
- if (!completeAddress) {
51
- throw new Error(`No public key registered for address ${account}.
52
- Register it by calling pxe.addAccount(...).\nSee docs for context: https://docs.aztec.network/developers/reference/debugging/aztecnr-errors#simulation-error-no-public-key-registered-for-address-0x0-register-it-by-calling-pxeregisterrecipient-or-pxeregisteraccount`);
53
- }
54
- return completeAddress;
55
- }
56
- async getContractInstance(address) {
57
- const instance = await this.contractDataProvider.getContractInstance(address);
58
- if (!instance) {
59
- throw new Error(`No contract instance found for address ${address.toString()}`);
60
- }
61
- return instance;
62
- }
63
- async getNotes(contractAddress, storageSlot, status, scopes) {
64
- const noteDaos = await this.noteDataProvider.getNotes({
65
- contractAddress,
66
- storageSlot,
67
- status,
68
- scopes
69
- });
70
- return noteDaos.map(({ contractAddress, storageSlot, noteNonce, note, noteHash, siloedNullifier, index })=>({
71
- contractAddress,
72
- storageSlot,
73
- noteNonce,
74
- note,
75
- noteHash,
76
- siloedNullifier,
77
- // PXE can use this index to get full MembershipWitness
78
- index
79
- }));
80
- }
81
- async getFunctionArtifact(contractAddress, selector) {
82
- const artifact = await this.contractDataProvider.getFunctionArtifact(contractAddress, selector);
83
- if (!artifact) {
84
- throw new Error(`Function artifact not found for contract ${contractAddress} and selector ${selector}.`);
85
- }
86
- const debug = await this.contractDataProvider.getFunctionDebugMetadata(contractAddress, selector);
87
- return {
88
- ...artifact,
89
- debug
90
- };
91
- }
92
- async getFunctionArtifactByName(contractAddress, functionName) {
93
- const instance = await this.contractDataProvider.getContractInstance(contractAddress);
94
- if (!instance) {
95
- return;
96
- }
97
- const artifact = await this.contractDataProvider.getContractArtifact(instance.currentContractClassId);
98
- return artifact && getFunctionArtifact(artifact, functionName);
99
- }
100
- /**
101
- * Fetches a message from the db, given its key.
102
- * @param contractAddress - Address of a contract by which the message was emitted.
103
- * @param messageHash - Hash of the message.
104
- * @param secret - Secret used to compute a nullifier.
105
- * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
106
- * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
107
- */ async getL1ToL2MembershipWitness(contractAddress, messageHash, secret) {
108
- const [messageIndex, siblingPath] = await getNonNullifiedL1ToL2MessageWitness(this.aztecNode, contractAddress, messageHash, secret);
109
- // Assuming messageIndex is what you intended to use for the index in MessageLoadOracleInputs
110
- return new MessageLoadOracleInputs(messageIndex, siblingPath);
111
- }
112
- async getNullifierIndex(nullifier) {
113
- return await this.#findLeafIndex('latest', MerkleTreeId.NULLIFIER_TREE, nullifier);
114
- }
115
- async #findLeafIndex(blockNumber, treeId, leafValue) {
116
- const [leafIndex] = await this.aztecNode.findLeavesIndexes(blockNumber, treeId, [
117
- leafValue
118
- ]);
119
- return leafIndex?.data;
120
- }
121
- async getMembershipWitness(blockNumber, treeId, leafValue) {
122
- const witness = await this.#tryGetMembershipWitness(blockNumber, treeId, leafValue);
123
- if (!witness) {
124
- throw new Error(`Leaf value ${leafValue} not found in tree ${MerkleTreeId[treeId]} at block ${blockNumber}`);
125
- }
126
- return witness;
127
- }
128
- async #tryGetMembershipWitness(blockNumber, treeId, value) {
129
- switch(treeId){
130
- case MerkleTreeId.NULLIFIER_TREE:
131
- return (await this.aztecNode.getNullifierMembershipWitness(blockNumber, value))?.withoutPreimage().toFields();
132
- case MerkleTreeId.NOTE_HASH_TREE:
133
- return (await this.aztecNode.getNoteHashMembershipWitness(blockNumber, value))?.toFields();
134
- case MerkleTreeId.PUBLIC_DATA_TREE:
135
- return (await this.aztecNode.getPublicDataWitness(blockNumber, value))?.withoutPreimage().toFields();
136
- case MerkleTreeId.ARCHIVE:
137
- return (await this.aztecNode.getArchiveMembershipWitness(blockNumber, value))?.toFields();
138
- default:
139
- throw new Error('Not implemented');
140
- }
141
- }
142
- async getNullifierMembershipWitnessAtLatestBlock(nullifier) {
143
- return this.getNullifierMembershipWitness(await this.getBlockNumber(), nullifier);
144
- }
145
- getNullifierMembershipWitness(blockNumber, nullifier) {
146
- return this.aztecNode.getNullifierMembershipWitness(blockNumber, nullifier);
147
- }
148
- getLowNullifierMembershipWitness(blockNumber, nullifier) {
149
- return this.aztecNode.getLowNullifierMembershipWitness(blockNumber, nullifier);
150
- }
151
- async getBlock(blockNumber) {
152
- return await this.aztecNode.getBlock(blockNumber);
153
- }
154
- async getPublicDataWitness(blockNumber, leafSlot) {
155
- return await this.aztecNode.getPublicDataWitness(blockNumber, leafSlot);
156
- }
157
- async getPublicStorageAt(blockNumber, contract, slot) {
158
- return await this.aztecNode.getPublicStorageAt(blockNumber, contract, slot);
159
- }
160
- /**
161
- * Retrieve the latest block header synchronized by the PXE.
162
- * @dev This structure is fed into the circuits simulator and is used to prove against certain historical roots.
163
- * @returns The BlockHeader object.
164
- * TODO: I think this naming is bad as it's not the latest block header synched by the node, but the latest block
165
- * header synchronized by the PXE. Would rename this to something like getSynchronizedBlockHeader().
166
- */ getBlockHeader() {
167
- return this.syncDataProvider.getBlockHeader();
168
- }
169
- assertCompatibleOracleVersion(version) {
170
- if (version !== ORACLE_VERSION) {
171
- throw new Error(`Incompatible oracle version. Expected version ${ORACLE_VERSION}, got ${version}.`);
172
- }
173
- }
174
- /**
175
- * Fetches the latest block number synchronized by the node.
176
- * @returns The block number.
177
- */ async getBlockNumber() {
178
- return await this.aztecNode.getBlockNumber();
179
- }
180
- /**
181
- * Fetches the timestamp of the latest block synchronized by the node.
182
- * @returns The timestamp.
183
- */ async getTimestamp() {
184
- const latestBlockHeader = await this.aztecNode.getBlockHeader();
185
- if (!latestBlockHeader) {
186
- throw new Error('Latest block header not found when getting timestamp');
187
- }
188
- return latestBlockHeader.globalVariables.timestamp;
189
- }
190
- /**
191
- * Fetches the current chain id.
192
- * @returns The chain id.
193
- */ async getChainId() {
194
- return await this.aztecNode.getChainId();
195
- }
196
- /**
197
- * Fetches the current version.
198
- * @returns The version.
199
- */ async getVersion() {
200
- return await this.aztecNode.getVersion();
201
- }
202
- getDebugFunctionName(contractAddress, selector) {
203
- return this.contractDataProvider.getDebugFunctionName(contractAddress, selector);
204
- }
205
- /**
206
- * Returns the full contents of your address book.
207
- * This is used when calculating tags for incoming notes by deriving the shared secret, the contract-siloed tagging secret, and
208
- * finally the index specified tag. We will then query the node with this tag for each address in the address book.
209
- * @returns The full list of the users contact addresses.
210
- */ getSenders() {
211
- return this.taggingDataProvider.getSenderAddresses();
212
- }
213
- /**
214
- * Returns the tagging secret for a given sender and recipient pair. For this to work, the ivsk_m of the sender must be known.
215
- * Includes the next index to be used used for tagging with this secret.
216
- * @param contractAddress - The contract address to silo the secret for
217
- * @param sender - The address sending the note
218
- * @param recipient - The address receiving the note
219
- * @returns An indexed tagging secret that can be used to tag notes.
220
- */ async getIndexedTaggingSecretAsSender(contractAddress, sender, recipient) {
221
- await this.syncTaggedLogsAsSender(contractAddress, sender, recipient);
222
- const appTaggingSecret = await this.#calculateAppTaggingSecret(contractAddress, sender, recipient);
223
- const [index] = await this.taggingDataProvider.getTaggingSecretsIndexesAsSender([
224
- appTaggingSecret
225
- ], sender);
226
- return new IndexedTaggingSecret(appTaggingSecret, index);
227
- }
228
- /**
229
- * Increments the tagging secret for a given sender and recipient pair. For this to work, the ivsk_m of the sender must be known.
230
- * @param contractAddress - The contract address to silo the secret for
231
- * @param sender - The address sending the note
232
- * @param recipient - The address receiving the note
233
- */ async incrementAppTaggingSecretIndexAsSender(contractAddress, sender, recipient) {
234
- const secret = await this.#calculateAppTaggingSecret(contractAddress, sender, recipient);
235
- const contractName = await this.contractDataProvider.getDebugContractName(contractAddress);
236
- this.log.debug(`Incrementing app tagging secret at ${contractName}(${contractAddress})`, {
237
- secret,
238
- sender,
239
- recipient,
240
- contractName,
241
- contractAddress
242
- });
243
- const [index] = await this.taggingDataProvider.getTaggingSecretsIndexesAsSender([
244
- secret
245
- ], sender);
246
- await this.taggingDataProvider.setTaggingSecretsIndexesAsSender([
247
- new IndexedTaggingSecret(secret, index + 1)
248
- ], sender);
249
- }
250
- async #calculateAppTaggingSecret(contractAddress, sender, recipient) {
251
- const senderCompleteAddress = await this.getCompleteAddress(sender);
252
- const senderIvsk = await this.keyStore.getMasterIncomingViewingSecretKey(sender);
253
- return computeAppTaggingSecret(senderCompleteAddress, senderIvsk, recipient, contractAddress);
254
- }
255
- /**
256
- * Returns the indexed tagging secrets for a given recipient and all the senders in the address book
257
- * This method should be exposed as an oracle call to allow aztec.nr to perform the orchestration
258
- * of the syncTaggedLogs and processTaggedLogs methods. However, it is not possible to do so at the moment,
259
- * so we're keeping it private for now.
260
- * @param contractAddress - The contract address to silo the secret for
261
- * @param recipient - The address receiving the notes
262
- * @returns A list of indexed tagging secrets
263
- */ async #getIndexedTaggingSecretsForSenders(contractAddress, recipient) {
264
- const recipientCompleteAddress = await this.getCompleteAddress(recipient);
265
- const recipientIvsk = await this.keyStore.getMasterIncomingViewingSecretKey(recipient);
266
- // We implicitly add all PXE accounts as senders, this helps us decrypt tags on notes that we send to ourselves
267
- // (recipient = us, sender = us)
268
- const senders = [
269
- ...await this.taggingDataProvider.getSenderAddresses(),
270
- ...await this.keyStore.getAccounts()
271
- ].filter((address, index, self)=>index === self.findIndex((otherAddress)=>otherAddress.equals(address)));
272
- const appTaggingSecrets = await Promise.all(senders.map((contact)=>computeAppTaggingSecret(recipientCompleteAddress, recipientIvsk, contact, contractAddress)));
273
- const indexes = await this.taggingDataProvider.getTaggingSecretsIndexesAsRecipient(appTaggingSecrets, recipient);
274
- return appTaggingSecrets.map((secret, i)=>new IndexedTaggingSecret(secret, indexes[i]));
275
- }
276
- /**
277
- * Updates the local index of the shared tagging secret of a sender / recipient pair
278
- * if a log with a larger index is found from the node.
279
- * @param contractAddress - The address of the contract that the logs are tagged for
280
- * @param sender - The address of the sender, we must know the sender's ivsk_m.
281
- * @param recipient - The address of the recipient.
282
- */ async syncTaggedLogsAsSender(contractAddress, sender, recipient) {
283
- const appTaggingSecret = await this.#calculateAppTaggingSecret(contractAddress, sender, recipient);
284
- const [oldIndex] = await this.taggingDataProvider.getTaggingSecretsIndexesAsSender([
285
- appTaggingSecret
286
- ], sender);
287
- // This algorithm works such that:
288
- // 1. If we find minimum consecutive empty logs in a window of logs we set the index to the index of the last log
289
- // we found and quit.
290
- // 2. If we don't find minimum consecutive empty logs in a window of logs we slide the window to latest log index
291
- // and repeat the process.
292
- const MIN_CONSECUTIVE_EMPTY_LOGS = 10;
293
- const WINDOW_SIZE = MIN_CONSECUTIVE_EMPTY_LOGS * 2;
294
- let [numConsecutiveEmptyLogs, currentIndex] = [
295
- 0,
296
- oldIndex
297
- ];
298
- do {
299
- // We compute the tags for the current window of indexes
300
- const currentTags = await timesParallel(WINDOW_SIZE, (i)=>{
301
- const indexedAppTaggingSecret = new IndexedTaggingSecret(appTaggingSecret, currentIndex + i);
302
- return indexedAppTaggingSecret.computeSiloedTag(recipient, contractAddress);
303
- });
304
- // We fetch the logs for the tags
305
- const possibleLogs = await this.#getPrivateLogsByTags(currentTags);
306
- // We find the index of the last log in the window that is not empty
307
- const indexOfLastLog = possibleLogs.findLastIndex((possibleLog)=>possibleLog.length !== 0);
308
- if (indexOfLastLog === -1) {
309
- break;
310
- }
311
- // We move the current index to that of the last log we found
312
- currentIndex += indexOfLastLog + 1;
313
- // We compute the number of consecutive empty logs we found and repeat the process if we haven't found enough.
314
- numConsecutiveEmptyLogs = WINDOW_SIZE - indexOfLastLog - 1;
315
- }while (numConsecutiveEmptyLogs < MIN_CONSECUTIVE_EMPTY_LOGS)
316
- const contractName = await this.contractDataProvider.getDebugContractName(contractAddress);
317
- if (currentIndex !== oldIndex) {
318
- await this.taggingDataProvider.setTaggingSecretsIndexesAsSender([
319
- new IndexedTaggingSecret(appTaggingSecret, currentIndex)
320
- ], sender);
321
- this.log.debug(`Syncing logs for sender ${sender} at contract ${contractName}(${contractAddress})`, {
322
- sender,
323
- secret: appTaggingSecret,
324
- index: currentIndex,
325
- contractName,
326
- contractAddress
327
- });
328
- } else {
329
- this.log.debug(`No new logs found for sender ${sender} at contract ${contractName}(${contractAddress})`);
330
- }
331
- }
332
- /**
333
- * Synchronizes the private logs tagged with scoped addresses and all the senders in the address book. Stores the found
334
- * logs in CapsuleArray ready for a later retrieval in Aztec.nr.
335
- * @param contractAddress - The address of the contract that the logs are tagged for.
336
- * @param pendingTaggedLogArrayBaseSlot - The base slot of the pending tagged logs capsule array in which
337
- * found logs will be stored.
338
- * @param scopes - The scoped addresses to sync logs for. If not provided, all accounts in the address book will be
339
- * synced.
340
- */ async syncTaggedLogs(contractAddress, pendingTaggedLogArrayBaseSlot, scopes) {
341
- this.log.verbose('Searching for tagged logs', {
342
- contract: contractAddress
343
- });
344
- const maxBlockNumber = await this.syncDataProvider.getBlockNumber();
345
- // Ideally this algorithm would be implemented in noir, exposing its building blocks as oracles.
346
- // However it is impossible at the moment due to the language not supporting nested slices.
347
- // This nesting is necessary because for a given set of tags we don't
348
- // know how many logs we will get back. Furthermore, these logs are of undetermined
349
- // length, since we don't really know the note they correspond to until we decrypt them.
350
- const recipients = scopes ? scopes : await this.keyStore.getAccounts();
351
- const contractName = await this.contractDataProvider.getDebugContractName(contractAddress);
352
- for (const recipient of recipients){
353
- // Get all the secrets for the recipient and sender pairs (#9365)
354
- const secrets = await this.#getIndexedTaggingSecretsForSenders(contractAddress, recipient);
355
- // We fetch logs for a window of indexes in a range:
356
- // <latest_log_index - WINDOW_HALF_SIZE, latest_log_index + WINDOW_HALF_SIZE>.
357
- //
358
- // We use this window approach because it could happen that a sender might have messed up and inadvertently
359
- // incremented their index without us getting any logs (for example, in case of a revert). If we stopped looking
360
- // for logs the first time we don't receive any logs for a tag, we might never receive anything from that sender again.
361
- // Also there's a possibility that we have advanced our index, but the sender has reused it, so we might have missed
362
- // some logs. For these reasons, we have to look both back and ahead of the stored index.
363
- let secretsAndWindows = secrets.map((secret)=>{
364
- return {
365
- appTaggingSecret: secret.appTaggingSecret,
366
- leftMostIndex: Math.max(0, secret.index - WINDOW_HALF_SIZE),
367
- rightMostIndex: secret.index + WINDOW_HALF_SIZE
368
- };
369
- });
370
- // As we iterate we store the largest index we have seen for a given secret to later on store it in the db.
371
- const newLargestIndexMapToStore = {};
372
- // The initial/unmodified indexes of the secrets stored in a key-value map where key is the app tagging secret.
373
- const initialIndexesMap = getInitialIndexesMap(secrets);
374
- while(secretsAndWindows.length > 0){
375
- const secretsForTheWholeWindow = getIndexedTaggingSecretsForTheWindow(secretsAndWindows);
376
- const tagsForTheWholeWindow = await Promise.all(secretsForTheWholeWindow.map((secret)=>secret.computeSiloedTag(recipient, contractAddress)));
377
- // We store the new largest indexes we find in the iteration in the following map to later on construct
378
- // a new set of secrets and windows to fetch logs for.
379
- const newLargestIndexMapForIteration = {};
380
- // Fetch the private logs for the tags and iterate over them
381
- const logsByTags = await this.#getPrivateLogsByTags(tagsForTheWholeWindow);
382
- this.log.debug(`Found ${logsByTags.filter((logs)=>logs.length > 0).length} logs as recipient ${recipient}`, {
383
- recipient,
384
- contractName,
385
- contractAddress
386
- });
387
- for(let logIndex = 0; logIndex < logsByTags.length; logIndex++){
388
- const logsByTag = logsByTags[logIndex];
389
- if (logsByTag.length > 0) {
390
- // We filter out the logs that are newer than the historical block number of the tx currently being constructed
391
- const filteredLogsByBlockNumber = logsByTag.filter((l)=>l.blockNumber <= maxBlockNumber);
392
- // We store the logs in capsules (to later be obtained in Noir)
393
- await this.#storePendingTaggedLogs(contractAddress, pendingTaggedLogArrayBaseSlot, recipient, filteredLogsByBlockNumber);
394
- // We retrieve the indexed tagging secret corresponding to the log as I need that to evaluate whether
395
- // a new largest index have been found.
396
- const secretCorrespondingToLog = secretsForTheWholeWindow[logIndex];
397
- const initialIndex = initialIndexesMap[secretCorrespondingToLog.appTaggingSecret.toString()];
398
- if (secretCorrespondingToLog.index >= initialIndex && (newLargestIndexMapForIteration[secretCorrespondingToLog.appTaggingSecret.toString()] === undefined || secretCorrespondingToLog.index >= newLargestIndexMapForIteration[secretCorrespondingToLog.appTaggingSecret.toString()])) {
399
- // We have found a new largest index so we store it for later processing (storing it in the db + fetching
400
- // the difference of the window sets of current and the next iteration)
401
- newLargestIndexMapForIteration[secretCorrespondingToLog.appTaggingSecret.toString()] = secretCorrespondingToLog.index + 1;
402
- this.log.debug(`Incrementing index to ${secretCorrespondingToLog.index + 1} at contract ${contractName}(${contractAddress})`);
403
- }
404
- }
405
- }
406
- // Now based on the new largest indexes we found, we will construct a new secrets and windows set to fetch logs
407
- // for. Note that it's very unlikely that a new log from the current window would appear between the iterations
408
- // so we fetch the logs only for the difference of the window sets.
409
- const newSecretsAndWindows = [];
410
- for (const [appTaggingSecret, newIndex] of Object.entries(newLargestIndexMapForIteration)){
411
- const secret = secrets.find((secret)=>secret.appTaggingSecret.toString() === appTaggingSecret);
412
- if (secret) {
413
- newSecretsAndWindows.push({
414
- appTaggingSecret: secret.appTaggingSecret,
415
- // We set the left most index to the new index to avoid fetching the same logs again
416
- leftMostIndex: newIndex,
417
- rightMostIndex: newIndex + WINDOW_HALF_SIZE
418
- });
419
- // We store the new largest index in the map to later store it in the db.
420
- newLargestIndexMapToStore[appTaggingSecret] = newIndex;
421
- } else {
422
- throw new Error(`Secret not found for appTaggingSecret ${appTaggingSecret}. This is a bug as it should never happen!`);
423
- }
424
- }
425
- // Now we set the new secrets and windows and proceed to the next iteration.
426
- secretsAndWindows = newSecretsAndWindows;
427
- }
428
- // At this point we have processed all the logs for the recipient so we store the new largest indexes in the db.
429
- await this.taggingDataProvider.setTaggingSecretsIndexesAsRecipient(Object.entries(newLargestIndexMapToStore).map(([appTaggingSecret, index])=>new IndexedTaggingSecret(Fr.fromHexString(appTaggingSecret), index)), recipient);
430
- }
431
- }
432
- async #storePendingTaggedLogs(contractAddress, capsuleArrayBaseSlot, recipient, privateLogs) {
433
- // Build all pending tagged logs upfront with their tx effects
434
- const pendingTaggedLogs = await Promise.all(privateLogs.map(async (scopedLog)=>{
435
- // TODO(#9789): get these effects along with the log
436
- const txEffect = await this.aztecNode.getTxEffect(scopedLog.txHash);
437
- if (!txEffect) {
438
- throw new Error(`Could not find tx effect for tx hash ${scopedLog.txHash}`);
439
- }
440
- const pendingTaggedLog = new PendingTaggedLog(scopedLog.log.fields, scopedLog.txHash, txEffect.data.noteHashes, txEffect.data.nullifiers[0], recipient);
441
- return pendingTaggedLog.toFields();
442
- }));
443
- return this.capsuleDataProvider.appendToCapsuleArray(contractAddress, capsuleArrayBaseSlot, pendingTaggedLogs);
444
- }
445
- async validateEnqueuedNotesAndEvents(contractAddress, noteValidationRequestsArrayBaseSlot, eventValidationRequestsArrayBaseSlot) {
446
- // We read all note and event validation requests and process them all concurrently. This makes the process much
447
- // faster as we don't need to wait for the network round-trip.
448
- const noteValidationRequests = (await this.capsuleDataProvider.readCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot)).map(NoteValidationRequest.fromFields);
449
- const eventValidationRequests = (await this.capsuleDataProvider.readCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot)).map(EventValidationRequest.fromFields);
450
- const noteDeliveries = noteValidationRequests.map((request)=>this.deliverNote(request.contractAddress, request.storageSlot, request.noteNonce, request.content, request.noteHash, request.nullifier, request.txHash, request.recipient));
451
- const eventDeliveries = eventValidationRequests.map((request)=>this.deliverEvent(request.contractAddress, request.eventTypeId, request.serializedEvent, request.eventCommitment, request.txHash, request.recipient));
452
- await Promise.all([
453
- ...noteDeliveries,
454
- ...eventDeliveries
455
- ]);
456
- // Requests are cleared once we're done.
457
- await this.capsuleDataProvider.setCapsuleArray(contractAddress, noteValidationRequestsArrayBaseSlot, []);
458
- await this.capsuleDataProvider.setCapsuleArray(contractAddress, eventValidationRequestsArrayBaseSlot, []);
459
- }
460
- async deliverNote(contractAddress, storageSlot, noteNonce, content, noteHash, nullifier, txHash, recipient) {
461
- // We are going to store the new note in the NoteDataProvider, which will let us later return it via `getNotes`.
462
- // There's two things we need to check before we do this however:
463
- // - we must make sure the note does actually exist in the note hash tree
464
- // - we need to check if the note has already been nullified
465
- //
466
- // Failing to do either of the above would result in circuits getting either non-existent notes and failing to
467
- // produce inclusion proofs for them, or getting nullified notes and producing duplicate nullifiers, both of which
468
- // are catastrophic failure modes.
469
- //
470
- // Note that adding a note and removing it is *not* equivalent to never adding it in the first place. A nullifier
471
- // emitted in a block that comes after note creation might result in the note being de-nullified by a chain reorg,
472
- // so we must store both the note hash and nullifier block information.
473
- // We avoid making node queries at 'latest' since we don't want to process notes or nullifiers that only exist ahead
474
- // in time of the locally synced state.
475
- // Note that while this technically results in historical queries, we perform it at the latest locally synced block
476
- // number which *should* be recent enough to be available, even for non-archive nodes.
477
- // Also note that the note should never be ahead of the synced block here since `fetchTaggedLogs` only processes
478
- // logs up to the synced block making this only an additional safety check.
479
- const syncedBlockNumber = await this.syncDataProvider.getBlockNumber();
480
- // By computing siloed and unique note hashes ourselves we prevent contracts from interfering with the note storage
481
- // of other contracts, which would constitute a security breach.
482
- const uniqueNoteHash = await computeUniqueNoteHash(noteNonce, await siloNoteHash(contractAddress, noteHash));
483
- const siloedNullifier = await siloNullifier(contractAddress, nullifier);
484
- // We store notes by their index in the global note hash tree, which has the convenient side effect of validating
485
- // note existence in said tree. We concurrently also check if the note's nullifier exists, performing all node
486
- // queries in a single round-trip.
487
- const [[uniqueNoteHashTreeIndexInBlock], [nullifierIndex]] = await Promise.all([
488
- this.aztecNode.findLeavesIndexes(syncedBlockNumber, MerkleTreeId.NOTE_HASH_TREE, [
489
- uniqueNoteHash
490
- ]),
491
- this.aztecNode.findLeavesIndexes(syncedBlockNumber, MerkleTreeId.NULLIFIER_TREE, [
492
- siloedNullifier
493
- ])
494
- ]);
495
- if (uniqueNoteHashTreeIndexInBlock === undefined) {
496
- throw new Error(`Note hash ${noteHash} (uniqued as ${uniqueNoteHash}) is not present on the tree at block ${syncedBlockNumber} (from tx ${txHash})`);
497
- }
498
- const noteDao = new NoteDao(new Note(content), contractAddress, storageSlot, noteNonce, noteHash, siloedNullifier, txHash, uniqueNoteHashTreeIndexInBlock?.l2BlockNumber, uniqueNoteHashTreeIndexInBlock?.l2BlockHash.toString(), uniqueNoteHashTreeIndexInBlock?.data, recipient);
499
- await this.noteDataProvider.addNotes([
500
- noteDao
501
- ], recipient);
502
- this.log.verbose('Added note', {
503
- index: noteDao.index,
504
- contract: noteDao.contractAddress.toString(),
505
- slot: noteDao.storageSlot.toString(),
506
- noteHash: noteDao.noteHash.toString(),
507
- nullifier: noteDao.siloedNullifier.toString()
508
- });
509
- if (nullifierIndex !== undefined) {
510
- const { data: _, ...blockHashAndNum } = nullifierIndex;
511
- await this.noteDataProvider.removeNullifiedNotes([
512
- {
513
- data: siloedNullifier,
514
- ...blockHashAndNum
515
- }
516
- ], recipient);
517
- this.log.verbose(`Removed just-added note`, {
518
- contract: contractAddress,
519
- slot: storageSlot,
520
- noteHash: noteHash,
521
- nullifier: siloedNullifier.toString()
522
- });
523
- }
524
- }
525
- async bulkRetrieveLogs(contractAddress, logRetrievalRequestsArrayBaseSlot, logRetrievalResponsesArrayBaseSlot) {
526
- // We read all log retrieval requests and process them all concurrently. This makes the process much faster as we
527
- // don't need to wait for the network round-trip.
528
- const logRetrievalRequests = (await this.capsuleDataProvider.readCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot)).map(LogRetrievalRequest.fromFields);
529
- const maybeLogRetrievalResponses = await Promise.all(logRetrievalRequests.map(async (request)=>{
530
- // TODO(#14555): remove these internal functions and have node endpoints that do this instead
531
- const [publicLog, privateLog] = await Promise.all([
532
- this.getPublicLogByTag(request.unsiloedTag, request.contractAddress),
533
- this.getPrivateLogByTag(await siloPrivateLog(request.contractAddress, request.unsiloedTag))
534
- ]);
535
- if (publicLog !== null) {
536
- if (privateLog !== null) {
537
- throw new Error(`Found both a public and private log when searching for tag ${request.unsiloedTag} from contract ${request.contractAddress}`);
538
- }
539
- return new LogRetrievalResponse(publicLog.logPayload, publicLog.txHash, publicLog.uniqueNoteHashesInTx, publicLog.firstNullifierInTx);
540
- } else if (privateLog !== null) {
541
- return new LogRetrievalResponse(privateLog.logPayload, privateLog.txHash, privateLog.uniqueNoteHashesInTx, privateLog.firstNullifierInTx);
542
- } else {
543
- null;
544
- }
545
- }));
546
- // Requests are cleared once we're done.
547
- await this.capsuleDataProvider.setCapsuleArray(contractAddress, logRetrievalRequestsArrayBaseSlot, []);
548
- // The responses are stored as Option<LogRetrievalResponse> in a second CapsuleArray.
549
- await this.capsuleDataProvider.setCapsuleArray(contractAddress, logRetrievalResponsesArrayBaseSlot, maybeLogRetrievalResponses.map(LogRetrievalResponse.toSerializedOption));
550
- }
551
- async deliverEvent(contractAddress, selector, content, eventCommitment, txHash, recipient) {
552
- // While using 'latest' block number would be fine for private events since they cannot be accessed from Aztec.nr
553
- // (and thus we're less concerned about being ahead of the synced block), we use the synced block number to
554
- // maintain consistent behavior in the PXE. Additionally, events should never be ahead of the synced block here
555
- // since `fetchTaggedLogs` only processes logs up to the synced block.
556
- const syncedBlockNumber = await this.syncDataProvider.getBlockNumber();
557
- const siloedEventCommitment = await siloNullifier(contractAddress, eventCommitment);
558
- const [nullifierIndex] = await this.aztecNode.findLeavesIndexes(syncedBlockNumber, MerkleTreeId.NULLIFIER_TREE, [
559
- siloedEventCommitment
560
- ]);
561
- if (nullifierIndex === undefined) {
562
- throw new Error(`Event commitment ${eventCommitment} (siloed as ${siloedEventCommitment}) is not present on the nullifier tree at block ${syncedBlockNumber} (from tx ${txHash})`);
563
- }
564
- return this.privateEventDataProvider.storePrivateEventLog(contractAddress, recipient, selector, content, txHash, Number(nullifierIndex.data), nullifierIndex.l2BlockNumber);
565
- }
566
- // TODO(#14555): delete this function and implement this behavior in the node instead
567
- async getPublicLogByTag(tag, contractAddress) {
568
- const logs = await this.#getPublicLogsByTagsFromContract([
569
- tag
570
- ], contractAddress);
571
- const logsForTag = logs[0];
572
- this.log.debug(`Got ${logsForTag.length} public logs for tag ${tag}`);
573
- if (logsForTag.length == 0) {
574
- return null;
575
- } else if (logsForTag.length > 1) {
576
- // TODO(#11627): handle this case
577
- throw new Error(`Got ${logsForTag.length} logs for tag ${tag} and contract ${contractAddress.toString()}. getPublicLogByTag currently only supports a single log per tag`);
578
- }
579
- const scopedLog = logsForTag[0];
580
- // getLogsByTag doesn't have all of the information that we need (notably note hashes and the first nullifier), so
581
- // we need to make a second call to the node for `getTxEffect`.
582
- // TODO(#9789): bundle this information in the `getLogsByTag` call.
583
- const txEffect = await this.aztecNode.getTxEffect(scopedLog.txHash);
584
- if (txEffect == undefined) {
585
- throw new Error(`Unexpected: failed to retrieve tx effects for tx ${scopedLog.txHash} which is known to exist`);
586
- }
587
- return new PublicLogWithTxData(scopedLog.log.getEmittedFieldsWithoutTag(), scopedLog.txHash, txEffect.data.noteHashes, txEffect.data.nullifiers[0]);
588
- }
589
- // TODO(#14555): delete this function and implement this behavior in the node instead
590
- async getPrivateLogByTag(siloedTag) {
591
- const logs = await this.#getPrivateLogsByTags([
592
- siloedTag
593
- ]);
594
- const logsForTag = logs[0];
595
- this.log.debug(`Got ${logsForTag.length} private logs for tag ${siloedTag}`);
596
- if (logsForTag.length == 0) {
597
- return null;
598
- } else if (logsForTag.length > 1) {
599
- // TODO(#11627): handle this case
600
- throw new Error(`Got ${logsForTag.length} logs for tag ${siloedTag}. getPrivateLogByTag currently only supports a single log per tag`);
601
- }
602
- const scopedLog = logsForTag[0];
603
- // getLogsByTag doesn't have all of the information that we need (notably note hashes and the first nullifier), so
604
- // we need to make a second call to the node for `getTxEffect`.
605
- // TODO(#9789): bundle this information in the `getLogsByTag` call.
606
- const txEffect = await this.aztecNode.getTxEffect(scopedLog.txHash);
607
- if (txEffect == undefined) {
608
- throw new Error(`Unexpected: failed to retrieve tx effects for tx ${scopedLog.txHash} which is known to exist`);
609
- }
610
- return new PrivateLogWithTxData(scopedLog.log.getEmittedFieldsWithoutTag(), scopedLog.txHash, txEffect.data.noteHashes, txEffect.data.nullifiers[0]);
611
- }
612
- async removeNullifiedNotes(contractAddress) {
613
- this.log.verbose('Searching for nullifiers of known notes', {
614
- contract: contractAddress
615
- });
616
- // We avoid making node queries at 'latest' since we mark notes as nullified only if the corresponding nullifier
617
- // has been included in a block up to which PXE has synced. Note that while this technically results in historical
618
- // queries, we perform it at the latest locally synced block number which *should* be recent enough to be
619
- // available, even for non-archive nodes.
620
- const syncedBlockNumber = await this.syncDataProvider.getBlockNumber();
621
- for (const recipient of (await this.keyStore.getAccounts())){
622
- const currentNotesForRecipient = await this.noteDataProvider.getNotes({
623
- contractAddress,
624
- recipient
625
- });
626
- if (currentNotesForRecipient.length === 0) {
627
- continue;
628
- }
629
- const nullifiersToCheck = currentNotesForRecipient.map((note)=>note.siloedNullifier);
630
- const nullifierBatches = nullifiersToCheck.reduce((acc, nullifier)=>{
631
- if (acc[acc.length - 1].length < MAX_RPC_LEN) {
632
- acc[acc.length - 1].push(nullifier);
633
- } else {
634
- acc.push([
635
- nullifier
636
- ]);
637
- }
638
- return acc;
639
- }, [
640
- []
641
- ]);
642
- const nullifierIndexes = (await Promise.all(nullifierBatches.map((batch)=>this.aztecNode.findLeavesIndexes(syncedBlockNumber, MerkleTreeId.NULLIFIER_TREE, batch)))).flat();
643
- const foundNullifiers = nullifiersToCheck.map((nullifier, i)=>{
644
- if (nullifierIndexes[i] !== undefined) {
645
- return {
646
- ...nullifierIndexes[i],
647
- ...{
648
- data: nullifier
649
- }
650
- };
651
- }
652
- }).filter((nullifier)=>nullifier !== undefined);
653
- const nullifiedNotes = await this.noteDataProvider.removeNullifiedNotes(foundNullifiers, recipient);
654
- nullifiedNotes.forEach((noteDao)=>{
655
- this.log.verbose(`Removed note for contract ${noteDao.contractAddress} at slot ${noteDao.storageSlot}`, {
656
- contract: noteDao.contractAddress,
657
- slot: noteDao.storageSlot,
658
- nullifier: noteDao.siloedNullifier.toString()
659
- });
660
- });
661
- }
662
- }
663
- storeCapsule(contractAddress, slot, capsule) {
664
- return this.capsuleDataProvider.storeCapsule(contractAddress, slot, capsule);
665
- }
666
- loadCapsule(contractAddress, slot) {
667
- return this.capsuleDataProvider.loadCapsule(contractAddress, slot);
668
- }
669
- deleteCapsule(contractAddress, slot) {
670
- return this.capsuleDataProvider.deleteCapsule(contractAddress, slot);
671
- }
672
- copyCapsule(contractAddress, srcSlot, dstSlot, numEntries) {
673
- return this.capsuleDataProvider.copyCapsule(contractAddress, srcSlot, dstSlot, numEntries);
674
- }
675
- async getSharedSecret(address, ephPk) {
676
- // TODO(#12656): return an app-siloed secret
677
- const recipientCompleteAddress = await this.getCompleteAddress(address);
678
- const ivskM = await this.keyStore.getMasterSecretKey(recipientCompleteAddress.publicKeys.masterIncomingViewingPublicKey);
679
- const addressSecret = await computeAddressSecret(await recipientCompleteAddress.getPreaddress(), ivskM);
680
- return deriveEcdhSharedSecret(addressSecret, ephPk);
681
- }
682
- // TODO(#12656): Make this a public function on the AztecNode interface and remove the original getLogsByTags. This
683
- // was not done yet as we were unsure about the API and we didn't want to introduce a breaking change.
684
- async #getPrivateLogsByTags(tags) {
685
- const allLogs = await this.aztecNode.getLogsByTags(tags);
686
- return allLogs.map((logs)=>logs.filter((log)=>!log.isFromPublic));
687
- }
688
- // TODO(#12656): Make this a public function on the AztecNode interface and remove the original getLogsByTags. This
689
- // was not done yet as we were unsure about the API and we didn't want to introduce a breaking change.
690
- async #getPublicLogsByTagsFromContract(tags, contractAddress) {
691
- const allLogs = await this.aztecNode.getLogsByTags(tags);
692
- const allPublicLogs = allLogs.map((logs)=>logs.filter((log)=>log.isFromPublic));
693
- return allPublicLogs.map((logs)=>logs.filter((log)=>log.log.contractAddress.equals(contractAddress)));
694
- }
695
- getStats() {
696
- const nodeRPCCalls = typeof this.aztecNode.getStats === 'function' ? this.aztecNode.getStats() : {};
697
- return {
698
- nodeRPCCalls
699
- };
700
- }
701
- }