@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
@@ -1,131 +0,0 @@
1
- import { createLogger } from '@aztec/foundation/log';
2
- import { sleep } from '@aztec/foundation/sleep';
3
- import { avmSimulate, cancelSimulation, createCancellationToken } from '@aztec/native';
4
- import { ProtocolContractsList } from '@aztec/protocol-contracts';
5
- import { AvmFastSimulationInputs, AvmTxHint, PublicTxResult, deserializeFromMessagePack } from '@aztec/stdlib/avm';
6
- import { SimulationError } from '@aztec/stdlib/errors';
7
- import { WorldStateRevisionWithHandle } from '@aztec/stdlib/world-state';
8
- import { getTelemetryClient } from '@aztec/telemetry-client';
9
- import { strict as assert } from 'assert';
10
- import { ExecutorMetrics } from '../executor_metrics.js';
11
- import { ContractProviderForCpp } from './contract_provider_for_cpp.js';
12
- import { PublicTxSimulator } from './public_tx_simulator.js';
13
- /**
14
- * C++ implementation of PublicTxSimulator using the C++ simulator.
15
- * The C++ simulator accesses the world state directly/natively within C++.
16
- * For contract DB accesses, it makes callbacks through NAPI back to the TS PublicContractsDB cache.
17
- */ export class CppPublicTxSimulator extends PublicTxSimulator {
18
- log;
19
- /** Current cancellation token for in-flight simulation. */ cancellationToken;
20
- /** Current simulation promise, used to wait for completion after cancellation. */ simulationPromise;
21
- constructor(merkleTree, contractsDB, globalVariables, config, bindings){
22
- super(merkleTree, contractsDB, globalVariables, config, undefined, bindings);
23
- this.log = createLogger(`simulator:cpp_public_tx_simulator`, bindings);
24
- }
25
- /**
26
- * Simulate a transaction's public portion using the C++ avvm simulator.
27
- *
28
- * @param tx - The transaction to simulate.
29
- * @returns The result of the transaction's public execution.
30
- */ async simulate(tx) {
31
- const txHash = this.computeTxHash(tx);
32
- this.log.debug(`C++ simulation of ${tx.publicFunctionCalldata.length} public calls for tx ${txHash}`, {
33
- txHash
34
- });
35
- // Using the "as WorldStateRevisionWithHandle" is a bit of a "trust me bro", hence the assert.
36
- let wsRevision = this.merkleTree.getRevision();
37
- assert(wsRevision instanceof WorldStateRevisionWithHandle, 'CppPublicTxSimulator a real NativeWorldStateInstance with a handle to the C++ WorldState object');
38
- const wsCppHandle = wsRevision.handle;
39
- wsRevision = wsRevision.toWorldStateRevision(); // for msgpack serialization, we don't include the handle in the type
40
- this.log.trace(`Running C++ simulation with world state revision ${JSON.stringify(wsRevision)}`);
41
- // Create the fast simulation inputs
42
- const txHint = AvmTxHint.fromTx(tx, this.globalVariables.gasFees);
43
- const protocolContracts = ProtocolContractsList;
44
- const fastSimInputs = new AvmFastSimulationInputs(wsRevision, this.config, txHint, this.globalVariables, protocolContracts);
45
- // Create contract provider for callbacks to TypeScript PublicContractsDB from C++
46
- const contractProvider = new ContractProviderForCpp(this.contractsDB, this.globalVariables, this.bindings);
47
- // Serialize to msgpack and call the C++ simulator
48
- this.log.trace(`Serializing fast simulation inputs to msgpack...`);
49
- const inputBuffer = fastSimInputs.serializeWithMessagePack();
50
- // Create cancellation token for this simulation
51
- this.cancellationToken = createCancellationToken();
52
- // Store the promise so cancel() can wait for it
53
- this.log.debug(`Calling C++ simulator for tx ${txHash}`);
54
- this.simulationPromise = avmSimulate(inputBuffer, contractProvider, wsCppHandle, this.log.level, undefined, this.cancellationToken);
55
- let resultBuffer;
56
- try {
57
- resultBuffer = await this.simulationPromise;
58
- } catch (error) {
59
- // Check if this was a cancellation
60
- if (error.message?.includes('Simulation cancelled')) {
61
- throw new SimulationError(`C++ simulation cancelled`, []);
62
- }
63
- throw new SimulationError(`C++ simulation failed: ${error.message}`, []);
64
- } finally{
65
- this.cancellationToken = undefined;
66
- this.simulationPromise = undefined;
67
- }
68
- // If we've reached this point, C++ succeeded during simulation,
69
- // Deserialize the msgpack result
70
- this.log.trace(`Deserializing C++ from buffer (size: ${resultBuffer.length})...`);
71
- const cppResultJSON = deserializeFromMessagePack(resultBuffer);
72
- this.log.trace(`Deserializing C++ result to PublicTxResult...`);
73
- const cppResult = PublicTxResult.fromPlainObject(cppResultJSON);
74
- this.log.trace(`C++ simulation completed for tx ${txHash}`, {
75
- txHash,
76
- reverted: !cppResult.revertCode.isOK(),
77
- cppGasUsed: cppResult.gasUsed.totalGas.l2Gas
78
- });
79
- return cppResult;
80
- }
81
- /**
82
- * Cancel the current simulation if one is in progress.
83
- * This signals the C++ simulator to stop at the next opcode or before the next WorldState write.
84
- * Safe to call even if no simulation is in progress.
85
- *
86
- * @param waitTimeoutMs - If provided, wait up to this many ms for the simulation to actually stop.
87
- * This is important because C++ might be in the middle of a slow operation
88
- * (e.g., pad_trees) and won't check the cancellation flag until it completes.
89
- * Default timeout of 100ms after cancellation.
90
- */ async cancel(waitTimeoutMs = 100) {
91
- if (this.cancellationToken) {
92
- this.log.debug('Cancelling C++ simulation');
93
- cancelSimulation(this.cancellationToken);
94
- }
95
- // Wait for the simulation to actually complete if not already done
96
- if (this.simulationPromise) {
97
- this.log.debug(`Waiting up to ${waitTimeoutMs}ms for C++ simulation to stop`);
98
- await Promise.race([
99
- this.simulationPromise.catch(()=>{}),
100
- sleep(waitTimeoutMs)
101
- ]);
102
- this.log.debug('C++ simulation stopped or wait timed out');
103
- }
104
- }
105
- }
106
- export class MeasuredCppPublicTxSimulator extends CppPublicTxSimulator {
107
- metrics;
108
- constructor(merkleTree, contractsDB, globalVariables, metrics, config, bindings){
109
- super(merkleTree, contractsDB, globalVariables, config, bindings), this.metrics = metrics;
110
- }
111
- async simulate(tx, txLabel = 'unlabeledTx') {
112
- this.metrics.startRecordingTxSimulation(txLabel);
113
- let result;
114
- try {
115
- result = await super.simulate(tx);
116
- } finally{
117
- this.metrics.stopRecordingTxSimulation(txLabel, result?.gasUsed, result?.revertCode);
118
- }
119
- return result;
120
- }
121
- }
122
- /**
123
- * A C++ public tx simulator that tracks runtime/production metrics with telemetry.
124
- */ export class TelemetryCppPublicTxSimulator extends MeasuredCppPublicTxSimulator {
125
- /* tracer needed by trackSpans */ tracer;
126
- constructor(merkleTree, contractsDB, globalVariables, telemetryClient = getTelemetryClient(), config, bindings){
127
- const metrics = new ExecutorMetrics(telemetryClient, 'CppPublicTxSimulator');
128
- super(merkleTree, contractsDB, globalVariables, metrics, config, bindings);
129
- this.tracer = metrics.tracer;
130
- }
131
- }
@@ -1,42 +0,0 @@
1
- import { type Logger, type LoggerBindings } from '@aztec/foundation/log';
2
- import { type PublicSimulatorConfig, PublicTxResult } from '@aztec/stdlib/avm';
3
- import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
4
- import type { GlobalVariables, Tx } from '@aztec/stdlib/tx';
5
- import type { ExecutorMetricsInterface } from '../executor_metrics_interface.js';
6
- import type { PublicContractsDB } from '../public_db_sources.js';
7
- import { PublicTxSimulator } from './public_tx_simulator.js';
8
- import type { MeasuredPublicTxSimulatorInterface, PublicTxSimulatorInterface } from './public_tx_simulator_interface.js';
9
- /**
10
- * C++ implementation of PublicTxSimulator using pre-collected hints.
11
- * This implementation runs TS simulation first to collect all hints,
12
- * then passes the complete AvmCircuitInputs (hints + public inputs)
13
- * to C++ to run hinted simulation.
14
- */
15
- export declare class CppPublicTxSimulatorHintedDbs extends PublicTxSimulator implements PublicTxSimulatorInterface {
16
- protected log: Logger;
17
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, config?: Partial<PublicSimulatorConfig>, bindings?: LoggerBindings);
18
- /**
19
- * Simulate a transaction's public portion using the C++ vm2 simulator with hinted DBs.
20
- *
21
- * This implementation:
22
- * 1. Runs the full TypeScript simulation to generate AvmCircuitInputs (hints + public inputs)
23
- * 2. Passes the complete AvmCircuitInputs to C++ to run hinted simulation
24
- *
25
- * @param tx - The transaction to simulate.
26
- * @returns The result of the transaction's public execution.
27
- */
28
- simulate(tx: Tx): Promise<PublicTxResult>;
29
- }
30
- /**
31
- * Class to record metrics for simulation.
32
- *
33
- * Note(dbanks12): We might not be able to collect all the same metrics in C++ as we do in TS!
34
- * Unless we move some of the metrics collection to C++, we don't have inner functions exposed
35
- * to TS for tracking.
36
- */
37
- export declare class MeasuredCppPublicTxSimulatorHintedDbs extends CppPublicTxSimulatorHintedDbs implements MeasuredPublicTxSimulatorInterface {
38
- protected readonly metrics: ExecutorMetricsInterface;
39
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, metrics: ExecutorMetricsInterface, config?: Partial<PublicSimulatorConfig>, bindings?: LoggerBindings);
40
- simulate(tx: Tx, txLabel?: string): Promise<PublicTxResult>;
41
- }
42
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY3BwX3B1YmxpY190eF9zaW11bGF0b3Jfd2l0aF9oaW50ZWRfZGJzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHVibGljL3B1YmxpY190eF9zaW11bGF0b3IvY3BwX3B1YmxpY190eF9zaW11bGF0b3Jfd2l0aF9oaW50ZWRfZGJzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBRSxLQUFLLGNBQWMsRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUV2RixPQUFPLEVBRUwsS0FBSyxxQkFBcUIsRUFDMUIsY0FBYyxFQUVmLE1BQU0sbUJBQW1CLENBQUM7QUFFM0IsT0FBTyxLQUFLLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNyRSxPQUFPLEtBQUssRUFBRSxlQUFlLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFJNUQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ2pFLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzdELE9BQU8sS0FBSyxFQUNWLGtDQUFrQyxFQUNsQywwQkFBMEIsRUFDM0IsTUFBTSxvQ0FBb0MsQ0FBQztBQUU1Qzs7Ozs7R0FLRztBQUNILHFCQUFhLDZCQUE4QixTQUFRLGlCQUFrQixZQUFXLDBCQUEwQjtJQUN4RyxVQUFtQixHQUFHLEVBQUUsTUFBTSxDQUFDO0lBRS9CLFlBQ0UsVUFBVSxFQUFFLHlCQUF5QixFQUNyQyxXQUFXLEVBQUUsaUJBQWlCLEVBQzlCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLE1BQU0sQ0FBQyxFQUFFLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBQyxFQUN2QyxRQUFRLENBQUMsRUFBRSxjQUFjLEVBSTFCO0lBRUQ7Ozs7Ozs7OztPQVNHO0lBQ21CLFFBQVEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0E4QzlEO0NBQ0Y7QUFFRDs7Ozs7O0dBTUc7QUFDSCxxQkFBYSxxQ0FDWCxTQUFRLDZCQUNSLFlBQVcsa0NBQWtDO0lBTTNDLFNBQVMsQ0FBQyxRQUFRLENBQUMsT0FBTyxFQUFFLHdCQUF3QjtJQUp0RCxZQUNFLFVBQVUsRUFBRSx5QkFBeUIsRUFDckMsV0FBVyxFQUFFLGlCQUFpQixFQUM5QixlQUFlLEVBQUUsZUFBZSxFQUNiLE9BQU8sRUFBRSx3QkFBd0IsRUFDcEQsTUFBTSxDQUFDLEVBQUUsT0FBTyxDQUFDLHFCQUFxQixDQUFDLEVBQ3ZDLFFBQVEsQ0FBQyxFQUFFLGNBQWMsRUFHMUI7SUFFcUIsUUFBUSxDQUFDLEVBQUUsRUFBRSxFQUFFLEVBQUUsT0FBTyxHQUFFLE1BQXNCLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBQyxDQVMvRjtDQUNGIn0=
@@ -1 +0,0 @@
1
- {"version":3,"file":"cpp_public_tx_simulator_with_hinted_dbs.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAEvF,OAAO,EAEL,KAAK,qBAAqB,EAC1B,cAAc,EAEf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAI5D,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EACV,kCAAkC,EAClC,0BAA0B,EAC3B,MAAM,oCAAoC,CAAC;AAE5C;;;;;GAKG;AACH,qBAAa,6BAA8B,SAAQ,iBAAkB,YAAW,0BAA0B;IACxG,UAAmB,GAAG,EAAE,MAAM,CAAC;IAE/B,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EACvC,QAAQ,CAAC,EAAE,cAAc,EAI1B;IAED;;;;;;;;;OASG;IACmB,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CA8C9D;CACF;AAED;;;;;;GAMG;AACH,qBAAa,qCACX,SAAQ,6BACR,YAAW,kCAAkC;IAM3C,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,wBAAwB;IAJtD,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EACb,OAAO,EAAE,wBAAwB,EACpD,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EACvC,QAAQ,CAAC,EAAE,cAAc,EAG1B;IAEqB,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,GAAE,MAAsB,GAAG,OAAO,CAAC,cAAc,CAAC,CAS/F;CACF"}
@@ -1,86 +0,0 @@
1
- import { createLogger } from '@aztec/foundation/log';
2
- import { avmSimulateWithHintedDbs } from '@aztec/native';
3
- import { AvmCircuitInputs, PublicTxResult, deserializeFromMessagePack } from '@aztec/stdlib/avm';
4
- import { SimulationError } from '@aztec/stdlib/errors';
5
- import { strict as assert } from 'assert';
6
- import { PublicTxSimulator } from './public_tx_simulator.js';
7
- /**
8
- * C++ implementation of PublicTxSimulator using pre-collected hints.
9
- * This implementation runs TS simulation first to collect all hints,
10
- * then passes the complete AvmCircuitInputs (hints + public inputs)
11
- * to C++ to run hinted simulation.
12
- */ export class CppPublicTxSimulatorHintedDbs extends PublicTxSimulator {
13
- log;
14
- constructor(merkleTree, contractsDB, globalVariables, config, bindings){
15
- super(merkleTree, contractsDB, globalVariables, config, undefined, bindings);
16
- this.log = createLogger(`simulator:cpp_public_tx_simulator_hinted_dbs`, bindings);
17
- }
18
- /**
19
- * Simulate a transaction's public portion using the C++ vm2 simulator with hinted DBs.
20
- *
21
- * This implementation:
22
- * 1. Runs the full TypeScript simulation to generate AvmCircuitInputs (hints + public inputs)
23
- * 2. Passes the complete AvmCircuitInputs to C++ to run hinted simulation
24
- *
25
- * @param tx - The transaction to simulate.
26
- * @returns The result of the transaction's public execution.
27
- */ async simulate(tx) {
28
- const txHash = this.computeTxHash(tx);
29
- this.log.debug(`C++ hinted DB simulation of ${tx.publicFunctionCalldata.length} public calls for tx ${txHash}`, {
30
- txHash
31
- });
32
- // First, run TS simulation to generate hints and public inputs
33
- this.log.debug(`Running TS simulation for tx ${txHash}`);
34
- // Run the full TypeScript simulation using the parent class
35
- // This will modify the merkle tree with the transaction's state changes
36
- const tsResult = await super.simulate(tx);
37
- this.log.debug(`TS simulation succeeded for tx ${txHash}`);
38
- // Extract the full AvmCircuitInputs from the TS result
39
- const avmCircuitInputs = new AvmCircuitInputs(tsResult.hints, tsResult.publicInputs);
40
- // Second, run C++ simulation with hinted DBs
41
- this.log.debug(`Running C++ simulation with hinted DBs for tx ${txHash}`);
42
- // Serialize to msgpack and call the C++ simulator
43
- const inputBuffer = avmCircuitInputs.serializeWithMessagePack();
44
- let resultBuffer;
45
- try {
46
- resultBuffer = await avmSimulateWithHintedDbs(inputBuffer, this.log.level);
47
- } catch (error) {
48
- throw new SimulationError(`C++ hinted simulation failed: ${error.message}`, []);
49
- }
50
- // Deserialize the msgpack result
51
- const cppResultJSON = deserializeFromMessagePack(resultBuffer);
52
- const cppResult = PublicTxResult.fromPlainObject(cppResultJSON);
53
- assert(cppResult.revertCode.equals(tsResult.revertCode));
54
- assert(cppResult.gasUsed.totalGas.equals(tsResult.gasUsed.totalGas));
55
- this.log.debug(`C++ hinted simulation completed for tx ${txHash}`, {
56
- txHash,
57
- reverted: !tsResult.revertCode.isOK(),
58
- tsGasUsed: tsResult.gasUsed.totalGas.l2Gas,
59
- cppGasUsed: tsResult.gasUsed.totalGas.l2Gas
60
- });
61
- // TODO(fcarreiro): complete this.
62
- return tsResult;
63
- }
64
- }
65
- /**
66
- * Class to record metrics for simulation.
67
- *
68
- * Note(dbanks12): We might not be able to collect all the same metrics in C++ as we do in TS!
69
- * Unless we move some of the metrics collection to C++, we don't have inner functions exposed
70
- * to TS for tracking.
71
- */ export class MeasuredCppPublicTxSimulatorHintedDbs extends CppPublicTxSimulatorHintedDbs {
72
- metrics;
73
- constructor(merkleTree, contractsDB, globalVariables, metrics, config, bindings){
74
- super(merkleTree, contractsDB, globalVariables, config, bindings), this.metrics = metrics;
75
- }
76
- async simulate(tx, txLabel = 'unlabeledTx') {
77
- this.metrics.startRecordingTxSimulation(txLabel);
78
- let result;
79
- try {
80
- result = await super.simulate(tx);
81
- } finally{
82
- this.metrics.stopRecordingTxSimulation(txLabel, result?.gasUsed, result?.revertCode);
83
- }
84
- return result;
85
- }
86
- }
@@ -1,30 +0,0 @@
1
- import { type Logger, type LoggerBindings } from '@aztec/foundation/log';
2
- import { type PublicSimulatorConfig, PublicTxResult } from '@aztec/stdlib/avm';
3
- import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
4
- import type { GlobalVariables, Tx } from '@aztec/stdlib/tx';
5
- import type { ExecutorMetricsInterface } from '../executor_metrics_interface.js';
6
- import type { PublicContractsDB } from '../public_db_sources.js';
7
- import { PublicTxSimulator } from './public_tx_simulator.js';
8
- import type { MeasuredPublicTxSimulatorInterface, PublicTxSimulatorInterface } from './public_tx_simulator_interface.js';
9
- /**
10
- * An implementation of PublicTxSimulator that first simulates in C++, then TS, an compares the results.
11
- * The C++ simulator accesses the world state directly/natively within C++.
12
- * For contract DB accesses, it makes callbacks through NAPI back to the TS PublicContractsDB cache.
13
- */
14
- export declare class CppVsTsPublicTxSimulator extends PublicTxSimulator implements PublicTxSimulatorInterface {
15
- protected log: Logger;
16
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, config?: Partial<PublicSimulatorConfig>, bindings?: LoggerBindings);
17
- /**
18
- * Simulate a transaction's public portion using the C++ avvm simulator.
19
- *
20
- * @param tx - The transaction to simulate.
21
- * @returns The result of the transaction's public execution.
22
- */
23
- simulate(tx: Tx): Promise<PublicTxResult>;
24
- }
25
- export declare class MeasuredCppVsTsPublicTxSimulator extends CppVsTsPublicTxSimulator implements MeasuredPublicTxSimulatorInterface {
26
- protected readonly metrics: ExecutorMetricsInterface;
27
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, metrics: ExecutorMetricsInterface, config?: Partial<PublicSimulatorConfig>, bindings?: LoggerBindings);
28
- simulate(tx: Tx, txLabel?: string): Promise<PublicTxResult>;
29
- }
30
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY3BwX3ZzX3RzX3B1YmxpY190eF9zaW11bGF0b3IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci9jcHBfdnNfdHNfcHVibGljX3R4X3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQUUsS0FBSyxjQUFjLEVBQTBCLE1BQU0sdUJBQXVCLENBQUM7QUFHakcsT0FBTyxFQUdMLEtBQUsscUJBQXFCLEVBQzFCLGNBQWMsRUFFZixNQUFNLG1CQUFtQixDQUFDO0FBRTNCLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFrQixFQUFFLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUs1RSxPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFakUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDN0QsT0FBTyxLQUFLLEVBQ1Ysa0NBQWtDLEVBQ2xDLDBCQUEwQixFQUMzQixNQUFNLG9DQUFvQyxDQUFDO0FBRTVDOzs7O0dBSUc7QUFDSCxxQkFBYSx3QkFBeUIsU0FBUSxpQkFBa0IsWUFBVywwQkFBMEI7SUFDbkcsVUFBbUIsR0FBRyxFQUFFLE1BQU0sQ0FBQztJQUUvQixZQUNFLFVBQVUsRUFBRSx5QkFBeUIsRUFDckMsV0FBVyxFQUFFLGlCQUFpQixFQUM5QixlQUFlLEVBQUUsZUFBZSxFQUNoQyxNQUFNLENBQUMsRUFBRSxPQUFPLENBQUMscUJBQXFCLENBQUMsRUFDdkMsUUFBUSxDQUFDLEVBQUUsY0FBYyxFQUkxQjtJQUVEOzs7OztPQUtHO0lBQ21CLFFBQVEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0ErSjlEO0NBQ0Y7QUFFRCxxQkFBYSxnQ0FDWCxTQUFRLHdCQUNSLFlBQVcsa0NBQWtDO0lBTTNDLFNBQVMsQ0FBQyxRQUFRLENBQUMsT0FBTyxFQUFFLHdCQUF3QjtJQUp0RCxZQUNFLFVBQVUsRUFBRSx5QkFBeUIsRUFDckMsV0FBVyxFQUFFLGlCQUFpQixFQUM5QixlQUFlLEVBQUUsZUFBZSxFQUNiLE9BQU8sRUFBRSx3QkFBd0IsRUFDcEQsTUFBTSxDQUFDLEVBQUUsT0FBTyxDQUFDLHFCQUFxQixDQUFDLEVBQ3ZDLFFBQVEsQ0FBQyxFQUFFLGNBQWMsRUFHMUI7SUFFcUIsUUFBUSxDQUFDLEVBQUUsRUFBRSxFQUFFLEVBQUUsT0FBTyxHQUFFLE1BQXNCLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBQyxDQVMvRjtDQUNGIn0=
@@ -1 +0,0 @@
1
- {"version":3,"file":"cpp_vs_ts_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAA0B,MAAM,uBAAuB,CAAC;AAGjG,OAAO,EAGL,KAAK,qBAAqB,EAC1B,cAAc,EAEf,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAkB,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAK5E,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EACV,kCAAkC,EAClC,0BAA0B,EAC3B,MAAM,oCAAoC,CAAC;AAE5C;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,iBAAkB,YAAW,0BAA0B;IACnG,UAAmB,GAAG,EAAE,MAAM,CAAC;IAE/B,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EACvC,QAAQ,CAAC,EAAE,cAAc,EAI1B;IAED;;;;;OAKG;IACmB,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CA+J9D;CACF;AAED,qBAAa,gCACX,SAAQ,wBACR,YAAW,kCAAkC;IAM3C,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,wBAAwB;IAJtD,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EACb,OAAO,EAAE,wBAAwB,EACpD,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EACvC,QAAQ,CAAC,EAAE,cAAc,EAG1B;IAEqB,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,GAAE,MAAsB,GAAG,OAAO,CAAC,cAAc,CAAC,CAS/F;CACF"}
@@ -1,171 +0,0 @@
1
- import { createLogger, logLevel } from '@aztec/foundation/log';
2
- import { avmSimulate } from '@aztec/native';
3
- import { ProtocolContractsList } from '@aztec/protocol-contracts';
4
- import { AvmFastSimulationInputs, AvmTxHint, PublicTxResult, deserializeFromMessagePack } from '@aztec/stdlib/avm';
5
- import { SimulationError } from '@aztec/stdlib/errors';
6
- import { WorldStateRevisionWithHandle } from '@aztec/stdlib/world-state';
7
- import { strict as assert } from 'assert';
8
- import { ContractProviderForCpp } from './contract_provider_for_cpp.js';
9
- import { PublicTxSimulator } from './public_tx_simulator.js';
10
- /**
11
- * An implementation of PublicTxSimulator that first simulates in C++, then TS, an compares the results.
12
- * The C++ simulator accesses the world state directly/natively within C++.
13
- * For contract DB accesses, it makes callbacks through NAPI back to the TS PublicContractsDB cache.
14
- */ export class CppVsTsPublicTxSimulator extends PublicTxSimulator {
15
- log;
16
- constructor(merkleTree, contractsDB, globalVariables, config, bindings){
17
- super(merkleTree, contractsDB, globalVariables, config, undefined, bindings);
18
- this.log = createLogger(`simulator:cpp_vs_public_tx_simulator`, bindings);
19
- }
20
- /**
21
- * Simulate a transaction's public portion using the C++ avvm simulator.
22
- *
23
- * @param tx - The transaction to simulate.
24
- * @returns The result of the transaction's public execution.
25
- */ async simulate(tx) {
26
- const txHash = this.computeTxHash(tx);
27
- this.log.debug(`C++ simulation of ${tx.publicFunctionCalldata.length} public calls for tx ${txHash}`, {
28
- txHash
29
- });
30
- // Run TS simulation to generate hints and public inputs
31
- this.log.debug(`Running TS simulation for tx ${txHash}`);
32
- // create checkpoint for ws
33
- let tsResult;
34
- let tsStateRef;
35
- await this.merkleTree.createCheckpoint();
36
- this.contractsDB.createCheckpoint();
37
- try {
38
- // Run the full TypeScript simulation using the parent class
39
- // This will modify the merkle tree with the transaction's state changes
40
- tsResult = await super.simulate(tx);
41
- this.log.debug(`TS simulation completed for tx ${txHash}`);
42
- tsStateRef = await this.merkleTree.getStateReference(); // capture tree roots for later comparsion
43
- } catch (error) {
44
- this.log.warn(`TS simulation failed, but still continuing with C++ simulation: ${error.message} ${error.stack}`);
45
- } finally{
46
- // revert checkpoint for ws and clear contract db changes
47
- // (cpp should reapply exactly the same changes if there are no bugs)
48
- await this.merkleTree.revertCheckpoint();
49
- this.contractsDB.revertCheckpoint();
50
- }
51
- this.log.debug(`Running C++ simulation for tx ${txHash}`);
52
- // Using the "as WorldStateRevisionWithHandle" is a bit of a "trust me bro", hence the assert.
53
- let wsRevision = this.merkleTree.getRevision();
54
- assert(wsRevision instanceof WorldStateRevisionWithHandle, 'CppPublicTxSimulator a real NativeWorldStateInstance with a handle to the C++ WorldState object');
55
- const wsCppHandle = wsRevision.handle;
56
- wsRevision = wsRevision.toWorldStateRevision(); // for msgpack serialization, we don't include the handle in the type
57
- this.log.debug(`Running C++ simulation with world state revision ${JSON.stringify(wsRevision)}`);
58
- // Create the fast simulation inputs
59
- const txHint = AvmTxHint.fromTx(tx, this.globalVariables.gasFees);
60
- const protocolContracts = ProtocolContractsList;
61
- const fastSimInputs = new AvmFastSimulationInputs(wsRevision, this.config, txHint, this.globalVariables, protocolContracts);
62
- // Create contract provider for callbacks to TypeScript PublicContractsDB from C++
63
- const contractProvider = new ContractProviderForCpp(this.contractsDB, this.globalVariables, this.bindings);
64
- // Serialize to msgpack and call the C++ simulator
65
- this.log.debug(`Serializing fast simulation inputs to msgpack...`);
66
- const inputBuffer = fastSimInputs.serializeWithMessagePack();
67
- let resultBuffer;
68
- try {
69
- this.log.debug(`Calling C++ simulator for tx ${txHash}`);
70
- resultBuffer = await avmSimulate(inputBuffer, contractProvider, wsCppHandle, logLevel);
71
- } catch (error) {
72
- throw new SimulationError(`C++ simulation failed: ${error.message}`, []);
73
- }
74
- // If we've reached this point, C++ succeeded during simulation,
75
- // so we assert that TS also succeeded.
76
- assert(tsResult !== undefined, 'TS simulation should have succeeded if C++ succeeded');
77
- assert(tsStateRef !== undefined, 'TS state reference should have been captured if C++ succeeded');
78
- // Deserialize the msgpack result
79
- this.log.debug(`Deserializing C++ from buffer (size: ${resultBuffer.length})...`);
80
- const cppResultJSON = deserializeFromMessagePack(resultBuffer);
81
- this.log.debug(`Deserializing C++ result to PublicTxResult...`);
82
- const cppResult = PublicTxResult.fromPlainObject(cppResultJSON);
83
- this.log.debug(`Done.`);
84
- assert(cppResult.revertCode.equals(tsResult.revertCode));
85
- assert(cppResult.gasUsed.totalGas.equals(tsResult.gasUsed.totalGas));
86
- assert(cppResult.gasUsed.publicGas.equals(tsResult.gasUsed.publicGas));
87
- assert(cppResult.gasUsed.teardownGas.equals(tsResult.gasUsed.teardownGas));
88
- assert(cppResult.gasUsed.billedGas.equals(tsResult.gasUsed.billedGas));
89
- assert(cppResult.publicTxEffect.equals(tsResult.publicTxEffect));
90
- if (cppResult.publicInputs !== undefined) {
91
- assert(cppResult.publicInputs.toBuffer().equals(tsResult.publicInputs.toBuffer()));
92
- }
93
- // TODO(fcarreiro): complete this.
94
- // Check that C++ hints are a strict subset of TS hints.
95
- // Then enable for misc tests and validate hints.
96
- //if (this.config?.collectHints) {
97
- //}
98
- if (this.config?.collectCallMetadata) {
99
- assert(cppResult.getAppLogicReturnValues().length === tsResult.getAppLogicReturnValues().length);
100
- for(let i = 0; i < cppResult.getAppLogicReturnValues().length; i++){
101
- assert(cppResult.getAppLogicReturnValues()[i].equals(tsResult.getAppLogicReturnValues()[i]));
102
- }
103
- }
104
- // Messages are still not ok for exceptional halts (they are not plumbed in C++).
105
- const cppRevertReason = cppResult.findRevertReason() || {};
106
- const tsRevertReason = tsResult.findRevertReason() || {};
107
- const cppRevertReasonAsObject = JSON.parse(JSON.stringify(cppRevertReason));
108
- const tsRevertReasonAsObject = JSON.parse(JSON.stringify(tsRevertReason));
109
- if (JSON.stringify(cppRevertReasonAsObject) !== JSON.stringify(tsRevertReasonAsObject)) {
110
- this.log.debug('cppResult.findRevertReason()', cppRevertReasonAsObject);
111
- this.log.debug('tsResult.findRevertReason()', tsRevertReasonAsObject);
112
- }
113
- // TODO: dont compare the strings since this is not deterministic.
114
- // Sometimes error messages are different between C++ and TS, so we omit in the default comparison
115
- const cppRevertReasonWithoutMessage = {
116
- ...cppRevertReasonAsObject,
117
- originalMessage: undefined
118
- };
119
- const tsRevertReasonWithoutMessage = {
120
- ...tsRevertReasonAsObject,
121
- originalMessage: undefined
122
- };
123
- assert(JSON.stringify(cppRevertReasonWithoutMessage) === JSON.stringify(tsRevertReasonWithoutMessage));
124
- const cppHasRevertMessage = cppRevertReasonAsObject.originalMessage && cppRevertReasonAsObject.originalMessage.length > 0;
125
- const tsHasRevertMessage = tsRevertReasonAsObject.originalMessage && tsRevertReasonAsObject.originalMessage.length > 0;
126
- // assert that if one of the error messages is non-empty, the other is
127
- assert(cppHasRevertMessage === tsHasRevertMessage, 'One of the AVM simulators (C++ or TS) produced a revert message, but the other did not');
128
- // Ideally, we'd love to be able to compare full error messages, but without a lot of work
129
- // the two simulators will always be able to produce some differing errors.
130
- // Commenting out the code below will enforce that the error messages are at least
131
- // similar (one contains the other). Even this is not something we can guarantee.
132
- //if (cppHasRevertMessage) {
133
- // const cppRevertMessageContainsTs = cppRevertReasonAsObject.originalMessage.includes(
134
- // tsRevertReasonAsObject.originalMessage,
135
- // );
136
- // const tsRevertMessageContainsCpp = tsRevertReasonAsObject.originalMessage.includes(
137
- // cppRevertReasonAsObject.originalMessage,
138
- // );
139
- // assert(
140
- // cppRevertMessageContainsTs || tsRevertMessageContainsCpp,
141
- // 'The AVM simulators (C++ and TS) produced different revert messages (neither was a substring of the other)',
142
- // );
143
- //}
144
- // Confirm that tree roots match
145
- const cppStateRef = await this.merkleTree.getStateReference();
146
- assert(cppStateRef.equals(tsStateRef), `Tree roots mismatch between TS and C++ public simulations for tx ${txHash}`);
147
- this.log.debug(`C++ simulation completed for tx ${txHash}`, {
148
- txHash,
149
- reverted: !cppResult.revertCode.isOK(),
150
- cppGasUsed: cppResult.gasUsed.totalGas.l2Gas
151
- });
152
- // Return cpp result as it has more detailed metadata / revert reasons
153
- return cppResult;
154
- }
155
- }
156
- export class MeasuredCppVsTsPublicTxSimulator extends CppVsTsPublicTxSimulator {
157
- metrics;
158
- constructor(merkleTree, contractsDB, globalVariables, metrics, config, bindings){
159
- super(merkleTree, contractsDB, globalVariables, config, bindings), this.metrics = metrics;
160
- }
161
- async simulate(tx, txLabel = 'unlabeledTx') {
162
- this.metrics.startRecordingTxSimulation(txLabel);
163
- let result;
164
- try {
165
- result = await super.simulate(tx);
166
- } finally{
167
- this.metrics.stopRecordingTxSimulation(txLabel, result?.gasUsed, result?.revertCode);
168
- }
169
- return result;
170
- }
171
- }
@@ -1,23 +0,0 @@
1
- import type { LoggerBindings } from '@aztec/foundation/log';
2
- import { type PublicSimulatorConfig, PublicTxResult } from '@aztec/stdlib/avm';
3
- import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
4
- import type { GlobalVariables, Tx } from '@aztec/stdlib/tx';
5
- import type { PublicContractsDB } from '../public_db_sources.js';
6
- import { CppPublicTxSimulator } from './cpp_public_tx_simulator.js';
7
- /**
8
- * A C++ public tx simulator that dumps AVM circuit inputs to disk after simulation.
9
- * Used during nightly CI runs to collect circuit inputs for benchmarking.
10
- */
11
- export declare class DumpingCppPublicTxSimulator extends CppPublicTxSimulator {
12
- private readonly outputDir;
13
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, config: Partial<PublicSimulatorConfig>, outputDir: string, bindings?: LoggerBindings);
14
- simulate(tx: Tx): Promise<PublicTxResult>;
15
- /**
16
- * Dumps AVM circuit inputs to disk.
17
- *
18
- * @param result - The simulation result containing hints and public inputs
19
- * @param txHash - The transaction hash to use in the filename
20
- */
21
- private dumpAvmCircuitInputs;
22
- }
23
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZHVtcGluZ19jcHBfcHVibGljX3R4X3NpbXVsYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9wdWJsaWNfdHhfc2ltdWxhdG9yL2R1bXBpbmdfY3BwX3B1YmxpY190eF9zaW11bGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDNUQsT0FBTyxFQUlMLEtBQUsscUJBQXFCLEVBQzFCLGNBQWMsRUFFZixNQUFNLG1CQUFtQixDQUFDO0FBQzNCLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLEVBQUUsRUFBVSxNQUFNLGtCQUFrQixDQUFDO0FBTXBFLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDakUsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFcEU7OztHQUdHO0FBQ0gscUJBQWEsMkJBQTRCLFNBQVEsb0JBQW9CO0lBQ25FLE9BQU8sQ0FBQyxRQUFRLENBQUMsU0FBUyxDQUFTO0lBRW5DLFlBQ0UsVUFBVSxFQUFFLHlCQUF5QixFQUNyQyxXQUFXLEVBQUUsaUJBQWlCLEVBQzlCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLE1BQU0sRUFBRSxPQUFPLENBQUMscUJBQXFCLENBQUMsRUFDdEMsU0FBUyxFQUFFLE1BQU0sRUFDakIsUUFBUSxDQUFDLEVBQUUsY0FBYyxFQU0xQjtJQUVxQixRQUFRLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsY0FBYyxDQUFDLENBUTlEO0lBRUQ7Ozs7O09BS0c7SUFDSCxPQUFPLENBQUMsb0JBQW9CO0NBMEI3QiJ9
@@ -1 +0,0 @@
1
- {"version":3,"file":"dumping_cpp_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAIL,KAAK,qBAAqB,EAC1B,cAAc,EAEf,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAE,EAAE,EAAU,MAAM,kBAAkB,CAAC;AAMpE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE;;;GAGG;AACH,qBAAa,2BAA4B,SAAQ,oBAAoB;IACnE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IAEnC,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,MAAM,EAAE,OAAO,CAAC,qBAAqB,CAAC,EACtC,SAAS,EAAE,MAAM,EACjB,QAAQ,CAAC,EAAE,cAAc,EAM1B;IAEqB,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAQ9D;IAED;;;;;OAKG;IACH,OAAO,CAAC,oBAAoB;CA0B7B"}
@@ -1,31 +0,0 @@
1
- import type { Fr } from '@aztec/foundation/curves/bn254';
2
- import type { PublicSimulatorConfig, PublicTxResult } from '@aztec/stdlib/avm';
3
- import type { Gas } from '@aztec/stdlib/gas';
4
- import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
5
- import { type GlobalVariables, PublicCallRequestWithCalldata, Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
6
- import type { AvmFinalizedCallResult } from '../avm/avm_contract_call_result.js';
7
- import type { ExecutorMetricsInterface } from '../executor_metrics_interface.js';
8
- import type { PublicContractsDB } from '../public_db_sources.js';
9
- import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
10
- import { PublicTxContext } from './public_tx_context.js';
11
- import { PublicTxSimulator } from './public_tx_simulator.js';
12
- import type { MeasuredPublicTxSimulatorInterface } from './public_tx_simulator_interface.js';
13
- /**
14
- * A public tx simulator that tracks miscellaneous simulation metrics without telemetry.
15
- */
16
- export declare class MeasuredPublicTxSimulator extends PublicTxSimulator implements MeasuredPublicTxSimulatorInterface {
17
- protected readonly metrics: ExecutorMetricsInterface;
18
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, metrics: ExecutorMetricsInterface, config?: Partial<PublicSimulatorConfig>);
19
- simulate(tx: Tx, txLabel?: string): Promise<PublicTxResult>;
20
- protected insertNonRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
21
- protected insertRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
22
- protected simulatePhase(phase: TxExecutionPhase, context: PublicTxContext): Promise<{
23
- phase: TxExecutionPhase;
24
- durationMs?: number | undefined;
25
- returnValues: import("@aztec/stdlib/tx").NestedProcessReturnValues[];
26
- reverted: boolean;
27
- revertReason?: import("@aztec/stdlib/errors").SimulationError | undefined;
28
- }>;
29
- protected simulateEnqueuedCallInternal(stateManager: PublicPersistableStateManager, callRequest: PublicCallRequestWithCalldata, allocatedGas: Gas, transactionFee: Fr, fnName: string): Promise<AvmFinalizedCallResult>;
30
- }
31
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVhc3VyZWRfcHVibGljX3R4X3NpbXVsYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9wdWJsaWNfdHhfc2ltdWxhdG9yL21lYXN1cmVkX3B1YmxpY190eF9zaW11bGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFekQsT0FBTyxLQUFLLEVBQUUscUJBQXFCLEVBQUUsY0FBYyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDL0UsT0FBTyxLQUFLLEVBQUUsR0FBRyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFN0MsT0FBTyxLQUFLLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNyRSxPQUFPLEVBQUUsS0FBSyxlQUFlLEVBQUUsNkJBQTZCLEVBQUUsRUFBRSxFQUFFLGdCQUFnQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFN0csT0FBTyxLQUFLLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUNqRixPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDakUsT0FBTyxLQUFLLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RixPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDekQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDN0QsT0FBTyxLQUFLLEVBQUUsa0NBQWtDLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUU3Rjs7R0FFRztBQUNILHFCQUFhLHlCQUEwQixTQUFRLGlCQUFrQixZQUFXLGtDQUFrQztJQUsxRyxTQUFTLENBQUMsUUFBUSxDQUFDLE9BQU8sRUFBRSx3QkFBd0I7SUFKdEQsWUFDRSxVQUFVLEVBQUUseUJBQXlCLEVBQ3JDLFdBQVcsRUFBRSxpQkFBaUIsRUFDOUIsZUFBZSxFQUFFLGVBQWUsRUFDYixPQUFPLEVBQUUsd0JBQXdCLEVBQ3BELE1BQU0sQ0FBQyxFQUFFLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBQyxFQUd4QztJQUVxQixRQUFRLENBQUMsRUFBRSxFQUFFLEVBQUUsRUFBRSxPQUFPLEdBQUUsTUFBc0IsR0FBRyxPQUFPLENBQUMsY0FBYyxDQUFDLENBUy9GO0lBRUQsVUFBeUIsK0JBQStCLENBQUMsT0FBTyxFQUFFLGVBQWUsaUJBSWhGO0lBRUQsVUFBeUIsNEJBQTRCLENBQUMsT0FBTyxFQUFFLGVBQWUsaUJBSTdFO0lBRUQsVUFBeUIsYUFBYSxDQUFDLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxPQUFPLEVBQUUsZUFBZTs7Ozs7O09BS3ZGO0lBRUQsVUFBeUIsNEJBQTRCLENBQ25ELFlBQVksRUFBRSw2QkFBNkIsRUFDM0MsV0FBVyxFQUFFLDZCQUE2QixFQUMxQyxZQUFZLEVBQUUsR0FBRyxFQUNqQixjQUFjLEVBQUUsRUFBRSxFQUNsQixNQUFNLEVBQUUsTUFBTSxHQUNiLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxDQXFDakM7Q0FDRiJ9
@@ -1 +0,0 @@
1
- {"version":3,"file":"measured_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/measured_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC/E,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAE,6BAA6B,EAAE,EAAE,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAE7G,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,oCAAoC,CAAC;AAE7F;;GAEG;AACH,qBAAa,yBAA0B,SAAQ,iBAAkB,YAAW,kCAAkC;IAK1G,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,wBAAwB;IAJtD,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EACb,OAAO,EAAE,wBAAwB,EACpD,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EAGxC;IAEqB,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,GAAE,MAAsB,GAAG,OAAO,CAAC,cAAc,CAAC,CAS/F;IAED,UAAyB,+BAA+B,CAAC,OAAO,EAAE,eAAe,iBAIhF;IAED,UAAyB,4BAA4B,CAAC,OAAO,EAAE,eAAe,iBAI7E;IAED,UAAyB,aAAa,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,eAAe;;;;;;OAKvF;IAED,UAAyB,4BAA4B,CACnD,YAAY,EAAE,6BAA6B,EAC3C,WAAW,EAAE,6BAA6B,EAC1C,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC,CAqCjC;CACF"}
@@ -1,51 +0,0 @@
1
- import { Timer } from '@aztec/foundation/timer';
2
- import { PublicTxSimulator } from './public_tx_simulator.js';
3
- /**
4
- * A public tx simulator that tracks miscellaneous simulation metrics without telemetry.
5
- */ export class MeasuredPublicTxSimulator extends PublicTxSimulator {
6
- metrics;
7
- constructor(merkleTree, contractsDB, globalVariables, metrics, config){
8
- super(merkleTree, contractsDB, globalVariables, config), this.metrics = metrics;
9
- }
10
- async simulate(tx, txLabel = 'unlabeledTx') {
11
- this.metrics.startRecordingTxSimulation(txLabel);
12
- let avmResult;
13
- try {
14
- avmResult = await super.simulate(tx);
15
- } finally{
16
- this.metrics.stopRecordingTxSimulation(txLabel, avmResult?.gasUsed, avmResult?.revertCode);
17
- }
18
- return avmResult;
19
- }
20
- async insertNonRevertiblesFromPrivate(context) {
21
- const timer = new Timer();
22
- await super.insertNonRevertiblesFromPrivate(context);
23
- this.metrics.recordPrivateEffectsInsertion(timer.us(), 'non-revertible');
24
- }
25
- async insertRevertiblesFromPrivate(context) {
26
- const timer = new Timer();
27
- await super.insertRevertiblesFromPrivate(context);
28
- this.metrics.recordPrivateEffectsInsertion(timer.us(), 'revertible');
29
- }
30
- async simulatePhase(phase, context) {
31
- const timer = new Timer();
32
- const result = await super.simulatePhase(phase, context);
33
- result.durationMs = timer.ms();
34
- return result;
35
- }
36
- async simulateEnqueuedCallInternal(stateManager, callRequest, allocatedGas, transactionFee, fnName) {
37
- const timer = new Timer();
38
- const result = await super.simulateEnqueuedCallInternal(stateManager, callRequest, allocatedGas, transactionFee, fnName);
39
- this.log.verbose(result.reverted ? `Simulation of enqueued public call ${fnName} reverted with reason ${result.revertReason?.message}.` : `Simulation of enqueued public call ${fnName} completed successfully.`, {
40
- eventName: 'avm-simulation',
41
- appCircuitName: fnName,
42
- duration: timer.ms()
43
- });
44
- if (result.reverted) {
45
- this.metrics.recordEnqueuedCallSimulationFailure(fnName, timer.ms(), allocatedGas.sub(result.gasLeft).l2Gas, result.totalInstructions);
46
- } else {
47
- this.metrics.recordEnqueuedCallSimulation(fnName, timer.ms(), allocatedGas.sub(result.gasLeft).l2Gas, result.totalInstructions);
48
- }
49
- return result;
50
- }
51
- }