@aztec/pxe 0.0.0-test.1 → 0.0.1-commit.1142ef1

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 (445) hide show
  1. package/README.md +5 -5
  2. package/dest/bin/check_oracle_version.d.ts +2 -0
  3. package/dest/bin/check_oracle_version.d.ts.map +1 -0
  4. package/dest/bin/check_oracle_version.js +129 -0
  5. package/dest/block_synchronizer/block_synchronizer.d.ts +39 -0
  6. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -0
  7. package/dest/{synchronizer/synchronizer.js → block_synchronizer/block_synchronizer.js} +34 -35
  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 +11 -24
  12. package/dest/config/index.d.ts.map +1 -1
  13. package/dest/config/index.js +18 -33
  14. package/dest/config/package_info.d.ts +1 -1
  15. package/dest/config/package_info.js +1 -1
  16. package/dest/contract_function_simulator/contract_function_simulator.d.ts +86 -0
  17. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -0
  18. package/dest/contract_function_simulator/contract_function_simulator.js +331 -0
  19. package/dest/contract_function_simulator/execution_note_cache.d.ts +95 -0
  20. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -0
  21. package/dest/contract_function_simulator/execution_note_cache.js +191 -0
  22. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +16 -0
  23. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -0
  24. package/dest/contract_function_simulator/execution_tagging_index_cache.js +26 -0
  25. package/dest/contract_function_simulator/hashed_values_cache.d.ts +28 -0
  26. package/dest/contract_function_simulator/hashed_values_cache.d.ts.map +1 -0
  27. package/dest/contract_function_simulator/hashed_values_cache.js +36 -0
  28. package/dest/contract_function_simulator/index.d.ts +14 -0
  29. package/dest/contract_function_simulator/index.d.ts.map +1 -0
  30. package/dest/contract_function_simulator/index.js +12 -0
  31. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +21 -0
  32. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -0
  33. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +40 -0
  34. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +16 -0
  35. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -0
  36. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +26 -0
  37. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +17 -0
  38. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -0
  39. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +65 -0
  40. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +24 -0
  41. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -0
  42. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +51 -0
  43. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +22 -0
  44. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -0
  45. package/dest/contract_function_simulator/noir-structs/utility_context.js +33 -0
  46. package/dest/contract_function_simulator/oracle/index.d.ts +14 -0
  47. package/dest/contract_function_simulator/oracle/index.d.ts.map +1 -0
  48. package/dest/contract_function_simulator/oracle/index.js +2 -0
  49. package/dest/contract_function_simulator/oracle/interfaces.d.ts +103 -0
  50. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -0
  51. package/dest/contract_function_simulator/oracle/interfaces.js +4 -0
  52. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +17 -0
  53. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map +1 -0
  54. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js +24 -0
  55. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts +28 -0
  56. package/dest/contract_function_simulator/oracle/note_packing_utils.d.ts.map +1 -0
  57. package/dest/contract_function_simulator/oracle/note_packing_utils.js +54 -0
  58. package/dest/contract_function_simulator/oracle/oracle.d.ts +58 -0
  59. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -0
  60. package/dest/contract_function_simulator/oracle/oracle.js +345 -0
  61. package/dest/contract_function_simulator/oracle/private_execution.d.ts +47 -0
  62. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -0
  63. package/dest/contract_function_simulator/oracle/private_execution.js +122 -0
  64. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +231 -0
  65. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts.map +1 -0
  66. package/dest/contract_function_simulator/oracle/private_execution_oracle.js +414 -0
  67. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +196 -0
  68. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts.map +1 -0
  69. package/dest/contract_function_simulator/oracle/utility_execution_oracle.js +374 -0
  70. package/dest/contract_function_simulator/pick_notes.d.ts +85 -0
  71. package/dest/contract_function_simulator/pick_notes.d.ts.map +1 -0
  72. package/dest/contract_function_simulator/pick_notes.js +51 -0
  73. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts +6 -0
  74. package/dest/contract_function_simulator/proxied_contract_data_source.d.ts.map +1 -0
  75. package/dest/contract_function_simulator/proxied_contract_data_source.js +80 -0
  76. package/dest/contract_function_simulator/proxied_node.d.ts +9 -0
  77. package/dest/contract_function_simulator/proxied_node.d.ts.map +1 -0
  78. package/dest/contract_function_simulator/proxied_node.js +27 -0
  79. package/dest/debug/pxe_debug_utils.d.ts +31 -0
  80. package/dest/debug/pxe_debug_utils.d.ts.map +1 -0
  81. package/dest/debug/pxe_debug_utils.js +37 -0
  82. package/dest/entrypoints/client/bundle/index.d.ts +4 -3
  83. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  84. package/dest/entrypoints/client/bundle/index.js +2 -2
  85. package/dest/entrypoints/client/bundle/utils.d.ts +10 -10
  86. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  87. package/dest/entrypoints/client/bundle/utils.js +27 -12
  88. package/dest/entrypoints/client/lazy/index.d.ts +4 -3
  89. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  90. package/dest/entrypoints/client/lazy/index.js +2 -2
  91. package/dest/entrypoints/client/lazy/utils.d.ts +9 -9
  92. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  93. package/dest/entrypoints/client/lazy/utils.js +26 -11
  94. package/dest/entrypoints/pxe_creation_options.d.ts +17 -0
  95. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -0
  96. package/dest/entrypoints/server/index.d.ts +6 -4
  97. package/dest/entrypoints/server/index.d.ts.map +1 -1
  98. package/dest/entrypoints/server/index.js +4 -3
  99. package/dest/entrypoints/server/utils.d.ts +8 -16
  100. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  101. package/dest/entrypoints/server/utils.js +35 -36
  102. package/dest/error_enriching.d.ts +11 -0
  103. package/dest/error_enriching.d.ts.map +1 -0
  104. package/dest/{pxe_service/error_enriching.js → error_enriching.js} +30 -22
  105. package/dest/events/event_service.d.ts +15 -0
  106. package/dest/events/event_service.d.ts.map +1 -0
  107. package/dest/events/event_service.js +47 -0
  108. package/dest/events/index.d.ts +2 -0
  109. package/dest/events/index.d.ts.map +1 -0
  110. package/dest/events/index.js +1 -0
  111. package/dest/events/private_event_filter_validator.d.ts +9 -0
  112. package/dest/events/private_event_filter_validator.d.ts.map +1 -0
  113. package/dest/events/private_event_filter_validator.js +39 -0
  114. package/dest/job_coordinator/job_coordinator.d.ts +74 -0
  115. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
  116. package/dest/job_coordinator/job_coordinator.js +93 -0
  117. package/dest/logs/log_service.d.ts +26 -0
  118. package/dest/logs/log_service.d.ts.map +1 -0
  119. package/dest/logs/log_service.js +120 -0
  120. package/dest/notes/index.d.ts +2 -0
  121. package/dest/notes/index.d.ts.map +1 -0
  122. package/dest/notes/index.js +1 -0
  123. package/dest/notes/note_service.d.ts +48 -0
  124. package/dest/notes/note_service.d.ts.map +1 -0
  125. package/dest/notes/note_service.js +152 -0
  126. package/dest/oracle_version.d.ts +3 -0
  127. package/dest/oracle_version.d.ts.map +1 -0
  128. package/dest/oracle_version.js +10 -0
  129. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +28 -0
  130. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +1 -0
  131. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.js +271 -0
  132. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +4 -0
  133. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts.map +1 -0
  134. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.js +41 -0
  135. package/dest/private_kernel/hints/index.d.ts +3 -0
  136. package/dest/private_kernel/hints/index.d.ts.map +1 -0
  137. package/dest/{kernel_prover → private_kernel}/hints/index.js +1 -0
  138. package/dest/private_kernel/index.d.ts +3 -0
  139. package/dest/private_kernel/index.d.ts.map +1 -0
  140. package/dest/private_kernel/index.js +2 -0
  141. package/dest/private_kernel/private_kernel_execution_prover.d.ts +44 -0
  142. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -0
  143. package/dest/private_kernel/private_kernel_execution_prover.js +285 -0
  144. package/dest/private_kernel/private_kernel_oracle.d.ts +64 -0
  145. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -0
  146. package/dest/private_kernel/private_kernel_oracle.js +4 -0
  147. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +46 -0
  148. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +1 -0
  149. package/dest/{kernel_oracle/index.js → private_kernel/private_kernel_oracle_impl.js} +27 -18
  150. package/dest/public_storage/public_storage_service.d.ts +24 -0
  151. package/dest/public_storage/public_storage_service.d.ts.map +1 -0
  152. package/dest/public_storage/public_storage_service.js +26 -0
  153. package/dest/pxe.d.ts +233 -0
  154. package/dest/pxe.d.ts.map +1 -0
  155. package/dest/pxe.js +782 -0
  156. package/dest/storage/address_store/address_store.d.ts +11 -0
  157. package/dest/storage/address_store/address_store.d.ts.map +1 -0
  158. package/dest/storage/{address_data_provider/address_data_provider.js → address_store/address_store.js} +1 -4
  159. package/dest/storage/address_store/index.d.ts +2 -0
  160. package/dest/storage/address_store/index.d.ts.map +1 -0
  161. package/dest/storage/address_store/index.js +1 -0
  162. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -0
  163. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -0
  164. package/dest/storage/{sync_data_provider/sync_data_provider.js → anchor_block_store/anchor_block_store.js} +2 -12
  165. package/dest/storage/anchor_block_store/index.d.ts +2 -0
  166. package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
  167. package/dest/storage/anchor_block_store/index.js +1 -0
  168. package/dest/storage/capsule_store/capsule_store.d.ts +57 -0
  169. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -0
  170. package/dest/storage/capsule_store/capsule_store.js +146 -0
  171. package/dest/storage/capsule_store/index.d.ts +2 -0
  172. package/dest/storage/capsule_store/index.d.ts.map +1 -0
  173. package/dest/storage/capsule_store/index.js +1 -0
  174. package/dest/storage/contract_store/contract_store.d.ts +67 -0
  175. package/dest/storage/contract_store/contract_store.d.ts.map +1 -0
  176. package/dest/storage/contract_store/contract_store.js +236 -0
  177. package/dest/storage/contract_store/index.d.ts +2 -0
  178. package/dest/storage/contract_store/index.d.ts.map +1 -0
  179. package/dest/storage/contract_store/index.js +1 -0
  180. package/dest/storage/contract_store/private_functions_tree.d.ts +27 -0
  181. package/dest/storage/contract_store/private_functions_tree.d.ts.map +1 -0
  182. package/dest/storage/contract_store/private_functions_tree.js +47 -0
  183. package/dest/storage/index.d.ts +9 -10
  184. package/dest/storage/index.d.ts.map +1 -1
  185. package/dest/storage/index.js +8 -9
  186. package/dest/storage/metadata.d.ts +2 -0
  187. package/dest/storage/metadata.d.ts.map +1 -0
  188. package/dest/storage/metadata.js +1 -0
  189. package/dest/storage/note_store/index.d.ts +3 -0
  190. package/dest/storage/note_store/index.d.ts.map +1 -0
  191. package/dest/storage/note_store/index.js +2 -0
  192. package/dest/storage/note_store/note_store.d.ts +84 -0
  193. package/dest/storage/note_store/note_store.d.ts.map +1 -0
  194. package/dest/storage/note_store/note_store.js +322 -0
  195. package/dest/storage/private_event_store/private_event_store.d.ts +56 -0
  196. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -0
  197. package/dest/storage/private_event_store/private_event_store.js +158 -0
  198. package/dest/storage/tagging_store/index.d.ts +4 -0
  199. package/dest/storage/tagging_store/index.d.ts.map +1 -0
  200. package/dest/storage/tagging_store/index.js +3 -0
  201. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +21 -0
  202. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -0
  203. package/dest/storage/tagging_store/recipient_tagging_store.js +42 -0
  204. package/dest/storage/tagging_store/sender_address_book_store.d.ts +14 -0
  205. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -0
  206. package/dest/storage/tagging_store/sender_address_book_store.js +30 -0
  207. package/dest/storage/tagging_store/sender_tagging_store.d.ts +67 -0
  208. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -0
  209. package/dest/storage/tagging_store/sender_tagging_store.js +196 -0
  210. package/dest/tagging/constants.d.ts +2 -0
  211. package/dest/tagging/constants.d.ts.map +1 -0
  212. package/dest/tagging/constants.js +10 -0
  213. package/dest/tagging/index.d.ts +16 -0
  214. package/dest/tagging/index.d.ts.map +1 -0
  215. package/dest/tagging/index.js +14 -0
  216. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +14 -0
  217. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -0
  218. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +99 -0
  219. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts +12 -0
  220. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts.map +1 -0
  221. package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +20 -0
  222. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +14 -0
  223. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -0
  224. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +29 -0
  225. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +20 -0
  226. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -0
  227. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +74 -0
  228. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +11 -0
  229. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -0
  230. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +32 -0
  231. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +18 -0
  232. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -0
  233. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +55 -0
  234. package/dest/tree_membership/tree_membership_service.d.ts +52 -0
  235. package/dest/tree_membership/tree_membership_service.d.ts.map +1 -0
  236. package/dest/tree_membership/tree_membership_service.js +84 -0
  237. package/package.json +37 -34
  238. package/src/bin/check_oracle_version.ts +160 -0
  239. package/src/{synchronizer/synchronizer.ts → block_synchronizer/block_synchronizer.ts} +37 -38
  240. package/src/block_synchronizer/index.ts +1 -0
  241. package/src/config/index.ts +27 -55
  242. package/src/config/package_info.ts +1 -1
  243. package/src/contract_function_simulator/contract_function_simulator.ts +627 -0
  244. package/src/contract_function_simulator/execution_note_cache.ts +233 -0
  245. package/src/contract_function_simulator/execution_tagging_index_cache.ts +32 -0
  246. package/src/contract_function_simulator/hashed_values_cache.ts +47 -0
  247. package/src/contract_function_simulator/index.ts +13 -0
  248. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +51 -0
  249. package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +28 -0
  250. package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +69 -0
  251. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +64 -0
  252. package/src/contract_function_simulator/noir-structs/utility_context.ts +42 -0
  253. package/src/contract_function_simulator/oracle/index.ts +16 -0
  254. package/src/contract_function_simulator/oracle/interfaces.ts +175 -0
  255. package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +23 -0
  256. package/src/contract_function_simulator/oracle/note_packing_utils.ts +68 -0
  257. package/src/contract_function_simulator/oracle/oracle.ts +605 -0
  258. package/src/contract_function_simulator/oracle/private_execution.ts +207 -0
  259. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +676 -0
  260. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +536 -0
  261. package/src/contract_function_simulator/pick_notes.ts +141 -0
  262. package/src/contract_function_simulator/proxied_contract_data_source.ts +83 -0
  263. package/src/contract_function_simulator/proxied_node.ts +33 -0
  264. package/src/debug/pxe_debug_utils.ts +48 -0
  265. package/src/entrypoints/client/bundle/index.ts +3 -2
  266. package/src/entrypoints/client/bundle/utils.ts +42 -36
  267. package/src/entrypoints/client/lazy/index.ts +3 -2
  268. package/src/entrypoints/client/lazy/utils.ts +41 -31
  269. package/src/entrypoints/pxe_creation_options.ts +13 -0
  270. package/src/entrypoints/server/index.ts +5 -3
  271. package/src/entrypoints/server/utils.ts +55 -51
  272. package/src/{pxe_service/error_enriching.ts → error_enriching.ts} +40 -39
  273. package/src/events/event_service.ts +79 -0
  274. package/src/events/index.ts +1 -0
  275. package/src/events/private_event_filter_validator.ts +48 -0
  276. package/src/job_coordinator/job_coordinator.ts +149 -0
  277. package/src/logs/log_service.ts +202 -0
  278. package/src/notes/index.ts +1 -0
  279. package/src/notes/note_service.ts +200 -0
  280. package/src/oracle_version.ts +11 -0
  281. package/src/{kernel_prover → private_kernel}/hints/build_private_kernel_reset_private_inputs.ts +159 -148
  282. package/src/private_kernel/hints/compute_tx_include_by_timestamp.ts +58 -0
  283. package/src/{kernel_prover → private_kernel}/hints/index.ts +1 -0
  284. package/src/private_kernel/index.ts +2 -0
  285. package/src/private_kernel/private_kernel_execution_prover.ts +430 -0
  286. package/src/{kernel_prover/proving_data_oracle.ts → private_kernel/private_kernel_oracle.ts} +19 -29
  287. package/src/{kernel_oracle/index.ts → private_kernel/private_kernel_oracle_impl.ts} +40 -30
  288. package/src/public_storage/public_storage_service.ts +33 -0
  289. package/src/pxe.ts +1111 -0
  290. package/src/storage/{address_data_provider/address_data_provider.ts → address_store/address_store.ts} +1 -7
  291. package/src/storage/address_store/index.ts +1 -0
  292. package/src/storage/{sync_data_provider/sync_data_provider.ts → anchor_block_store/anchor_block_store.ts} +2 -17
  293. package/src/storage/anchor_block_store/index.ts +1 -0
  294. package/src/storage/capsule_store/capsule_store.ts +179 -0
  295. package/src/storage/capsule_store/index.ts +1 -0
  296. package/src/storage/contract_store/contract_store.ts +339 -0
  297. package/src/storage/contract_store/index.ts +1 -0
  298. package/src/storage/contract_store/private_functions_tree.ts +67 -0
  299. package/src/storage/index.ts +8 -10
  300. package/src/storage/metadata.ts +1 -0
  301. package/src/storage/note_store/index.ts +2 -0
  302. package/src/storage/{note_data_provider/note_data_provider.ts → note_store/note_store.ts} +190 -123
  303. package/src/storage/private_event_store/private_event_store.ts +216 -0
  304. package/src/storage/tagging_store/index.ts +3 -0
  305. package/src/storage/tagging_store/recipient_tagging_store.ts +53 -0
  306. package/src/storage/tagging_store/sender_address_book_store.ts +42 -0
  307. package/src/storage/tagging_store/sender_tagging_store.ts +244 -0
  308. package/src/tagging/constants.ts +10 -0
  309. package/src/tagging/index.ts +18 -0
  310. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +132 -0
  311. package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +34 -0
  312. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +43 -0
  313. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +96 -0
  314. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +48 -0
  315. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +72 -0
  316. package/src/tree_membership/tree_membership_service.ts +112 -0
  317. package/dest/bin/index.d.ts +0 -3
  318. package/dest/bin/index.d.ts.map +0 -1
  319. package/dest/bin/index.js +0 -28
  320. package/dest/entrypoints/client/pxe_creation_options.d.ts +0 -11
  321. package/dest/entrypoints/client/pxe_creation_options.d.ts.map +0 -1
  322. package/dest/kernel_oracle/index.d.ts +0 -45
  323. package/dest/kernel_oracle/index.d.ts.map +0 -1
  324. package/dest/kernel_prover/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  325. package/dest/kernel_prover/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  326. package/dest/kernel_prover/hints/build_private_kernel_reset_private_inputs.js +0 -270
  327. package/dest/kernel_prover/hints/index.d.ts +0 -2
  328. package/dest/kernel_prover/hints/index.d.ts.map +0 -1
  329. package/dest/kernel_prover/index.d.ts +0 -3
  330. package/dest/kernel_prover/index.d.ts.map +0 -1
  331. package/dest/kernel_prover/index.js +0 -2
  332. package/dest/kernel_prover/kernel_prover.d.ts +0 -38
  333. package/dest/kernel_prover/kernel_prover.d.ts.map +0 -1
  334. package/dest/kernel_prover/kernel_prover.js +0 -217
  335. package/dest/kernel_prover/proving_data_oracle.d.ts +0 -73
  336. package/dest/kernel_prover/proving_data_oracle.d.ts.map +0 -1
  337. package/dest/kernel_prover/proving_data_oracle.js +0 -4
  338. package/dest/note_decryption_utils/add_public_values_to_payload.d.ts +0 -11
  339. package/dest/note_decryption_utils/add_public_values_to_payload.d.ts.map +0 -1
  340. package/dest/note_decryption_utils/add_public_values_to_payload.js +0 -47
  341. package/dest/pxe_http/index.d.ts +0 -2
  342. package/dest/pxe_http/index.d.ts.map +0 -1
  343. package/dest/pxe_http/index.js +0 -1
  344. package/dest/pxe_http/pxe_http_server.d.ts +0 -16
  345. package/dest/pxe_http/pxe_http_server.d.ts.map +0 -1
  346. package/dest/pxe_http/pxe_http_server.js +0 -27
  347. package/dest/pxe_oracle_interface/index.d.ts +0 -159
  348. package/dest/pxe_oracle_interface/index.d.ts.map +0 -1
  349. package/dest/pxe_oracle_interface/index.js +0 -692
  350. package/dest/pxe_oracle_interface/tagging_utils.d.ts +0 -17
  351. package/dest/pxe_oracle_interface/tagging_utils.d.ts.map +0 -1
  352. package/dest/pxe_oracle_interface/tagging_utils.js +0 -23
  353. package/dest/pxe_service/error_enriching.d.ts +0 -11
  354. package/dest/pxe_service/error_enriching.d.ts.map +0 -1
  355. package/dest/pxe_service/index.d.ts +0 -3
  356. package/dest/pxe_service/index.d.ts.map +0 -1
  357. package/dest/pxe_service/index.js +0 -2
  358. package/dest/pxe_service/pxe_service.d.ts +0 -111
  359. package/dest/pxe_service/pxe_service.d.ts.map +0 -1
  360. package/dest/pxe_service/pxe_service.js +0 -664
  361. package/dest/storage/address_data_provider/address_data_provider.d.ts +0 -13
  362. package/dest/storage/address_data_provider/address_data_provider.d.ts.map +0 -1
  363. package/dest/storage/address_data_provider/index.d.ts +0 -2
  364. package/dest/storage/address_data_provider/index.d.ts.map +0 -1
  365. package/dest/storage/address_data_provider/index.js +0 -1
  366. package/dest/storage/auth_witness_data_provider/auth_witness_data_provider.d.ts +0 -11
  367. package/dest/storage/auth_witness_data_provider/auth_witness_data_provider.d.ts.map +0 -1
  368. package/dest/storage/auth_witness_data_provider/auth_witness_data_provider.js +0 -20
  369. package/dest/storage/auth_witness_data_provider/index.d.ts +0 -2
  370. package/dest/storage/auth_witness_data_provider/index.d.ts.map +0 -1
  371. package/dest/storage/auth_witness_data_provider/index.js +0 -1
  372. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -16
  373. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts.map +0 -1
  374. package/dest/storage/capsule_data_provider/capsule_data_provider.js +0 -57
  375. package/dest/storage/capsule_data_provider/index.d.ts +0 -2
  376. package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
  377. package/dest/storage/capsule_data_provider/index.js +0 -1
  378. package/dest/storage/contract_data_provider/contract_data_provider.d.ts +0 -109
  379. package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
  380. package/dest/storage/contract_data_provider/contract_data_provider.js +0 -183
  381. package/dest/storage/contract_data_provider/index.d.ts +0 -3
  382. package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
  383. package/dest/storage/contract_data_provider/index.js +0 -2
  384. package/dest/storage/contract_data_provider/private_functions_tree.d.ts +0 -66
  385. package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
  386. package/dest/storage/contract_data_provider/private_functions_tree.js +0 -99
  387. package/dest/storage/data_provider.d.ts +0 -4
  388. package/dest/storage/data_provider.d.ts.map +0 -1
  389. package/dest/storage/data_provider.js +0 -1
  390. package/dest/storage/note_data_provider/index.d.ts +0 -3
  391. package/dest/storage/note_data_provider/index.d.ts.map +0 -1
  392. package/dest/storage/note_data_provider/index.js +0 -2
  393. package/dest/storage/note_data_provider/note_dao.d.ts +0 -106
  394. package/dest/storage/note_data_provider/note_dao.d.ts.map +0 -1
  395. package/dest/storage/note_data_provider/note_dao.js +0 -106
  396. package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -20
  397. package/dest/storage/note_data_provider/note_data_provider.d.ts.map +0 -1
  398. package/dest/storage/note_data_provider/note_data_provider.js +0 -249
  399. package/dest/storage/sync_data_provider/index.d.ts +0 -2
  400. package/dest/storage/sync_data_provider/index.d.ts.map +0 -1
  401. package/dest/storage/sync_data_provider/index.js +0 -1
  402. package/dest/storage/sync_data_provider/sync_data_provider.d.ts +0 -12
  403. package/dest/storage/sync_data_provider/sync_data_provider.d.ts.map +0 -1
  404. package/dest/storage/tagging_data_provider/index.d.ts +0 -2
  405. package/dest/storage/tagging_data_provider/index.d.ts.map +0 -1
  406. package/dest/storage/tagging_data_provider/index.js +0 -1
  407. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts +0 -18
  408. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts.map +0 -1
  409. package/dest/storage/tagging_data_provider/tagging_data_provider.js +0 -65
  410. package/dest/synchronizer/index.d.ts +0 -2
  411. package/dest/synchronizer/index.d.ts.map +0 -1
  412. package/dest/synchronizer/index.js +0 -1
  413. package/dest/synchronizer/synchronizer.d.ts +0 -37
  414. package/dest/synchronizer/synchronizer.d.ts.map +0 -1
  415. package/dest/test/pxe_test_suite.d.ts +0 -3
  416. package/dest/test/pxe_test_suite.d.ts.map +0 -1
  417. package/dest/test/pxe_test_suite.js +0 -97
  418. package/src/bin/index.ts +0 -38
  419. package/src/entrypoints/client/pxe_creation_options.ts +0 -7
  420. package/src/kernel_prover/index.ts +0 -2
  421. package/src/kernel_prover/kernel_prover.ts +0 -351
  422. package/src/note_decryption_utils/add_public_values_to_payload.ts +0 -64
  423. package/src/pxe_http/index.ts +0 -1
  424. package/src/pxe_http/pxe_http_server.ts +0 -29
  425. package/src/pxe_oracle_interface/index.ts +0 -925
  426. package/src/pxe_oracle_interface/tagging_utils.ts +0 -32
  427. package/src/pxe_service/index.ts +0 -2
  428. package/src/pxe_service/pxe_service.ts +0 -949
  429. package/src/storage/address_data_provider/index.ts +0 -1
  430. package/src/storage/auth_witness_data_provider/auth_witness_data_provider.ts +0 -34
  431. package/src/storage/auth_witness_data_provider/index.ts +0 -1
  432. package/src/storage/capsule_data_provider/capsule_data_provider.ts +0 -80
  433. package/src/storage/capsule_data_provider/index.ts +0 -1
  434. package/src/storage/contract_data_provider/contract_data_provider.ts +0 -261
  435. package/src/storage/contract_data_provider/index.ts +0 -2
  436. package/src/storage/contract_data_provider/private_functions_tree.ts +0 -131
  437. package/src/storage/data_provider.ts +0 -3
  438. package/src/storage/note_data_provider/index.ts +0 -2
  439. package/src/storage/note_data_provider/note_dao.ts +0 -162
  440. package/src/storage/sync_data_provider/index.ts +0 -1
  441. package/src/storage/tagging_data_provider/index.ts +0 -1
  442. package/src/storage/tagging_data_provider/tagging_data_provider.ts +0 -92
  443. package/src/synchronizer/index.ts +0 -1
  444. package/src/test/pxe_test_suite.ts +0 -111
  445. /package/dest/entrypoints/{client/pxe_creation_options.js → pxe_creation_options.js} +0 -0
@@ -3,9 +3,7 @@ import type { AztecAsyncArray, AztecAsyncKVStore, AztecAsyncMap } from '@aztec/k
3
3
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
4
  import { CompleteAddress } from '@aztec/stdlib/contract';
5
5
 
6
- import type { DataProvider } from '../data_provider.js';
7
-
8
- export class AddressDataProvider implements DataProvider {
6
+ export class AddressStore {
9
7
  #store: AztecAsyncKVStore;
10
8
  #completeAddresses: AztecAsyncArray<Buffer>;
11
9
  #completeAddressIndex: AztecAsyncMap<string, number>;
@@ -64,8 +62,4 @@ export class AddressDataProvider implements DataProvider {
64
62
  (await toArray(this.#completeAddresses.valuesAsync())).map(v => CompleteAddress.fromBuffer(v)),
65
63
  );
66
64
  }
67
-
68
- async getSize(): Promise<number> {
69
- return (await this.#completeAddresses.lengthAsync()) * CompleteAddress.SIZE_IN_BYTES;
70
- }
71
65
  }
@@ -0,0 +1 @@
1
+ export { AddressStore } from './address_store.js';
@@ -1,9 +1,7 @@
1
1
  import type { AztecAsyncKVStore, AztecAsyncSingleton } from '@aztec/kv-store';
2
2
  import { BlockHeader } from '@aztec/stdlib/tx';
3
3
 
4
- import type { DataProvider } from '../data_provider.js';
5
-
6
- export class SyncDataProvider implements DataProvider {
4
+ export class AnchorBlockStore {
7
5
  #store: AztecAsyncKVStore;
8
6
  #synchronizedHeader: AztecAsyncSingleton<Buffer>;
9
7
 
@@ -16,25 +14,12 @@ export class SyncDataProvider implements DataProvider {
16
14
  await this.#synchronizedHeader.set(header.toBuffer());
17
15
  }
18
16
 
19
- async getBlockNumber(): Promise<number | undefined> {
20
- const headerBuffer = await this.#synchronizedHeader.getAsync();
21
- if (!headerBuffer) {
22
- return undefined;
23
- }
24
-
25
- return Number(BlockHeader.fromBuffer(headerBuffer).globalVariables.blockNumber.toBigInt());
26
- }
27
-
28
17
  async getBlockHeader(): Promise<BlockHeader> {
29
18
  const headerBuffer = await this.#synchronizedHeader.getAsync();
30
19
  if (!headerBuffer) {
31
- throw new Error(`Header not set`);
20
+ throw new Error(`Trying to get block header with a not-yet-synchronized PXE - this should never happen`);
32
21
  }
33
22
 
34
23
  return BlockHeader.fromBuffer(headerBuffer);
35
24
  }
36
-
37
- async getSize(): Promise<number> {
38
- return (await this.#synchronizedHeader.getAsync())?.length ?? 0;
39
- }
40
25
  }
@@ -0,0 +1 @@
1
+ export { AnchorBlockStore } from './anchor_block_store.js';
@@ -0,0 +1,179 @@
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import { type Logger, createLogger } from '@aztec/foundation/log';
3
+ import type { AztecAsyncKVStore, AztecAsyncMap } from '@aztec/kv-store';
4
+ import type { AztecAddress } from '@aztec/stdlib/aztec-address';
5
+
6
+ export class CapsuleStore {
7
+ #store: AztecAsyncKVStore;
8
+
9
+ // Arbitrary data stored by contracts. Key is computed as `${contractAddress}:${key}`
10
+ #capsules: AztecAsyncMap<string, Buffer>;
11
+
12
+ logger: Logger;
13
+
14
+ constructor(store: AztecAsyncKVStore) {
15
+ this.#store = store;
16
+
17
+ this.#capsules = this.#store.openMap('capsules');
18
+
19
+ this.logger = createLogger('pxe:capsule-data-provider');
20
+ }
21
+
22
+ /**
23
+ * Stores arbitrary information in a per-contract non-volatile database, which can later be retrieved with `loadCapsule`.
24
+ * * If data was already stored at this slot, it is overwritten.
25
+ * @param contractAddress - The contract address to scope the data under.
26
+ * @param slot - The slot in the database in which to store the value. Slots need not be contiguous.
27
+ * @param capsule - An array of field elements representing the capsule.
28
+ * @remarks A capsule is a "blob" of data that is passed to the contract through an oracle. It works similarly
29
+ * to public contract storage in that it's indexed by the contract address and storage slot but instead of the global
30
+ * network state it's backed by local PXE db.
31
+ */
32
+ async storeCapsule(contractAddress: AztecAddress, slot: Fr, capsule: Fr[]): Promise<void> {
33
+ await this.#capsules.set(dbSlotToKey(contractAddress, slot), Buffer.concat(capsule.map(value => value.toBuffer())));
34
+ }
35
+
36
+ /**
37
+ * Returns data previously stored via `storeCapsule` in the per-contract non-volatile database.
38
+ * @param contractAddress - The contract address under which the data is scoped.
39
+ * @param slot - The slot in the database to read.
40
+ * @returns The stored data or `null` if no data is stored under the slot.
41
+ */
42
+ async loadCapsule(contractAddress: AztecAddress, slot: Fr): Promise<Fr[] | null> {
43
+ const dataBuffer = await this.#capsules.getAsync(dbSlotToKey(contractAddress, slot));
44
+ if (!dataBuffer) {
45
+ this.logger.trace(`Data not found for contract ${contractAddress.toString()} and slot ${slot.toString()}`);
46
+ return null;
47
+ }
48
+ const capsule: Fr[] = [];
49
+ for (let i = 0; i < dataBuffer.length; i += Fr.SIZE_IN_BYTES) {
50
+ capsule.push(Fr.fromBuffer(dataBuffer.subarray(i, i + Fr.SIZE_IN_BYTES)));
51
+ }
52
+ return capsule;
53
+ }
54
+
55
+ /**
56
+ * Deletes data in the per-contract non-volatile database. Does nothing if no data was present.
57
+ * @param contractAddress - The contract address under which the data is scoped.
58
+ * @param slot - The slot in the database to delete.
59
+ */
60
+ async deleteCapsule(contractAddress: AztecAddress, slot: Fr): Promise<void> {
61
+ await this.#capsules.delete(dbSlotToKey(contractAddress, slot));
62
+ }
63
+
64
+ /**
65
+ * Copies a number of contiguous entries in the per-contract non-volatile database. This allows for efficient data
66
+ * structures by avoiding repeated calls to `loadCapsule` and `storeCapsule`.
67
+ * Supports overlapping source and destination regions (which will result in the overlapped source values being
68
+ * overwritten). All copied slots must exist in the database (i.e. have been stored and not deleted)
69
+ *
70
+ * @param contractAddress - The contract address under which the data is scoped.
71
+ * @param srcSlot - The first slot to copy from.
72
+ * @param dstSlot - The first slot to copy to.
73
+ * @param numEntries - The number of entries to copy.
74
+ */
75
+ copyCapsule(contractAddress: AztecAddress, srcSlot: Fr, dstSlot: Fr, numEntries: number): Promise<void> {
76
+ return this.#store.transactionAsync(async () => {
77
+ // In order to support overlapping source and destination regions, we need to check the relative positions of source
78
+ // and destination. If destination is ahead of source, then by the time we overwrite source elements using forward
79
+ // indexes we'll have already read those. On the contrary, if source is ahead of destination we need to use backward
80
+ // indexes to avoid reading elements that've been overwritten.
81
+
82
+ const indexes = Array.from(Array(numEntries).keys());
83
+ if (srcSlot.lt(dstSlot)) {
84
+ indexes.reverse();
85
+ }
86
+
87
+ for (const i of indexes) {
88
+ const currentSrcSlot = dbSlotToKey(contractAddress, srcSlot.add(new Fr(i)));
89
+ const currentDstSlot = dbSlotToKey(contractAddress, dstSlot.add(new Fr(i)));
90
+
91
+ const toCopy = await this.#capsules.getAsync(currentSrcSlot);
92
+ if (!toCopy) {
93
+ throw new Error(`Attempted to copy empty slot ${currentSrcSlot} for contract ${contractAddress.toString()}`);
94
+ }
95
+
96
+ await this.#capsules.set(currentDstSlot, toCopy);
97
+ }
98
+ });
99
+ }
100
+
101
+ /**
102
+ * Appends multiple capsules to a capsule array stored at the base slot.
103
+ * The array length is stored at the base slot, and elements are stored in consecutive slots after it.
104
+ * All operations are performed in a single transaction.
105
+ * @param contractAddress - The contract address that owns the capsule array
106
+ * @param baseSlot - The slot where the array length is stored
107
+ * @param content - Array of capsule data to append
108
+ */
109
+ appendToCapsuleArray(contractAddress: AztecAddress, baseSlot: Fr, content: Fr[][]): Promise<void> {
110
+ return this.#store.transactionAsync(async () => {
111
+ // Load current length, defaulting to 0 if not found
112
+ const lengthData = await this.loadCapsule(contractAddress, baseSlot);
113
+ const currentLength = lengthData ? lengthData[0].toNumber() : 0;
114
+
115
+ // Store each capsule at consecutive slots after baseSlot + 1 + currentLength
116
+ for (let i = 0; i < content.length; i++) {
117
+ const nextSlot = arraySlot(baseSlot, currentLength + i);
118
+ await this.storeCapsule(contractAddress, nextSlot, content[i]);
119
+ }
120
+
121
+ // Update length to include all new capsules
122
+ const newLength = currentLength + content.length;
123
+ await this.storeCapsule(contractAddress, baseSlot, [new Fr(newLength)]);
124
+ });
125
+ }
126
+
127
+ readCapsuleArray(contractAddress: AztecAddress, baseSlot: Fr): Promise<Fr[][]> {
128
+ return this.#store.transactionAsync(async () => {
129
+ // Load length, defaulting to 0 if not found
130
+ const maybeLength = await this.loadCapsule(contractAddress, baseSlot);
131
+ const length = maybeLength ? maybeLength[0].toBigInt() : 0n;
132
+
133
+ const values: Fr[][] = [];
134
+
135
+ // Read each capsule at consecutive slots after baseSlot
136
+ for (let i = 0; i < length; i++) {
137
+ const currentValue = await this.loadCapsule(contractAddress, arraySlot(baseSlot, i));
138
+ if (currentValue == undefined) {
139
+ throw new Error(
140
+ `Expected non-empty value at capsule array in base slot ${baseSlot} at index ${i} for contract ${contractAddress}`,
141
+ );
142
+ }
143
+
144
+ values.push(currentValue);
145
+ }
146
+
147
+ return values;
148
+ });
149
+ }
150
+
151
+ setCapsuleArray(contractAddress: AztecAddress, baseSlot: Fr, content: Fr[][]) {
152
+ return this.#store.transactionAsync(async () => {
153
+ // Load current length, defaulting to 0 if not found
154
+ const maybeLength = await this.loadCapsule(contractAddress, baseSlot);
155
+ const originalLength = maybeLength ? maybeLength[0].toNumber() : 0;
156
+
157
+ // Set the new length
158
+ await this.storeCapsule(contractAddress, baseSlot, [new Fr(content.length)]);
159
+
160
+ // Store the new content, possibly overwriting existing values
161
+ for (let i = 0; i < content.length; i++) {
162
+ await this.storeCapsule(contractAddress, arraySlot(baseSlot, i), content[i]);
163
+ }
164
+
165
+ // Clear any stragglers
166
+ for (let i = content.length; i < originalLength; i++) {
167
+ await this.deleteCapsule(contractAddress, arraySlot(baseSlot, i));
168
+ }
169
+ });
170
+ }
171
+ }
172
+
173
+ function dbSlotToKey(contractAddress: AztecAddress, slot: Fr): string {
174
+ return `${contractAddress.toString()}:${slot.toString()}`;
175
+ }
176
+
177
+ function arraySlot(baseSlot: Fr, index: number) {
178
+ return baseSlot.add(new Fr(1)).add(new Fr(index));
179
+ }
@@ -0,0 +1 @@
1
+ export { CapsuleStore } from './capsule_store.js';
@@ -0,0 +1,339 @@
1
+ import type { FUNCTION_TREE_HEIGHT } from '@aztec/constants';
2
+ import type { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { toArray } from '@aztec/foundation/iterable';
4
+ import type { MembershipWitness } from '@aztec/foundation/trees';
5
+ import type { AztecAsyncKVStore, AztecAsyncMap } from '@aztec/kv-store';
6
+ import { isProtocolContract } from '@aztec/protocol-contracts';
7
+ import {
8
+ type ContractArtifact,
9
+ type FunctionAbi,
10
+ type FunctionArtifact,
11
+ type FunctionArtifactWithContractName,
12
+ FunctionCall,
13
+ type FunctionDebugMetadata,
14
+ FunctionSelector,
15
+ FunctionType,
16
+ contractArtifactFromBuffer,
17
+ contractArtifactToBuffer,
18
+ encodeArguments,
19
+ getFunctionDebugMetadata,
20
+ } from '@aztec/stdlib/abi';
21
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
22
+ import {
23
+ type ContractClass,
24
+ type ContractInstanceWithAddress,
25
+ SerializableContractInstance,
26
+ getContractClassFromArtifact,
27
+ } from '@aztec/stdlib/contract';
28
+
29
+ import { PrivateFunctionsTree } from './private_functions_tree.js';
30
+
31
+ /**
32
+ * ContractStore serves as a data manager and retriever for Aztec.nr contracts.
33
+ * It provides methods to obtain contract addresses, function ABI, bytecode, and membership witnesses
34
+ * from a given contract address and function selector. The class maintains a cache of ContractTree instances
35
+ * to efficiently serve the requested data. It interacts with the ContractDatabase and AztecNode to fetch
36
+ * the required information and facilitate cryptographic proof generation.
37
+ */
38
+ export class ContractStore {
39
+ /** Map from contract class id to private function tree. */
40
+ // TODO: Update it to be LRU cache so that it doesn't keep all the data all the time.
41
+ #privateFunctionTrees: Map<string, PrivateFunctionsTree> = new Map();
42
+
43
+ /** Map from contract address to contract class id */
44
+ #contractClassIdMap: Map<string, Fr> = new Map();
45
+
46
+ #contractArtifacts: AztecAsyncMap<string, Buffer>;
47
+ #contractInstances: AztecAsyncMap<string, Buffer>;
48
+
49
+ constructor(store: AztecAsyncKVStore) {
50
+ this.#contractArtifacts = store.openMap('contract_artifacts');
51
+ this.#contractInstances = store.openMap('contracts_instances');
52
+ }
53
+
54
+ // Setters
55
+
56
+ public async addContractArtifact(id: Fr, contract: ContractArtifact): Promise<void> {
57
+ const privateFunctions = contract.functions.filter(
58
+ functionArtifact => functionArtifact.functionType === FunctionType.PRIVATE,
59
+ );
60
+
61
+ const privateSelectors = await Promise.all(
62
+ privateFunctions.map(async privateFunctionArtifact =>
63
+ (
64
+ await FunctionSelector.fromNameAndParameters(privateFunctionArtifact.name, privateFunctionArtifact.parameters)
65
+ ).toString(),
66
+ ),
67
+ );
68
+
69
+ if (privateSelectors.length !== new Set(privateSelectors).size) {
70
+ throw new Error('Repeated function selectors of private functions');
71
+ }
72
+
73
+ await this.#contractArtifacts.set(id.toString(), contractArtifactToBuffer(contract));
74
+ }
75
+
76
+ async addContractInstance(contract: ContractInstanceWithAddress): Promise<void> {
77
+ this.#contractClassIdMap.set(contract.address.toString(), contract.currentContractClassId);
78
+
79
+ await this.#contractInstances.set(
80
+ contract.address.toString(),
81
+ new SerializableContractInstance(contract).toBuffer(),
82
+ );
83
+ }
84
+
85
+ // Private getters
86
+
87
+ async #getContractClassId(contractAddress: AztecAddress): Promise<Fr | undefined> {
88
+ if (!this.#contractClassIdMap.has(contractAddress.toString())) {
89
+ const instance = await this.getContractInstance(contractAddress);
90
+ if (!instance) {
91
+ return;
92
+ }
93
+ this.#contractClassIdMap.set(contractAddress.toString(), instance.currentContractClassId);
94
+ }
95
+ return this.#contractClassIdMap.get(contractAddress.toString());
96
+ }
97
+
98
+ /**
99
+ * Retrieve or create a ContractTree instance based on the provided class id.
100
+ * If an existing tree with the same class id is found in the cache, it will be returned.
101
+ * Otherwise, a new ContractTree instance will be created using the contract data from the database
102
+ * and added to the cache before returning.
103
+ *
104
+ * @param classId - The class id of the contract for which the ContractTree is required.
105
+ * @returns A ContractTree instance associated with the specified contract address.
106
+ * @throws An Error if the contract is not found in the ContractDatabase.
107
+ */
108
+ async #getPrivateFunctionTreeForClassId(classId: Fr): Promise<PrivateFunctionsTree | undefined> {
109
+ if (!this.#privateFunctionTrees.has(classId.toString())) {
110
+ const artifact = await this.getContractArtifact(classId);
111
+ if (!artifact) {
112
+ return;
113
+ }
114
+ const tree = await PrivateFunctionsTree.create(artifact);
115
+ this.#privateFunctionTrees.set(classId.toString(), tree);
116
+ }
117
+ return this.#privateFunctionTrees.get(classId.toString())!;
118
+ }
119
+
120
+ async #getContractArtifactByAddress(contractAddress: AztecAddress): Promise<ContractArtifact | undefined> {
121
+ const contractClassId = await this.#getContractClassId(contractAddress);
122
+ return contractClassId && this.getContractArtifact(contractClassId);
123
+ }
124
+
125
+ // Public getters
126
+
127
+ async getContractsAddresses(): Promise<AztecAddress[]> {
128
+ const keys = await toArray(this.#contractInstances.keysAsync());
129
+ return keys.map(AztecAddress.fromString);
130
+ }
131
+
132
+ /** Returns a contract instance for a given address. Throws if not found. */
133
+ public async getContractInstance(contractAddress: AztecAddress): Promise<ContractInstanceWithAddress | undefined> {
134
+ const contract = await this.#contractInstances.getAsync(contractAddress.toString());
135
+ return contract && SerializableContractInstance.fromBuffer(contract).withAddress(contractAddress);
136
+ }
137
+
138
+ public async getContractArtifact(contractClassId: Fr): Promise<ContractArtifact | undefined> {
139
+ const contract = await this.#contractArtifacts.getAsync(contractClassId.toString());
140
+ // TODO(@spalladino): AztecAsyncMap lies and returns Uint8Arrays instead of Buffers, hence the extra Buffer.from.
141
+ return contract && contractArtifactFromBuffer(Buffer.from(contract));
142
+ }
143
+
144
+ /** Returns a contract class for a given class id. Throws if not found. */
145
+ public async getContractClass(contractClassId: Fr): Promise<ContractClass | undefined> {
146
+ const artifact = await this.getContractArtifact(contractClassId);
147
+ return artifact && getContractClassFromArtifact(artifact);
148
+ }
149
+
150
+ public async getContract(
151
+ address: AztecAddress,
152
+ ): Promise<(ContractInstanceWithAddress & ContractArtifact) | undefined> {
153
+ const instance = await this.getContractInstance(address);
154
+ if (!instance) {
155
+ return;
156
+ }
157
+ const artifact = await this.getContractArtifact(instance.currentContractClassId);
158
+ if (!artifact) {
159
+ return;
160
+ }
161
+ return { ...instance, ...artifact };
162
+ }
163
+
164
+ /**
165
+ * Retrieves the artifact of a specified function within a given contract.
166
+ * The function is identified by its selector, which is a unique code generated from the function's signature.
167
+ * Throws an error if the contract address or function selector are invalid or not found.
168
+ *
169
+ * @param contractAddress - The AztecAddress representing the contract containing the function.
170
+ * @param selector - The function selector.
171
+ * @returns The corresponding function's artifact as an object.
172
+ */
173
+ public async getFunctionArtifact(
174
+ contractAddress: AztecAddress,
175
+ selector: FunctionSelector,
176
+ ): Promise<FunctionArtifactWithContractName | undefined> {
177
+ const artifact = await this.#getContractArtifactByAddress(contractAddress);
178
+ const fnArtifact = artifact && (await this.#findFunctionArtifactBySelector(artifact, selector));
179
+ return fnArtifact && { ...fnArtifact, contractName: artifact.name };
180
+ }
181
+
182
+ public async getFunctionArtifactWithDebugMetadata(
183
+ contractAddress: AztecAddress,
184
+ selector: FunctionSelector,
185
+ ): Promise<FunctionArtifactWithContractName> {
186
+ const artifact = await this.getFunctionArtifact(contractAddress, selector);
187
+ if (!artifact) {
188
+ throw new Error(`Function artifact not found for contract ${contractAddress} and selector ${selector}.`);
189
+ }
190
+ const debug = await this.getFunctionDebugMetadata(contractAddress, selector);
191
+ return {
192
+ ...artifact,
193
+ debug,
194
+ };
195
+ }
196
+
197
+ public async getPublicFunctionArtifact(
198
+ contractAddress: AztecAddress,
199
+ ): Promise<FunctionArtifactWithContractName | undefined> {
200
+ const artifact = await this.#getContractArtifactByAddress(contractAddress);
201
+ const fnArtifact = artifact && artifact.functions.find(fn => fn.functionType === FunctionType.PUBLIC);
202
+ return fnArtifact && { ...fnArtifact, contractName: artifact.name };
203
+ }
204
+
205
+ public async getFunctionAbi(
206
+ contractAddress: AztecAddress,
207
+ selector: FunctionSelector,
208
+ ): Promise<FunctionAbi | undefined> {
209
+ const artifact = await this.#getContractArtifactByAddress(contractAddress);
210
+ return artifact && (await this.#findFunctionAbiBySelector(artifact, selector));
211
+ }
212
+
213
+ /**
214
+ * Retrieves the debug metadata of a specified function within a given contract.
215
+ * The function is identified by its selector, which is a unique code generated from the function's signature.
216
+ * Returns undefined if the debug metadata for the given function is not found.
217
+ * Throws if the contract has not been added to the database.
218
+ *
219
+ * @param contractAddress - The AztecAddress representing the contract containing the function.
220
+ * @param selector - The function selector.
221
+ * @returns The corresponding function's artifact as an object.
222
+ */
223
+ public async getFunctionDebugMetadata(
224
+ contractAddress: AztecAddress,
225
+ selector: FunctionSelector,
226
+ ): Promise<FunctionDebugMetadata | undefined> {
227
+ const artifact = await this.#getContractArtifactByAddress(contractAddress);
228
+ const fnArtifact = artifact && (await this.#findFunctionArtifactBySelector(artifact, selector));
229
+ return fnArtifact && getFunctionDebugMetadata(artifact, fnArtifact);
230
+ }
231
+
232
+ public async getPublicFunctionDebugMetadata(
233
+ contractAddress: AztecAddress,
234
+ ): Promise<FunctionDebugMetadata | undefined> {
235
+ const artifact = await this.#getContractArtifactByAddress(contractAddress);
236
+ const fnArtifact = artifact && artifact.functions.find(fn => fn.functionType === FunctionType.PUBLIC);
237
+ return fnArtifact && getFunctionDebugMetadata(artifact, fnArtifact);
238
+ }
239
+
240
+ /**
241
+ * Retrieve the function membership witness for the given contract class and function selector.
242
+ * The function membership witness represents a proof that the function belongs to the specified contract.
243
+ * Throws an error if the contract address or function selector is unknown.
244
+ *
245
+ * @param contractClassId - The id of the class.
246
+ * @param selector - The function selector.
247
+ * @returns A promise that resolves with the MembershipWitness instance for the specified contract's function.
248
+ */
249
+ public async getFunctionMembershipWitness(
250
+ contractClassId: Fr,
251
+ selector: FunctionSelector,
252
+ ): Promise<MembershipWitness<typeof FUNCTION_TREE_HEIGHT> | undefined> {
253
+ const tree = await this.#getPrivateFunctionTreeForClassId(contractClassId);
254
+ return tree?.getFunctionMembershipWitness(selector);
255
+ }
256
+
257
+ public async getDebugContractName(contractAddress: AztecAddress) {
258
+ const artifact = await this.#getContractArtifactByAddress(contractAddress);
259
+ return artifact?.name;
260
+ }
261
+
262
+ public async getDebugFunctionName(contractAddress: AztecAddress, selector: FunctionSelector) {
263
+ const artifact = await this.#getContractArtifactByAddress(contractAddress);
264
+ const fnArtifact = artifact && (await this.#findFunctionAbiBySelector(artifact, selector));
265
+ return `${artifact?.name ?? contractAddress}:${fnArtifact?.name ?? selector}`;
266
+ }
267
+
268
+ async #findFunctionArtifactBySelector(
269
+ artifact: ContractArtifact,
270
+ selector: FunctionSelector,
271
+ ): Promise<FunctionArtifact | undefined> {
272
+ const functions = artifact.functions;
273
+ for (let i = 0; i < functions.length; i++) {
274
+ const fn = functions[i];
275
+ const fnSelector = await FunctionSelector.fromNameAndParameters(fn.name, fn.parameters);
276
+ if (fnSelector.equals(selector)) {
277
+ return fn;
278
+ }
279
+ }
280
+ }
281
+
282
+ async #findFunctionAbiBySelector(
283
+ artifact: ContractArtifact,
284
+ selector: FunctionSelector,
285
+ ): Promise<FunctionAbi | undefined> {
286
+ const functions = [...artifact.functions, ...(artifact.nonDispatchPublicFunctions ?? [])];
287
+ for (let i = 0; i < functions.length; i++) {
288
+ const fn = functions[i];
289
+ const fnSelector = await FunctionSelector.fromNameAndParameters(fn.name, fn.parameters);
290
+ if (fnSelector.equals(selector)) {
291
+ return fn;
292
+ }
293
+ }
294
+ }
295
+
296
+ public async getFunctionCall(functionName: string, args: any[], to: AztecAddress): Promise<FunctionCall> {
297
+ const contract = await this.getContract(to);
298
+ if (!contract) {
299
+ throw new Error(
300
+ `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`,
301
+ );
302
+ }
303
+
304
+ const functionDao = contract.functions.find(f => f.name === functionName);
305
+ if (!functionDao) {
306
+ throw new Error(`Unknown function ${functionName} in contract ${contract.name}.`);
307
+ }
308
+
309
+ return {
310
+ name: functionDao.name,
311
+ args: encodeArguments(functionDao, args),
312
+ selector: await FunctionSelector.fromNameAndParameters(functionDao.name, functionDao.parameters),
313
+ type: functionDao.functionType,
314
+ to,
315
+ hideMsgSender: false,
316
+ isStatic: functionDao.isStatic,
317
+ returnTypes: functionDao.returnTypes,
318
+ };
319
+ }
320
+
321
+ // Synchronize target contract data
322
+ public async syncPrivateState(
323
+ contractAddress: AztecAddress,
324
+ functionToInvokeAfterSync: FunctionSelector | null,
325
+ utilityExecutor: (privateSyncCall: FunctionCall) => Promise<any>,
326
+ ) {
327
+ // Protocol contracts don't have private state to sync
328
+ if (!isProtocolContract(contractAddress)) {
329
+ const syncPrivateStateFunctionCall = await this.getFunctionCall('sync_private_state', [], contractAddress);
330
+ if (functionToInvokeAfterSync && functionToInvokeAfterSync.equals(syncPrivateStateFunctionCall.selector)) {
331
+ throw new Error(
332
+ 'Forbidden `sync_private_state` invocation. `sync_private_state` can only be invoked by PXE, manual execution can lead to inconsistencies.',
333
+ );
334
+ }
335
+
336
+ return utilityExecutor(syncPrivateStateFunctionCall);
337
+ }
338
+ }
339
+ }
@@ -0,0 +1 @@
1
+ export { ContractStore } from './contract_store.js';
@@ -0,0 +1,67 @@
1
+ import { FUNCTION_TREE_HEIGHT } from '@aztec/constants';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { assertLength } from '@aztec/foundation/serialize';
4
+ import { MembershipWitness, type MerkleTree } from '@aztec/foundation/trees';
5
+ import { type ContractArtifact, FunctionSelector, FunctionType } from '@aztec/stdlib/abi';
6
+ import {
7
+ type PrivateFunction,
8
+ computePrivateFunctionLeaf,
9
+ computePrivateFunctionsTree,
10
+ getContractClassPrivateFunctionFromArtifact,
11
+ } from '@aztec/stdlib/contract';
12
+
13
+ /**
14
+ * Represents a Merkle tree of functions for a particular Contract Class.
15
+ * It manages the construction of the function tree, computes its root, and generates membership witnesses
16
+ * for constrained functions. This class also enables lookup of specific function artifact using selectors.
17
+ * It is used in combination with the AztecNode to compute various data for executing private transactions.
18
+ */
19
+ export class PrivateFunctionsTree {
20
+ private tree?: MerkleTree;
21
+
22
+ private constructor(private readonly privateFunctions: PrivateFunction[]) {}
23
+
24
+ static async create(artifact: ContractArtifact) {
25
+ const privateFunctions = await Promise.all(
26
+ artifact.functions
27
+ .filter(fn => fn.functionType === FunctionType.PRIVATE)
28
+ .map(getContractClassPrivateFunctionFromArtifact),
29
+ );
30
+ return new PrivateFunctionsTree(privateFunctions);
31
+ }
32
+
33
+ /**
34
+ * Retrieve the membership witness of a function within a contract's function tree.
35
+ * A membership witness represents the position and authentication path of a target function
36
+ * in the Merkle tree of constrained functions. It is required to prove the existence of the
37
+ * function within the contract during execution. Throws if fn does not exist or is not private.
38
+ *
39
+ * @param selector - The function selector.
40
+ * @returns A MembershipWitness instance representing the position and authentication path of the function in the function tree.
41
+ */
42
+ public async getFunctionMembershipWitness(
43
+ selector: FunctionSelector,
44
+ ): Promise<MembershipWitness<typeof FUNCTION_TREE_HEIGHT>> {
45
+ const fn = this.privateFunctions.find(f => f.selector.equals(selector));
46
+ if (!fn) {
47
+ throw new Error(`Private function with selector ${selector.toString()} not found in contract class.`);
48
+ }
49
+
50
+ const leaf = await computePrivateFunctionLeaf(fn);
51
+ const tree = await this.getTree();
52
+ const index = tree.getIndex(leaf);
53
+ const path = tree.getSiblingPath(index);
54
+ return new MembershipWitness<typeof FUNCTION_TREE_HEIGHT>(
55
+ FUNCTION_TREE_HEIGHT,
56
+ BigInt(index),
57
+ assertLength(path.map(Fr.fromBuffer), FUNCTION_TREE_HEIGHT),
58
+ );
59
+ }
60
+
61
+ private async getTree() {
62
+ if (!this.tree) {
63
+ this.tree = await computePrivateFunctionsTree(this.privateFunctions);
64
+ }
65
+ return this.tree;
66
+ }
67
+ }
@@ -1,10 +1,8 @@
1
- export * from './address_data_provider/index.js';
2
- export * from './auth_witness_data_provider/index.js';
3
- export * from './capsule_data_provider/index.js';
4
- export * from './contract_data_provider/index.js';
5
- export * from './note_data_provider/index.js';
6
- export * from './sync_data_provider/index.js';
7
- export * from './tagging_data_provider/index.js';
8
- export * from './data_provider.js';
9
-
10
- export const PXE_DATA_SCHEMA_VERSION = 2;
1
+ export * from './address_store/index.js';
2
+ export * from './capsule_store/index.js';
3
+ export * from './contract_store/index.js';
4
+ export * from './note_store/index.js';
5
+ export * from './anchor_block_store/index.js';
6
+ export * from './tagging_store/index.js';
7
+ export * from './metadata.js';
8
+ export * from './private_event_store/private_event_store.js';
@@ -0,0 +1 @@
1
+ export const PXE_DATA_SCHEMA_VERSION = 2;