@aztec/simulator 6.0.0-nightly.20260604 → 6.0.0-nightly.20260721

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 (349) hide show
  1. package/dest/client.d.ts +1 -3
  2. package/dest/client.d.ts.map +1 -1
  3. package/dest/client.js +0 -2
  4. package/dest/private/circuit_recording/circuit_recorder.d.ts +36 -23
  5. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  6. package/dest/private/circuit_recording/circuit_recorder.js +65 -69
  7. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +7 -19
  8. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  9. package/dest/private/circuit_recording/file_circuit_recorder.js +38 -42
  10. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
  11. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
  12. package/dest/private/circuit_recording/simulator_recorder_wrapper.js +11 -14
  13. package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
  14. package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
  15. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +1 -1
  16. package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
  17. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +1 -1
  18. package/dest/public/avm/testing/utils.d.ts +32 -0
  19. package/dest/public/avm/testing/utils.d.ts.map +1 -0
  20. package/dest/public/avm/{fixtures → testing}/utils.js +1 -34
  21. package/dest/public/avm_simulator.d.ts +28 -0
  22. package/dest/public/avm_simulator.d.ts.map +1 -0
  23. package/dest/public/avm_simulator.js +4 -0
  24. package/dest/public/avm_simulator_pool.d.ts +45 -0
  25. package/dest/public/avm_simulator_pool.d.ts.map +1 -0
  26. package/dest/public/avm_simulator_pool.js +197 -0
  27. package/dest/public/cdb/generated/api_types.d.ts +171 -0
  28. package/dest/public/cdb/generated/api_types.d.ts.map +1 -0
  29. package/dest/public/cdb/generated/api_types.js +314 -0
  30. package/dest/public/cdb/generated/server.d.ts +26 -0
  31. package/dest/public/cdb/generated/server.d.ts.map +1 -0
  32. package/dest/public/cdb/generated/server.js +135 -0
  33. package/dest/public/cdb_ipc_server.d.ts +33 -0
  34. package/dest/public/cdb_ipc_server.d.ts.map +1 -0
  35. package/dest/public/cdb_ipc_server.js +153 -0
  36. package/dest/public/fixtures/amm_test.js +2 -2
  37. package/dest/public/fixtures/bulk_test.js +2 -2
  38. package/dest/public/fixtures/custom_bytecode_tester.d.ts +1 -1
  39. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
  40. package/dest/public/fixtures/custom_bytecode_tester.js +2 -2
  41. package/dest/public/fixtures/index.d.ts +2 -4
  42. package/dest/public/fixtures/index.d.ts.map +1 -1
  43. package/dest/public/fixtures/index.js +1 -3
  44. package/dest/public/fixtures/public_processor_test_env.d.ts +30 -0
  45. package/dest/public/fixtures/public_processor_test_env.d.ts.map +1 -0
  46. package/dest/public/fixtures/public_processor_test_env.js +73 -0
  47. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +11 -7
  48. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  49. package/dest/public/fixtures/public_tx_simulation_tester.js +33 -43
  50. package/dest/public/fixtures/simple_contract_data_source.js +1 -1
  51. package/dest/public/fixtures/token_test.js +3 -3
  52. package/dest/public/fixtures/utils.d.ts +1 -1
  53. package/dest/public/fixtures/utils.d.ts.map +1 -1
  54. package/dest/public/fixtures/utils.js +5 -3
  55. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +11 -4
  56. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
  57. package/dest/public/fuzzing/avm_fuzzer_simulator.js +24 -10
  58. package/dest/public/fuzzing/avm_simulator_bin.js +4 -4
  59. package/dest/public/index.d.ts +5 -2
  60. package/dest/public/index.d.ts.map +1 -1
  61. package/dest/public/index.js +2 -1
  62. package/dest/public/public_db_sources.d.ts +2 -2
  63. package/dest/public/public_db_sources.d.ts.map +1 -1
  64. package/dest/public/public_db_sources.js +1 -1
  65. package/dest/public/public_processor/guarded_merkle_tree.d.ts +4 -3
  66. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  67. package/dest/public/public_processor/guarded_merkle_tree.js +3 -0
  68. package/dest/public/public_processor/public_processor.d.ts +8 -4
  69. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  70. package/dest/public/public_processor/public_processor.js +18 -14
  71. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +17 -0
  72. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
  73. package/dest/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.js → dumping_public_tx_simulator.js} +10 -23
  74. package/dest/public/public_tx_simulator/factories.d.ts +8 -8
  75. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
  76. package/dest/public/public_tx_simulator/factories.js +8 -8
  77. package/dest/public/public_tx_simulator/index.d.ts +4 -6
  78. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  79. package/dest/public/public_tx_simulator/index.js +2 -4
  80. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +42 -75
  81. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  82. package/dest/public/public_tx_simulator/public_tx_simulator.js +98 -323
  83. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +24 -0
  84. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
  85. package/dest/public/public_tx_simulator/public_tx_simulator_base.js +31 -0
  86. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +5 -5
  87. package/dest/public/test_executor_metrics.d.ts +1 -6
  88. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  89. package/dest/public/test_executor_metrics.js +0 -22
  90. package/package.json +22 -19
  91. package/src/client.ts +0 -2
  92. package/src/private/circuit_recording/circuit_recorder.ts +84 -78
  93. package/src/private/circuit_recording/file_circuit_recorder.ts +38 -48
  94. package/src/private/circuit_recording/simulator_recorder_wrapper.ts +9 -15
  95. package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +1 -1
  96. package/src/public/avm/{fixtures → testing}/utils.ts +1 -40
  97. package/src/public/avm_simulator.ts +29 -0
  98. package/src/public/avm_simulator_pool.ts +226 -0
  99. package/src/public/cdb/generated/api_types.ts +457 -0
  100. package/src/public/cdb/generated/server.ts +109 -0
  101. package/src/public/cdb_ipc_server.ts +197 -0
  102. package/src/public/fixtures/amm_test.ts +2 -2
  103. package/src/public/fixtures/bulk_test.ts +2 -2
  104. package/src/public/fixtures/custom_bytecode_tester.ts +2 -2
  105. package/src/public/fixtures/index.ts +1 -3
  106. package/src/public/fixtures/public_processor_test_env.ts +88 -0
  107. package/src/public/fixtures/public_tx_simulation_tester.ts +41 -55
  108. package/src/public/fixtures/simple_contract_data_source.ts +1 -1
  109. package/src/public/fixtures/token_test.ts +3 -3
  110. package/src/public/fixtures/utils.ts +6 -11
  111. package/src/public/fuzzing/avm_fuzzer_simulator.ts +25 -10
  112. package/src/public/fuzzing/avm_simulator_bin.ts +3 -5
  113. package/src/public/index.ts +7 -3
  114. package/src/public/public_db_sources.ts +1 -1
  115. package/src/public/public_processor/guarded_merkle_tree.ts +5 -2
  116. package/src/public/public_processor/public_processor.ts +24 -17
  117. package/src/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.ts → dumping_public_tx_simulator.ts} +15 -31
  118. package/src/public/public_tx_simulator/factories.ts +27 -10
  119. package/src/public/public_tx_simulator/index.ts +6 -5
  120. package/src/public/public_tx_simulator/public_tx_simulator.ts +139 -480
  121. package/src/public/public_tx_simulator/public_tx_simulator_base.ts +37 -0
  122. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +5 -5
  123. package/src/public/test_executor_metrics.ts +0 -24
  124. package/dest/public/avm/avm_context.d.ts +0 -41
  125. package/dest/public/avm/avm_context.d.ts.map +0 -1
  126. package/dest/public/avm/avm_context.js +0 -44
  127. package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
  128. package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
  129. package/dest/public/avm/avm_contract_call_result.js +0 -54
  130. package/dest/public/avm/avm_execution_environment.d.ts +0 -24
  131. package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
  132. package/dest/public/avm/avm_execution_environment.js +0 -33
  133. package/dest/public/avm/avm_gas.d.ts +0 -44
  134. package/dest/public/avm/avm_gas.d.ts.map +0 -1
  135. package/dest/public/avm/avm_gas.js +0 -195
  136. package/dest/public/avm/avm_machine_state.d.ts +0 -98
  137. package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
  138. package/dest/public/avm/avm_machine_state.js +0 -110
  139. package/dest/public/avm/avm_memory_types.d.ts +0 -275
  140. package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
  141. package/dest/public/avm/avm_memory_types.js +0 -354
  142. package/dest/public/avm/avm_simulator.d.ts +0 -41
  143. package/dest/public/avm/avm_simulator.d.ts.map +0 -1
  144. package/dest/public/avm/avm_simulator.js +0 -192
  145. package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
  146. package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
  147. package/dest/public/avm/avm_simulator_interface.js +0 -3
  148. package/dest/public/avm/calldata.d.ts +0 -51
  149. package/dest/public/avm/calldata.d.ts.map +0 -1
  150. package/dest/public/avm/calldata.js +0 -64
  151. package/dest/public/avm/errors.d.ts +0 -104
  152. package/dest/public/avm/errors.d.ts.map +0 -1
  153. package/dest/public/avm/errors.js +0 -141
  154. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +0 -2
  155. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +0 -1
  156. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
  157. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  158. package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -84
  159. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  160. package/dest/public/avm/fixtures/initializers.d.ts +0 -42
  161. package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
  162. package/dest/public/avm/fixtures/initializers.js +0 -45
  163. package/dest/public/avm/fixtures/utils.d.ts +0 -39
  164. package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
  165. package/dest/public/avm/index.d.ts +0 -2
  166. package/dest/public/avm/index.d.ts.map +0 -1
  167. package/dest/public/avm/index.js +0 -1
  168. package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -74
  169. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
  170. package/dest/public/avm/opcodes/accrued_substate.js +0 -254
  171. package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
  172. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
  173. package/dest/public/avm/opcodes/addressing_mode.js +0 -94
  174. package/dest/public/avm/opcodes/arithmetic.d.ts +0 -49
  175. package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
  176. package/dest/public/avm/opcodes/arithmetic.js +0 -97
  177. package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
  178. package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
  179. package/dest/public/avm/opcodes/bitwise.js +0 -99
  180. package/dest/public/avm/opcodes/comparators.d.ts +0 -25
  181. package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
  182. package/dest/public/avm/opcodes/comparators.js +0 -43
  183. package/dest/public/avm/opcodes/contract.d.ts +0 -21
  184. package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
  185. package/dest/public/avm/opcodes/contract.js +0 -69
  186. package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
  187. package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
  188. package/dest/public/avm/opcodes/control_flow.js +0 -107
  189. package/dest/public/avm/opcodes/conversion.d.ts +0 -18
  190. package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
  191. package/dest/public/avm/opcodes/conversion.js +0 -333
  192. package/dest/public/avm/opcodes/ec_add.d.ts +0 -17
  193. package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
  194. package/dest/public/avm/opcodes/ec_add.js +0 -79
  195. package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
  196. package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
  197. package/dest/public/avm/opcodes/environment_getters.js +0 -77
  198. package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
  199. package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
  200. package/dest/public/avm/opcodes/external_calls.js +0 -210
  201. package/dest/public/avm/opcodes/hashing.d.ts +0 -36
  202. package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
  203. package/dest/public/avm/opcodes/hashing.js +0 -119
  204. package/dest/public/avm/opcodes/index.d.ts +0 -16
  205. package/dest/public/avm/opcodes/index.d.ts.map +0 -1
  206. package/dest/public/avm/opcodes/index.js +0 -15
  207. package/dest/public/avm/opcodes/instruction.d.ts +0 -74
  208. package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
  209. package/dest/public/avm/opcodes/instruction.js +0 -95
  210. package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
  211. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
  212. package/dest/public/avm/opcodes/instruction_impl.js +0 -30
  213. package/dest/public/avm/opcodes/memory.d.ts +0 -74
  214. package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
  215. package/dest/public/avm/opcodes/memory.js +0 -257
  216. package/dest/public/avm/opcodes/misc.d.ts +0 -18
  217. package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
  218. package/dest/public/avm/opcodes/misc.js +0 -73
  219. package/dest/public/avm/opcodes/storage.d.ts +0 -25
  220. package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
  221. package/dest/public/avm/opcodes/storage.js +0 -78
  222. package/dest/public/avm/revert_reason.d.ts +0 -18
  223. package/dest/public/avm/revert_reason.d.ts.map +0 -1
  224. package/dest/public/avm/revert_reason.js +0 -39
  225. package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
  226. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
  227. package/dest/public/avm/serialization/buffer_cursor.js +0 -99
  228. package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
  229. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  230. package/dest/public/avm/serialization/bytecode_serialization.js +0 -336
  231. package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
  232. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
  233. package/dest/public/avm/serialization/instruction_serialization.js +0 -261
  234. package/dest/public/avm/test_utils.d.ts +0 -15
  235. package/dest/public/avm/test_utils.d.ts.map +0 -1
  236. package/dest/public/avm/test_utils.js +0 -44
  237. package/dest/public/debug_fn_name.d.ts +0 -18
  238. package/dest/public/debug_fn_name.d.ts.map +0 -1
  239. package/dest/public/debug_fn_name.js +0 -37
  240. package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -14
  241. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
  242. package/dest/public/fixtures/custom_bytecode_tests.js +0 -234
  243. package/dest/public/fixtures/minimal_public_tx.d.ts +0 -4
  244. package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
  245. package/dest/public/fixtures/minimal_public_tx.js +0 -19
  246. package/dest/public/fixtures/opcode_spammer.d.ts +0 -122
  247. package/dest/public/fixtures/opcode_spammer.d.ts.map +0 -1
  248. package/dest/public/fixtures/opcode_spammer.js +0 -1645
  249. package/dest/public/hinting_db_sources.d.ts +0 -80
  250. package/dest/public/hinting_db_sources.d.ts.map +0 -1
  251. package/dest/public/hinting_db_sources.js +0 -356
  252. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +0 -19
  253. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +0 -1
  254. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +0 -99
  255. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -53
  256. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
  257. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -131
  258. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +0 -42
  259. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +0 -1
  260. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +0 -86
  261. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +0 -30
  262. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +0 -1
  263. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +0 -171
  264. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +0 -23
  265. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +0 -1
  266. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -31
  267. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
  268. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
  269. package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -135
  270. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
  271. package/dest/public/public_tx_simulator/public_tx_context.js +0 -298
  272. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
  273. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
  274. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -415
  275. package/dest/public/side_effect_trace.d.ts +0 -87
  276. package/dest/public/side_effect_trace.d.ts.map +0 -1
  277. package/dest/public/side_effect_trace.js +0 -199
  278. package/dest/public/side_effect_trace_interface.d.ts +0 -22
  279. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  280. package/dest/public/side_effect_trace_interface.js +0 -1
  281. package/dest/public/state_manager/index.d.ts +0 -2
  282. package/dest/public/state_manager/index.d.ts.map +0 -1
  283. package/dest/public/state_manager/index.js +0 -1
  284. package/dest/public/state_manager/nullifiers.d.ts +0 -61
  285. package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
  286. package/dest/public/state_manager/nullifiers.js +0 -92
  287. package/dest/public/state_manager/public_storage.d.ts +0 -66
  288. package/dest/public/state_manager/public_storage.d.ts.map +0 -1
  289. package/dest/public/state_manager/public_storage.js +0 -145
  290. package/dest/public/state_manager/state_manager.d.ts +0 -170
  291. package/dest/public/state_manager/state_manager.d.ts.map +0 -1
  292. package/dest/public/state_manager/state_manager.js +0 -402
  293. package/src/public/avm/avm_context.ts +0 -61
  294. package/src/public/avm/avm_contract_call_result.ts +0 -69
  295. package/src/public/avm/avm_execution_environment.ts +0 -51
  296. package/src/public/avm/avm_gas.ts +0 -183
  297. package/src/public/avm/avm_machine_state.ts +0 -170
  298. package/src/public/avm/avm_memory_types.ts +0 -440
  299. package/src/public/avm/avm_simulator.ts +0 -279
  300. package/src/public/avm/avm_simulator_interface.ts +0 -8
  301. package/src/public/avm/calldata.ts +0 -101
  302. package/src/public/avm/errors.ts +0 -177
  303. package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -122
  304. package/src/public/avm/fixtures/initializers.ts +0 -103
  305. package/src/public/avm/index.ts +0 -1
  306. package/src/public/avm/opcodes/accrued_substate.ts +0 -285
  307. package/src/public/avm/opcodes/addressing_mode.ts +0 -111
  308. package/src/public/avm/opcodes/arithmetic.ts +0 -129
  309. package/src/public/avm/opcodes/bitwise.ts +0 -113
  310. package/src/public/avm/opcodes/comparators.ts +0 -55
  311. package/src/public/avm/opcodes/contract.ts +0 -76
  312. package/src/public/avm/opcodes/control_flow.ts +0 -123
  313. package/src/public/avm/opcodes/conversion.ts +0 -104
  314. package/src/public/avm/opcodes/ec_add.ts +0 -86
  315. package/src/public/avm/opcodes/environment_getters.ts +0 -87
  316. package/src/public/avm/opcodes/external_calls.ts +0 -262
  317. package/src/public/avm/opcodes/hashing.ts +0 -151
  318. package/src/public/avm/opcodes/index.ts +0 -15
  319. package/src/public/avm/opcodes/instruction.ts +0 -136
  320. package/src/public/avm/opcodes/instruction_impl.ts +0 -36
  321. package/src/public/avm/opcodes/memory.ts +0 -293
  322. package/src/public/avm/opcodes/misc.ts +0 -102
  323. package/src/public/avm/opcodes/storage.ts +0 -95
  324. package/src/public/avm/revert_reason.ts +0 -58
  325. package/src/public/avm/serialization/buffer_cursor.ts +0 -118
  326. package/src/public/avm/serialization/bytecode_serialization.ts +0 -215
  327. package/src/public/avm/serialization/instruction_serialization.ts +0 -249
  328. package/src/public/avm/test_utils.ts +0 -64
  329. package/src/public/debug_fn_name.ts +0 -52
  330. package/src/public/fixtures/custom_bytecode_tests.ts +0 -366
  331. package/src/public/fixtures/minimal_public_tx.ts +0 -26
  332. package/src/public/fixtures/opcode_spammer.ts +0 -1713
  333. package/src/public/hinting_db_sources.ts +0 -610
  334. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +0 -125
  335. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -210
  336. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +0 -134
  337. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +0 -239
  338. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -105
  339. package/src/public/public_tx_simulator/public_tx_context.ts +0 -482
  340. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
  341. package/src/public/side_effect_trace.ts +0 -293
  342. package/src/public/side_effect_trace_interface.ts +0 -28
  343. package/src/public/state_manager/index.ts +0 -1
  344. package/src/public/state_manager/nullifiers.ts +0 -103
  345. package/src/public/state_manager/public_storage.ts +0 -174
  346. package/src/public/state_manager/state_manager.ts +0 -569
  347. /package/dest/public/avm/{fixtures → testing}/account_proof_fetcher.js +0 -0
  348. /package/src/public/avm/{fixtures → testing}/account_proof.json +0 -0
  349. /package/src/public/avm/{fixtures → testing}/account_proof_fetcher.ts +0 -0
@@ -0,0 +1,197 @@
1
+ /**
2
+ * UDS server for AVM CDB requests.
3
+ *
4
+ * Transport (socket, framing, per-connection response ordering) is handled by the shared
5
+ * `UdsIpcServer` from `@aztec/ipc-runtime`; message dispatch comes from the generated CDB
6
+ * server. This class only implements the generated handler interface and routes requests to
7
+ * PublicContractsDB instances by fork ID.
8
+ */
9
+ import { Fr } from '@aztec/foundation/curves/bn254';
10
+ import { type Logger, createLogger } from '@aztec/foundation/log';
11
+ import { UdsIpcServer } from '@aztec/ipc-runtime';
12
+ import { FunctionSelector } from '@aztec/stdlib/abi';
13
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
14
+ import { ContractDeploymentData, type ContractInstanceWithAddress } from '@aztec/stdlib/contract';
15
+
16
+ import { Decoder, Encoder } from 'msgpackr';
17
+ import * as os from 'node:os';
18
+ import * as path from 'node:path';
19
+ import { threadId } from 'node:worker_threads';
20
+
21
+ import type {
22
+ CdbAddContracts,
23
+ CdbAddContractsResponse,
24
+ CdbCommitCheckpoint,
25
+ CdbCommitCheckpointResponse,
26
+ CdbCreateCheckpoint,
27
+ CdbCreateCheckpointResponse,
28
+ CdbGetBytecodeCommitment,
29
+ CdbGetBytecodeCommitmentResponse,
30
+ CdbGetContractClass,
31
+ CdbGetContractClassResponse,
32
+ CdbGetContractInstance,
33
+ CdbGetContractInstanceResponse,
34
+ CdbGetDebugFunctionName,
35
+ CdbGetDebugFunctionNameResponse,
36
+ CdbRevertCheckpoint,
37
+ CdbRevertCheckpointResponse,
38
+ } from './cdb/generated/api_types.js';
39
+ import { type Handler as CdbHandler, handleRequest } from './cdb/generated/server.js';
40
+ import type { PublicContractsDB } from './public_db_sources.js';
41
+
42
+ const encoder = new Encoder({ useRecords: false });
43
+ const decoder = new Decoder({ useRecords: false });
44
+
45
+ let instanceCounter = 0;
46
+
47
+ function toFieldBuffer(field: Fr | AztecAddress): Buffer {
48
+ return field.toBuffer();
49
+ }
50
+
51
+ /** Serializes contract instances to the AVM CDB wire shape. */
52
+ export function serializeContractInstance(instance: ContractInstanceWithAddress): Record<string, unknown> {
53
+ return {
54
+ salt: toFieldBuffer(instance.salt),
55
+ deployer: toFieldBuffer(instance.deployer),
56
+ currentContractClassId: toFieldBuffer(instance.currentContractClassId),
57
+ originalContractClassId: toFieldBuffer(instance.originalContractClassId),
58
+ initializationHash: toFieldBuffer(instance.initializationHash),
59
+ immutablesHash: toFieldBuffer(instance.immutablesHash),
60
+ publicKeys: {
61
+ npkMHash: toFieldBuffer(instance.publicKeys.npkMHash),
62
+ ivpkM: {
63
+ x: toFieldBuffer(instance.publicKeys.ivpkM.x),
64
+ y: toFieldBuffer(instance.publicKeys.ivpkM.y),
65
+ },
66
+ ovpkMHash: toFieldBuffer(instance.publicKeys.ovpkMHash),
67
+ tpkMHash: toFieldBuffer(instance.publicKeys.tpkMHash),
68
+ mspkMHash: toFieldBuffer(instance.publicKeys.mspkMHash),
69
+ fbpkMHash: toFieldBuffer(instance.publicKeys.fbpkMHash),
70
+ },
71
+ };
72
+ }
73
+
74
+ /** Serializes contract classes to the AVM CDB wire shape. */
75
+ function serializeContractClass(contractClass: {
76
+ id: Fr;
77
+ artifactHash: Fr;
78
+ privateFunctionsRoot: Fr;
79
+ packedBytecode: Buffer;
80
+ }): Record<string, unknown> {
81
+ return {
82
+ id: toFieldBuffer(contractClass.id),
83
+ artifactHash: toFieldBuffer(contractClass.artifactHash),
84
+ privateFunctionsRoot: toFieldBuffer(contractClass.privateFunctionsRoot),
85
+ packedBytecode: contractClass.packedBytecode,
86
+ };
87
+ }
88
+
89
+ /** Routes AVM CDB IPC requests to registered PublicContractsDB forks. */
90
+ export class CdbIpcServer implements CdbHandler {
91
+ public readonly ipcPath: string;
92
+ private server: Promise<UdsIpcServer>;
93
+ private log: Logger;
94
+ /** Maps WSDB fork IDs to contracts DB/timestamp pairs for concurrent simulations. */
95
+ private forks = new Map<number, { db: PublicContractsDB; timestamp: bigint }>();
96
+
97
+ constructor() {
98
+ this.log = createLogger('cdb-ipc-server');
99
+ this.ipcPath = path.join(os.tmpdir(), `cdb-ts-${process.pid}-${threadId}-${instanceCounter++}.sock`);
100
+
101
+ // Listen asynchronously; the C++ AVM retries connecting until the socket is up.
102
+ this.server = UdsIpcServer.listen(this.ipcPath, (_clientId, request) => handleRequest(this, request));
103
+ this.server.then(
104
+ () => this.log.debug(`CDB IPC server listening on ${this.ipcPath}`),
105
+ err => this.log.error(`CDB IPC server failed to listen on ${this.ipcPath}`, { err }),
106
+ );
107
+ }
108
+
109
+ /** Register a PublicContractsDB for a given WSDB fork ID. */
110
+ registerFork(forkId: number, contractsDB: PublicContractsDB, timestamp: bigint): void {
111
+ this.forks.set(forkId, { db: contractsDB, timestamp });
112
+ }
113
+
114
+ /** Unregister a fork's contracts DB (call after simulation completes). */
115
+ unregisterFork(forkId: number): void {
116
+ this.forks.delete(forkId);
117
+ }
118
+
119
+ /** Close the server and all active connections. */
120
+ async close(): Promise<void> {
121
+ const server = await this.server.catch(() => undefined);
122
+ await server?.close();
123
+ }
124
+
125
+ async [Symbol.asyncDispose](): Promise<void> {
126
+ await this.close();
127
+ }
128
+
129
+ /** Look up the contracts DB for a given fork ID, throwing if not registered. */
130
+ private getFork(forkId: number): { db: PublicContractsDB; timestamp: bigint } {
131
+ const fork = this.forks.get(forkId);
132
+ if (!fork) {
133
+ const registered = Array.from(this.forks.keys()).sort((a, b) => a - b);
134
+ throw new Error(
135
+ `CDB server: no contracts DB registered for forkId ${forkId} (registered=[${registered.join(',')}])`,
136
+ );
137
+ }
138
+ return fork;
139
+ }
140
+
141
+ async getContractInstance(command: CdbGetContractInstance): Promise<CdbGetContractInstanceResponse> {
142
+ const { db, timestamp } = this.getFork(command.forkId);
143
+ const address = AztecAddress.fromBuffer(Buffer.from(command.address));
144
+ const instance = await db.getContractInstance(address, timestamp);
145
+ return { instance: instance ? encoder.encode(serializeContractInstance(instance)) : null };
146
+ }
147
+
148
+ async getContractClass(command: CdbGetContractClass): Promise<CdbGetContractClassResponse> {
149
+ const { db } = this.getFork(command.forkId);
150
+ const classId = Fr.fromBuffer(Buffer.from(command.classId));
151
+ const contractClass = await db.getContractClass(classId);
152
+ return { contractClass: contractClass ? encoder.encode(serializeContractClass(contractClass)) : null };
153
+ }
154
+
155
+ async getBytecodeCommitment(command: CdbGetBytecodeCommitment): Promise<CdbGetBytecodeCommitmentResponse> {
156
+ const { db } = this.getFork(command.forkId);
157
+ const classId = Fr.fromBuffer(Buffer.from(command.classId));
158
+ const commitment = await db.getBytecodeCommitment(classId);
159
+ return { commitment: commitment ? toFieldBuffer(commitment) : null };
160
+ }
161
+
162
+ async getDebugFunctionName(command: CdbGetDebugFunctionName): Promise<CdbGetDebugFunctionNameResponse> {
163
+ const { db } = this.getFork(command.forkId);
164
+ const address = AztecAddress.fromBuffer(Buffer.from(command.address));
165
+ const selectorField = Fr.fromBuffer(Buffer.from(command.selector));
166
+ const selector = FunctionSelector.fromFieldOrUndefined(selectorField);
167
+ const name = selector ? await db.getDebugFunctionName(address, selector) : undefined;
168
+ return { name: name ?? null };
169
+ }
170
+
171
+ addContracts(command: CdbAddContracts): Promise<CdbAddContractsResponse> {
172
+ const { db } = this.getFork(command.forkId);
173
+ const contractDeploymentData = ContractDeploymentData.fromPlainObject(
174
+ decoder.decode(command.contractDeploymentData),
175
+ );
176
+ db.addContractsFromLogs(contractDeploymentData);
177
+ return Promise.resolve({});
178
+ }
179
+
180
+ createCheckpoint(command: CdbCreateCheckpoint): Promise<CdbCreateCheckpointResponse> {
181
+ const { db } = this.getFork(command.forkId);
182
+ db.createCheckpoint();
183
+ return Promise.resolve({});
184
+ }
185
+
186
+ commitCheckpoint(command: CdbCommitCheckpoint): Promise<CdbCommitCheckpointResponse> {
187
+ const { db } = this.getFork(command.forkId);
188
+ db.commitCheckpoint();
189
+ return Promise.resolve({});
190
+ }
191
+
192
+ revertCheckpoint(command: CdbRevertCheckpoint): Promise<CdbRevertCheckpointResponse> {
193
+ const { db } = this.getFork(command.forkId);
194
+ db.revertCheckpoint();
195
+ return Promise.resolve({});
196
+ }
197
+ }
@@ -25,8 +25,8 @@ export async function ammTest(
25
25
  ) {
26
26
  const timer = new Timer();
27
27
 
28
- const admin = AztecAddress.fromNumber(42);
29
- const sender = AztecAddress.fromNumber(111);
28
+ const admin = AztecAddress.fromNumberUnsafe(42);
29
+ const sender = AztecAddress.fromNumberUnsafe(111);
30
30
 
31
31
  logger.debug(`Deploying tokens`);
32
32
  const token0 = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue, /*seed=*/ 0);
@@ -13,7 +13,7 @@ export async function bulkTest(
13
13
  ) {
14
14
  const timer = new Timer();
15
15
 
16
- const deployer = AztecAddress.fromNumber(42);
16
+ const deployer = AztecAddress.fromNumberUnsafe(42);
17
17
  const avmTestContract = await tester.registerAndDeployContract(
18
18
  /*constructorArgs=*/ [],
19
19
  deployer,
@@ -114,7 +114,7 @@ export async function megaBulkTest(
114
114
  ) {
115
115
  const timer = new Timer();
116
116
 
117
- const deployer = AztecAddress.fromNumber(42);
117
+ const deployer = AztecAddress.fromNumberUnsafe(42);
118
118
  const avmTestContract = await tester.registerAndDeployContract(
119
119
  /*constructorArgs=*/ [],
120
120
  deployer,
@@ -17,7 +17,7 @@ export async function deployCustomBytecode(
17
17
  bytecode: Buffer,
18
18
  tester: PublicTxSimulationTester,
19
19
  contractName: string = 'CustomBytecodeContract',
20
- deployer: AztecAddress = AztecAddress.fromNumber(42),
20
+ deployer: AztecAddress = AztecAddress.fromNumberUnsafe(42),
21
21
  ): Promise<ContractInstanceWithAddress> {
22
22
  const contractArtifact = emptyContractArtifact();
23
23
  contractArtifact.name = contractName;
@@ -75,7 +75,7 @@ export async function deployAndExecuteCustomBytecode(
75
75
  tester: PublicTxSimulationTester,
76
76
  txLabel: string = 'CustomBytecodeTest',
77
77
  contractName: string = 'CustomBytecodeContract',
78
- deployer: AztecAddress = AztecAddress.fromNumber(42),
78
+ deployer: AztecAddress = AztecAddress.fromNumberUnsafe(42),
79
79
  calldata: any[] = [],
80
80
  ): Promise<PublicTxResult> {
81
81
  const testContract = await deployCustomBytecode(bytecode, tester, contractName, deployer);
@@ -1,15 +1,13 @@
1
1
  export * from './public_tx_simulation_tester.js';
2
+ export * from './public_processor_test_env.js';
2
3
  export * from './utils.js';
3
4
  export * from './simple_contract_data_source.js';
4
- export { executeAvmMinimalPublicTx } from './minimal_public_tx.js';
5
5
  export { TestExecutorMetrics } from '../test_executor_metrics.js';
6
6
  export { ammTest } from './amm_test.js';
7
7
  export { bulkTest, megaBulkTest } from './bulk_test.js';
8
8
  export { tokenTest } from './token_test.js';
9
- export * from './custom_bytecode_tests.js';
10
9
  export {
11
10
  deployCustomBytecode,
12
11
  executeCustomBytecode,
13
12
  deployAndExecuteCustomBytecode,
14
13
  } from './custom_bytecode_tester.js';
15
- export { getSpamConfigsPerOpcode, testOpcodeSpamCase } from './opcode_spammer.js';
@@ -0,0 +1,88 @@
1
+ import { createLogger } from '@aztec/foundation/log';
2
+ import { TestDateProvider } from '@aztec/foundation/timer';
3
+ import { PublicSimulatorConfig } from '@aztec/stdlib/avm';
4
+ import { GasFees } from '@aztec/stdlib/gas';
5
+ import { GlobalVariables } from '@aztec/stdlib/tx';
6
+ import { getTelemetryClient } from '@aztec/telemetry-client';
7
+ import { NativeWorldStateService } from '@aztec/world-state';
8
+
9
+ import { AvmSimulatorPool } from '../avm_simulator_pool.js';
10
+ import { PublicContractsDB } from '../public_db_sources.js';
11
+ import { GuardedMerkleTreeOperations } from '../public_processor/guarded_merkle_tree.js';
12
+ import { PublicProcessor } from '../public_processor/public_processor.js';
13
+ import { PublicTxSimulator } from '../public_tx_simulator/public_tx_simulator.js';
14
+ import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
15
+ import { SimpleContractDataSource } from './simple_contract_data_source.js';
16
+
17
+ /** Options for {@link PublicProcessorTestEnv.create}. */
18
+ export interface PublicProcessorTestEnvOptions {
19
+ /** Global variables shared by the processor and the tester. Defaults to empty with nonzero gas fees. */
20
+ globals?: GlobalVariables;
21
+ /** Simulator config for the processor's PublicTxSimulator. */
22
+ config?: Partial<PublicSimulatorConfig>;
23
+ }
24
+
25
+ function defaultGlobals(): GlobalVariables {
26
+ const globals = GlobalVariables.empty();
27
+ globals.gasFees = new GasFees(2, 3);
28
+ return globals;
29
+ }
30
+
31
+ const defaultConfig = PublicSimulatorConfig.from({
32
+ skipFeeEnforcement: false,
33
+ collectDebugLogs: true,
34
+ collectHints: false,
35
+ collectStatistics: false,
36
+ collectCallMetadata: true,
37
+ });
38
+
39
+ /**
40
+ * Bundles the real-AVM wiring shared by public-processor app tests: a live WSDB world state, a CDB IPC
41
+ * server, a spawned AVM simulator, a {@link PublicProcessor} backed by all three, and a setup-only
42
+ * {@link PublicTxSimulationTester} sharing the same fork and contract data source for building txs and
43
+ * seeding balances. Own it with `await using`, or call {@link Symbol.asyncDispose} from `afterEach`.
44
+ */
45
+ export class PublicProcessorTestEnv implements AsyncDisposable {
46
+ private constructor(
47
+ public readonly processor: PublicProcessor,
48
+ public readonly tester: PublicTxSimulationTester,
49
+ public readonly contractsDB: PublicContractsDB,
50
+ public readonly globals: GlobalVariables,
51
+ private readonly worldStateService: NativeWorldStateService,
52
+ private readonly avmSimulator: AvmSimulatorPool,
53
+ ) {}
54
+
55
+ static async create(opts: PublicProcessorTestEnvOptions = {}): Promise<PublicProcessorTestEnv> {
56
+ const globals = opts.globals ?? defaultGlobals();
57
+ const config = opts.config ? PublicSimulatorConfig.from({ ...defaultConfig, ...opts.config }) : defaultConfig;
58
+
59
+ const contractDataSource = new SimpleContractDataSource();
60
+ const worldStateService = await NativeWorldStateService.tmp();
61
+ const merkleTrees = await worldStateService.fork();
62
+ const contractsDB = new PublicContractsDB(contractDataSource);
63
+
64
+ const forkId = merkleTrees.getRevision().forkId;
65
+ const avmSimulator = await AvmSimulatorPool.spawn({ wsdbIpcPath: worldStateService.getIpcPath() });
66
+
67
+ const simulator = new PublicTxSimulator(avmSimulator, globals, contractsDB, forkId, config, undefined);
68
+ const processor = new PublicProcessor(
69
+ globals,
70
+ new GuardedMerkleTreeOperations(merkleTrees),
71
+ contractsDB,
72
+ simulator,
73
+ new TestDateProvider(),
74
+ getTelemetryClient(),
75
+ createLogger('simulator:public-processor'),
76
+ );
77
+
78
+ const tester = new PublicTxSimulationTester(merkleTrees, contractDataSource, globals);
79
+
80
+ return new PublicProcessorTestEnv(processor, tester, contractsDB, globals, worldStateService, avmSimulator);
81
+ }
82
+
83
+ async [Symbol.asyncDispose](): Promise<void> {
84
+ await this.avmSimulator[Symbol.asyncDispose]();
85
+ await this.tester.close();
86
+ await this.worldStateService.close();
87
+ }
88
+ }
@@ -5,28 +5,30 @@ import { Fr } from '@aztec/foundation/curves/bn254';
5
5
  import { type ContractArtifact, encodeArguments } from '@aztec/stdlib/abi';
6
6
  import { PublicSimulatorConfig, type PublicTxResult } from '@aztec/stdlib/avm';
7
7
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
8
- import { FALLBACK_TEARDOWN_DA_GAS_LIMIT, FALLBACK_TEARDOWN_L2_GAS_LIMIT, Gas, GasFees } from '@aztec/stdlib/gas';
8
+ import { Gas, GasFees } from '@aztec/stdlib/gas';
9
9
  import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
10
10
  import { PublicCallRequest } from '@aztec/stdlib/kernel';
11
11
  import { GlobalVariables, PublicCallRequestWithCalldata, type Tx } from '@aztec/stdlib/tx';
12
12
  import { NativeWorldStateService } from '@aztec/world-state';
13
13
 
14
- import { BaseAvmSimulationTester } from '../avm/fixtures/base_avm_simulation_tester.js';
14
+ import { BaseAvmSimulationTester } from '../avm/testing/base_avm_simulation_tester.js';
15
15
  import {
16
16
  DEFAULT_BLOCK_NUMBER,
17
17
  DEFAULT_TIMESTAMP,
18
18
  getContractFunctionAbi,
19
19
  getFunctionSelector,
20
- } from '../avm/fixtures/utils.js';
20
+ } from '../avm/testing/utils.js';
21
+ import { AvmSimulatorPool } from '../avm_simulator_pool.js';
21
22
  import { PublicContractsDB } from '../public_db_sources.js';
22
- import { MeasuredCppPublicTxSimulator } from '../public_tx_simulator/cpp_public_tx_simulator.js';
23
- import { MeasuredCppVsTsPublicTxSimulator } from '../public_tx_simulator/cpp_vs_ts_public_tx_simulator.js';
23
+ import { MeasuredPublicTxSimulator } from '../public_tx_simulator/public_tx_simulator.js';
24
24
  import type { MeasuredPublicTxSimulatorInterface } from '../public_tx_simulator/public_tx_simulator_interface.js';
25
25
  import { TestExecutorMetrics } from '../test_executor_metrics.js';
26
26
  import { SimpleContractDataSource } from './simple_contract_data_source.js';
27
27
  import { type TestPrivateInsertions, createTxForPublicCalls } from './utils.js';
28
28
 
29
29
  const DEFAULT_GAS_FEES = new GasFees(2, 3);
30
+ const TEARDOWN_DA_GAS_LIMIT = 98_304;
31
+ const TEARDOWN_L2_GAS_LIMIT = 817_500;
30
32
 
31
33
  export type TestEnqueuedCall = {
32
34
  sender?: AztecAddress;
@@ -64,8 +66,9 @@ export type MeasuredSimulatorFactory = (
64
66
  */
65
67
  export class PublicTxSimulationTester extends BaseAvmSimulationTester {
66
68
  protected txCount: number = 0;
67
- private simulator: MeasuredPublicTxSimulatorInterface;
69
+ private simulator: MeasuredPublicTxSimulatorInterface | undefined;
68
70
  private metricsPrefix?: string;
71
+ protected avmSimulator?: AvmSimulatorPool;
69
72
 
70
73
  constructor(
71
74
  merkleTree: MerkleTreeWriteOperations,
@@ -81,7 +84,9 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
81
84
  if (simulatorFactory) {
82
85
  this.simulator = simulatorFactory(merkleTree, contractsDB, globals, this.metrics, config);
83
86
  } else {
84
- this.simulator = new MeasuredCppPublicTxSimulator(merkleTree, contractsDB, globals, this.metrics, config);
87
+ // No simulator this tester can only be used for setup (setFeePayerBalance, createTx, etc.)
88
+ // To simulate, use PublicTxSimulationTester.create() or pass a simulatorFactory.
89
+ this.simulator = undefined;
85
90
  }
86
91
  }
87
92
 
@@ -89,15 +94,25 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
89
94
  worldStateService: NativeWorldStateService, // make sure to close this later
90
95
  globals: GlobalVariables = defaultGlobals(),
91
96
  metrics: TestExecutorMetrics = new TestExecutorMetrics(),
92
- useCppSimulator = false,
93
97
  config: PublicSimulatorConfig = defaultConfig,
94
98
  ): Promise<PublicTxSimulationTester> {
95
99
  const contractDataSource = new SimpleContractDataSource();
96
100
  const merkleTree = await worldStateService.fork();
97
- const simulatorFactory: MeasuredSimulatorFactory = useCppSimulator
98
- ? (mt, cdb, g, m, c) => new MeasuredCppPublicTxSimulator(mt, cdb, g, m, c)
99
- : (mt, cdb, g, m, c) => new MeasuredCppVsTsPublicTxSimulator(mt, cdb, g, m, c);
100
- return new PublicTxSimulationTester(merkleTree, contractDataSource, globals, metrics, simulatorFactory, config);
101
+
102
+ const avmSimulator = await AvmSimulatorPool.spawn({ wsdbIpcPath: worldStateService.getIpcPath() });
103
+ const simulatorFactory: MeasuredSimulatorFactory = (mt, cdb, g, m, c) =>
104
+ new MeasuredPublicTxSimulator(avmSimulator, g, cdb, mt.getRevision().forkId, m, c, undefined);
105
+
106
+ const tester = new PublicTxSimulationTester(
107
+ merkleTree,
108
+ contractDataSource,
109
+ globals,
110
+ metrics,
111
+ simulatorFactory,
112
+ config,
113
+ );
114
+ tester.avmSimulator = avmSimulator;
115
+ return tester;
101
116
  }
102
117
 
103
118
  public setMetricsPrefix(prefix: string) {
@@ -132,10 +147,7 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
132
147
  teardownCallRequest,
133
148
  feePayer,
134
149
  /*gasUsedByPrivate*/ teardownCall
135
- ? new Gas(
136
- FALLBACK_TEARDOWN_DA_GAS_LIMIT + TX_DA_GAS_OVERHEAD,
137
- FALLBACK_TEARDOWN_L2_GAS_LIMIT + PUBLIC_TX_L2_GAS_OVERHEAD,
138
- )
150
+ ? new Gas(TEARDOWN_DA_GAS_LIMIT + TX_DA_GAS_OVERHEAD, TEARDOWN_L2_GAS_LIMIT + PUBLIC_TX_L2_GAS_OVERHEAD)
139
151
  : new Gas(TX_DA_GAS_OVERHEAD, PUBLIC_TX_L2_GAS_OVERHEAD),
140
152
  defaultGlobals(),
141
153
  gasLimits,
@@ -167,8 +179,6 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
167
179
  }
168
180
  const avmResult = await this.simulator.simulate(tx, fullTxLabel);
169
181
 
170
- await this.#recordBytecodeSizes(fullTxLabel, [...setupCalls, ...appCalls, ...(teardownCall ? [teardownCall] : [])]);
171
-
172
182
  // Something like this is often useful for debugging:
173
183
  //if (avmResult.revertReason) {
174
184
  // // resolve / enrich revert reason
@@ -198,18 +208,8 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
198
208
  teardownCall?: TestEnqueuedCall,
199
209
  feePayer?: AztecAddress,
200
210
  privateInsertions?: TestPrivateInsertions,
201
- gasLimits?: Gas,
202
211
  ): Promise<PublicTxResult> {
203
- return await this.simulateTx(
204
- sender,
205
- setupCalls,
206
- appCalls,
207
- teardownCall,
208
- feePayer,
209
- privateInsertions,
210
- txLabel,
211
- gasLimits,
212
- );
212
+ return await this.simulateTx(sender, setupCalls, appCalls, teardownCall, feePayer, privateInsertions, txLabel);
213
213
  }
214
214
 
215
215
  /**
@@ -227,7 +227,6 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
227
227
  teardownCall?: TestEnqueuedCall,
228
228
  feePayer?: AztecAddress,
229
229
  privateInsertions?: TestPrivateInsertions,
230
- gasLimits?: Gas,
231
230
  ): Promise<PublicTxResult> {
232
231
  return await this.simulateTxWithLabel(
233
232
  txLabel,
@@ -237,7 +236,6 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
237
236
  teardownCall,
238
237
  feePayer,
239
238
  privateInsertions,
240
- gasLimits,
241
239
  );
242
240
  }
243
241
 
@@ -245,22 +243,31 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
245
243
  this.metrics.prettyPrint();
246
244
  }
247
245
 
246
+ /** Clean up IPC resources (AVM simulator pool and merkle tree fork) created by create(). */
247
+ public async close(): Promise<void> {
248
+ await this.avmSimulator?.[Symbol.asyncDispose]();
249
+ // Close the merkle tree fork to release IPC resources before the wsdb process is killed.
250
+ if (this.merkleTrees?.close) {
251
+ await this.merkleTrees.close().catch(() => {});
252
+ }
253
+ }
254
+
248
255
  /**
249
256
  * Cancel the current simulation if one is in progress.
250
- * This signals the underlying simulator (e.g., C++) to stop at the next safe point.
257
+ * This signals the underlying simulator to stop at the next safe point.
251
258
  * Safe to call even if no simulation is in progress.
252
259
  *
253
260
  * @param waitTimeoutMs - If provided, wait up to this many ms for the simulation to actually stop.
254
261
  */
255
262
  public async cancel(waitTimeoutMs?: number): Promise<void> {
256
- await this.simulator.cancel?.(waitTimeoutMs);
263
+ await this.simulator?.cancel?.(waitTimeoutMs);
257
264
  }
258
265
 
259
266
  /**
260
267
  * Get the underlying simulator for advanced test scenarios.
261
268
  * Use this when you need direct control over simulation (e.g., for testing cancellation).
262
269
  */
263
- public getSimulator(): MeasuredPublicTxSimulatorInterface {
270
+ public getSimulator(): MeasuredPublicTxSimulatorInterface | undefined {
264
271
  return this.simulator;
265
272
  }
266
273
 
@@ -297,27 +304,6 @@ export class PublicTxSimulationTester extends BaseAvmSimulationTester {
297
304
 
298
305
  return new PublicCallRequestWithCalldata(request, calldata);
299
306
  }
300
-
301
- // WARNING: Deduplicates by artifact name, so two different artifacts with the same name
302
- // in a single tx would only record the first one's bytecode size.
303
- async #recordBytecodeSizes(txLabel: string, calls: TestEnqueuedCall[]) {
304
- const seenArtifactNames = new Set<string>();
305
- for (const call of calls) {
306
- const artifact = await this.contractDataSource.getContractArtifact(call.address);
307
- if (!artifact || seenArtifactNames.has(artifact.name)) {
308
- continue;
309
- }
310
- seenArtifactNames.add(artifact.name);
311
- const instance = await this.contractDataSource.getContract(call.address);
312
- if (!instance) {
313
- continue;
314
- }
315
- const contractClass = await this.contractDataSource.getContractClass(instance.currentContractClassId);
316
- if (contractClass) {
317
- this.metrics.recordBytecodeSize(txLabel, artifact.name, contractClass.packedBytecode.length);
318
- }
319
- }
320
- }
321
307
  }
322
308
 
323
309
  export function defaultGlobals() {
@@ -5,7 +5,7 @@ import type { ContractArtifact, FunctionSelector } from '@aztec/stdlib/abi';
5
5
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
6
6
  import type { ContractClassPublic, ContractDataSource, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
7
7
 
8
- import { getFunctionSelector } from '../avm/fixtures/utils.js';
8
+ import { getFunctionSelector } from '../avm/testing/utils.js';
9
9
 
10
10
  /**
11
11
  * This class is used during public/avm testing to function as a database of
@@ -21,9 +21,9 @@ export async function tokenTest(
21
21
  ) {
22
22
  const timer = new Timer();
23
23
 
24
- const admin = AztecAddress.fromNumber(42);
25
- const sender = AztecAddress.fromNumber(111);
26
- const receiver = AztecAddress.fromNumber(222);
24
+ const admin = AztecAddress.fromNumberUnsafe(42);
25
+ const sender = AztecAddress.fromNumberUnsafe(111);
26
+ const receiver = AztecAddress.fromNumberUnsafe(222);
27
27
 
28
28
  const token = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue);
29
29
 
@@ -12,13 +12,7 @@ import { CONTRACT_INSTANCE_PUBLISHED_EVENT_TAG } from '@aztec/protocol-contracts
12
12
  import { bufferAsFields } from '@aztec/stdlib/abi';
13
13
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
14
14
  import type { ContractClassPublic, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
15
- import {
16
- FALLBACK_TEARDOWN_DA_GAS_LIMIT,
17
- FALLBACK_TEARDOWN_L2_GAS_LIMIT,
18
- Gas,
19
- GasFees,
20
- GasSettings,
21
- } from '@aztec/stdlib/gas';
15
+ import { Gas, GasFees, GasSettings } from '@aztec/stdlib/gas';
22
16
  import { siloNullifier } from '@aztec/stdlib/hash';
23
17
  import {
24
18
  LogHash,
@@ -42,6 +36,9 @@ import {
42
36
 
43
37
  import { strict as assert } from 'assert';
44
38
 
39
+ const TEARDOWN_DA_GAS_LIMIT = 98_304;
40
+ const TEARDOWN_L2_GAS_LIMIT = 817_500;
41
+
45
42
  export type TestPrivateInsertions = {
46
43
  revertible?: {
47
44
  nullifiers?: Fr[];
@@ -132,9 +129,7 @@ export async function createTxForPublicCalls(
132
129
  }
133
130
 
134
131
  const maxFeesPerGas = feePayer.isZero() ? GasFees.empty() : new GasFees(10, 10);
135
- const teardownGasLimits = teardownCallRequest
136
- ? new Gas(FALLBACK_TEARDOWN_DA_GAS_LIMIT, FALLBACK_TEARDOWN_L2_GAS_LIMIT)
137
- : Gas.empty();
132
+ const teardownGasLimits = teardownCallRequest ? new Gas(TEARDOWN_DA_GAS_LIMIT, TEARDOWN_L2_GAS_LIMIT) : Gas.empty();
138
133
  const gasSettings = new GasSettings(gasLimits, teardownGasLimits, maxFeesPerGas, GasFees.empty());
139
134
  const txContext = new TxContext(Fr.zero(), Fr.zero(), gasSettings);
140
135
  const header = BlockHeader.empty({ globalVariables: globals });
@@ -260,7 +255,7 @@ export async function addNewContractInstanceToTx(
260
255
  );
261
256
 
262
257
  const contractAddressNullifier = await siloNullifier(
263
- AztecAddress.fromNumber(CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS),
258
+ AztecAddress.fromNumberUnsafe(CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS),
264
259
  contractInstance.address.toField(),
265
260
  );
266
261