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

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 (392) hide show
  1. package/dest/bin/check_oracle_version.d.ts +1 -1
  2. package/dest/bin/check_oracle_version.js +105 -15
  3. package/dest/block_synchronizer/block_synchronizer.d.ts +43 -0
  4. package/dest/block_synchronizer/block_synchronizer.d.ts.map +1 -0
  5. package/dest/block_synchronizer/block_synchronizer.js +147 -0
  6. package/dest/block_synchronizer/index.d.ts +2 -0
  7. package/dest/block_synchronizer/index.d.ts.map +1 -0
  8. package/dest/block_synchronizer/index.js +1 -0
  9. package/dest/config/index.d.ts +6 -12
  10. package/dest/config/index.d.ts.map +1 -1
  11. package/dest/config/index.js +24 -13
  12. package/dest/config/package_info.d.ts +1 -1
  13. package/dest/config/package_info.js +1 -1
  14. package/dest/contract_function_simulator/benchmarked_node.d.ts +9 -0
  15. package/dest/contract_function_simulator/benchmarked_node.d.ts.map +1 -0
  16. package/dest/contract_function_simulator/benchmarked_node.js +77 -0
  17. package/dest/contract_function_simulator/contract_function_simulator.d.ts +44 -16
  18. package/dest/contract_function_simulator/contract_function_simulator.d.ts.map +1 -1
  19. package/dest/contract_function_simulator/contract_function_simulator.js +78 -38
  20. package/dest/contract_function_simulator/execution_note_cache.d.ts +25 -14
  21. package/dest/contract_function_simulator/execution_note_cache.d.ts.map +1 -1
  22. package/dest/contract_function_simulator/execution_note_cache.js +59 -34
  23. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts +2 -2
  24. package/dest/contract_function_simulator/execution_tagging_index_cache.d.ts.map +1 -1
  25. package/dest/contract_function_simulator/execution_tagging_index_cache.js +1 -1
  26. package/dest/contract_function_simulator/hashed_values_cache.d.ts +2 -2
  27. package/dest/contract_function_simulator/hashed_values_cache.d.ts.map +1 -1
  28. package/dest/contract_function_simulator/index.d.ts +2 -2
  29. package/dest/contract_function_simulator/index.d.ts.map +1 -1
  30. package/dest/contract_function_simulator/index.js +1 -1
  31. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts +5 -4
  32. package/dest/contract_function_simulator/noir-structs/event_validation_request.d.ts.map +1 -1
  33. package/dest/contract_function_simulator/noir-structs/event_validation_request.js +6 -3
  34. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts +5 -4
  35. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.d.ts.map +1 -1
  36. package/dest/contract_function_simulator/noir-structs/log_retrieval_request.js +7 -6
  37. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts +3 -3
  38. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.d.ts.map +1 -1
  39. package/dest/contract_function_simulator/noir-structs/log_retrieval_response.js +1 -1
  40. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts +7 -5
  41. package/dest/contract_function_simulator/noir-structs/note_validation_request.d.ts.map +1 -1
  42. package/dest/contract_function_simulator/noir-structs/note_validation_request.js +13 -4
  43. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts +4 -10
  44. package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map +1 -1
  45. package/dest/contract_function_simulator/noir-structs/utility_context.js +7 -18
  46. package/dest/contract_function_simulator/oracle/index.d.ts +1 -1
  47. package/dest/contract_function_simulator/oracle/interfaces.d.ts +28 -18
  48. package/dest/contract_function_simulator/oracle/interfaces.d.ts.map +1 -1
  49. package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts +2 -2
  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 +14 -8
  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 +16 -11
  55. package/dest/contract_function_simulator/oracle/oracle.d.ts +13 -10
  56. package/dest/contract_function_simulator/oracle/oracle.d.ts.map +1 -1
  57. package/dest/contract_function_simulator/oracle/oracle.js +69 -41
  58. package/dest/contract_function_simulator/oracle/private_execution.d.ts +2 -27
  59. package/dest/contract_function_simulator/oracle/private_execution.d.ts.map +1 -1
  60. package/dest/contract_function_simulator/oracle/private_execution.js +2 -38
  61. package/dest/contract_function_simulator/oracle/private_execution_oracle.d.ts +37 -33
  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 +58 -49
  64. package/dest/contract_function_simulator/oracle/utility_execution_oracle.d.ts +77 -26
  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 -64
  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_sync/index.d.ts +23 -0
  74. package/dest/contract_sync/index.d.ts.map +1 -0
  75. package/dest/contract_sync/index.js +54 -0
  76. package/dest/debug/pxe_debug_utils.d.ts +31 -0
  77. package/dest/debug/pxe_debug_utils.d.ts.map +1 -0
  78. package/dest/debug/pxe_debug_utils.js +38 -0
  79. package/dest/entrypoints/client/bundle/index.d.ts +1 -2
  80. package/dest/entrypoints/client/bundle/index.d.ts.map +1 -1
  81. package/dest/entrypoints/client/bundle/index.js +0 -1
  82. package/dest/entrypoints/client/bundle/utils.d.ts +1 -1
  83. package/dest/entrypoints/client/bundle/utils.d.ts.map +1 -1
  84. package/dest/entrypoints/client/bundle/utils.js +13 -4
  85. package/dest/entrypoints/client/lazy/index.d.ts +1 -2
  86. package/dest/entrypoints/client/lazy/index.d.ts.map +1 -1
  87. package/dest/entrypoints/client/lazy/index.js +0 -1
  88. package/dest/entrypoints/client/lazy/utils.d.ts +1 -1
  89. package/dest/entrypoints/client/lazy/utils.d.ts.map +1 -1
  90. package/dest/entrypoints/client/lazy/utils.js +13 -4
  91. package/dest/entrypoints/pxe_creation_options.d.ts +5 -2
  92. package/dest/entrypoints/pxe_creation_options.d.ts.map +1 -1
  93. package/dest/entrypoints/server/index.d.ts +4 -2
  94. package/dest/entrypoints/server/index.d.ts.map +1 -1
  95. package/dest/entrypoints/server/index.js +3 -1
  96. package/dest/entrypoints/server/utils.d.ts +1 -1
  97. package/dest/entrypoints/server/utils.d.ts.map +1 -1
  98. package/dest/entrypoints/server/utils.js +13 -20
  99. package/dest/error_enriching.d.ts +4 -4
  100. package/dest/error_enriching.d.ts.map +1 -1
  101. package/dest/error_enriching.js +6 -6
  102. package/dest/events/event_service.d.ts +16 -0
  103. package/dest/events/event_service.d.ts.map +1 -0
  104. package/dest/events/event_service.js +45 -0
  105. package/dest/events/index.d.ts +2 -0
  106. package/dest/events/index.d.ts.map +1 -0
  107. package/dest/events/index.js +1 -0
  108. package/dest/events/private_event_filter_validator.d.ts +9 -0
  109. package/dest/events/private_event_filter_validator.d.ts.map +1 -0
  110. package/dest/events/private_event_filter_validator.js +38 -0
  111. package/dest/job_coordinator/job_coordinator.d.ts +74 -0
  112. package/dest/job_coordinator/job_coordinator.d.ts.map +1 -0
  113. package/dest/job_coordinator/job_coordinator.js +93 -0
  114. package/dest/logs/log_service.d.ts +27 -0
  115. package/dest/logs/log_service.d.ts.map +1 -0
  116. package/dest/logs/log_service.js +128 -0
  117. package/dest/notes/index.d.ts +2 -0
  118. package/dest/notes/index.d.ts.map +1 -0
  119. package/dest/notes/index.js +1 -0
  120. package/dest/notes/note_service.d.ts +49 -0
  121. package/dest/notes/note_service.d.ts.map +1 -0
  122. package/dest/notes/note_service.js +148 -0
  123. package/dest/oracle_version.d.ts +3 -3
  124. package/dest/oracle_version.d.ts.map +1 -1
  125. package/dest/oracle_version.js +4 -3
  126. package/dest/private_kernel/hints/compute_tx_include_by_timestamp.d.ts +1 -1
  127. package/dest/private_kernel/hints/index.d.ts +2 -2
  128. package/dest/private_kernel/hints/index.d.ts.map +1 -1
  129. package/dest/private_kernel/hints/index.js +1 -1
  130. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts +28 -0
  131. package/dest/private_kernel/hints/private_kernel_reset_private_inputs_builder.d.ts.map +1 -0
  132. package/dest/private_kernel/hints/{build_private_kernel_reset_private_inputs.js → private_kernel_reset_private_inputs_builder.js} +19 -13
  133. package/dest/private_kernel/index.d.ts +1 -1
  134. package/dest/private_kernel/private_kernel_execution_prover.d.ts +1 -1
  135. package/dest/private_kernel/private_kernel_execution_prover.d.ts.map +1 -1
  136. package/dest/private_kernel/private_kernel_execution_prover.js +15 -15
  137. package/dest/private_kernel/private_kernel_oracle.d.ts +26 -29
  138. package/dest/private_kernel/private_kernel_oracle.d.ts.map +1 -1
  139. package/dest/private_kernel/private_kernel_oracle.js +90 -2
  140. package/dest/pxe.d.ts +54 -83
  141. package/dest/pxe.d.ts.map +1 -1
  142. package/dest/pxe.js +192 -241
  143. package/dest/storage/address_store/address_store.d.ts +11 -0
  144. package/dest/storage/address_store/address_store.d.ts.map +1 -0
  145. package/dest/storage/{address_data_provider/address_data_provider.js → address_store/address_store.js} +1 -1
  146. package/dest/storage/address_store/index.d.ts +2 -0
  147. package/dest/storage/address_store/index.d.ts.map +1 -0
  148. package/dest/storage/address_store/index.js +1 -0
  149. package/dest/storage/anchor_block_store/anchor_block_store.d.ts +9 -0
  150. package/dest/storage/anchor_block_store/anchor_block_store.d.ts.map +1 -0
  151. package/dest/storage/{sync_data_provider/sync_data_provider.js → anchor_block_store/anchor_block_store.js} +2 -9
  152. package/dest/storage/anchor_block_store/index.d.ts +2 -0
  153. package/dest/storage/anchor_block_store/index.d.ts.map +1 -0
  154. package/dest/storage/anchor_block_store/index.js +1 -0
  155. package/dest/storage/capsule_store/capsule_store.d.ts +72 -0
  156. package/dest/storage/capsule_store/capsule_store.d.ts.map +1 -0
  157. package/dest/storage/capsule_store/capsule_store.js +255 -0
  158. package/dest/storage/capsule_store/index.d.ts +2 -0
  159. package/dest/storage/capsule_store/index.d.ts.map +1 -0
  160. package/dest/storage/capsule_store/index.js +1 -0
  161. package/dest/storage/{contract_data_provider/contract_data_provider.d.ts → contract_store/contract_store.d.ts} +7 -15
  162. package/dest/storage/contract_store/contract_store.d.ts.map +1 -0
  163. package/dest/storage/{contract_data_provider/contract_data_provider.js → contract_store/contract_store.js} +34 -15
  164. package/dest/storage/contract_store/index.d.ts +2 -0
  165. package/dest/storage/contract_store/index.d.ts.map +1 -0
  166. package/dest/storage/contract_store/index.js +1 -0
  167. package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.d.ts +1 -1
  168. package/dest/storage/contract_store/private_functions_tree.d.ts.map +1 -0
  169. package/dest/storage/{contract_data_provider → contract_store}/private_functions_tree.js +1 -1
  170. package/dest/storage/index.d.ts +8 -8
  171. package/dest/storage/index.d.ts.map +1 -1
  172. package/dest/storage/index.js +7 -7
  173. package/dest/storage/metadata.d.ts +1 -1
  174. package/dest/storage/note_store/index.d.ts +3 -0
  175. package/dest/storage/note_store/index.d.ts.map +1 -0
  176. package/dest/storage/note_store/index.js +2 -0
  177. package/dest/storage/note_store/note_store.d.ts +73 -0
  178. package/dest/storage/note_store/note_store.d.ts.map +1 -0
  179. package/dest/storage/note_store/note_store.js +303 -0
  180. package/dest/storage/note_store/stored_note.d.ts +16 -0
  181. package/dest/storage/note_store/stored_note.d.ts.map +1 -0
  182. package/dest/storage/note_store/stored_note.js +43 -0
  183. package/dest/storage/private_event_store/private_event_store.d.ts +91 -0
  184. package/dest/storage/private_event_store/private_event_store.d.ts.map +1 -0
  185. package/dest/storage/private_event_store/private_event_store.js +250 -0
  186. package/dest/storage/private_event_store/stored_private_event.d.ts +23 -0
  187. package/dest/storage/private_event_store/stored_private_event.d.ts.map +1 -0
  188. package/dest/storage/private_event_store/stored_private_event.js +56 -0
  189. package/dest/storage/tagging_store/index.d.ts +4 -0
  190. package/dest/storage/tagging_store/index.d.ts.map +1 -0
  191. package/dest/storage/tagging_store/index.js +3 -0
  192. package/dest/storage/tagging_store/recipient_tagging_store.d.ts +28 -0
  193. package/dest/storage/tagging_store/recipient_tagging_store.d.ts.map +1 -0
  194. package/dest/storage/tagging_store/recipient_tagging_store.js +99 -0
  195. package/dest/storage/tagging_store/sender_address_book_store.d.ts +14 -0
  196. package/dest/storage/tagging_store/sender_address_book_store.d.ts.map +1 -0
  197. package/dest/storage/tagging_store/sender_address_book_store.js +30 -0
  198. package/dest/storage/tagging_store/sender_tagging_store.d.ts +77 -0
  199. package/dest/storage/tagging_store/sender_tagging_store.d.ts.map +1 -0
  200. package/dest/storage/tagging_store/sender_tagging_store.js +278 -0
  201. package/dest/tagging/constants.d.ts +2 -2
  202. package/dest/tagging/constants.d.ts.map +1 -1
  203. package/dest/tagging/constants.js +10 -2
  204. package/dest/tagging/get_all_logs_by_tags.d.ts +24 -0
  205. package/dest/tagging/get_all_logs_by_tags.d.ts.map +1 -0
  206. package/dest/tagging/get_all_logs_by_tags.js +46 -0
  207. package/dest/tagging/index.d.ts +16 -6
  208. package/dest/tagging/index.d.ts.map +1 -1
  209. package/dest/tagging/index.js +15 -5
  210. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts +15 -0
  211. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.d.ts.map +1 -0
  212. package/dest/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.js +99 -0
  213. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts +12 -0
  214. package/dest/tagging/recipient_sync/utils/find_highest_indexes.d.ts.map +1 -0
  215. package/dest/tagging/recipient_sync/utils/find_highest_indexes.js +20 -0
  216. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts +15 -0
  217. package/dest/tagging/recipient_sync/utils/load_logs_for_range.d.ts.map +1 -0
  218. package/dest/tagging/recipient_sync/utils/load_logs_for_range.js +32 -0
  219. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts +21 -0
  220. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.d.ts.map +1 -0
  221. package/dest/tagging/sender_sync/sync_sender_tagging_indexes.js +74 -0
  222. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts +11 -0
  223. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.d.ts.map +1 -0
  224. package/dest/tagging/sender_sync/utils/get_status_change_of_pending.js +29 -0
  225. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts +21 -0
  226. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.d.ts.map +1 -0
  227. package/dest/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.js +60 -0
  228. package/package.json +20 -19
  229. package/src/bin/check_oracle_version.ts +131 -20
  230. package/src/block_synchronizer/block_synchronizer.ts +169 -0
  231. package/src/block_synchronizer/index.ts +1 -0
  232. package/src/config/index.ts +24 -25
  233. package/src/config/package_info.ts +1 -1
  234. package/src/contract_function_simulator/benchmarked_node.ts +103 -0
  235. package/src/contract_function_simulator/contract_function_simulator.ts +127 -42
  236. package/src/contract_function_simulator/execution_note_cache.ts +58 -28
  237. package/src/contract_function_simulator/execution_tagging_index_cache.ts +1 -1
  238. package/src/contract_function_simulator/hashed_values_cache.ts +1 -1
  239. package/src/contract_function_simulator/index.ts +1 -1
  240. package/src/contract_function_simulator/noir-structs/event_validation_request.ts +6 -2
  241. package/src/contract_function_simulator/noir-structs/log_retrieval_request.ts +6 -5
  242. package/src/contract_function_simulator/noir-structs/log_retrieval_response.ts +2 -2
  243. package/src/contract_function_simulator/noir-structs/note_validation_request.ts +15 -3
  244. package/src/contract_function_simulator/noir-structs/utility_context.ts +6 -25
  245. package/src/contract_function_simulator/oracle/interfaces.ts +41 -16
  246. package/src/contract_function_simulator/oracle/message_load_oracle_inputs.ts +1 -1
  247. package/src/contract_function_simulator/oracle/note_packing_utils.ts +30 -14
  248. package/src/contract_function_simulator/oracle/oracle.ts +88 -43
  249. package/src/contract_function_simulator/oracle/private_execution.ts +2 -68
  250. package/src/contract_function_simulator/oracle/private_execution_oracle.ts +138 -60
  251. package/src/contract_function_simulator/oracle/utility_execution_oracle.ts +261 -71
  252. package/src/contract_function_simulator/pick_notes.ts +1 -1
  253. package/src/contract_function_simulator/proxied_contract_data_source.ts +24 -7
  254. package/src/contract_sync/index.ts +98 -0
  255. package/src/debug/pxe_debug_utils.ts +49 -0
  256. package/src/entrypoints/client/bundle/index.ts +0 -1
  257. package/src/entrypoints/client/bundle/utils.ts +10 -4
  258. package/src/entrypoints/client/lazy/index.ts +0 -1
  259. package/src/entrypoints/client/lazy/utils.ts +10 -5
  260. package/src/entrypoints/pxe_creation_options.ts +4 -1
  261. package/src/entrypoints/server/index.ts +3 -1
  262. package/src/entrypoints/server/utils.ts +13 -31
  263. package/src/error_enriching.ts +7 -15
  264. package/src/events/event_service.ts +73 -0
  265. package/src/events/index.ts +1 -0
  266. package/src/events/private_event_filter_validator.ts +46 -0
  267. package/src/job_coordinator/job_coordinator.ts +149 -0
  268. package/src/logs/log_service.ts +220 -0
  269. package/src/notes/index.ts +1 -0
  270. package/src/notes/note_service.ts +197 -0
  271. package/src/oracle_version.ts +4 -3
  272. package/src/private_kernel/hints/index.ts +1 -1
  273. package/src/private_kernel/hints/{build_private_kernel_reset_private_inputs.ts → private_kernel_reset_private_inputs_builder.ts} +38 -31
  274. package/src/private_kernel/private_kernel_execution_prover.ts +15 -21
  275. package/src/private_kernel/private_kernel_oracle.ts +118 -37
  276. package/src/pxe.ts +262 -313
  277. package/src/storage/{address_data_provider/address_data_provider.ts → address_store/address_store.ts} +1 -1
  278. package/src/storage/address_store/index.ts +1 -0
  279. package/src/storage/{sync_data_provider/sync_data_provider.ts → anchor_block_store/anchor_block_store.ts} +2 -11
  280. package/src/storage/anchor_block_store/index.ts +1 -0
  281. package/src/storage/capsule_store/capsule_store.ts +315 -0
  282. package/src/storage/capsule_store/index.ts +1 -0
  283. package/src/storage/{contract_data_provider/contract_data_provider.ts → contract_store/contract_store.ts} +45 -20
  284. package/src/storage/contract_store/index.ts +1 -0
  285. package/src/storage/{contract_data_provider → contract_store}/private_functions_tree.ts +1 -1
  286. package/src/storage/index.ts +7 -7
  287. package/src/storage/note_store/index.ts +2 -0
  288. package/src/storage/note_store/note_store.ts +381 -0
  289. package/src/storage/note_store/stored_note.ts +48 -0
  290. package/src/storage/private_event_store/private_event_store.ts +363 -0
  291. package/src/storage/private_event_store/stored_private_event.ts +73 -0
  292. package/src/storage/tagging_store/index.ts +3 -0
  293. package/src/storage/tagging_store/recipient_tagging_store.ts +129 -0
  294. package/src/storage/tagging_store/sender_address_book_store.ts +42 -0
  295. package/src/storage/tagging_store/sender_tagging_store.ts +345 -0
  296. package/src/tagging/constants.ts +10 -2
  297. package/src/tagging/get_all_logs_by_tags.ts +68 -0
  298. package/src/tagging/index.ts +18 -5
  299. package/src/tagging/recipient_sync/load_private_logs_for_sender_recipient_pair.ts +143 -0
  300. package/src/tagging/recipient_sync/utils/find_highest_indexes.ts +34 -0
  301. package/src/tagging/recipient_sync/utils/load_logs_for_range.ts +49 -0
  302. package/src/tagging/sender_sync/sync_sender_tagging_indexes.ts +99 -0
  303. package/src/tagging/sender_sync/utils/get_status_change_of_pending.ts +36 -0
  304. package/src/tagging/sender_sync/utils/load_and_store_new_tagging_indexes.ts +84 -0
  305. package/dest/contract_function_simulator/execution_data_provider.d.ts +0 -274
  306. package/dest/contract_function_simulator/execution_data_provider.d.ts.map +0 -1
  307. package/dest/contract_function_simulator/execution_data_provider.js +0 -14
  308. package/dest/contract_function_simulator/proxied_node.d.ts +0 -9
  309. package/dest/contract_function_simulator/proxied_node.d.ts.map +0 -1
  310. package/dest/contract_function_simulator/proxied_node.js +0 -27
  311. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts +0 -122
  312. package/dest/contract_function_simulator/pxe_oracle_interface.d.ts.map +0 -1
  313. package/dest/contract_function_simulator/pxe_oracle_interface.js +0 -701
  314. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts +0 -28
  315. package/dest/private_kernel/hints/build_private_kernel_reset_private_inputs.d.ts.map +0 -1
  316. package/dest/private_kernel/private_kernel_oracle_impl.d.ts +0 -45
  317. package/dest/private_kernel/private_kernel_oracle_impl.d.ts.map +0 -1
  318. package/dest/private_kernel/private_kernel_oracle_impl.js +0 -86
  319. package/dest/storage/address_data_provider/address_data_provider.d.ts +0 -11
  320. package/dest/storage/address_data_provider/address_data_provider.d.ts.map +0 -1
  321. package/dest/storage/address_data_provider/index.d.ts +0 -2
  322. package/dest/storage/address_data_provider/index.d.ts.map +0 -1
  323. package/dest/storage/address_data_provider/index.js +0 -1
  324. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts +0 -25
  325. package/dest/storage/capsule_data_provider/capsule_data_provider.d.ts.map +0 -1
  326. package/dest/storage/capsule_data_provider/capsule_data_provider.js +0 -118
  327. package/dest/storage/capsule_data_provider/index.d.ts +0 -2
  328. package/dest/storage/capsule_data_provider/index.d.ts.map +0 -1
  329. package/dest/storage/capsule_data_provider/index.js +0 -1
  330. package/dest/storage/contract_data_provider/contract_data_provider.d.ts.map +0 -1
  331. package/dest/storage/contract_data_provider/index.d.ts +0 -2
  332. package/dest/storage/contract_data_provider/index.d.ts.map +0 -1
  333. package/dest/storage/contract_data_provider/index.js +0 -1
  334. package/dest/storage/contract_data_provider/private_functions_tree.d.ts.map +0 -1
  335. package/dest/storage/note_data_provider/index.d.ts +0 -3
  336. package/dest/storage/note_data_provider/index.d.ts.map +0 -1
  337. package/dest/storage/note_data_provider/index.js +0 -2
  338. package/dest/storage/note_data_provider/note_dao.d.ts +0 -100
  339. package/dest/storage/note_data_provider/note_dao.d.ts.map +0 -1
  340. package/dest/storage/note_data_provider/note_dao.js +0 -102
  341. package/dest/storage/note_data_provider/note_data_provider.d.ts +0 -83
  342. package/dest/storage/note_data_provider/note_data_provider.d.ts.map +0 -1
  343. package/dest/storage/note_data_provider/note_data_provider.js +0 -308
  344. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts +0 -43
  345. package/dest/storage/private_event_data_provider/private_event_data_provider.d.ts.map +0 -1
  346. package/dest/storage/private_event_data_provider/private_event_data_provider.js +0 -104
  347. package/dest/storage/sync_data_provider/index.d.ts +0 -2
  348. package/dest/storage/sync_data_provider/index.d.ts.map +0 -1
  349. package/dest/storage/sync_data_provider/index.js +0 -1
  350. package/dest/storage/sync_data_provider/sync_data_provider.d.ts +0 -10
  351. package/dest/storage/sync_data_provider/sync_data_provider.d.ts.map +0 -1
  352. package/dest/storage/tagging_data_provider/index.d.ts +0 -2
  353. package/dest/storage/tagging_data_provider/index.d.ts.map +0 -1
  354. package/dest/storage/tagging_data_provider/index.js +0 -1
  355. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts +0 -40
  356. package/dest/storage/tagging_data_provider/tagging_data_provider.d.ts.map +0 -1
  357. package/dest/storage/tagging_data_provider/tagging_data_provider.js +0 -89
  358. package/dest/synchronizer/index.d.ts +0 -2
  359. package/dest/synchronizer/index.d.ts.map +0 -1
  360. package/dest/synchronizer/index.js +0 -1
  361. package/dest/synchronizer/synchronizer.d.ts +0 -35
  362. package/dest/synchronizer/synchronizer.d.ts.map +0 -1
  363. package/dest/synchronizer/synchronizer.js +0 -101
  364. package/dest/tagging/siloed_tag.d.ts +0 -14
  365. package/dest/tagging/siloed_tag.d.ts.map +0 -1
  366. package/dest/tagging/siloed_tag.js +0 -20
  367. package/dest/tagging/tag.d.ts +0 -12
  368. package/dest/tagging/tag.d.ts.map +0 -1
  369. package/dest/tagging/tag.js +0 -17
  370. package/dest/tagging/utils.d.ts +0 -18
  371. package/dest/tagging/utils.d.ts.map +0 -1
  372. package/dest/tagging/utils.js +0 -24
  373. package/src/contract_function_simulator/execution_data_provider.ts +0 -343
  374. package/src/contract_function_simulator/proxied_node.ts +0 -33
  375. package/src/contract_function_simulator/pxe_oracle_interface.ts +0 -1019
  376. package/src/private_kernel/private_kernel_oracle_impl.ts +0 -132
  377. package/src/storage/address_data_provider/index.ts +0 -1
  378. package/src/storage/capsule_data_provider/capsule_data_provider.ts +0 -147
  379. package/src/storage/capsule_data_provider/index.ts +0 -1
  380. package/src/storage/contract_data_provider/index.ts +0 -1
  381. package/src/storage/note_data_provider/index.ts +0 -2
  382. package/src/storage/note_data_provider/note_dao.ts +0 -154
  383. package/src/storage/note_data_provider/note_data_provider.ts +0 -393
  384. package/src/storage/private_event_data_provider/private_event_data_provider.ts +0 -148
  385. package/src/storage/sync_data_provider/index.ts +0 -1
  386. package/src/storage/tagging_data_provider/index.ts +0 -1
  387. package/src/storage/tagging_data_provider/tagging_data_provider.ts +0 -120
  388. package/src/synchronizer/index.ts +0 -1
  389. package/src/synchronizer/synchronizer.ts +0 -120
  390. package/src/tagging/siloed_tag.ts +0 -22
  391. package/src/tagging/tag.ts +0 -16
  392. package/src/tagging/utils.ts +0 -31
@@ -1,21 +1,40 @@
1
- import { Fr } from '@aztec/foundation/fields';
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
+ import type { KeyStore } from '@aztec/key-store';
2
3
  import { type CircuitSimulator } from '@aztec/simulator/client';
3
- import type { AbiDecoded, FunctionCall } from '@aztec/stdlib/abi';
4
+ import type { FunctionCall } from '@aztec/stdlib/abi';
4
5
  import { FunctionSelector } from '@aztec/stdlib/abi';
5
6
  import type { AuthWitness } from '@aztec/stdlib/auth-witness';
6
7
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
8
+ import type { AztecNode } from '@aztec/stdlib/interfaces/server';
7
9
  import { type PrivateKernelExecutionProofOutput, PrivateKernelTailCircuitPublicInputs } from '@aztec/stdlib/kernel';
8
- import { PrivateExecutionResult, TxExecutionRequest } from '@aztec/stdlib/tx';
9
- import type { ContractDataProvider } from '../storage/index.js';
10
- import type { ExecutionDataProvider } from './execution_data_provider.js';
10
+ import { BlockHeader, PrivateExecutionResult, TxExecutionRequest } from '@aztec/stdlib/tx';
11
+ import type { AddressStore } from '../storage/address_store/address_store.js';
12
+ import type { AnchorBlockStore } from '../storage/anchor_block_store/anchor_block_store.js';
13
+ import type { CapsuleStore } from '../storage/capsule_store/capsule_store.js';
14
+ import type { ContractStore } from '../storage/contract_store/contract_store.js';
15
+ import type { NoteStore } from '../storage/note_store/note_store.js';
16
+ import type { PrivateEventStore } from '../storage/private_event_store/private_event_store.js';
17
+ import type { RecipientTaggingStore } from '../storage/tagging_store/recipient_tagging_store.js';
18
+ import type { SenderAddressBookStore } from '../storage/tagging_store/sender_address_book_store.js';
19
+ import type { SenderTaggingStore } from '../storage/tagging_store/sender_tagging_store.js';
11
20
  /**
12
21
  * The contract function simulator.
13
22
  */
14
23
  export declare class ContractFunctionSimulator {
15
- private executionDataProvider;
24
+ private contractStore;
25
+ private noteStore;
26
+ private keyStore;
27
+ private addressStore;
28
+ private aztecNode;
29
+ private anchorBlockStore;
30
+ private senderTaggingStore;
31
+ private recipientTaggingStore;
32
+ private senderAddressBookStore;
33
+ private capsuleStore;
34
+ private privateEventStore;
16
35
  private simulator;
17
36
  private log;
18
- constructor(executionDataProvider: ExecutionDataProvider, simulator: CircuitSimulator);
37
+ constructor(contractStore: ContractStore, noteStore: NoteStore, keyStore: KeyStore, addressStore: AddressStore, aztecNode: AztecNode, anchorBlockStore: AnchorBlockStore, senderTaggingStore: SenderTaggingStore, recipientTaggingStore: RecipientTaggingStore, senderAddressBookStore: SenderAddressBookStore, capsuleStore: CapsuleStore, privateEventStore: PrivateEventStore, simulator: CircuitSimulator);
19
38
  /**
20
39
  * Runs a private function.
21
40
  * @param request - The transaction request.
@@ -23,22 +42,31 @@ export declare class ContractFunctionSimulator {
23
42
  * @param contractAddress - The address of the contract (should match request.origin)
24
43
  * @param msgSender - The address calling the function. This can be replaced to simulate a call from another contract
25
44
  * or a specific account.
45
+ * @param anchorBlockHeader - The block header to use as base state for this run.
26
46
  * @param senderForTags - The address that is used as a tagging sender when emitting private logs. Returned from
27
47
  * the `privateGetSenderForTags` oracle.
28
48
  * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
49
+ * @param jobId - The job ID for staged writes.
29
50
  * @returns The result of the execution.
30
51
  */
31
- run(request: TxExecutionRequest, contractAddress: AztecAddress, selector: FunctionSelector, msgSender?: AztecAddress, senderForTags?: AztecAddress, scopes?: AztecAddress[]): Promise<PrivateExecutionResult>;
52
+ run(request: TxExecutionRequest, contractAddress: AztecAddress, selector: FunctionSelector, msgSender: AztecAddress | undefined, anchorBlockHeader: BlockHeader, senderForTags: AztecAddress | undefined, scopes: AztecAddress[] | undefined, jobId: string): Promise<PrivateExecutionResult>;
32
53
  /**
33
54
  * Runs a utility function.
34
55
  * @param call - The function call to execute.
35
56
  * @param authwits - Authentication witnesses required for the function call.
57
+ * @param anchorBlockHeader - The block header to use as base state for this run.
36
58
  * @param scopes - Optional array of account addresses whose notes can be accessed in this call. Defaults to all
37
59
  * accounts if not specified.
38
- * @returns A decoded ABI value containing the function's return data.
60
+ * @returns A return value of the utility function in a form as returned by the simulator (Noir fields)
39
61
  */
40
- runUtility(call: FunctionCall, authwits: AuthWitness[], scopes?: AztecAddress[]): Promise<AbiDecoded>;
41
- getStats(): import("./execution_data_provider.js").ExecutionStats;
62
+ runUtility(call: FunctionCall, authwits: AuthWitness[], anchorBlockHeader: BlockHeader, scopes: AztecAddress[] | undefined, jobId: string): Promise<Fr[]>;
63
+ /**
64
+ * Returns the execution statistics collected during the simulator run.
65
+ * @returns The execution statistics.
66
+ */
67
+ getStats(): {
68
+ nodeRPCCalls: import("@aztec/stdlib/tx").NodeStats;
69
+ };
42
70
  }
43
71
  /**
44
72
  * Generates the final public inputs of the tail kernel circuit, an empty Chonk proof
@@ -47,10 +75,10 @@ export declare class ContractFunctionSimulator {
47
75
  * (allowing state overrides) and is much faster, while still generating a valid
48
76
  * output that can be sent to the node for public simulation
49
77
  * @param privateExecutionResult - The result of the private execution.
50
- * @param nonceGenerator - A nonce generator for note hashes. According to the protocol rules,
51
- * it can either be the first nullifier in the tx or the hash of the initial tx request if there are none.
52
- * @param contractDataProvider - A provider for contract data in order to get function names and debug info.
78
+ * @param contractStore - A provider for contract data in order to get function names and debug info.
79
+ * @param minRevertibleSideEffectCounterOverride - Optional override for the min revertible side effect counter.
80
+ * Used by TXE to simulate account contract behavior (setting the counter before app execution).
53
81
  * @returns The simulated proving result.
54
82
  */
55
- export declare function generateSimulatedProvingResult(privateExecutionResult: PrivateExecutionResult, nonceGenerator: Fr, contractDataProvider: ContractDataProvider): Promise<PrivateKernelExecutionProofOutput<PrivateKernelTailCircuitPublicInputs>>;
56
- //# sourceMappingURL=contract_function_simulator.d.ts.map
83
+ export declare function generateSimulatedProvingResult(privateExecutionResult: PrivateExecutionResult, contractStore: ContractStore, minRevertibleSideEffectCounterOverride?: number): Promise<PrivateKernelExecutionProofOutput<PrivateKernelTailCircuitPublicInputs>>;
84
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL2NvbnRyYWN0X2Z1bmN0aW9uX3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFvQkEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBR3BELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBR2pELE9BQU8sRUFDTCxLQUFLLGdCQUFnQixFQU90QixNQUFNLHlCQUF5QixDQUFDO0FBQ2pDLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3RELE9BQU8sRUFBRSxnQkFBZ0IsRUFBZ0IsTUFBTSxtQkFBbUIsQ0FBQztBQUNuRSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUM5RCxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFTM0QsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFDakUsT0FBTyxFQUlMLEtBQUssaUNBQWlDLEVBQ3RDLG9DQUFvQyxFQUtyQyxNQUFNLHNCQUFzQixDQUFDO0FBSTlCLE9BQU8sRUFDTCxXQUFXLEVBR1gsc0JBQXNCLEVBRXRCLGtCQUFrQixFQUduQixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDJDQUEyQyxDQUFDO0FBQzlFLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0scURBQXFELENBQUM7QUFDNUYsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkNBQTJDLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sNkNBQTZDLENBQUM7QUFDakYsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDckUsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx1REFBdUQsQ0FBQztBQUMvRixPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLHFEQUFxRCxDQUFDO0FBQ2pHLE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sdURBQXVELENBQUM7QUFDcEcsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxrREFBa0QsQ0FBQztBQVUzRjs7R0FFRztBQUNILHFCQUFhLHlCQUF5QjtJQUlsQyxPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsUUFBUTtJQUNoQixPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsZ0JBQWdCO0lBQ3hCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLHFCQUFxQjtJQUM3QixPQUFPLENBQUMsc0JBQXNCO0lBQzlCLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxpQkFBaUI7SUFDekIsT0FBTyxDQUFDLFNBQVM7SUFkbkIsT0FBTyxDQUFDLEdBQUcsQ0FBUztJQUVwQixZQUNVLGFBQWEsRUFBRSxhQUFhLEVBQzVCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFFBQVEsRUFBRSxRQUFRLEVBQ2xCLFlBQVksRUFBRSxZQUFZLEVBQzFCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLGdCQUFnQixFQUFFLGdCQUFnQixFQUNsQyxrQkFBa0IsRUFBRSxrQkFBa0IsRUFDdEMscUJBQXFCLEVBQUUscUJBQXFCLEVBQzVDLHNCQUFzQixFQUFFLHNCQUFzQixFQUM5QyxZQUFZLEVBQUUsWUFBWSxFQUMxQixpQkFBaUIsRUFBRSxpQkFBaUIsRUFDcEMsU0FBUyxFQUFFLGdCQUFnQixFQUdwQztJQUVEOzs7Ozs7Ozs7Ozs7O09BYUc7SUFDVSxHQUFHLENBQ2QsT0FBTyxFQUFFLGtCQUFrQixFQUMzQixlQUFlLEVBQUUsWUFBWSxFQUM3QixRQUFRLEVBQUUsZ0JBQWdCLEVBQzFCLFNBQVMsMEJBQTZDLEVBQ3RELGlCQUFpQixFQUFFLFdBQVcsRUFDOUIsYUFBYSxFQUFFLFlBQVksR0FBRyxTQUFTLEVBQ3ZDLE1BQU0sRUFBRSxZQUFZLEVBQUUsR0FBRyxTQUFTLEVBQ2xDLEtBQUssRUFBRSxNQUFNLEdBQ1osT0FBTyxDQUFDLHNCQUFzQixDQUFDLENBNEdqQztJQUdEOzs7Ozs7OztPQVFHO0lBQ1UsVUFBVSxDQUNyQixJQUFJLEVBQUUsWUFBWSxFQUNsQixRQUFRLEVBQUUsV0FBVyxFQUFFLEVBQ3ZCLGlCQUFpQixFQUFFLFdBQVcsRUFDOUIsTUFBTSxFQUFFLFlBQVksRUFBRSxHQUFHLFNBQVMsRUFDbEMsS0FBSyxFQUFFLE1BQU0sR0FDWixPQUFPLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FzRGY7SUFHRDs7O09BR0c7SUFDSCxRQUFROztNQVVQO0NBQ0Y7QUFZRDs7Ozs7Ozs7Ozs7R0FXRztBQUNILHdCQUFzQiw4QkFBOEIsQ0FDbEQsc0JBQXNCLEVBQUUsc0JBQXNCLEVBQzlDLGFBQWEsRUFBRSxhQUFhLEVBQzVCLHNDQUFzQyxDQUFDLEVBQUUsTUFBTSxHQUM5QyxPQUFPLENBQUMsaUNBQWlDLENBQUMsb0NBQW9DLENBQUMsQ0FBQyxDQXdObEYifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"contract_function_simulator.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/contract_function_simulator.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAK9C,OAAO,EACL,KAAK,gBAAgB,EAOtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAA+B,MAAM,mBAAmB,CAAC;AAClF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAG3D,OAAO,EAIL,KAAK,iCAAiC,EACtC,oCAAoC,EAKrC,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAGL,sBAAsB,EAEtB,kBAAkB,EAGnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAS1E;;GAEG;AACH,qBAAa,yBAAyB;IAIlC,OAAO,CAAC,qBAAqB;IAC7B,OAAO,CAAC,SAAS;IAJnB,OAAO,CAAC,GAAG,CAAS;gBAGV,qBAAqB,EAAE,qBAAqB,EAC5C,SAAS,EAAE,gBAAgB;IAKrC;;;;;;;;;;;OAWG;IACU,GAAG,CACd,OAAO,EAAE,kBAAkB,EAC3B,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,SAAS,eAA6C,EACtD,aAAa,CAAC,EAAE,YAAY,EAC5B,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,sBAAsB,CAAC;IAmGlC;;;;;;;OAOG;IACU,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,MAAM,CAAC,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC;IA0ClH,QAAQ;CAGT;AAYD;;;;;;;;;;;GAWG;AACH,wBAAsB,8BAA8B,CAClD,sBAAsB,EAAE,sBAAsB,EAC9C,cAAc,EAAE,EAAE,EAClB,oBAAoB,EAAE,oBAAoB,GACzC,OAAO,CAAC,iCAAiC,CAAC,oCAAoC,CAAC,CAAC,CAgNlF"}
1
+ {"version":3,"file":"contract_function_simulator.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/contract_function_simulator.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGjD,OAAO,EACL,KAAK,gBAAgB,EAOtB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAgB,MAAM,mBAAmB,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAS3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAIL,KAAK,iCAAiC,EACtC,oCAAoC,EAKrC,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EACL,WAAW,EAGX,sBAAsB,EAEtB,kBAAkB,EAGnB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAC;AAC9E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AAC5F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2CAA2C,CAAC;AAC9E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6CAA6C,CAAC;AACjF,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qCAAqC,CAAC;AACrE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,uDAAuD,CAAC;AAC/F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,qDAAqD,CAAC;AACjG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AACpG,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kDAAkD,CAAC;AAU3F;;GAEG;AACH,qBAAa,yBAAyB;IAIlC,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,qBAAqB;IAC7B,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,iBAAiB;IACzB,OAAO,CAAC,SAAS;IAdnB,OAAO,CAAC,GAAG,CAAS;IAEpB,YACU,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,QAAQ,EAClB,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,SAAS,EACpB,gBAAgB,EAAE,gBAAgB,EAClC,kBAAkB,EAAE,kBAAkB,EACtC,qBAAqB,EAAE,qBAAqB,EAC5C,sBAAsB,EAAE,sBAAsB,EAC9C,YAAY,EAAE,YAAY,EAC1B,iBAAiB,EAAE,iBAAiB,EACpC,SAAS,EAAE,gBAAgB,EAGpC;IAED;;;;;;;;;;;;;OAaG;IACU,GAAG,CACd,OAAO,EAAE,kBAAkB,EAC3B,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,SAAS,0BAA6C,EACtD,iBAAiB,EAAE,WAAW,EAC9B,aAAa,EAAE,YAAY,GAAG,SAAS,EACvC,MAAM,EAAE,YAAY,EAAE,GAAG,SAAS,EAClC,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,sBAAsB,CAAC,CA4GjC;IAGD;;;;;;;;OAQG;IACU,UAAU,CACrB,IAAI,EAAE,YAAY,EAClB,QAAQ,EAAE,WAAW,EAAE,EACvB,iBAAiB,EAAE,WAAW,EAC9B,MAAM,EAAE,YAAY,EAAE,GAAG,SAAS,EAClC,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,EAAE,EAAE,CAAC,CAsDf;IAGD;;;OAGG;IACH,QAAQ;;MAUP;CACF;AAYD;;;;;;;;;;;GAWG;AACH,wBAAsB,8BAA8B,CAClD,sBAAsB,EAAE,sBAAsB,EAC9C,aAAa,EAAE,aAAa,EAC5B,sCAAsC,CAAC,EAAE,MAAM,GAC9C,OAAO,CAAC,iCAAiC,CAAC,oCAAoC,CAAC,CAAC,CAwNlF"}
@@ -1,16 +1,16 @@
1
1
  import { AVM_EMITNOTEHASH_BASE_L2_GAS, AVM_EMITNULLIFIER_BASE_L2_GAS, AVM_SENDL2TOL1MSG_BASE_L2_GAS, DA_BYTES_PER_FIELD, DA_GAS_PER_BYTE, FIXED_AVM_STARTUP_L2_GAS, FIXED_DA_GAS, FIXED_L2_GAS, L2_GAS_PER_CONTRACT_CLASS_LOG, L2_GAS_PER_PRIVATE_LOG, MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_ENQUEUED_CALLS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX } from '@aztec/constants';
2
2
  import { arrayNonEmptyLength, padArrayEnd } from '@aztec/foundation/collection';
3
- import { poseidon2Hash } from '@aztec/foundation/crypto';
4
- import { Fr } from '@aztec/foundation/fields';
3
+ import { poseidon2Hash } from '@aztec/foundation/crypto/poseidon';
4
+ import { Fr } from '@aztec/foundation/curves/bn254';
5
5
  import { createLogger } from '@aztec/foundation/log';
6
6
  import { Timer } from '@aztec/foundation/timer';
7
7
  import { getVKTreeRoot } from '@aztec/noir-protocol-circuits-types/vk-tree';
8
8
  import { protocolContractsHash } from '@aztec/protocol-contracts';
9
9
  import { ExecutionError, createSimulationError, extractCallStack, resolveAssertionMessageFromError, toACVMWitness, witnessMapToFields } from '@aztec/simulator/client';
10
- import { FunctionSelector, FunctionType, decodeFromAbi } from '@aztec/stdlib/abi';
10
+ import { FunctionSelector, FunctionType } from '@aztec/stdlib/abi';
11
11
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
12
12
  import { Gas } from '@aztec/stdlib/gas';
13
- import { computeNoteHashNonce, computeUniqueNoteHash, siloNoteHash, siloNullifier } from '@aztec/stdlib/hash';
13
+ import { computeNoteHashNonce, computeProtocolNullifier, computeUniqueNoteHash, siloNoteHash, siloNullifier } from '@aztec/stdlib/hash';
14
14
  import { PartialPrivateTailPublicInputsForPublic, PartialPrivateTailPublicInputsForRollup, PrivateKernelTailCircuitPublicInputs, PrivateToPublicAccumulatedData, PrivateToRollupAccumulatedData, PublicCallRequest, ScopedLogHash } from '@aztec/stdlib/kernel';
15
15
  import { PrivateLog } from '@aztec/stdlib/logs';
16
16
  import { ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
@@ -20,17 +20,37 @@ import { ExecutionNoteCache } from './execution_note_cache.js';
20
20
  import { ExecutionTaggingIndexCache } from './execution_tagging_index_cache.js';
21
21
  import { HashedValuesCache } from './hashed_values_cache.js';
22
22
  import { Oracle } from './oracle/oracle.js';
23
- import { executePrivateFunction, verifyCurrentClassId } from './oracle/private_execution.js';
23
+ import { executePrivateFunction } from './oracle/private_execution.js';
24
24
  import { PrivateExecutionOracle } from './oracle/private_execution_oracle.js';
25
25
  import { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
26
26
  /**
27
27
  * The contract function simulator.
28
28
  */ export class ContractFunctionSimulator {
29
- executionDataProvider;
29
+ contractStore;
30
+ noteStore;
31
+ keyStore;
32
+ addressStore;
33
+ aztecNode;
34
+ anchorBlockStore;
35
+ senderTaggingStore;
36
+ recipientTaggingStore;
37
+ senderAddressBookStore;
38
+ capsuleStore;
39
+ privateEventStore;
30
40
  simulator;
31
41
  log;
32
- constructor(executionDataProvider, simulator){
33
- this.executionDataProvider = executionDataProvider;
42
+ constructor(contractStore, noteStore, keyStore, addressStore, aztecNode, anchorBlockStore, senderTaggingStore, recipientTaggingStore, senderAddressBookStore, capsuleStore, privateEventStore, simulator){
43
+ this.contractStore = contractStore;
44
+ this.noteStore = noteStore;
45
+ this.keyStore = keyStore;
46
+ this.addressStore = addressStore;
47
+ this.aztecNode = aztecNode;
48
+ this.anchorBlockStore = anchorBlockStore;
49
+ this.senderTaggingStore = senderTaggingStore;
50
+ this.recipientTaggingStore = recipientTaggingStore;
51
+ this.senderAddressBookStore = senderAddressBookStore;
52
+ this.capsuleStore = capsuleStore;
53
+ this.privateEventStore = privateEventStore;
34
54
  this.simulator = simulator;
35
55
  this.log = createLogger('simulator');
36
56
  }
@@ -41,15 +61,15 @@ import { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
41
61
  * @param contractAddress - The address of the contract (should match request.origin)
42
62
  * @param msgSender - The address calling the function. This can be replaced to simulate a call from another contract
43
63
  * or a specific account.
64
+ * @param anchorBlockHeader - The block header to use as base state for this run.
44
65
  * @param senderForTags - The address that is used as a tagging sender when emitting private logs. Returned from
45
66
  * the `privateGetSenderForTags` oracle.
46
67
  * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
68
+ * @param jobId - The job ID for staged writes.
47
69
  * @returns The result of the execution.
48
- */ async run(request, contractAddress, selector, msgSender = AztecAddress.fromField(Fr.MAX_FIELD_VALUE), senderForTags, scopes) {
70
+ */ async run(request, contractAddress, selector, msgSender = AztecAddress.fromField(Fr.MAX_FIELD_VALUE), anchorBlockHeader, senderForTags, scopes, jobId) {
49
71
  const simulatorSetupTimer = new Timer();
50
- const anchorBlockHeader = await this.executionDataProvider.getAnchorBlockHeader();
51
- await verifyCurrentClassId(contractAddress, this.executionDataProvider);
52
- const entryPointArtifact = await this.executionDataProvider.getFunctionArtifact(contractAddress, selector);
72
+ const entryPointArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(contractAddress, selector);
53
73
  if (entryPointArtifact.functionType !== FunctionType.PRIVATE) {
54
74
  throw new Error(`Cannot run ${entryPointArtifact.functionType} function as private`);
55
75
  }
@@ -57,12 +77,14 @@ import { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
57
77
  this.log.warn(`Request origin does not match contract address in simulation. Request origin: ${request.origin}, contract address: ${contractAddress}`);
58
78
  }
59
79
  // reserve the first side effect for the tx hash (inserted by the private kernel)
60
- const startSideEffectCounter = 1;
80
+ const startSideEffectCounter = 2;
61
81
  const callContext = new CallContext(msgSender, contractAddress, await FunctionSelector.fromNameAndParameters(entryPointArtifact.name, entryPointArtifact.parameters), entryPointArtifact.isStatic);
62
- const txRequestHash = await request.toTxRequest().hash();
63
- const noteCache = new ExecutionNoteCache(txRequestHash);
82
+ const protocolNullifier = await computeProtocolNullifier(await request.toTxRequest().hash());
83
+ const noteCache = new ExecutionNoteCache(protocolNullifier);
64
84
  const taggingIndexCache = new ExecutionTaggingIndexCache();
65
- const privateExecutionOracle = new PrivateExecutionOracle(request.firstCallArgsHash, request.txContext, callContext, anchorBlockHeader, request.authWitnesses, request.capsules, HashedValuesCache.create(request.argsOfCalls), noteCache, taggingIndexCache, this.executionDataProvider, 0, startSideEffectCounter, undefined, scopes, senderForTags, this.simulator);
85
+ const privateExecutionOracle = new PrivateExecutionOracle(request.firstCallArgsHash, request.txContext, callContext, anchorBlockHeader, async (call)=>{
86
+ await this.runUtility(call, [], anchorBlockHeader, scopes, jobId);
87
+ }, request.authWitnesses, request.capsules, HashedValuesCache.create(request.argsOfCalls), noteCache, taggingIndexCache, this.contractStore, this.noteStore, this.keyStore, this.addressStore, this.aztecNode, this.anchorBlockStore, this.senderTaggingStore, this.recipientTaggingStore, this.senderAddressBookStore, this.capsuleStore, this.privateEventStore, jobId, 0, startSideEffectCounter, undefined, scopes, senderForTags, this.simulator);
66
88
  const setupTime = simulatorSetupTimer.ms();
67
89
  try {
68
90
  // Note: any nested private function calls are made recursively within this
@@ -71,8 +93,8 @@ import { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
71
93
  // within executionResult.nestedExecutionResults).
72
94
  const executionResult = await executePrivateFunction(this.simulator, privateExecutionOracle, entryPointArtifact, contractAddress, request.functionSelector);
73
95
  const simulatorTeardownTimer = new Timer();
74
- const { usedTxRequestHashForNonces } = noteCache.finish();
75
- const firstNullifierHint = usedTxRequestHashForNonces ? Fr.ZERO : noteCache.getAllNullifiers()[0];
96
+ noteCache.finish();
97
+ const firstNullifierHint = noteCache.getNonceGenerator();
76
98
  const publicCallRequests = collectNested([
77
99
  executionResult
78
100
  ], (r)=>r.publicInputs.publicCallRequests.getActiveItems().map((r)=>r.inner).concat(r.publicInputs.publicTeardownCallRequest.isEmpty() ? [] : [
@@ -100,16 +122,16 @@ import { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
100
122
  * Runs a utility function.
101
123
  * @param call - The function call to execute.
102
124
  * @param authwits - Authentication witnesses required for the function call.
125
+ * @param anchorBlockHeader - The block header to use as base state for this run.
103
126
  * @param scopes - Optional array of account addresses whose notes can be accessed in this call. Defaults to all
104
127
  * accounts if not specified.
105
- * @returns A decoded ABI value containing the function's return data.
106
- */ async runUtility(call, authwits, scopes) {
107
- await verifyCurrentClassId(call.to, this.executionDataProvider);
108
- const entryPointArtifact = await this.executionDataProvider.getFunctionArtifact(call.to, call.selector);
128
+ * @returns A return value of the utility function in a form as returned by the simulator (Noir fields)
129
+ */ async runUtility(call, authwits, anchorBlockHeader, scopes, jobId) {
130
+ const entryPointArtifact = await this.contractStore.getFunctionArtifactWithDebugMetadata(call.to, call.selector);
109
131
  if (entryPointArtifact.functionType !== FunctionType.UTILITY) {
110
132
  throw new Error(`Cannot run ${entryPointArtifact.functionType} function as utility`);
111
133
  }
112
- const oracle = new UtilityExecutionOracle(call.to, authwits, [], this.executionDataProvider, undefined, scopes);
134
+ const oracle = new UtilityExecutionOracle(call.to, authwits, [], anchorBlockHeader, this.contractStore, this.noteStore, this.keyStore, this.addressStore, this.aztecNode, this.anchorBlockStore, this.recipientTaggingStore, this.senderAddressBookStore, this.capsuleStore, this.privateEventStore, jobId, undefined, scopes);
113
135
  try {
114
136
  this.log.verbose(`Executing utility function ${entryPointArtifact.name}`, {
115
137
  contract: call.to,
@@ -125,16 +147,29 @@ import { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
125
147
  cause: err
126
148
  });
127
149
  });
128
- const returnWitness = witnessMapToFields(acirExecutionResult.returnWitness);
129
150
  this.log.verbose(`Utility simulation for ${call.to}.${call.selector} completed`);
130
- return decodeFromAbi(entryPointArtifact.returnTypes, returnWitness);
151
+ return witnessMapToFields(acirExecutionResult.returnWitness);
131
152
  } catch (err) {
132
153
  throw createSimulationError(err instanceof Error ? err : new Error('Unknown error during private execution'));
133
154
  }
134
155
  }
135
156
  // docs:end:execute_utility_function
136
- getStats() {
137
- return this.executionDataProvider.getStats();
157
+ /**
158
+ * Returns the execution statistics collected during the simulator run.
159
+ * @returns The execution statistics.
160
+ */ getStats() {
161
+ const nodeRPCCalls = typeof this.aztecNode.getStats === 'function' ? this.aztecNode.getStats() : {
162
+ perMethod: {},
163
+ roundTrips: {
164
+ roundTrips: 0,
165
+ totalBlockingTime: 0,
166
+ roundTripDurations: [],
167
+ roundTripMethods: []
168
+ }
169
+ };
170
+ return {
171
+ nodeRPCCalls
172
+ };
138
173
  }
139
174
  }
140
175
  class OrderedSideEffect {
@@ -152,11 +187,11 @@ class OrderedSideEffect {
152
187
  * (allowing state overrides) and is much faster, while still generating a valid
153
188
  * output that can be sent to the node for public simulation
154
189
  * @param privateExecutionResult - The result of the private execution.
155
- * @param nonceGenerator - A nonce generator for note hashes. According to the protocol rules,
156
- * it can either be the first nullifier in the tx or the hash of the initial tx request if there are none.
157
- * @param contractDataProvider - A provider for contract data in order to get function names and debug info.
190
+ * @param contractStore - A provider for contract data in order to get function names and debug info.
191
+ * @param minRevertibleSideEffectCounterOverride - Optional override for the min revertible side effect counter.
192
+ * Used by TXE to simulate account contract behavior (setting the counter before app execution).
158
193
  * @returns The simulated proving result.
159
- */ export async function generateSimulatedProvingResult(privateExecutionResult, nonceGenerator, contractDataProvider) {
194
+ */ export async function generateSimulatedProvingResult(privateExecutionResult, contractStore, minRevertibleSideEffectCounterOverride) {
160
195
  const siloedNoteHashes = [];
161
196
  const nullifiers = [];
162
197
  const taggedPrivateLogs = [];
@@ -192,7 +227,7 @@ class OrderedSideEffect {
192
227
  }
193
228
  publicTeardownCallRequest = execution.publicInputs.publicTeardownCallRequest.isEmpty() ? publicTeardownCallRequest : execution.publicInputs.publicTeardownCallRequest;
194
229
  executionSteps.push({
195
- functionName: await contractDataProvider.getDebugFunctionName(execution.publicInputs.callContext.contractAddress, execution.publicInputs.callContext.functionSelector),
230
+ functionName: await contractStore.getDebugFunctionName(execution.publicInputs.callContext.contractAddress, execution.publicInputs.callContext.functionSelector),
196
231
  timings: execution.profileResult?.timings ?? {
197
232
  witgen: 0,
198
233
  oracles: {}
@@ -210,12 +245,13 @@ class OrderedSideEffect {
210
245
  const sortByCounter = (a, b)=>a.counter - b.counter;
211
246
  const getEffect = (orderedSideEffect)=>orderedSideEffect.sideEffect;
212
247
  const isPrivateOnlyTx = privateExecutionResult.publicFunctionCalldata.length === 0;
213
- const minRevertibleSideEffectCounter = getFinalMinRevertibleSideEffectCounter(privateExecutionResult);
248
+ const minRevertibleSideEffectCounter = minRevertibleSideEffectCounterOverride ?? getFinalMinRevertibleSideEffectCounter(privateExecutionResult);
214
249
  const [nonRevertibleNullifiers, revertibleNullifiers] = splitOrderedSideEffects(nullifiers.sort(sortByCounter), minRevertibleSideEffectCounter);
215
- if (nonRevertibleNullifiers.length > 0 && !nonRevertibleNullifiers[0].equals(nonceGenerator)) {
250
+ const nonceGenerator = privateExecutionResult.firstNullifier;
251
+ if (nonRevertibleNullifiers.length === 0) {
252
+ nonRevertibleNullifiers.push(nonceGenerator);
253
+ } else if (!nonRevertibleNullifiers[0].equals(nonceGenerator)) {
216
254
  throw new Error('The first non revertible nullifier should be equal to the nonce generator. This is a bug!');
217
- } else {
218
- nonRevertibleNullifiers.unshift(nonceGenerator);
219
255
  }
220
256
  if (isPrivateOnlyTx) {
221
257
  // We must make the note hashes unique by using the
@@ -231,11 +267,15 @@ class OrderedSideEffect {
231
267
  inputsForRollup = new PartialPrivateTailPublicInputsForRollup(accumulatedDataForRollup);
232
268
  } else {
233
269
  const [nonRevertibleNoteHashes, revertibleNoteHashes] = splitOrderedSideEffects(siloedNoteHashes.sort(sortByCounter), minRevertibleSideEffectCounter);
270
+ const nonRevertibleUniqueNoteHashes = await Promise.all(nonRevertibleNoteHashes.map(async (noteHash, i)=>{
271
+ const nonce = await computeNoteHashNonce(nonceGenerator, i);
272
+ return await computeUniqueNoteHash(nonce, noteHash);
273
+ }));
234
274
  const [nonRevertibleL2ToL1Messages, revertibleL2ToL1Messages] = splitOrderedSideEffects(l2ToL1Messages.sort(sortByCounter), minRevertibleSideEffectCounter);
235
275
  const [nonRevertibleTaggedPrivateLogs, revertibleTaggedPrivateLogs] = splitOrderedSideEffects(taggedPrivateLogs, minRevertibleSideEffectCounter);
236
276
  const [nonRevertibleContractClassLogHashes, revertibleContractClassLogHashes] = splitOrderedSideEffects(contractClassLogsHashes.sort(sortByCounter), minRevertibleSideEffectCounter);
237
277
  const [nonRevertiblePublicCallRequests, revertiblePublicCallRequests] = splitOrderedSideEffects(publicCallRequests.sort(sortByCounter), minRevertibleSideEffectCounter);
238
- const nonRevertibleData = new PrivateToPublicAccumulatedData(padArrayEnd(nonRevertibleNoteHashes, Fr.ZERO, MAX_NOTE_HASHES_PER_TX), padArrayEnd(nonRevertibleNullifiers, Fr.ZERO, MAX_NULLIFIERS_PER_TX), padArrayEnd(nonRevertibleL2ToL1Messages, ScopedL2ToL1Message.empty(), MAX_L2_TO_L1_MSGS_PER_TX), padArrayEnd(nonRevertibleTaggedPrivateLogs, PrivateLog.empty(), MAX_PRIVATE_LOGS_PER_TX), padArrayEnd(nonRevertibleContractClassLogHashes, ScopedLogHash.empty(), MAX_CONTRACT_CLASS_LOGS_PER_TX), padArrayEnd(nonRevertiblePublicCallRequests, PublicCallRequest.empty(), MAX_ENQUEUED_CALLS_PER_TX));
278
+ const nonRevertibleData = new PrivateToPublicAccumulatedData(padArrayEnd(nonRevertibleUniqueNoteHashes, Fr.ZERO, MAX_NOTE_HASHES_PER_TX), padArrayEnd(nonRevertibleNullifiers, Fr.ZERO, MAX_NULLIFIERS_PER_TX), padArrayEnd(nonRevertibleL2ToL1Messages, ScopedL2ToL1Message.empty(), MAX_L2_TO_L1_MSGS_PER_TX), padArrayEnd(nonRevertibleTaggedPrivateLogs, PrivateLog.empty(), MAX_PRIVATE_LOGS_PER_TX), padArrayEnd(nonRevertibleContractClassLogHashes, ScopedLogHash.empty(), MAX_CONTRACT_CLASS_LOGS_PER_TX), padArrayEnd(nonRevertiblePublicCallRequests, PublicCallRequest.empty(), MAX_ENQUEUED_CALLS_PER_TX));
239
279
  const revertibleData = new PrivateToPublicAccumulatedData(padArrayEnd(revertibleNoteHashes, Fr.ZERO, MAX_NOTE_HASHES_PER_TX), padArrayEnd(revertibleNullifiers, Fr.ZERO, MAX_NULLIFIERS_PER_TX), padArrayEnd(revertibleL2ToL1Messages, ScopedL2ToL1Message.empty(), MAX_L2_TO_L1_MSGS_PER_TX), padArrayEnd(revertibleTaggedPrivateLogs, PrivateLog.empty(), MAX_PRIVATE_LOGS_PER_TX), padArrayEnd(revertibleContractClassLogHashes, ScopedLogHash.empty(), MAX_CONTRACT_CLASS_LOGS_PER_TX), padArrayEnd(revertiblePublicCallRequests, PublicCallRequest.empty(), MAX_ENQUEUED_CALLS_PER_TX));
240
280
  gasUsed = meterGasUsed(revertibleData).add(meterGasUsed(nonRevertibleData));
241
281
  if (publicTeardownCallRequest) {
@@ -257,7 +297,7 @@ function splitOrderedSideEffects(effects, minRevertibleSideEffectCounter) {
257
297
  const revertibleSideEffects = [];
258
298
  const nonRevertibleSideEffects = [];
259
299
  effects.forEach((effect)=>{
260
- if (effect.counter < minRevertibleSideEffectCounter) {
300
+ if (minRevertibleSideEffectCounter === 0 || effect.counter < minRevertibleSideEffectCounter) {
261
301
  nonRevertibleSideEffects.push(effect.sideEffect);
262
302
  } else {
263
303
  revertibleSideEffects.push(effect.sideEffect);
@@ -1,4 +1,4 @@
1
- import { Fr } from '@aztec/foundation/fields';
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
3
3
  import type { NoteData } from './oracle/interfaces.js';
4
4
  interface PendingNote {
@@ -11,7 +11,7 @@ interface PendingNote {
11
11
  */
12
12
  export declare class ExecutionNoteCache {
13
13
  #private;
14
- private readonly txRequestHash;
14
+ private readonly protocolNullifier;
15
15
  /**
16
16
  * New notes created in this transaction.
17
17
  * They are pushed to this array in the same order as they are emitted.
@@ -28,25 +28,27 @@ export declare class ExecutionNoteCache {
28
28
  */
29
29
  private nullifierMap;
30
30
  /**
31
- * All nullifiers emitted in this transaction.
31
+ * Nullifiers emitted by private calls in this transaction.
32
+ */
33
+ private emittedNullifiers;
34
+ /**
35
+ * The counter that separates non-revertible side effects (which persist even if the tx reverts) from revertible ones.
32
36
  */
33
- private allNullifiers;
34
37
  private minRevertibleSideEffectCounter;
35
38
  private inRevertiblePhase;
36
39
  /**
37
- * We don't need to use the tx request hash for nonces if another non revertible nullifier is emitted.
38
- * In that case we disable injecting the tx request hash as a nullifier.
40
+ * Whether the protocol nullifier was used for nonce generation.
41
+ * We don't need to use the protocol nullifier if a non-revertible nullifier is emitted.
39
42
  */
40
- private usedTxRequestHashForNonces;
41
- constructor(txRequestHash: Fr);
43
+ private usedProtocolNullifierForNonces;
44
+ constructor(protocolNullifier: Fr);
42
45
  /**
43
46
  * Enters the revertible phase of the transaction.
44
47
  * @param minRevertibleSideEffectCounter - The counter at which the transaction enters the revertible phase.
45
48
  */
46
49
  setMinRevertibleSideEffectCounter(minRevertibleSideEffectCounter: number): Promise<void>;
47
- finish(): {
48
- usedTxRequestHashForNonces: boolean;
49
- };
50
+ isSideEffectCounterRevertible(sideEffectCounter: number): boolean;
51
+ finish(): void;
50
52
  /**
51
53
  * Add a new note to cache.
52
54
  * @param note - New note created during execution.
@@ -70,9 +72,10 @@ export declare class ExecutionNoteCache {
70
72
  * Return notes created up to current point in execution.
71
73
  * If a nullifier for a note in this list is emitted, the note will be deleted.
72
74
  * @param contractAddress - Contract address of the notes.
75
+ * @param owner - Owner of the notes. If undefined, returns all notes regardless of owner.
73
76
  * @param storageSlot - Storage slot of the notes.
74
77
  **/
75
- getNotes(contractAddress: AztecAddress, storageSlot: Fr): NoteData[];
78
+ getNotes(contractAddress: AztecAddress, owner: AztecAddress | undefined, storageSlot: Fr): NoteData[];
76
79
  /**
77
80
  * Check if a note exists in the newNotes array.
78
81
  * @param contractAddress - Contract address of the note.
@@ -86,8 +89,16 @@ export declare class ExecutionNoteCache {
86
89
  */
87
90
  getNullifiers(contractAddress: AztecAddress): Set<bigint>;
88
91
  getAllNotes(): PendingNote[];
92
+ /**
93
+ * @returns All nullifiers emitted by private calls in this transaction.
94
+ */
95
+ getEmittedNullifiers(): Fr[];
96
+ /**
97
+ * @returns All nullifiers emitted by private calls in this transaction. If the protocol nullifier was used as the
98
+ * nonce generator, it is injected as the first nullifier.
99
+ */
89
100
  getAllNullifiers(): Fr[];
90
- recordNullifier(contractAddress: AztecAddress, siloedNullifier: bigint): void;
101
+ getNonceGenerator(): Fr;
91
102
  }
92
103
  export {};
93
- //# sourceMappingURL=execution_note_cache.d.ts.map
104
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXhlY3V0aW9uX25vdGVfY2FjaGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdF9mdW5jdGlvbl9zaW11bGF0b3IvZXhlY3V0aW9uX25vdGVfY2FjaGUudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBR2hFLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRXZELFVBQVUsV0FBVztJQUNuQixJQUFJLEVBQUUsUUFBUSxDQUFDO0lBQ2YsT0FBTyxFQUFFLE1BQU0sQ0FBQztJQUNoQixzQkFBc0IsRUFBRSxFQUFFLENBQUM7Q0FDNUI7QUFFRDs7R0FFRztBQUNILHFCQUFhLGtCQUFrQjs7SUFvQ2pCLE9BQU8sQ0FBQyxRQUFRLENBQUMsaUJBQWlCO0lBbkM5Qzs7O09BR0c7SUFDSCxPQUFPLENBQUMsS0FBSyxDQUFxQjtJQUNsQzs7T0FFRztJQUNILE9BQU8sQ0FBQyxPQUFPLENBQXlDO0lBRXhEOzs7O09BSUc7SUFDSCxPQUFPLENBQUMsWUFBWSxDQUF1QztJQUUzRDs7T0FFRztJQUNILE9BQU8sQ0FBQyxpQkFBaUIsQ0FBMEI7SUFFbkQ7O09BRUc7SUFDSCxPQUFPLENBQUMsOEJBQThCLENBQUs7SUFFM0MsT0FBTyxDQUFDLGlCQUFpQixDQUFTO0lBRWxDOzs7T0FHRztJQUNILE9BQU8sQ0FBQyw4QkFBOEIsQ0FBc0I7SUFFNUQsWUFBNkIsaUJBQWlCLEVBQUUsRUFBRSxFQUFJO0lBRXREOzs7T0FHRztJQUNVLGlDQUFpQyxDQUFDLDhCQUE4QixFQUFFLE1BQU0saUJBc0NwRjtJQUVNLDZCQUE2QixDQUFDLGlCQUFpQixFQUFFLE1BQU0sR0FBRyxPQUFPLENBS3ZFO0lBRU0sTUFBTSxTQU1aO0lBRUQ7OztPQUdHO0lBQ0ksVUFBVSxDQUFDLElBQUksRUFBRSxRQUFRLEVBQUUsT0FBTyxFQUFFLE1BQU0sUUFTaEQ7SUFFRDs7Ozs7O09BTUc7SUFDVSxXQUFXLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxjQUFjLEVBQUUsRUFBRSxFQUFFLFFBQVEsRUFBRSxFQUFFLCtCQXlCdkY7SUFFRDs7OztPQUlHO0lBQ1UsZ0JBQWdCLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxjQUFjLEVBQUUsRUFBRSxpQkFHOUU7SUFFRDs7Ozs7O1FBTUk7SUFDRyxRQUFRLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxLQUFLLEVBQUUsWUFBWSxHQUFHLFNBQVMsRUFBRSxXQUFXLEVBQUUsRUFBRSxjQU05RjtJQUVEOzs7OztRQUtJO0lBQ0csZUFBZSxDQUFDLGVBQWUsRUFBRSxZQUFZLEVBQUUsUUFBUSxFQUFFLEVBQUUsV0FHakU7SUFFRDs7O09BR0c7SUFDSSxhQUFhLENBQUMsZUFBZSxFQUFFLFlBQVksR0FBRyxHQUFHLENBQUMsTUFBTSxDQUFDLENBRS9EO0lBVUQsV0FBVyxJQUFJLFdBQVcsRUFBRSxDQUUzQjtJQUVEOztPQUVHO0lBQ0gsb0JBQW9CLElBQUksRUFBRSxFQUFFLENBRTNCO0lBRUQ7OztPQUdHO0lBQ0gsZ0JBQWdCLElBQUksRUFBRSxFQUFFLENBTXZCO0lBRUQsaUJBQWlCLElBQUksRUFBRSxDQUV0QjtDQWFGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"execution_note_cache.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/execution_note_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAEvD,UAAU,WAAW;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,sBAAsB,EAAE,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,qBAAa,kBAAkB;;IAiCjB,OAAO,CAAC,QAAQ,CAAC,aAAa;IAhC1C;;;OAGG;IACH,OAAO,CAAC,KAAK,CAAqB;IAClC;;OAEG;IACH,OAAO,CAAC,OAAO,CAAyC;IAExD;;;;OAIG;IACH,OAAO,CAAC,YAAY,CAAuC;IAE3D;;OAEG;IACH,OAAO,CAAC,aAAa,CAA0B;IAE/C,OAAO,CAAC,8BAA8B,CAAK;IAE3C,OAAO,CAAC,iBAAiB,CAAS;IAElC;;;OAGG;IACH,OAAO,CAAC,0BAA0B,CAAQ;gBAEb,aAAa,EAAE,EAAE;IAE9C;;;OAGG;IACU,iCAAiC,CAAC,8BAA8B,EAAE,MAAM;IAwC9E,MAAM;;;IAWb;;;OAGG;IACI,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM;IAWjD;;;;;;OAMG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE;IA2BxF;;;;OAIG;IACU,gBAAgB,CAAC,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE;IAK/E;;;;;QAKI;IACG,QAAQ,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE;IAK9D;;;;;QAKI;IACG,eAAe,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE;IAKlE;;;OAGG;IACI,aAAa,CAAC,eAAe,EAAE,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC;IAYhE,WAAW,IAAI,WAAW,EAAE;IAI5B,gBAAgB,IAAI,EAAE,EAAE;IAIxB,eAAe,CAAC,eAAe,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM;CAWvE"}
1
+ {"version":3,"file":"execution_note_cache.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/execution_note_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAEvD,UAAU,WAAW;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,sBAAsB,EAAE,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,qBAAa,kBAAkB;;IAoCjB,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAnC9C;;;OAGG;IACH,OAAO,CAAC,KAAK,CAAqB;IAClC;;OAEG;IACH,OAAO,CAAC,OAAO,CAAyC;IAExD;;;;OAIG;IACH,OAAO,CAAC,YAAY,CAAuC;IAE3D;;OAEG;IACH,OAAO,CAAC,iBAAiB,CAA0B;IAEnD;;OAEG;IACH,OAAO,CAAC,8BAA8B,CAAK;IAE3C,OAAO,CAAC,iBAAiB,CAAS;IAElC;;;OAGG;IACH,OAAO,CAAC,8BAA8B,CAAsB;IAE5D,YAA6B,iBAAiB,EAAE,EAAE,EAAI;IAEtD;;;OAGG;IACU,iCAAiC,CAAC,8BAA8B,EAAE,MAAM,iBAsCpF;IAEM,6BAA6B,CAAC,iBAAiB,EAAE,MAAM,GAAG,OAAO,CAKvE;IAEM,MAAM,SAMZ;IAED;;;OAGG;IACI,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,QAShD;IAED;;;;;;OAMG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,+BAyBvF;IAED;;;;OAIG;IACU,gBAAgB,CAAC,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE,iBAG9E;IAED;;;;;;QAMI;IACG,QAAQ,CAAC,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,YAAY,GAAG,SAAS,EAAE,WAAW,EAAE,EAAE,cAM9F;IAED;;;;;QAKI;IACG,eAAe,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,WAGjE;IAED;;;OAGG;IACI,aAAa,CAAC,eAAe,EAAE,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,CAE/D;IAUD,WAAW,IAAI,WAAW,EAAE,CAE3B;IAED;;OAEG;IACH,oBAAoB,IAAI,EAAE,EAAE,CAE3B;IAED;;;OAGG;IACH,gBAAgB,IAAI,EAAE,EAAE,CAMvB;IAED,iBAAiB,IAAI,EAAE,CAEtB;CAaF"}