@aztec/simulator 0.0.0-test.0 → 0.0.1-commit.001888fc

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 (533) hide show
  1. package/README.md +12 -4
  2. package/dest/client.d.ts +6 -4
  3. package/dest/client.d.ts.map +1 -1
  4. package/dest/client.js +4 -2
  5. package/dest/common/errors.d.ts +6 -9
  6. package/dest/common/errors.d.ts.map +1 -1
  7. package/dest/common/errors.js +51 -32
  8. package/dest/common/index.d.ts +1 -2
  9. package/dest/common/index.d.ts.map +1 -1
  10. package/dest/common/index.js +0 -1
  11. package/dest/common/stats/index.d.ts +1 -1
  12. package/dest/common/stats/stats.d.ts +1 -1
  13. package/dest/private/acvm/acvm.d.ts +15 -7
  14. package/dest/private/acvm/acvm.d.ts.map +1 -1
  15. package/dest/private/acvm/acvm.js +14 -19
  16. package/dest/private/acvm/acvm_types.d.ts +2 -2
  17. package/dest/private/acvm/acvm_types.d.ts.map +1 -1
  18. package/dest/private/acvm/deserialize.d.ts +19 -20
  19. package/dest/private/acvm/deserialize.d.ts.map +1 -1
  20. package/dest/private/acvm/deserialize.js +32 -24
  21. package/dest/private/acvm/index.d.ts +1 -2
  22. package/dest/private/acvm/index.d.ts.map +1 -1
  23. package/dest/private/acvm/index.js +0 -1
  24. package/dest/private/acvm/serialize.d.ts +21 -4
  25. package/dest/private/acvm/serialize.d.ts.map +1 -1
  26. package/dest/private/acvm/serialize.js +54 -1
  27. package/dest/private/acvm_native.d.ts +41 -0
  28. package/dest/private/acvm_native.d.ts.map +1 -0
  29. package/dest/private/{providers/acvm_native.js → acvm_native.js} +34 -26
  30. package/dest/private/acvm_wasm.d.ts +16 -0
  31. package/dest/private/acvm_wasm.d.ts.map +1 -0
  32. package/dest/private/acvm_wasm.js +65 -0
  33. package/dest/private/acvm_wasm_with_blobs.d.ts +20 -0
  34. package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -0
  35. package/dest/private/acvm_wasm_with_blobs.js +35 -0
  36. package/dest/private/circuit_recording/circuit_recorder.d.ts +109 -0
  37. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -0
  38. package/dest/private/circuit_recording/circuit_recorder.js +212 -0
  39. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +32 -0
  40. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -0
  41. package/dest/private/circuit_recording/file_circuit_recorder.js +135 -0
  42. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +10 -0
  43. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -0
  44. package/dest/private/circuit_recording/memory_circuit_recorder.js +9 -0
  45. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +21 -0
  46. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -0
  47. package/dest/private/circuit_recording/simulator_recorder_wrapper.js +44 -0
  48. package/dest/private/circuit_simulator.d.ts +35 -0
  49. package/dest/private/circuit_simulator.d.ts.map +1 -0
  50. package/dest/private/circuit_simulator.js +43 -0
  51. package/dest/private/factory.d.ts +12 -0
  52. package/dest/private/factory.d.ts.map +1 -0
  53. package/dest/private/{providers/factory.js → factory.js} +8 -5
  54. package/dest/public/avm/avm_context.d.ts +8 -8
  55. package/dest/public/avm/avm_context.d.ts.map +1 -1
  56. package/dest/public/avm/avm_contract_call_result.d.ts +8 -6
  57. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  58. package/dest/public/avm/avm_contract_call_result.js +12 -8
  59. package/dest/public/avm/avm_execution_environment.d.ts +9 -6
  60. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  61. package/dest/public/avm/avm_execution_environment.js +5 -3
  62. package/dest/public/avm/avm_gas.d.ts +5 -21
  63. package/dest/public/avm/avm_gas.d.ts.map +1 -1
  64. package/dest/public/avm/avm_gas.js +29 -37
  65. package/dest/public/avm/avm_machine_state.d.ts +9 -6
  66. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  67. package/dest/public/avm/avm_machine_state.js +5 -2
  68. package/dest/public/avm/avm_memory_types.d.ts +100 -89
  69. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  70. package/dest/public/avm/avm_memory_types.js +21 -7
  71. package/dest/public/avm/avm_simulator.d.ts +8 -7
  72. package/dest/public/avm/avm_simulator.d.ts.map +1 -1
  73. package/dest/public/avm/avm_simulator.js +32 -42
  74. package/dest/public/avm/avm_simulator_interface.d.ts +9 -0
  75. package/dest/public/avm/avm_simulator_interface.d.ts.map +1 -0
  76. package/dest/public/avm/avm_simulator_interface.js +3 -0
  77. package/dest/public/avm/calldata.d.ts +51 -0
  78. package/dest/public/avm/calldata.d.ts.map +1 -0
  79. package/dest/public/avm/calldata.js +63 -0
  80. package/dest/public/avm/errors.d.ts +11 -29
  81. package/dest/public/avm/errors.d.ts.map +1 -1
  82. package/dest/public/avm/errors.js +19 -57
  83. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +2 -0
  84. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +1 -0
  85. package/dest/public/avm/fixtures/account_proof_fetcher.js +152 -0
  86. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +6 -5
  87. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  88. package/dest/public/avm/fixtures/avm_simulation_tester.js +26 -18
  89. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +8 -6
  90. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
  91. package/dest/public/avm/fixtures/base_avm_simulation_tester.js +38 -15
  92. package/dest/public/avm/fixtures/initializers.d.ts +42 -0
  93. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -0
  94. package/dest/public/avm/fixtures/initializers.js +45 -0
  95. package/dest/public/avm/fixtures/utils.d.ts +39 -0
  96. package/dest/public/avm/fixtures/utils.d.ts.map +1 -0
  97. package/dest/public/avm/fixtures/utils.js +96 -0
  98. package/dest/public/avm/index.d.ts +1 -3
  99. package/dest/public/avm/index.d.ts.map +1 -1
  100. package/dest/public/avm/index.js +0 -2
  101. package/dest/public/avm/opcodes/accrued_substate.d.ts +18 -19
  102. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  103. package/dest/public/avm/opcodes/accrued_substate.js +61 -59
  104. package/dest/public/avm/opcodes/addressing_mode.d.ts +12 -8
  105. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +1 -1
  106. package/dest/public/avm/opcodes/addressing_mode.js +46 -26
  107. package/dest/public/avm/opcodes/arithmetic.d.ts +14 -2
  108. package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
  109. package/dest/public/avm/opcodes/arithmetic.js +27 -3
  110. package/dest/public/avm/opcodes/bitwise.d.ts +8 -16
  111. package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
  112. package/dest/public/avm/opcodes/bitwise.js +22 -29
  113. package/dest/public/avm/opcodes/comparators.d.ts +1 -1
  114. package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
  115. package/dest/public/avm/opcodes/comparators.js +3 -3
  116. package/dest/public/avm/opcodes/contract.d.ts +3 -4
  117. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  118. package/dest/public/avm/opcodes/contract.js +11 -12
  119. package/dest/public/avm/opcodes/control_flow.d.ts +3 -3
  120. package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
  121. package/dest/public/avm/opcodes/control_flow.js +13 -11
  122. package/dest/public/avm/opcodes/conversion.d.ts +4 -3
  123. package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
  124. package/dest/public/avm/opcodes/conversion.js +270 -6
  125. package/dest/public/avm/opcodes/ec_add.d.ts +3 -3
  126. package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
  127. package/dest/public/avm/opcodes/ec_add.js +21 -12
  128. package/dest/public/avm/opcodes/environment_getters.d.ts +5 -5
  129. package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
  130. package/dest/public/avm/opcodes/environment_getters.js +20 -22
  131. package/dest/public/avm/opcodes/external_calls.d.ts +14 -13
  132. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  133. package/dest/public/avm/opcodes/external_calls.js +52 -46
  134. package/dest/public/avm/opcodes/hashing.d.ts +7 -7
  135. package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
  136. package/dest/public/avm/opcodes/hashing.js +24 -19
  137. package/dest/public/avm/opcodes/index.d.ts +1 -1
  138. package/dest/public/avm/opcodes/instruction.d.ts +15 -11
  139. package/dest/public/avm/opcodes/instruction.d.ts.map +1 -1
  140. package/dest/public/avm/opcodes/instruction.js +23 -19
  141. package/dest/public/avm/opcodes/instruction_impl.d.ts +4 -4
  142. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
  143. package/dest/public/avm/opcodes/instruction_impl.js +4 -4
  144. package/dest/public/avm/opcodes/memory.d.ts +15 -15
  145. package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
  146. package/dest/public/avm/opcodes/memory.js +52 -48
  147. package/dest/public/avm/opcodes/misc.d.ts +4 -3
  148. package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
  149. package/dest/public/avm/opcodes/misc.js +42 -17
  150. package/dest/public/avm/opcodes/storage.d.ts +14 -13
  151. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  152. package/dest/public/avm/opcodes/storage.js +39 -27
  153. package/dest/public/avm/revert_reason.d.ts +18 -0
  154. package/dest/public/avm/revert_reason.d.ts.map +1 -0
  155. package/dest/public/avm/revert_reason.js +39 -0
  156. package/dest/public/avm/serialization/buffer_cursor.d.ts +1 -3
  157. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +1 -1
  158. package/dest/public/avm/serialization/bytecode_serialization.d.ts +3 -7
  159. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -1
  160. package/dest/public/avm/serialization/bytecode_serialization.js +81 -77
  161. package/dest/public/avm/serialization/instruction_serialization.d.ts +15 -6
  162. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -1
  163. package/dest/public/avm/serialization/instruction_serialization.js +71 -36
  164. package/dest/public/avm/test_utils.d.ts +12 -15
  165. package/dest/public/avm/test_utils.d.ts.map +1 -1
  166. package/dest/public/avm/test_utils.js +17 -25
  167. package/dest/public/contracts_db_checkpoint.d.ts +16 -0
  168. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -0
  169. package/dest/public/contracts_db_checkpoint.js +30 -0
  170. package/dest/public/db_interfaces.d.ts +68 -0
  171. package/dest/public/db_interfaces.d.ts.map +1 -0
  172. package/dest/public/db_interfaces.js +3 -0
  173. package/dest/public/debug_fn_name.d.ts +18 -0
  174. package/dest/public/debug_fn_name.d.ts.map +1 -0
  175. package/dest/public/debug_fn_name.js +37 -0
  176. package/dest/public/executor_metrics.d.ts +12 -4
  177. package/dest/public/executor_metrics.d.ts.map +1 -1
  178. package/dest/public/executor_metrics.js +33 -23
  179. package/dest/public/executor_metrics_interface.d.ts +10 -0
  180. package/dest/public/executor_metrics_interface.d.ts.map +1 -0
  181. package/dest/public/executor_metrics_interface.js +1 -0
  182. package/dest/public/fixtures/amm_test.d.ts +10 -0
  183. package/dest/public/fixtures/amm_test.d.ts.map +1 -0
  184. package/dest/public/fixtures/amm_test.js +213 -0
  185. package/dest/public/fixtures/bulk_test.d.ts +6 -0
  186. package/dest/public/fixtures/bulk_test.d.ts.map +1 -0
  187. package/dest/public/fixtures/bulk_test.js +262 -0
  188. package/dest/public/fixtures/custom_bytecode_tester.d.ts +34 -0
  189. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -0
  190. package/dest/public/fixtures/custom_bytecode_tester.js +53 -0
  191. package/dest/public/fixtures/custom_bytecode_tests.d.ts +12 -0
  192. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -0
  193. package/dest/public/fixtures/custom_bytecode_tests.js +174 -0
  194. package/dest/public/fixtures/index.d.ts +10 -1
  195. package/dest/public/fixtures/index.d.ts.map +1 -1
  196. package/dest/public/fixtures/index.js +9 -0
  197. package/dest/public/fixtures/minimal_public_tx.d.ts +4 -0
  198. package/dest/public/fixtures/minimal_public_tx.d.ts.map +1 -0
  199. package/dest/public/fixtures/minimal_public_tx.js +19 -0
  200. package/dest/public/fixtures/opcode_spammer.d.ts +122 -0
  201. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -0
  202. package/dest/public/fixtures/opcode_spammer.js +1653 -0
  203. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +56 -15
  204. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  205. package/dest/public/fixtures/public_tx_simulation_tester.js +164 -71
  206. package/dest/public/fixtures/simple_contract_data_source.d.ts +36 -0
  207. package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -0
  208. package/dest/public/{avm/fixtures → fixtures}/simple_contract_data_source.js +31 -10
  209. package/dest/public/fixtures/token_test.d.ts +12 -0
  210. package/dest/public/fixtures/token_test.d.ts.map +1 -0
  211. package/dest/public/fixtures/token_test.js +96 -0
  212. package/dest/public/fixtures/utils.d.ts +18 -5
  213. package/dest/public/fixtures/utils.d.ts.map +1 -1
  214. package/dest/public/fixtures/utils.js +102 -59
  215. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +60 -0
  216. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
  217. package/dest/public/fuzzing/avm_fuzzer_simulator.js +171 -0
  218. package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
  219. package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
  220. package/dest/public/fuzzing/avm_simulator_bin.js +118 -0
  221. package/dest/public/hinting_db_sources.d.ts +80 -0
  222. package/dest/public/hinting_db_sources.d.ts.map +1 -0
  223. package/dest/public/hinting_db_sources.js +356 -0
  224. package/dest/public/index.d.ts +6 -9
  225. package/dest/public/index.d.ts.map +1 -1
  226. package/dest/public/index.js +4 -7
  227. package/dest/public/public_db_sources.d.ts +54 -103
  228. package/dest/public/public_db_sources.d.ts.map +1 -1
  229. package/dest/public/public_db_sources.js +222 -195
  230. package/dest/public/public_errors.d.ts +12 -0
  231. package/dest/public/public_errors.d.ts.map +1 -0
  232. package/dest/public/public_errors.js +13 -0
  233. package/dest/public/public_processor/guarded_merkle_tree.d.ts +51 -0
  234. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -0
  235. package/dest/public/public_processor/guarded_merkle_tree.js +113 -0
  236. package/dest/public/public_processor/public_processor.d.ts +30 -38
  237. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  238. package/dest/public/public_processor/public_processor.js +602 -153
  239. package/dest/public/public_processor/public_processor_metrics.d.ts +4 -4
  240. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  241. package/dest/public/public_processor/public_processor_metrics.js +29 -46
  242. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +19 -0
  243. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -0
  244. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +98 -0
  245. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +53 -0
  246. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -0
  247. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +131 -0
  248. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +42 -0
  249. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -0
  250. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +86 -0
  251. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +30 -0
  252. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -0
  253. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +171 -0
  254. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +23 -0
  255. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -0
  256. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +52 -0
  257. package/dest/public/public_tx_simulator/factories.d.ts +14 -0
  258. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
  259. package/dest/public/public_tx_simulator/factories.js +28 -0
  260. package/dest/public/public_tx_simulator/index.d.ts +8 -0
  261. package/dest/public/public_tx_simulator/index.d.ts.map +1 -0
  262. package/dest/public/public_tx_simulator/index.js +5 -0
  263. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +31 -0
  264. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +1 -0
  265. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +51 -0
  266. package/dest/public/public_tx_simulator/public_tx_context.d.ts +25 -31
  267. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  268. package/dest/public/public_tx_simulator/public_tx_context.js +75 -95
  269. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +38 -58
  270. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  271. package/dest/public/public_tx_simulator/public_tx_simulator.js +220 -207
  272. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +32 -0
  273. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -0
  274. package/dest/public/public_tx_simulator/public_tx_simulator_interface.js +1 -0
  275. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +21 -0
  276. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +1 -0
  277. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +415 -0
  278. package/dest/public/side_effect_errors.d.ts +42 -2
  279. package/dest/public/side_effect_errors.d.ts.map +1 -1
  280. package/dest/public/side_effect_errors.js +70 -1
  281. package/dest/public/side_effect_trace.d.ts +24 -69
  282. package/dest/public/side_effect_trace.d.ts.map +1 -1
  283. package/dest/public/side_effect_trace.js +74 -124
  284. package/dest/public/side_effect_trace_interface.d.ts +13 -25
  285. package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
  286. package/dest/public/state_manager/index.d.ts +2 -0
  287. package/dest/public/state_manager/index.d.ts.map +1 -0
  288. package/dest/public/state_manager/index.js +1 -0
  289. package/dest/public/{avm/journal → state_manager}/nullifiers.d.ts +4 -7
  290. package/dest/public/state_manager/nullifiers.d.ts.map +1 -0
  291. package/dest/public/{avm/journal → state_manager}/nullifiers.js +3 -8
  292. package/dest/public/{avm/journal → state_manager}/public_storage.d.ts +4 -4
  293. package/dest/public/state_manager/public_storage.d.ts.map +1 -0
  294. package/dest/public/{avm/journal → state_manager}/public_storage.js +1 -1
  295. package/dest/public/state_manager/state_manager.d.ts +170 -0
  296. package/dest/public/state_manager/state_manager.d.ts.map +1 -0
  297. package/dest/public/state_manager/state_manager.js +402 -0
  298. package/dest/public/test_executor_metrics.d.ts +61 -0
  299. package/dest/public/test_executor_metrics.d.ts.map +1 -0
  300. package/dest/public/test_executor_metrics.js +329 -0
  301. package/dest/public/unique_class_ids.d.ts +1 -1
  302. package/dest/public/unique_class_ids.d.ts.map +1 -1
  303. package/dest/public/utils.d.ts +3 -5
  304. package/dest/public/utils.d.ts.map +1 -1
  305. package/dest/public/utils.js +4 -21
  306. package/dest/server.d.ts +7 -4
  307. package/dest/server.d.ts.map +1 -1
  308. package/dest/server.js +5 -2
  309. package/dest/testing.d.ts +2 -0
  310. package/dest/testing.d.ts.map +1 -0
  311. package/dest/testing.js +1 -0
  312. package/package.json +38 -33
  313. package/src/client.ts +5 -3
  314. package/src/common/errors.ts +80 -45
  315. package/src/common/index.ts +0 -1
  316. package/src/private/acvm/acvm.ts +21 -35
  317. package/src/private/acvm/acvm_types.ts +1 -1
  318. package/src/private/acvm/deserialize.ts +36 -30
  319. package/src/private/acvm/index.ts +0 -1
  320. package/src/private/acvm/serialize.ts +64 -1
  321. package/src/private/{providers/acvm_native.ts → acvm_native.ts} +57 -28
  322. package/src/private/acvm_wasm.ts +76 -0
  323. package/src/private/acvm_wasm_with_blobs.ts +54 -0
  324. package/src/private/circuit_recording/circuit_recorder.ts +263 -0
  325. package/src/private/circuit_recording/file_circuit_recorder.ts +163 -0
  326. package/src/private/circuit_recording/memory_circuit_recorder.ts +13 -0
  327. package/src/private/circuit_recording/simulator_recorder_wrapper.ts +91 -0
  328. package/src/private/circuit_simulator.ts +90 -0
  329. package/src/private/{providers/factory.ts → factory.ts} +13 -10
  330. package/src/public/avm/avm_context.ts +6 -6
  331. package/src/public/avm/avm_contract_call_result.ts +23 -9
  332. package/src/public/avm/avm_execution_environment.ts +17 -5
  333. package/src/public/avm/avm_gas.ts +27 -39
  334. package/src/public/avm/avm_machine_state.ts +12 -6
  335. package/src/public/avm/avm_memory_types.ts +24 -7
  336. package/src/public/avm/avm_simulator.ts +57 -62
  337. package/src/public/avm/avm_simulator_interface.ts +8 -0
  338. package/src/public/avm/calldata.ts +100 -0
  339. package/src/public/avm/errors.ts +20 -75
  340. package/src/public/avm/fixtures/account_proof.json +553 -0
  341. package/src/public/avm/fixtures/account_proof_fetcher.ts +166 -0
  342. package/src/public/avm/fixtures/avm_simulation_tester.ts +41 -24
  343. package/src/public/avm/fixtures/base_avm_simulation_tester.ts +46 -13
  344. package/src/public/avm/fixtures/initializers.ts +103 -0
  345. package/src/public/avm/fixtures/utils.ts +151 -0
  346. package/src/public/avm/index.ts +0 -2
  347. package/src/public/avm/opcodes/accrued_substate.ts +84 -52
  348. package/src/public/avm/opcodes/addressing_mode.ts +56 -32
  349. package/src/public/avm/opcodes/arithmetic.ts +37 -3
  350. package/src/public/avm/opcodes/bitwise.ts +33 -29
  351. package/src/public/avm/opcodes/comparators.ts +6 -3
  352. package/src/public/avm/opcodes/contract.ts +10 -10
  353. package/src/public/avm/opcodes/control_flow.ts +19 -10
  354. package/src/public/avm/opcodes/conversion.ts +29 -5
  355. package/src/public/avm/opcodes/ec_add.ts +22 -10
  356. package/src/public/avm/opcodes/environment_getters.ts +28 -23
  357. package/src/public/avm/opcodes/external_calls.ts +70 -36
  358. package/src/public/avm/opcodes/hashing.ts +39 -13
  359. package/src/public/avm/opcodes/instruction.ts +31 -21
  360. package/src/public/avm/opcodes/instruction_impl.ts +2 -2
  361. package/src/public/avm/opcodes/memory.ts +81 -42
  362. package/src/public/avm/opcodes/misc.ts +61 -19
  363. package/src/public/avm/opcodes/storage.ts +47 -23
  364. package/src/public/avm/revert_reason.ts +58 -0
  365. package/src/public/avm/serialization/buffer_cursor.ts +4 -1
  366. package/src/public/avm/serialization/bytecode_serialization.ts +90 -81
  367. package/src/public/avm/serialization/instruction_serialization.ts +76 -35
  368. package/src/public/avm/test_utils.ts +25 -42
  369. package/src/public/contracts_db_checkpoint.ts +41 -0
  370. package/src/public/db_interfaces.ts +76 -0
  371. package/src/public/debug_fn_name.ts +52 -0
  372. package/src/public/executor_metrics.ts +49 -23
  373. package/src/public/executor_metrics_interface.ts +15 -0
  374. package/src/public/fixtures/amm_test.ts +331 -0
  375. package/src/public/fixtures/bulk_test.ts +169 -0
  376. package/src/public/fixtures/custom_bytecode_tester.ts +83 -0
  377. package/src/public/fixtures/custom_bytecode_tests.ts +228 -0
  378. package/src/public/fixtures/index.ts +13 -0
  379. package/src/public/fixtures/minimal_public_tx.ts +26 -0
  380. package/src/public/fixtures/opcode_spammer.ts +1717 -0
  381. package/src/public/fixtures/public_tx_simulation_tester.ts +269 -114
  382. package/src/public/{avm/fixtures → fixtures}/simple_contract_data_source.ts +37 -20
  383. package/src/public/fixtures/token_test.ts +148 -0
  384. package/src/public/fixtures/utils.ts +142 -69
  385. package/src/public/fuzzing/avm_fuzzer_simulator.ts +288 -0
  386. package/src/public/fuzzing/avm_simulator_bin.ts +175 -0
  387. package/src/public/hinting_db_sources.ts +609 -0
  388. package/src/public/index.ts +11 -8
  389. package/src/public/public_db_sources.ts +290 -260
  390. package/src/public/public_errors.ts +14 -0
  391. package/src/public/public_processor/guarded_merkle_tree.ts +158 -0
  392. package/src/public/public_processor/public_processor.ts +294 -205
  393. package/src/public/public_processor/public_processor_metrics.ts +18 -46
  394. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +124 -0
  395. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +210 -0
  396. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +134 -0
  397. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +239 -0
  398. package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +83 -0
  399. package/src/public/public_tx_simulator/factories.ts +44 -0
  400. package/src/public/public_tx_simulator/index.ts +7 -0
  401. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +105 -0
  402. package/src/public/public_tx_simulator/public_tx_context.ts +179 -199
  403. package/src/public/public_tx_simulator/public_tx_simulator.ts +316 -263
  404. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +33 -0
  405. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +63 -0
  406. package/src/public/side_effect_errors.ts +91 -1
  407. package/src/public/side_effect_trace.ts +99 -322
  408. package/src/public/side_effect_trace_interface.ts +11 -59
  409. package/src/public/state_manager/index.ts +1 -0
  410. package/src/public/{avm/journal → state_manager}/nullifiers.ts +6 -12
  411. package/src/public/{avm/journal → state_manager}/public_storage.ts +3 -3
  412. package/src/public/state_manager/state_manager.ts +569 -0
  413. package/src/public/test_executor_metrics.ts +421 -0
  414. package/src/public/utils.ts +5 -21
  415. package/src/server.ts +6 -3
  416. package/src/testing.ts +1 -0
  417. package/dest/common/db_interfaces.d.ts +0 -80
  418. package/dest/common/db_interfaces.d.ts.map +0 -1
  419. package/dest/common/db_interfaces.js +0 -1
  420. package/dest/common/debug_fn_name.d.ts +0 -5
  421. package/dest/common/debug_fn_name.d.ts.map +0 -1
  422. package/dest/common/debug_fn_name.js +0 -6
  423. package/dest/common/message_load_oracle_inputs.d.ts +0 -15
  424. package/dest/common/message_load_oracle_inputs.d.ts.map +0 -1
  425. package/dest/common/message_load_oracle_inputs.js +0 -15
  426. package/dest/private/acvm/oracle/index.d.ts +0 -14
  427. package/dest/private/acvm/oracle/index.d.ts.map +0 -1
  428. package/dest/private/acvm/oracle/index.js +0 -2
  429. package/dest/private/acvm/oracle/oracle.d.ts +0 -49
  430. package/dest/private/acvm/oracle/oracle.d.ts.map +0 -1
  431. package/dest/private/acvm/oracle/oracle.js +0 -263
  432. package/dest/private/acvm/oracle/typed_oracle.d.ts +0 -83
  433. package/dest/private/acvm/oracle/typed_oracle.d.ts.map +0 -1
  434. package/dest/private/acvm/oracle/typed_oracle.js +0 -132
  435. package/dest/private/execution_data_provider.d.ts +0 -261
  436. package/dest/private/execution_data_provider.d.ts.map +0 -1
  437. package/dest/private/execution_data_provider.js +0 -14
  438. package/dest/private/execution_note_cache.d.ts +0 -93
  439. package/dest/private/execution_note_cache.d.ts.map +0 -1
  440. package/dest/private/execution_note_cache.js +0 -180
  441. package/dest/private/hashed_values_cache.d.ts +0 -28
  442. package/dest/private/hashed_values_cache.d.ts.map +0 -1
  443. package/dest/private/hashed_values_cache.js +0 -46
  444. package/dest/private/index.d.ts +0 -13
  445. package/dest/private/index.d.ts.map +0 -1
  446. package/dest/private/index.js +0 -12
  447. package/dest/private/pick_notes.d.ts +0 -85
  448. package/dest/private/pick_notes.d.ts.map +0 -1
  449. package/dest/private/pick_notes.js +0 -51
  450. package/dest/private/private_execution.d.ts +0 -25
  451. package/dest/private/private_execution.d.ts.map +0 -1
  452. package/dest/private/private_execution.js +0 -92
  453. package/dest/private/private_execution_oracle.d.ts +0 -215
  454. package/dest/private/private_execution_oracle.d.ts.map +0 -1
  455. package/dest/private/private_execution_oracle.js +0 -382
  456. package/dest/private/providers/acvm_native.d.ts +0 -40
  457. package/dest/private/providers/acvm_native.d.ts.map +0 -1
  458. package/dest/private/providers/acvm_wasm.d.ts +0 -15
  459. package/dest/private/providers/acvm_wasm.d.ts.map +0 -1
  460. package/dest/private/providers/acvm_wasm.js +0 -62
  461. package/dest/private/providers/acvm_wasm_with_blobs.d.ts +0 -19
  462. package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
  463. package/dest/private/providers/acvm_wasm_with_blobs.js +0 -32
  464. package/dest/private/providers/factory.d.ts +0 -12
  465. package/dest/private/providers/factory.d.ts.map +0 -1
  466. package/dest/private/providers/simulation_provider.d.ts +0 -19
  467. package/dest/private/providers/simulation_provider.d.ts.map +0 -1
  468. package/dest/private/providers/simulation_provider.js +0 -24
  469. package/dest/private/simulator.d.ts +0 -34
  470. package/dest/private/simulator.d.ts.map +0 -1
  471. package/dest/private/simulator.js +0 -76
  472. package/dest/private/unconstrained_execution.d.ts +0 -10
  473. package/dest/private/unconstrained_execution.d.ts.map +0 -1
  474. package/dest/private/unconstrained_execution.js +0 -27
  475. package/dest/private/unconstrained_execution_oracle.d.ts +0 -161
  476. package/dest/private/unconstrained_execution_oracle.d.ts.map +0 -1
  477. package/dest/private/unconstrained_execution_oracle.js +0 -258
  478. package/dest/public/avm/bytecode_utils.d.ts +0 -5
  479. package/dest/public/avm/bytecode_utils.d.ts.map +0 -1
  480. package/dest/public/avm/bytecode_utils.js +0 -17
  481. package/dest/public/avm/fixtures/index.d.ts +0 -84
  482. package/dest/public/avm/fixtures/index.d.ts.map +0 -1
  483. package/dest/public/avm/fixtures/index.js +0 -175
  484. package/dest/public/avm/fixtures/simple_contract_data_source.d.ts +0 -35
  485. package/dest/public/avm/fixtures/simple_contract_data_source.d.ts.map +0 -1
  486. package/dest/public/avm/journal/index.d.ts +0 -2
  487. package/dest/public/avm/journal/index.d.ts.map +0 -1
  488. package/dest/public/avm/journal/index.js +0 -1
  489. package/dest/public/avm/journal/journal.d.ts +0 -209
  490. package/dest/public/avm/journal/journal.d.ts.map +0 -1
  491. package/dest/public/avm/journal/journal.js +0 -486
  492. package/dest/public/avm/journal/nullifiers.d.ts.map +0 -1
  493. package/dest/public/avm/journal/public_storage.d.ts.map +0 -1
  494. package/dest/public/bytecode_errors.d.ts +0 -4
  495. package/dest/public/bytecode_errors.d.ts.map +0 -1
  496. package/dest/public/bytecode_errors.js +0 -6
  497. package/dest/public/execution.d.ts +0 -108
  498. package/dest/public/execution.d.ts.map +0 -1
  499. package/dest/public/execution.js +0 -9
  500. package/dest/public/tx_contract_cache.d.ts +0 -41
  501. package/dest/public/tx_contract_cache.d.ts.map +0 -1
  502. package/dest/public/tx_contract_cache.js +0 -49
  503. package/dest/test/utils.d.ts +0 -13
  504. package/dest/test/utils.d.ts.map +0 -1
  505. package/dest/test/utils.js +0 -22
  506. package/src/common/db_interfaces.ts +0 -94
  507. package/src/common/debug_fn_name.ts +0 -18
  508. package/src/common/message_load_oracle_inputs.ts +0 -15
  509. package/src/private/acvm/oracle/index.ts +0 -16
  510. package/src/private/acvm/oracle/oracle.ts +0 -455
  511. package/src/private/acvm/oracle/typed_oracle.ts +0 -259
  512. package/src/private/execution_data_provider.ts +0 -323
  513. package/src/private/execution_note_cache.ts +0 -217
  514. package/src/private/hashed_values_cache.ts +0 -55
  515. package/src/private/index.ts +0 -16
  516. package/src/private/pick_notes.ts +0 -141
  517. package/src/private/private_execution.ts +0 -151
  518. package/src/private/private_execution_oracle.ts +0 -614
  519. package/src/private/providers/acvm_wasm.ts +0 -63
  520. package/src/private/providers/acvm_wasm_with_blobs.ts +0 -50
  521. package/src/private/providers/simulation_provider.ts +0 -45
  522. package/src/private/simulator.ts +0 -147
  523. package/src/private/unconstrained_execution.ts +0 -50
  524. package/src/private/unconstrained_execution_oracle.ts +0 -373
  525. package/src/public/avm/bytecode_utils.ts +0 -17
  526. package/src/public/avm/fixtures/index.ts +0 -296
  527. package/src/public/avm/journal/index.ts +0 -1
  528. package/src/public/avm/journal/journal.ts +0 -742
  529. package/src/public/avm/opcodes/.eslintrc.cjs +0 -8
  530. package/src/public/bytecode_errors.ts +0 -6
  531. package/src/public/execution.ts +0 -140
  532. package/src/public/tx_contract_cache.ts +0 -69
  533. package/src/test/utils.ts +0 -36
@@ -1,53 +1,112 @@
1
- import { PUBLIC_DISPATCH_SELECTOR } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
3
- import { type ContractArtifact, FunctionSelector, encodeArguments } from '@aztec/stdlib/abi';
1
+ import {
2
+ DEFAULT_TEARDOWN_DA_GAS_LIMIT,
3
+ DEFAULT_TEARDOWN_L2_GAS_LIMIT,
4
+ PUBLIC_TX_L2_GAS_OVERHEAD,
5
+ TX_DA_GAS_OVERHEAD,
6
+ } from '@aztec/constants';
7
+ import { asyncMap } from '@aztec/foundation/async-map';
8
+ import { BlockNumber } from '@aztec/foundation/branded-types';
9
+ import { Fr } from '@aztec/foundation/curves/bn254';
10
+ import { type ContractArtifact, encodeArguments } from '@aztec/stdlib/abi';
11
+ import { PublicSimulatorConfig, type PublicTxResult } from '@aztec/stdlib/avm';
4
12
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
5
- import { GasFees } from '@aztec/stdlib/gas';
13
+ import { Gas, GasFees } from '@aztec/stdlib/gas';
6
14
  import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
7
- import { PublicExecutionRequest, type Tx } from '@aztec/stdlib/tx';
8
- import { CallContext, GlobalVariables } from '@aztec/stdlib/tx';
15
+ import { PublicCallRequest } from '@aztec/stdlib/kernel';
16
+ import { GlobalVariables, PublicCallRequestWithCalldata, type Tx } from '@aztec/stdlib/tx';
9
17
  import { NativeWorldStateService } from '@aztec/world-state';
10
18
 
11
19
  import { BaseAvmSimulationTester } from '../avm/fixtures/base_avm_simulation_tester.js';
12
- import { getContractFunctionArtifact, getFunctionSelector } from '../avm/fixtures/index.js';
13
- import { SimpleContractDataSource } from '../avm/fixtures/simple_contract_data_source.js';
14
- import { WorldStateDB } from '../public_db_sources.js';
15
- import { type PublicTxResult, PublicTxSimulator } from '../public_tx_simulator/public_tx_simulator.js';
16
- import { createTxForPublicCalls } from './index.js';
20
+ import {
21
+ DEFAULT_BLOCK_NUMBER,
22
+ DEFAULT_TIMESTAMP,
23
+ getContractFunctionAbi,
24
+ getFunctionSelector,
25
+ } from '../avm/fixtures/utils.js';
26
+ import { PublicContractsDB } from '../public_db_sources.js';
27
+ import { MeasuredCppPublicTxSimulator } from '../public_tx_simulator/cpp_public_tx_simulator.js';
28
+ import { MeasuredCppVsTsPublicTxSimulator } from '../public_tx_simulator/cpp_vs_ts_public_tx_simulator.js';
29
+ import type { MeasuredPublicTxSimulatorInterface } from '../public_tx_simulator/public_tx_simulator_interface.js';
30
+ import { TestExecutorMetrics } from '../test_executor_metrics.js';
31
+ import { SimpleContractDataSource } from './simple_contract_data_source.js';
32
+ import { type TestPrivateInsertions, createTxForPublicCalls } from './utils.js';
17
33
 
18
- const TIMESTAMP = new Fr(99833);
19
34
  const DEFAULT_GAS_FEES = new GasFees(2, 3);
20
- export const DEFAULT_BLOCK_NUMBER = 42;
21
35
 
22
36
  export type TestEnqueuedCall = {
37
+ sender?: AztecAddress;
23
38
  address: AztecAddress;
24
- fnName: string;
39
+ fnName?: string;
25
40
  args: any[];
26
41
  isStaticCall?: boolean;
27
42
  contractArtifact?: ContractArtifact;
28
43
  };
29
44
 
45
+ const defaultConfig: PublicSimulatorConfig = PublicSimulatorConfig.from({
46
+ skipFeeEnforcement: false,
47
+ collectCallMetadata: true,
48
+ collectDebugLogs: true,
49
+ collectHints: false,
50
+ collectPublicInputs: false,
51
+ collectStatistics: false,
52
+ });
53
+
54
+ /**
55
+ * Factory type for creating a MeasuredPublicTxSimulatorInterface.
56
+ */
57
+ export type MeasuredSimulatorFactory = (
58
+ merkleTree: MerkleTreeWriteOperations,
59
+ contractsDB: PublicContractsDB,
60
+ globals: GlobalVariables,
61
+ metrics: TestExecutorMetrics,
62
+ config: PublicSimulatorConfig,
63
+ ) => MeasuredPublicTxSimulatorInterface;
64
+
30
65
  /**
31
66
  * A test class that extends the BaseAvmSimulationTester to enable real-app testing of the PublicTxSimulator.
32
67
  * It provides an interface for simulating one transaction at a time and maintains state between subsequent
33
68
  * transactions.
34
69
  */
35
70
  export class PublicTxSimulationTester extends BaseAvmSimulationTester {
36
- private txCount = 0;
71
+ protected txCount: number = 0;
72
+ private simulator: MeasuredPublicTxSimulatorInterface;
73
+ private metricsPrefix?: string;
37
74
 
38
75
  constructor(
39
- private worldStateDB: WorldStateDB,
76
+ merkleTree: MerkleTreeWriteOperations,
40
77
  contractDataSource: SimpleContractDataSource,
41
- merkleTrees: MerkleTreeWriteOperations,
78
+ globals: GlobalVariables = defaultGlobals(),
79
+ private metrics: TestExecutorMetrics = new TestExecutorMetrics(),
80
+ simulatorFactory?: MeasuredSimulatorFactory,
81
+ config: PublicSimulatorConfig = defaultConfig,
42
82
  ) {
43
- super(contractDataSource, merkleTrees);
83
+ super(contractDataSource, merkleTree);
84
+
85
+ const contractsDB = new PublicContractsDB(contractDataSource);
86
+ if (simulatorFactory) {
87
+ this.simulator = simulatorFactory(merkleTree, contractsDB, globals, this.metrics, config);
88
+ } else {
89
+ this.simulator = new MeasuredCppPublicTxSimulator(merkleTree, contractsDB, globals, this.metrics, config);
90
+ }
44
91
  }
45
92
 
46
- public static async create(): Promise<PublicTxSimulationTester> {
93
+ public static async create(
94
+ worldStateService: NativeWorldStateService, // make sure to close this later
95
+ globals: GlobalVariables = defaultGlobals(),
96
+ metrics: TestExecutorMetrics = new TestExecutorMetrics(),
97
+ useCppSimulator = false,
98
+ config: PublicSimulatorConfig = defaultConfig,
99
+ ): Promise<PublicTxSimulationTester> {
47
100
  const contractDataSource = new SimpleContractDataSource();
48
- const merkleTrees = await (await NativeWorldStateService.tmp()).fork();
49
- const worldStateDB = new WorldStateDB(merkleTrees, contractDataSource);
50
- return new PublicTxSimulationTester(worldStateDB, contractDataSource, merkleTrees);
101
+ const merkleTree = await worldStateService.fork();
102
+ const simulatorFactory: MeasuredSimulatorFactory = useCppSimulator
103
+ ? (mt, cdb, g, m, c) => new MeasuredCppPublicTxSimulator(mt, cdb, g, m, c)
104
+ : (mt, cdb, g, m, c) => new MeasuredCppVsTsPublicTxSimulator(mt, cdb, g, m, c);
105
+ return new PublicTxSimulationTester(merkleTree, contractDataSource, globals, metrics, simulatorFactory, config);
106
+ }
107
+
108
+ public setMetricsPrefix(prefix: string) {
109
+ this.metricsPrefix = prefix;
51
110
  }
52
111
 
53
112
  public async createTx(
@@ -57,69 +116,34 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
57
116
  teardownCall?: TestEnqueuedCall,
58
117
  feePayer: AztecAddress = sender,
59
118
  /* need some unique first nullifier for note-nonce computations */
60
- firstNullifier = new Fr(420000 + this.txCount++),
119
+ privateInsertions: TestPrivateInsertions = { nonRevertible: { nullifiers: [new Fr(420000 + this.txCount)] } },
120
+ gasLimits?: Gas,
61
121
  ): Promise<Tx> {
62
- const setupExecutionRequests: PublicExecutionRequest[] = [];
63
- for (let i = 0; i < setupCalls.length; i++) {
64
- const address = setupCalls[i].address;
65
- const contractArtifact =
66
- setupCalls[i].contractArtifact || (await this.contractDataSource.getContractArtifact(address));
67
- if (!contractArtifact) {
68
- throw new Error(`Contract artifact not found for address: ${address}`);
69
- }
70
- const req = await executionRequestForCall(
71
- contractArtifact,
72
- sender,
73
- address,
74
- setupCalls[i].fnName,
75
- setupCalls[i].args,
76
- setupCalls[i].isStaticCall,
77
- );
78
- setupExecutionRequests.push(req);
79
- }
80
- const appExecutionRequests: PublicExecutionRequest[] = [];
81
- for (let i = 0; i < appCalls.length; i++) {
82
- const address = appCalls[i].address;
83
- const contractArtifact =
84
- appCalls[i].contractArtifact || (await this.contractDataSource.getContractArtifact(address));
85
- if (!contractArtifact) {
86
- throw new Error(`Contract artifact not found for address: ${address}`);
87
- }
88
- const req = await executionRequestForCall(
89
- contractArtifact,
90
- sender,
91
- address,
92
- appCalls[i].fnName,
93
- appCalls[i].args,
94
- appCalls[i].isStaticCall,
95
- );
96
- appExecutionRequests.push(req);
97
- }
98
-
99
- let teardownExecutionRequest: PublicExecutionRequest | undefined = undefined;
100
- if (teardownCall) {
101
- const address = teardownCall.address;
102
- const contractArtifact =
103
- teardownCall.contractArtifact || (await this.contractDataSource.getContractArtifact(address));
104
- if (!contractArtifact) {
105
- throw new Error(`Contract artifact not found for address: ${address}`);
106
- }
107
- teardownExecutionRequest = await executionRequestForCall(
108
- contractArtifact,
109
- sender,
110
- address,
111
- teardownCall.fnName,
112
- teardownCall.args,
113
- teardownCall.isStaticCall,
114
- );
115
- }
122
+ const setupCallRequests = await asyncMap(setupCalls, call =>
123
+ this.#createPubicCallRequestForCall(call, call.sender ?? sender),
124
+ );
125
+ const appCallRequests = await asyncMap(appCalls, call =>
126
+ this.#createPubicCallRequestForCall(call, call.sender ?? sender),
127
+ );
128
+ const teardownCallRequest = teardownCall
129
+ ? await this.#createPubicCallRequestForCall(teardownCall, teardownCall.sender ?? sender)
130
+ : undefined;
116
131
 
117
- return await createTxForPublicCalls(
118
- firstNullifier,
119
- setupExecutionRequests,
120
- appExecutionRequests,
121
- teardownExecutionRequest,
132
+ this.txCount++;
133
+ return createTxForPublicCalls(
134
+ privateInsertions,
135
+ setupCallRequests,
136
+ appCallRequests,
137
+ teardownCallRequest,
122
138
  feePayer,
139
+ /*gasUsedByPrivate*/ teardownCall
140
+ ? new Gas(
141
+ DEFAULT_TEARDOWN_DA_GAS_LIMIT + TX_DA_GAS_OVERHEAD,
142
+ DEFAULT_TEARDOWN_L2_GAS_LIMIT + PUBLIC_TX_L2_GAS_OVERHEAD,
143
+ )
144
+ : new Gas(TX_DA_GAS_OVERHEAD, PUBLIC_TX_L2_GAS_OVERHEAD),
145
+ defaultGlobals(),
146
+ gasLimits,
123
147
  );
124
148
  }
125
149
 
@@ -130,50 +154,181 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
130
154
  teardownCall?: TestEnqueuedCall,
131
155
  feePayer: AztecAddress = sender,
132
156
  /* need some unique first nullifier for note-nonce computations */
133
- firstNullifier = new Fr(420000 + this.txCount++),
134
- globals = defaultGlobals(),
157
+ privateInsertions?: TestPrivateInsertions,
158
+ txLabel: string = 'unlabeledTx',
159
+ gasLimits?: Gas,
135
160
  ): Promise<PublicTxResult> {
136
- const tx = await this.createTx(sender, setupCalls, appCalls, teardownCall, feePayer, firstNullifier);
161
+ const tx = await this.createTx(sender, setupCalls, appCalls, teardownCall, feePayer, privateInsertions, gasLimits);
137
162
 
138
163
  await this.setFeePayerBalance(feePayer);
139
164
 
140
- const simulator = new PublicTxSimulator(this.merkleTrees, this.worldStateDB, globals, /*doMerkleOperations=*/ true);
165
+ const txLabelWithCount = `${txLabel}/${this.txCount - 1}`;
166
+ const fullTxLabel = this.metricsPrefix ? `${this.metricsPrefix}/${txLabelWithCount}` : txLabelWithCount;
167
+
168
+ if (!this.simulator) {
169
+ throw new Error(
170
+ 'No simulator configured. Pass a simulatorFactory to the constructor or use PublicTxSimulationTester.create()',
171
+ );
172
+ }
173
+ const avmResult = await this.simulator.simulate(tx, fullTxLabel);
141
174
 
142
- const startTime = performance.now();
143
- const avmResult = await simulator.simulate(tx);
144
- const endTime = performance.now();
145
- this.logger.debug(`Public transaction simulation took ${endTime - startTime}ms`);
175
+ await this.#recordBytecodeSizes(fullTxLabel, [...setupCalls, ...appCalls, ...(teardownCall ? [teardownCall] : [])]);
176
+
177
+ // Something like this is often useful for debugging:
178
+ //if (avmResult.revertReason) {
179
+ // // resolve / enrich revert reason
180
+ // const lastAppCall = appCalls[appCalls.length - 1];
181
+
182
+ // const contractArtifact =
183
+ // lastAppCall.contractArtifact || (await this.contractDataSource.getContractArtifact(lastAppCall.address));
184
+ // const fnAbi = getContractFunctionAbi(lastAppCall.fnName, contractArtifact!);
185
+ // const revertReason = resolveAssertionMessageFromRevertData(avmResult.revertReason.revertData, fnAbi!);
186
+ // this.logger.debug(`Revert reason: ${revertReason}`);
187
+ //}
146
188
 
147
189
  return avmResult;
148
190
  }
149
- }
150
191
 
151
- async function executionRequestForCall(
152
- contractArtifact: ContractArtifact,
153
- sender: AztecAddress,
154
- address: AztecAddress,
155
- fnName: string,
156
- args: Fr[] = [],
157
- isStaticCall: boolean = false,
158
- ): Promise<PublicExecutionRequest> {
159
- const fnSelector = await getFunctionSelector(fnName, contractArtifact);
160
- const fnAbi = getContractFunctionArtifact(fnName, contractArtifact);
161
- const encodedArgs = encodeArguments(fnAbi!, args);
162
- const calldata = [fnSelector.toField(), ...encodedArgs];
163
-
164
- const callContext = new CallContext(
165
- sender,
166
- address,
167
- /*selector=*/ new FunctionSelector(PUBLIC_DISPATCH_SELECTOR),
168
- isStaticCall,
169
- );
170
- return new PublicExecutionRequest(callContext, calldata);
192
+ /**
193
+ * Just simulate the transaction and return the result.
194
+ *
195
+ * This wrapper around simulation allows for easy labeling of a TX
196
+ * which is especially useful when reporting benchmarks or metrics.
197
+ */
198
+ public async simulateTxWithLabel(
199
+ txLabel: string,
200
+ sender: AztecAddress,
201
+ setupCalls?: TestEnqueuedCall[],
202
+ appCalls?: TestEnqueuedCall[],
203
+ teardownCall?: TestEnqueuedCall,
204
+ feePayer?: AztecAddress,
205
+ privateInsertions?: TestPrivateInsertions,
206
+ gasLimits?: Gas,
207
+ ): Promise<PublicTxResult> {
208
+ return await this.simulateTx(
209
+ sender,
210
+ setupCalls,
211
+ appCalls,
212
+ teardownCall,
213
+ feePayer,
214
+ privateInsertions,
215
+ txLabel,
216
+ gasLimits,
217
+ );
218
+ }
219
+
220
+ /**
221
+ * Execute a transaction and return the result.
222
+ *
223
+ * This function can be (it is) overridden by a subclass (AvmProvingTester)
224
+ * to do more work (like prove and verify) while still reusing existing
225
+ * test fixtures (like amm_test). That is why it is not named "simulate*".
226
+ */
227
+ public async executeTxWithLabel(
228
+ txLabel: string,
229
+ sender: AztecAddress,
230
+ setupCalls?: TestEnqueuedCall[],
231
+ appCalls?: TestEnqueuedCall[],
232
+ teardownCall?: TestEnqueuedCall,
233
+ feePayer?: AztecAddress,
234
+ privateInsertions?: TestPrivateInsertions,
235
+ gasLimits?: Gas,
236
+ ): Promise<PublicTxResult> {
237
+ return await this.simulateTxWithLabel(
238
+ txLabel,
239
+ sender,
240
+ setupCalls,
241
+ appCalls,
242
+ teardownCall,
243
+ feePayer,
244
+ privateInsertions,
245
+ gasLimits,
246
+ );
247
+ }
248
+
249
+ public prettyPrintMetrics() {
250
+ this.metrics.prettyPrint();
251
+ }
252
+
253
+ /**
254
+ * Cancel the current simulation if one is in progress.
255
+ * This signals the underlying simulator (e.g., C++) to stop at the next safe point.
256
+ * Safe to call even if no simulation is in progress.
257
+ *
258
+ * @param waitTimeoutMs - If provided, wait up to this many ms for the simulation to actually stop.
259
+ */
260
+ public async cancel(waitTimeoutMs?: number): Promise<void> {
261
+ await this.simulator.cancel?.(waitTimeoutMs);
262
+ }
263
+
264
+ /**
265
+ * Get the underlying simulator for advanced test scenarios.
266
+ * Use this when you need direct control over simulation (e.g., for testing cancellation).
267
+ */
268
+ public getSimulator(): MeasuredPublicTxSimulatorInterface {
269
+ return this.simulator;
270
+ }
271
+
272
+ async #createPubicCallRequestForCall(
273
+ call: TestEnqueuedCall,
274
+ sender: AztecAddress,
275
+ ): Promise<PublicCallRequestWithCalldata> {
276
+ const address = call.address;
277
+ const contractArtifact = call.contractArtifact || (await this.contractDataSource.getContractArtifact(address));
278
+ if (!contractArtifact) {
279
+ throw new Error(`Contract artifact not found for address: ${address}`);
280
+ }
281
+
282
+ let calldata: Fr[] = [];
283
+ if (!call.fnName) {
284
+ this.logger.debug(
285
+ `No function name specified for call to contract ${call.address.toString()}. Assuming this is a custom bytecode with no public_dispatch function.`,
286
+ );
287
+ this.logger.debug(`Not using ABI to encode arguments. Not prepending fn selector to calldata.`);
288
+ try {
289
+ calldata = call.args.map(arg => new Fr(arg));
290
+ } catch (error) {
291
+ this.logger.warn(`Tried assuming that all arguments are Field-like. Failed. Error: ${error}`);
292
+ throw error;
293
+ }
294
+ } else {
295
+ const fnSelector = await getFunctionSelector(call.fnName, contractArtifact);
296
+ const fnAbi = getContractFunctionAbi(call.fnName, contractArtifact)!;
297
+ const encodedArgs = encodeArguments(fnAbi, call.args);
298
+ calldata = [fnSelector.toField(), ...encodedArgs];
299
+ }
300
+ const isStaticCall = call.isStaticCall ?? false;
301
+ const request = await PublicCallRequest.fromCalldata(sender, address, isStaticCall, calldata);
302
+
303
+ return new PublicCallRequestWithCalldata(request, calldata);
304
+ }
305
+
306
+ // WARNING: Deduplicates by artifact name, so two different artifacts with the same name
307
+ // in a single tx would only record the first one's bytecode size.
308
+ async #recordBytecodeSizes(txLabel: string, calls: TestEnqueuedCall[]) {
309
+ const seenArtifactNames = new Set<string>();
310
+ for (const call of calls) {
311
+ const artifact = await this.contractDataSource.getContractArtifact(call.address);
312
+ if (!artifact || seenArtifactNames.has(artifact.name)) {
313
+ continue;
314
+ }
315
+ seenArtifactNames.add(artifact.name);
316
+ const instance = await this.contractDataSource.getContract(call.address);
317
+ if (!instance) {
318
+ continue;
319
+ }
320
+ const contractClass = await this.contractDataSource.getContractClass(instance.currentContractClassId);
321
+ if (contractClass) {
322
+ this.metrics.recordBytecodeSize(txLabel, artifact.name, contractClass.packedBytecode.length);
323
+ }
324
+ }
325
+ }
171
326
  }
172
327
 
173
- function defaultGlobals() {
328
+ export function defaultGlobals() {
174
329
  const globals = GlobalVariables.empty();
175
- globals.timestamp = TIMESTAMP;
330
+ globals.timestamp = DEFAULT_TIMESTAMP;
176
331
  globals.gasFees = DEFAULT_GAS_FEES; // apply some nonzero default gas fees
177
- globals.blockNumber = new Fr(DEFAULT_BLOCK_NUMBER);
332
+ globals.blockNumber = BlockNumber(DEFAULT_BLOCK_NUMBER);
178
333
  return globals;
179
334
  }
@@ -1,15 +1,11 @@
1
- import type { Fr } from '@aztec/foundation/fields';
1
+ import type { BlockNumber } from '@aztec/foundation/branded-types';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
3
  import { createLogger } from '@aztec/foundation/log';
3
- import { type ContractArtifact, FunctionSelector } from '@aztec/stdlib/abi';
4
+ import type { ContractArtifact, FunctionSelector } from '@aztec/stdlib/abi';
4
5
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
5
- import type {
6
- ContractClassPublic,
7
- ContractDataSource,
8
- ContractInstanceWithAddress,
9
- PublicFunction,
10
- } from '@aztec/stdlib/contract';
6
+ import type { ContractClassPublic, ContractDataSource, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
11
7
 
12
- import { PUBLIC_DISPATCH_FN_NAME } from './index.js';
8
+ import { getFunctionSelector } from '../avm/fixtures/utils.js';
13
9
 
14
10
  /**
15
11
  * This class is used during public/avm testing to function as a database of
@@ -27,6 +23,8 @@ export class SimpleContractDataSource implements ContractDataSource {
27
23
  private contractInstances: Map<string, ContractInstanceWithAddress> = new Map();
28
24
  // maps contract instance address to address
29
25
  private contractArtifacts: Map<string, ContractArtifact> = new Map();
26
+ // maps `${classID}:${fnSelector}` to name
27
+ private debugFunctionName: Map<string, string> = new Map();
30
28
 
31
29
  /////////////////////////////////////////////////////////////
32
30
  // Helper functions not in the contract data source interface
@@ -39,22 +37,30 @@ export class SimpleContractDataSource implements ContractDataSource {
39
37
  contractClass: ContractClassPublic,
40
38
  contractInstance: ContractInstanceWithAddress,
41
39
  ) {
42
- this.addContractArtifact(contractClass.id, contractArtifact);
40
+ await this.addContractArtifact(contractClass.id, contractArtifact);
43
41
  await this.addContractClass(contractClass);
44
42
  await this.addContractInstance(contractInstance);
45
43
  }
46
44
 
47
- addContractArtifact(classId: Fr, artifact: ContractArtifact): void {
45
+ async addContractArtifact(classId: Fr, artifact: ContractArtifact) {
48
46
  this.contractArtifacts.set(classId.toString(), artifact);
47
+ const classIdStr = classId.toString();
48
+ const publicFns = artifact.nonDispatchPublicFunctions;
49
+ if (publicFns.length !== 0) {
50
+ for (const fn of publicFns) {
51
+ const actualFnName = `${fn.name}`;
52
+ const fnSelector = await getFunctionSelector(actualFnName, artifact);
53
+ const key = `${classIdStr}:${fnSelector.toString()}`;
54
+
55
+ const longFnName = `${artifact.name}.${actualFnName}`;
56
+ this.debugFunctionName.set(key, longFnName);
57
+ }
58
+ }
49
59
  }
50
60
 
51
61
  /////////////////////////////////////////////////////////////
52
62
  // ContractDataSource function implementations
53
- getPublicFunction(_address: AztecAddress, _selector: FunctionSelector): Promise<PublicFunction> {
54
- throw new Error('Method not implemented.');
55
- }
56
-
57
- getBlockNumber(): Promise<number> {
63
+ getBlockNumber(): Promise<BlockNumber> {
58
64
  throw new Error('Method not implemented.');
59
65
  }
60
66
 
@@ -82,14 +88,25 @@ export class SimpleContractDataSource implements ContractDataSource {
82
88
  }
83
89
  this.logger.debug(`Retrieved contract artifact for address: ${address}`);
84
90
  this.logger.debug(`Contract class ID: ${contractInstance.currentContractClassId}`);
85
- return Promise.resolve(this.contractArtifacts.get(contractInstance!.currentContractClassId.toString()));
91
+ return this.contractArtifacts.get(contractInstance!.currentContractClassId.toString());
86
92
  }
87
93
 
88
- getContractFunctionName(_address: AztecAddress, _selector: FunctionSelector): Promise<string> {
89
- return Promise.resolve(PUBLIC_DISPATCH_FN_NAME);
94
+ async getDebugFunctionName(address: AztecAddress, selector: FunctionSelector): Promise<string | undefined> {
95
+ const contractInstance = await this.getContract(address);
96
+ if (!contractInstance) {
97
+ this.logger.warn(`Couldn't get fn name for debugging. Contract not in tester's ContractDataSource.`);
98
+ return undefined;
99
+ }
100
+ const key = `${contractInstance.currentContractClassId.toString()}:${selector.toString()}`;
101
+ const fnName = this.debugFunctionName.get(key);
102
+ if (!fnName) {
103
+ this.logger.warn(`Couldn't get fn name for debugging...`);
104
+ return undefined;
105
+ }
106
+ return fnName;
90
107
  }
91
108
 
92
- registerContractFunctionSignatures(_address: AztecAddress, _signatures: string[]): Promise<void> {
109
+ registerContractFunctionSignatures(_signatures: string[]): Promise<void> {
93
110
  return Promise.resolve();
94
111
  }
95
112