@aztec/simulator 0.0.1-commit.24de95ac → 0.0.1-commit.3469e52

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 (344) hide show
  1. package/README.md +2 -0
  2. package/dest/client.d.ts +1 -1
  3. package/dest/common/errors.d.ts +2 -2
  4. package/dest/common/errors.d.ts.map +1 -1
  5. package/dest/common/index.d.ts +1 -1
  6. package/dest/common/stats/index.d.ts +1 -1
  7. package/dest/common/stats/stats.d.ts +1 -1
  8. package/dest/private/acvm/acvm.d.ts +1 -1
  9. package/dest/private/acvm/acvm_types.d.ts +1 -1
  10. package/dest/private/acvm/deserialize.d.ts +2 -2
  11. package/dest/private/acvm/deserialize.d.ts.map +1 -1
  12. package/dest/private/acvm/deserialize.js +1 -1
  13. package/dest/private/acvm/index.d.ts +1 -1
  14. package/dest/private/acvm/serialize.d.ts +2 -2
  15. package/dest/private/acvm/serialize.d.ts.map +1 -1
  16. package/dest/private/acvm/serialize.js +1 -1
  17. package/dest/private/acvm_native.d.ts +1 -1
  18. package/dest/private/acvm_native.d.ts.map +1 -1
  19. package/dest/private/acvm_wasm.d.ts +1 -1
  20. package/dest/private/acvm_wasm.d.ts.map +1 -1
  21. package/dest/private/acvm_wasm_with_blobs.d.ts +1 -1
  22. package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -1
  23. package/dest/private/circuit_recording/circuit_recorder.d.ts +1 -1
  24. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  25. package/dest/private/circuit_recording/circuit_recorder.js +16 -15
  26. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +1 -1
  27. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  28. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +1 -1
  29. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  30. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
  31. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
  32. package/dest/private/circuit_simulator.d.ts +1 -1
  33. package/dest/private/factory.d.ts +1 -1
  34. package/dest/public/avm/avm_context.d.ts +2 -2
  35. package/dest/public/avm/avm_context.d.ts.map +1 -1
  36. package/dest/public/avm/avm_contract_call_result.d.ts +2 -2
  37. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  38. package/dest/public/avm/avm_execution_environment.d.ts +5 -5
  39. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  40. package/dest/public/avm/avm_execution_environment.js +5 -8
  41. package/dest/public/avm/avm_gas.d.ts +2 -2
  42. package/dest/public/avm/avm_gas.d.ts.map +1 -1
  43. package/dest/public/avm/avm_machine_state.d.ts +2 -2
  44. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  45. package/dest/public/avm/avm_memory_types.d.ts +14 -14
  46. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  47. package/dest/public/avm/avm_memory_types.js +1 -1
  48. package/dest/public/avm/avm_simulator.d.ts +4 -3
  49. package/dest/public/avm/avm_simulator.d.ts.map +1 -1
  50. package/dest/public/avm/avm_simulator.js +8 -7
  51. package/dest/public/avm/avm_simulator_interface.d.ts +1 -1
  52. package/dest/public/avm/errors.d.ts +8 -2
  53. package/dest/public/avm/errors.d.ts.map +1 -1
  54. package/dest/public/avm/errors.js +14 -2
  55. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +1 -1
  56. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  57. package/dest/public/avm/fixtures/avm_simulation_tester.js +12 -3
  58. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +2 -2
  59. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
  60. package/dest/public/avm/fixtures/base_avm_simulation_tester.js +1 -1
  61. package/dest/public/avm/fixtures/initializers.d.ts +2 -3
  62. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
  63. package/dest/public/avm/fixtures/initializers.js +7 -5
  64. package/dest/public/avm/fixtures/utils.d.ts +4 -3
  65. package/dest/public/avm/fixtures/utils.d.ts.map +1 -1
  66. package/dest/public/avm/fixtures/utils.js +3 -2
  67. package/dest/public/avm/index.d.ts +1 -1
  68. package/dest/public/avm/opcodes/accrued_substate.d.ts +15 -15
  69. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  70. package/dest/public/avm/opcodes/accrued_substate.js +29 -29
  71. package/dest/public/avm/opcodes/addressing_mode.d.ts +1 -1
  72. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +1 -1
  73. package/dest/public/avm/opcodes/addressing_mode.js +2 -2
  74. package/dest/public/avm/opcodes/arithmetic.d.ts +3 -1
  75. package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
  76. package/dest/public/avm/opcodes/arithmetic.js +12 -2
  77. package/dest/public/avm/opcodes/bitwise.d.ts +3 -3
  78. package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
  79. package/dest/public/avm/opcodes/bitwise.js +5 -5
  80. package/dest/public/avm/opcodes/comparators.d.ts +1 -1
  81. package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
  82. package/dest/public/avm/opcodes/comparators.js +1 -1
  83. package/dest/public/avm/opcodes/contract.d.ts +3 -3
  84. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  85. package/dest/public/avm/opcodes/contract.js +4 -4
  86. package/dest/public/avm/opcodes/control_flow.d.ts +3 -3
  87. package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
  88. package/dest/public/avm/opcodes/control_flow.js +4 -4
  89. package/dest/public/avm/opcodes/conversion.d.ts +3 -3
  90. package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
  91. package/dest/public/avm/opcodes/conversion.js +4 -4
  92. package/dest/public/avm/opcodes/ec_add.d.ts +3 -3
  93. package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
  94. package/dest/public/avm/opcodes/ec_add.js +17 -8
  95. package/dest/public/avm/opcodes/environment_getters.d.ts +5 -5
  96. package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
  97. package/dest/public/avm/opcodes/environment_getters.js +6 -6
  98. package/dest/public/avm/opcodes/external_calls.d.ts +9 -9
  99. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  100. package/dest/public/avm/opcodes/external_calls.js +17 -16
  101. package/dest/public/avm/opcodes/hashing.d.ts +7 -7
  102. package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
  103. package/dest/public/avm/opcodes/hashing.js +21 -16
  104. package/dest/public/avm/opcodes/index.d.ts +1 -1
  105. package/dest/public/avm/opcodes/instruction.d.ts +2 -2
  106. package/dest/public/avm/opcodes/instruction.d.ts.map +1 -1
  107. package/dest/public/avm/opcodes/instruction_impl.d.ts +4 -4
  108. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
  109. package/dest/public/avm/opcodes/instruction_impl.js +4 -4
  110. package/dest/public/avm/opcodes/memory.d.ts +13 -13
  111. package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
  112. package/dest/public/avm/opcodes/memory.js +25 -25
  113. package/dest/public/avm/opcodes/misc.d.ts +3 -3
  114. package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
  115. package/dest/public/avm/opcodes/misc.js +8 -8
  116. package/dest/public/avm/opcodes/storage.d.ts +5 -5
  117. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  118. package/dest/public/avm/opcodes/storage.js +9 -9
  119. package/dest/public/avm/revert_reason.d.ts +2 -2
  120. package/dest/public/avm/revert_reason.d.ts.map +1 -1
  121. package/dest/public/avm/revert_reason.js +3 -2
  122. package/dest/public/avm/serialization/buffer_cursor.d.ts +1 -1
  123. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +1 -1
  124. package/dest/public/avm/serialization/bytecode_serialization.d.ts +1 -1
  125. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -1
  126. package/dest/public/avm/serialization/bytecode_serialization.js +9 -6
  127. package/dest/public/avm/serialization/instruction_serialization.d.ts +1 -1
  128. package/dest/public/avm/serialization/instruction_serialization.js +1 -1
  129. package/dest/public/avm/test_utils.d.ts +2 -2
  130. package/dest/public/avm/test_utils.d.ts.map +1 -1
  131. package/dest/public/avm/test_utils.js +1 -1
  132. package/dest/public/contracts_db_checkpoint.d.ts +16 -0
  133. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -0
  134. package/dest/public/contracts_db_checkpoint.js +30 -0
  135. package/dest/public/db_interfaces.d.ts +14 -2
  136. package/dest/public/db_interfaces.d.ts.map +1 -1
  137. package/dest/public/debug_fn_name.d.ts +15 -2
  138. package/dest/public/debug_fn_name.d.ts.map +1 -1
  139. package/dest/public/debug_fn_name.js +28 -2
  140. package/dest/public/executor_metrics.d.ts +3 -2
  141. package/dest/public/executor_metrics.d.ts.map +1 -1
  142. package/dest/public/executor_metrics.js +9 -35
  143. package/dest/public/executor_metrics_interface.d.ts +3 -2
  144. package/dest/public/executor_metrics_interface.d.ts.map +1 -1
  145. package/dest/public/fixtures/amm_test.d.ts +1 -1
  146. package/dest/public/fixtures/amm_test.js +2 -2
  147. package/dest/public/fixtures/bulk_test.d.ts +3 -3
  148. package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
  149. package/dest/public/fixtures/bulk_test.js +5 -69
  150. package/dest/public/fixtures/custom_bytecode_tester.d.ts +29 -7
  151. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
  152. package/dest/public/fixtures/custom_bytecode_tester.js +36 -12
  153. package/dest/public/fixtures/custom_bytecode_tests.d.ts +11 -8
  154. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -1
  155. package/dest/public/fixtures/custom_bytecode_tests.js +83 -18
  156. package/dest/public/fixtures/index.d.ts +4 -2
  157. package/dest/public/fixtures/index.d.ts.map +1 -1
  158. package/dest/public/fixtures/index.js +3 -1
  159. package/dest/public/fixtures/minimal_public_tx.d.ts +2 -8
  160. package/dest/public/fixtures/minimal_public_tx.d.ts.map +1 -1
  161. package/dest/public/fixtures/minimal_public_tx.js +6 -16
  162. package/dest/public/fixtures/opcode_spammer.d.ts +123 -0
  163. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -0
  164. package/dest/public/fixtures/opcode_spammer.js +1681 -0
  165. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +24 -6
  166. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  167. package/dest/public/fixtures/public_tx_simulation_tester.js +62 -21
  168. package/dest/public/fixtures/simple_contract_data_source.d.ts +5 -4
  169. package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -1
  170. package/dest/public/fixtures/simple_contract_data_source.js +4 -4
  171. package/dest/public/fixtures/token_test.d.ts +6 -2
  172. package/dest/public/fixtures/token_test.d.ts.map +1 -1
  173. package/dest/public/fixtures/token_test.js +13 -12
  174. package/dest/public/fixtures/utils.d.ts +2 -2
  175. package/dest/public/fixtures/utils.d.ts.map +1 -1
  176. package/dest/public/fixtures/utils.js +4 -3
  177. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +60 -0
  178. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
  179. package/dest/public/fuzzing/avm_fuzzer_simulator.js +171 -0
  180. package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
  181. package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
  182. package/dest/public/fuzzing/avm_simulator_bin.js +115 -0
  183. package/dest/public/hinting_db_sources.d.ts +14 -4
  184. package/dest/public/hinting_db_sources.d.ts.map +1 -1
  185. package/dest/public/hinting_db_sources.js +71 -13
  186. package/dest/public/index.d.ts +3 -2
  187. package/dest/public/index.d.ts.map +1 -1
  188. package/dest/public/index.js +1 -1
  189. package/dest/public/public_db_sources.d.ts +22 -63
  190. package/dest/public/public_db_sources.d.ts.map +1 -1
  191. package/dest/public/public_db_sources.js +74 -131
  192. package/dest/public/public_errors.d.ts +1 -1
  193. package/dest/public/public_errors.d.ts.map +1 -1
  194. package/dest/public/public_processor/guarded_merkle_tree.d.ts +6 -4
  195. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  196. package/dest/public/public_processor/guarded_merkle_tree.js +5 -0
  197. package/dest/public/public_processor/public_processor.d.ts +12 -19
  198. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  199. package/dest/public/public_processor/public_processor.js +456 -64
  200. package/dest/public/public_processor/public_processor_metrics.d.ts +1 -1
  201. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  202. package/dest/public/public_processor/public_processor_metrics.js +12 -45
  203. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +18 -0
  204. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -0
  205. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +98 -0
  206. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +34 -22
  207. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
  208. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +93 -50
  209. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +42 -0
  210. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -0
  211. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +86 -0
  212. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +30 -0
  213. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -0
  214. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +171 -0
  215. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +22 -0
  216. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -0
  217. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +52 -0
  218. package/dest/public/public_tx_simulator/factories.d.ts +13 -0
  219. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
  220. package/dest/public/public_tx_simulator/factories.js +28 -0
  221. package/dest/public/public_tx_simulator/index.d.ts +5 -1
  222. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  223. package/dest/public/public_tx_simulator/index.js +3 -0
  224. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +14 -7
  225. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +1 -1
  226. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +5 -5
  227. package/dest/public/public_tx_simulator/public_tx_context.d.ts +6 -3
  228. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  229. package/dest/public/public_tx_simulator/public_tx_context.js +13 -5
  230. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +13 -32
  231. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  232. package/dest/public/public_tx_simulator/public_tx_simulator.js +112 -127
  233. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +25 -2
  234. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -1
  235. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +4 -4
  236. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +1 -1
  237. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +395 -19
  238. package/dest/public/side_effect_errors.d.ts +1 -1
  239. package/dest/public/side_effect_errors.d.ts.map +1 -1
  240. package/dest/public/side_effect_trace.d.ts +2 -2
  241. package/dest/public/side_effect_trace.d.ts.map +1 -1
  242. package/dest/public/side_effect_trace.js +1 -1
  243. package/dest/public/side_effect_trace_interface.d.ts +3 -4
  244. package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
  245. package/dest/public/state_manager/index.d.ts +1 -1
  246. package/dest/public/state_manager/nullifiers.d.ts +2 -2
  247. package/dest/public/state_manager/nullifiers.d.ts.map +1 -1
  248. package/dest/public/state_manager/public_storage.d.ts +2 -2
  249. package/dest/public/state_manager/public_storage.d.ts.map +1 -1
  250. package/dest/public/state_manager/public_storage.js +1 -1
  251. package/dest/public/state_manager/state_manager.d.ts +9 -11
  252. package/dest/public/state_manager/state_manager.d.ts.map +1 -1
  253. package/dest/public/state_manager/state_manager.js +12 -8
  254. package/dest/public/test_executor_metrics.d.ts +4 -3
  255. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  256. package/dest/public/test_executor_metrics.js +5 -4
  257. package/dest/public/unique_class_ids.d.ts +1 -1
  258. package/dest/public/unique_class_ids.d.ts.map +1 -1
  259. package/dest/public/utils.d.ts +1 -1
  260. package/dest/server.d.ts +1 -1
  261. package/dest/testing.d.ts +1 -1
  262. package/package.json +21 -20
  263. package/src/common/errors.ts +1 -1
  264. package/src/private/acvm/deserialize.ts +1 -1
  265. package/src/private/acvm/serialize.ts +1 -1
  266. package/src/private/circuit_recording/circuit_recorder.ts +17 -16
  267. package/src/public/avm/avm_context.ts +1 -1
  268. package/src/public/avm/avm_contract_call_result.ts +1 -1
  269. package/src/public/avm/avm_execution_environment.ts +4 -6
  270. package/src/public/avm/avm_gas.ts +3 -3
  271. package/src/public/avm/avm_machine_state.ts +1 -1
  272. package/src/public/avm/avm_memory_types.ts +1 -1
  273. package/src/public/avm/avm_simulator.ts +11 -9
  274. package/src/public/avm/errors.ts +17 -3
  275. package/src/public/avm/fixtures/avm_simulation_tester.ts +10 -2
  276. package/src/public/avm/fixtures/base_avm_simulation_tester.ts +1 -1
  277. package/src/public/avm/fixtures/initializers.ts +8 -10
  278. package/src/public/avm/fixtures/utils.ts +3 -2
  279. package/src/public/avm/opcodes/accrued_substate.ts +15 -15
  280. package/src/public/avm/opcodes/addressing_mode.ts +2 -2
  281. package/src/public/avm/opcodes/arithmetic.ts +14 -2
  282. package/src/public/avm/opcodes/bitwise.ts +3 -3
  283. package/src/public/avm/opcodes/comparators.ts +1 -1
  284. package/src/public/avm/opcodes/contract.ts +3 -3
  285. package/src/public/avm/opcodes/control_flow.ts +2 -2
  286. package/src/public/avm/opcodes/conversion.ts +3 -3
  287. package/src/public/avm/opcodes/ec_add.ts +15 -6
  288. package/src/public/avm/opcodes/environment_getters.ts +7 -7
  289. package/src/public/avm/opcodes/external_calls.ts +10 -9
  290. package/src/public/avm/opcodes/hashing.ts +16 -10
  291. package/src/public/avm/opcodes/instruction_impl.ts +2 -2
  292. package/src/public/avm/opcodes/memory.ts +19 -19
  293. package/src/public/avm/opcodes/misc.ts +6 -6
  294. package/src/public/avm/opcodes/storage.ts +7 -7
  295. package/src/public/avm/revert_reason.ts +6 -3
  296. package/src/public/avm/serialization/bytecode_serialization.ts +17 -6
  297. package/src/public/avm/serialization/instruction_serialization.ts +1 -1
  298. package/src/public/avm/test_utils.ts +1 -1
  299. package/src/public/contracts_db_checkpoint.ts +41 -0
  300. package/src/public/db_interfaces.ts +16 -1
  301. package/src/public/debug_fn_name.ts +35 -3
  302. package/src/public/executor_metrics.ts +9 -35
  303. package/src/public/executor_metrics_interface.ts +2 -1
  304. package/src/public/fixtures/amm_test.ts +2 -2
  305. package/src/public/fixtures/bulk_test.ts +9 -9
  306. package/src/public/fixtures/custom_bytecode_tester.ts +54 -20
  307. package/src/public/fixtures/custom_bytecode_tests.ts +111 -18
  308. package/src/public/fixtures/index.ts +7 -1
  309. package/src/public/fixtures/minimal_public_tx.ts +7 -17
  310. package/src/public/fixtures/opcode_spammer.ts +1725 -0
  311. package/src/public/fixtures/public_tx_simulation_tester.ts +85 -21
  312. package/src/public/fixtures/simple_contract_data_source.ts +8 -9
  313. package/src/public/fixtures/token_test.ts +18 -10
  314. package/src/public/fixtures/utils.ts +2 -3
  315. package/src/public/fuzzing/avm_fuzzer_simulator.ts +288 -0
  316. package/src/public/fuzzing/avm_simulator_bin.ts +165 -0
  317. package/src/public/hinting_db_sources.ts +112 -10
  318. package/src/public/index.ts +6 -4
  319. package/src/public/public_db_sources.ts +93 -172
  320. package/src/public/public_processor/guarded_merkle_tree.ts +8 -3
  321. package/src/public/public_processor/public_processor.ts +86 -59
  322. package/src/public/public_processor/public_processor_metrics.ts +11 -45
  323. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +121 -0
  324. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +137 -57
  325. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +132 -0
  326. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +237 -0
  327. package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +81 -0
  328. package/src/public/public_tx_simulator/factories.ts +41 -0
  329. package/src/public/public_tx_simulator/index.ts +4 -0
  330. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +10 -14
  331. package/src/public/public_tx_simulator/public_tx_context.ts +9 -3
  332. package/src/public/public_tx_simulator/public_tx_simulator.ts +163 -193
  333. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +24 -2
  334. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +3 -3
  335. package/src/public/side_effect_trace.ts +1 -1
  336. package/src/public/side_effect_trace_interface.ts +1 -1
  337. package/src/public/state_manager/nullifiers.ts +1 -1
  338. package/src/public/state_manager/public_storage.ts +1 -1
  339. package/src/public/state_manager/state_manager.ts +16 -30
  340. package/src/public/test_executor_metrics.ts +7 -5
  341. package/dest/public/tx_contract_cache.d.ts +0 -41
  342. package/dest/public/tx_contract_cache.d.ts.map +0 -1
  343. package/dest/public/tx_contract_cache.js +0 -49
  344. package/src/public/tx_contract_cache.ts +0 -69
@@ -1,47 +1,31 @@
1
- import { Fr } from '@aztec/foundation/fields';
1
+ import { Fr } from '@aztec/foundation/curves/bn254';
2
2
  import { type Logger } from '@aztec/foundation/log';
3
- import { type AvmProvingRequest, type RevertCode } from '@aztec/stdlib/avm';
3
+ import { PublicSimulatorConfig, PublicTxResult } from '@aztec/stdlib/avm';
4
4
  import { SimulationError } from '@aztec/stdlib/errors';
5
- import type { Gas, GasUsed } from '@aztec/stdlib/gas';
6
- import type { DebugLog } from '@aztec/stdlib/logs';
5
+ import { Gas } from '@aztec/stdlib/gas';
7
6
  import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
8
- import { type GlobalVariables, NestedProcessReturnValues, PublicCallRequestWithCalldata, Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
7
+ import { type GlobalVariables, NestedProcessReturnValues, ProtocolContracts, PublicCallRequestWithCalldata, Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
9
8
  import type { AvmFinalizedCallResult } from '../avm/avm_contract_call_result.js';
10
9
  import { type PublicContractsDB } from '../public_db_sources.js';
11
10
  import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
12
11
  import { PublicTxContext } from './public_tx_context.js';
13
12
  import type { PublicTxSimulatorInterface } from './public_tx_simulator_interface.js';
14
- export type ProcessedPhase = {
13
+ /** Only used internally. */
14
+ type ProcessedPhase = {
15
15
  phase: TxExecutionPhase;
16
16
  durationMs?: number;
17
17
  returnValues: NestedProcessReturnValues[];
18
18
  reverted: boolean;
19
19
  revertReason?: SimulationError;
20
20
  };
21
- export type PublicTxResult = {
22
- avmProvingRequest: AvmProvingRequest;
23
- /** Gas used during the execution of this tx */
24
- gasUsed: GasUsed;
25
- revertCode: RevertCode;
26
- /** Revert reason, if any */
27
- revertReason?: SimulationError;
28
- processedPhases: ProcessedPhase[];
29
- logs: DebugLog[];
30
- };
31
- export type PublicTxSimulatorConfig = {
32
- proverId: Fr;
33
- doMerkleOperations: boolean;
34
- skipFeeEnforcement: boolean;
35
- clientInitiatedSimulation: boolean;
36
- maxDebugLogMemoryReads: number;
37
- };
38
21
  export declare class PublicTxSimulator implements PublicTxSimulatorInterface {
39
22
  protected merkleTree: MerkleTreeWriteOperations;
40
23
  protected contractsDB: PublicContractsDB;
41
24
  protected globalVariables: GlobalVariables;
25
+ protected protocolContracts: ProtocolContracts;
42
26
  protected log: Logger;
43
- private config;
44
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, config?: Partial<PublicTxSimulatorConfig>);
27
+ protected readonly config: PublicSimulatorConfig;
28
+ constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, config?: Partial<PublicSimulatorConfig>, protocolContracts?: ProtocolContracts);
45
29
  /**
46
30
  * Simulate a transaction's public portion including all of its phases.
47
31
  * @param tx - The transaction to simulate.
@@ -80,7 +64,7 @@ export declare class PublicTxSimulator implements PublicTxSimulatorInterface {
80
64
  /**
81
65
  * Insert the non-revertible accumulated data from private into the public state.
82
66
  */
83
- protected insertNonRevertiblesFromPrivate(context: PublicTxContext, tx: Tx): Promise<void>;
67
+ protected insertNonRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
84
68
  /**
85
69
  * Insert the revertible accumulated data from private into the public state.
86
70
  * Throws TxSimRevertibleInsertionsRevert if there is some checked error during revertible insertions.
@@ -90,11 +74,8 @@ export declare class PublicTxSimulator implements PublicTxSimulatorInterface {
90
74
  * - NoteHashLimitReachedError
91
75
  * - L2ToL1MessageLimitReachedError
92
76
  */
93
- protected insertRevertiblesFromPrivate(context: PublicTxContext, tx: Tx): Promise<void>;
77
+ protected insertRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
94
78
  private payFee;
95
- /**
96
- * Generate the proving request for the AVM circuit.
97
- */
98
- private static generateProvingRequest;
99
79
  }
100
- //# sourceMappingURL=public_tx_simulator.d.ts.map
80
+ export {};
81
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3R4X3NpbXVsYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9wdWJsaWNfdHhfc2ltdWxhdG9yL3B1YmxpY190eF9zaW11bGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUdsRSxPQUFPLEVBQWdDLHFCQUFxQixFQUFrQixjQUFjLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUN4SCxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDdkQsT0FBTyxFQUFFLEdBQUcsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3hDLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckUsT0FBTyxFQUNMLEtBQUssZUFBZSxFQUNwQix5QkFBeUIsRUFDekIsaUJBQWlCLEVBQ2pCLDZCQUE2QixFQUM3QixFQUFFLEVBQ0YsZ0JBQWdCLEVBQ2pCLE1BQU0sa0JBQWtCLENBQUM7QUFJMUIsT0FBTyxLQUFLLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUlqRixPQUFPLEVBQUUsS0FBSyxpQkFBaUIsRUFBaUIsTUFBTSx5QkFBeUIsQ0FBQztBQU9oRixPQUFPLEtBQUssRUFBRSw2QkFBNkIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZGLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSwwQkFBMEIsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBcUNyRiw0QkFBNEI7QUFDNUIsS0FBSyxjQUFjLEdBQUc7SUFDcEIsS0FBSyxFQUFFLGdCQUFnQixDQUFDO0lBQ3hCLFVBQVUsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNwQixZQUFZLEVBQUUseUJBQXlCLEVBQUUsQ0FBQztJQUMxQyxRQUFRLEVBQUUsT0FBTyxDQUFDO0lBQ2xCLFlBQVksQ0FBQyxFQUFFLGVBQWUsQ0FBQztDQUNoQyxDQUFDO0FBRUYscUJBQWEsaUJBQWtCLFlBQVcsMEJBQTBCO0lBS2hFLFNBQVMsQ0FBQyxVQUFVLEVBQUUseUJBQXlCO0lBQy9DLFNBQVMsQ0FBQyxXQUFXLEVBQUUsaUJBQWlCO0lBQ3hDLFNBQVMsQ0FBQyxlQUFlLEVBQUUsZUFBZTtJQUUxQyxTQUFTLENBQUMsaUJBQWlCLEVBQUUsaUJBQWlCO0lBUmhELFNBQVMsQ0FBQyxHQUFHLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLFNBQVMsQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLHFCQUFxQixDQUFDO0lBRWpELFlBQ1ksVUFBVSxFQUFFLHlCQUF5QixFQUNyQyxXQUFXLEVBQUUsaUJBQWlCLEVBQzlCLGVBQWUsRUFBRSxlQUFlLEVBQzFDLE1BQU0sQ0FBQyxFQUFFLE9BQU8sQ0FBQyxxQkFBcUIsQ0FBQyxFQUM3QixpQkFBaUIsR0FBRSxpQkFBeUMsRUFJdkU7SUFFRDs7OztPQUlHO0lBQ1UsUUFBUSxDQUFDLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBQyxDQTBJckQ7SUFFRCxTQUFTLENBQUMsYUFBYSxDQUFDLEVBQUUsRUFBRSxFQUFFLHFDQUU3QjtJQUVEOzs7O09BSUc7SUFDSCxVQUFnQixhQUFhLENBQUMsS0FBSyxFQUFFLGdCQUFnQixFQUFFLE9BQU8sRUFBRSxlQUFlLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBQyxDQW1DeEc7SUFFRDs7Ozs7O09BTUc7SUFDSCxVQUFnQixvQkFBb0IsQ0FDbEMsS0FBSyxFQUFFLGdCQUFnQixFQUN2QixPQUFPLEVBQUUsZUFBZSxFQUN4QixXQUFXLEVBQUUsNkJBQTZCLEdBQ3pDLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxDQTJCakM7SUFFRDs7Ozs7Ozs7Ozs7O09BWUc7SUFDSCxVQUFnQiw0QkFBNEIsQ0FDMUMsWUFBWSxFQUFFLDZCQUE2QixFQUMzQyxFQUFFLE9BQU8sRUFBRSxRQUFRLEVBQUUsRUFBRSw2QkFBNkIsRUFDcEQsWUFBWSxFQUFFLEdBQUcsRUFDakIsY0FBYyxFQUFFLEVBQUUsRUFDbEIsTUFBTSxFQUFFLE1BQU0sR0FDYixPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FxQmpDO0lBRUQ7O09BRUc7SUFDSCxVQUFnQiwrQkFBK0IsQ0FBQyxPQUFPLEVBQUUsZUFBZSxpQkF5QnZFO0lBRUQ7Ozs7Ozs7O09BUUc7SUFDSCxVQUFnQiw0QkFBNEIsQ0FBQyxPQUFPLEVBQUUsZUFBZSxpQkEwRXBFO1lBRWEsTUFBTTtDQW1DckIifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAGlE,OAAO,EAIL,KAAK,iBAAiB,EAEtB,KAAK,UAAU,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EACL,KAAK,eAAe,EACpB,yBAAyB,EACzB,6BAA6B,EAC7B,EAAE,EACF,gBAAgB,EACjB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAIjF,OAAO,EAAE,KAAK,iBAAiB,EAAiB,MAAM,yBAAyB,CAAC;AAOhF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAErF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,gBAAgB,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,yBAAyB,EAAE,CAAC;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,+CAA+C;IAC/C,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,4BAA4B;IAC5B,YAAY,CAAC,EAAE,eAAe,CAAC;IAC/B,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,IAAI,EAAE,QAAQ,EAAE,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,EAAE,EAAE,CAAC;IACb,kBAAkB,EAAE,OAAO,CAAC;IAC5B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,yBAAyB,EAAE,OAAO,CAAC;IACnC,sBAAsB,EAAE,MAAM,CAAC;CAChC,CAAC;AAqCF,qBAAa,iBAAkB,YAAW,0BAA0B;IAKhE,SAAS,CAAC,UAAU,EAAE,yBAAyB;IAC/C,SAAS,CAAC,WAAW,EAAE,iBAAiB;IACxC,SAAS,CAAC,eAAe,EAAE,eAAe;IAN5C,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,MAAM,CAA0B;gBAG5B,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAC1C,MAAM,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC;IAY3C;;;;OAIG;IACU,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;IAqItD,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE;IAI9B;;;;OAIG;cACa,aAAa,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC;IAqCzG;;;;;;OAMG;cACa,oBAAoB,CAClC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC;IA6BlC;;;;;;;;;;;;OAYG;cACa,4BAA4B,CAC1C,YAAY,EAAE,6BAA6B,EAC3C,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,6BAA6B,EACpD,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC;IAwBlC;;OAEG;cACa,+BAA+B,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,EAAE;IA0BhF;;;;;;;;OAQG;cACa,4BAA4B,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,EAAE;YA0E/D,MAAM;IA+BpB;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;CAStC"}
1
+ {"version":3,"file":"public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAGlE,OAAO,EAAgC,qBAAqB,EAAkB,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxH,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EACL,KAAK,eAAe,EACpB,yBAAyB,EACzB,iBAAiB,EACjB,6BAA6B,EAC7B,EAAE,EACF,gBAAgB,EACjB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAIjF,OAAO,EAAE,KAAK,iBAAiB,EAAiB,MAAM,yBAAyB,CAAC;AAOhF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAqCrF,4BAA4B;AAC5B,KAAK,cAAc,GAAG;IACpB,KAAK,EAAE,gBAAgB,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,yBAAyB,EAAE,CAAC;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,qBAAa,iBAAkB,YAAW,0BAA0B;IAKhE,SAAS,CAAC,UAAU,EAAE,yBAAyB;IAC/C,SAAS,CAAC,WAAW,EAAE,iBAAiB;IACxC,SAAS,CAAC,eAAe,EAAE,eAAe;IAE1C,SAAS,CAAC,iBAAiB,EAAE,iBAAiB;IARhD,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IAEjD,YACY,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAC1C,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EAC7B,iBAAiB,GAAE,iBAAyC,EAIvE;IAED;;;;OAIG;IACU,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CA0IrD;IAED,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,qCAE7B;IAED;;;;OAIG;IACH,UAAgB,aAAa,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,CAmCxG;IAED;;;;;;OAMG;IACH,UAAgB,oBAAoB,CAClC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC,CA2BjC;IAED;;;;;;;;;;;;OAYG;IACH,UAAgB,4BAA4B,CAC1C,YAAY,EAAE,6BAA6B,EAC3C,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,6BAA6B,EACpD,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC,CAqBjC;IAED;;OAEG;IACH,UAAgB,+BAA+B,CAAC,OAAO,EAAE,eAAe,iBAyBvE;IAED;;;;;;;;OAQG;IACH,UAAgB,4BAA4B,CAAC,OAAO,EAAE,eAAe,iBA0EpE;YAEa,MAAM;CAmCrB"}
@@ -1,11 +1,9 @@
1
- import { AVM_MAX_PROCESSABLE_L2_GAS, DEFAULT_MAX_DEBUG_LOG_MEMORY_READS } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
1
+ import { AVM_MAX_PROCESSABLE_L2_GAS } from '@aztec/constants';
3
2
  import { createLogger } from '@aztec/foundation/log';
4
3
  import { ProtocolContractAddress, ProtocolContractsList } from '@aztec/protocol-contracts';
5
4
  import { computeFeePayerBalanceStorageSlot } from '@aztec/protocol-contracts/fee-juice';
6
- import { AvmCircuitInputs, AvmExecutionHints, AvmTxHint } from '@aztec/stdlib/avm';
5
+ import { AvmExecutionHints, AvmTxHint, PublicSimulatorConfig, PublicTxEffect, PublicTxResult } from '@aztec/stdlib/avm';
7
6
  import { SimulationError } from '@aztec/stdlib/errors';
8
- import { ProvingRequestType } from '@aztec/stdlib/proofs';
9
7
  import { NestedProcessReturnValues, TxExecutionPhase } from '@aztec/stdlib/tx';
10
8
  import { strict as assert } from 'assert';
11
9
  import { AvmSimulator } from '../avm/index.js';
@@ -46,19 +44,15 @@ export class PublicTxSimulator {
46
44
  merkleTree;
47
45
  contractsDB;
48
46
  globalVariables;
47
+ protocolContracts;
49
48
  log;
50
49
  config;
51
- constructor(merkleTree, contractsDB, globalVariables, config){
50
+ constructor(merkleTree, contractsDB, globalVariables, config, protocolContracts = ProtocolContractsList){
52
51
  this.merkleTree = merkleTree;
53
52
  this.contractsDB = contractsDB;
54
53
  this.globalVariables = globalVariables;
55
- this.config = {
56
- proverId: config?.proverId ?? Fr.ZERO,
57
- doMerkleOperations: config?.doMerkleOperations ?? false,
58
- skipFeeEnforcement: config?.skipFeeEnforcement ?? false,
59
- clientInitiatedSimulation: config?.clientInitiatedSimulation ?? false,
60
- maxDebugLogMemoryReads: config?.maxDebugLogMemoryReads ?? DEFAULT_MAX_DEBUG_LOG_MEMORY_READS
61
- };
54
+ this.protocolContracts = protocolContracts;
55
+ this.config = PublicSimulatorConfig.from(config ?? {});
62
56
  this.log = createLogger(`simulator:public_tx_simulator`);
63
57
  }
64
58
  /**
@@ -66,107 +60,98 @@ export class PublicTxSimulator {
66
60
  * @param tx - The transaction to simulate.
67
61
  * @returns The result of the transaction's public execution.
68
62
  */ async simulate(tx) {
69
- try {
70
- const txHash = this.computeTxHash(tx);
71
- this.log.debug(`Simulating ${tx.publicFunctionCalldata.length} public calls for tx ${txHash}`, {
72
- txHash
73
- });
74
- // Create hinting DBs.
75
- const hints = new AvmExecutionHints(this.globalVariables, AvmTxHint.fromTx(tx, this.globalVariables.gasFees), ProtocolContractsList);
76
- const hintingMerkleTree = await HintingMerkleWriteOperations.create(this.merkleTree, hints);
77
- const hintingTreesDB = new PublicTreesDB(hintingMerkleTree);
78
- const hintingContractsDB = new HintingPublicContractsDB(this.contractsDB, hints);
79
- const context = await PublicTxContext.create(hintingTreesDB, hintingContractsDB, tx, this.globalVariables, ProtocolContractsList, this.config.doMerkleOperations, this.config.proverId);
80
- // This will throw if there is a nullifier collision.
63
+ const txHash = this.computeTxHash(tx);
64
+ this.log.debug(`Simulating ${tx.publicFunctionCalldata.length} public calls for tx ${txHash}`, {
65
+ txHash
66
+ });
67
+ // Create hinting DBs.
68
+ const hints = new AvmExecutionHints(this.globalVariables, AvmTxHint.fromTx(tx, this.globalVariables.gasFees), this.protocolContracts);
69
+ const hintingMerkleTree = await HintingMerkleWriteOperations.create(this.merkleTree, hints);
70
+ const hintingTreesDB = new PublicTreesDB(hintingMerkleTree);
71
+ const hintingContractsDB = new HintingPublicContractsDB(this.contractsDB, hints);
72
+ const context = await PublicTxContext.create(hintingTreesDB, hintingContractsDB, tx, this.globalVariables, this.protocolContracts, this.config.proverId);
73
+ // This will throw if there is a nullifier collision.
74
+ // In that case the transaction will be thrown out.
75
+ await this.insertNonRevertiblesFromPrivate(context);
76
+ const processedPhases = [];
77
+ if (context.hasPhase(TxExecutionPhase.SETUP)) {
78
+ // This will throw if the setup phase reverts.
81
79
  // In that case the transaction will be thrown out.
82
- await this.insertNonRevertiblesFromPrivate(context, tx);
83
- const processedPhases = [];
84
- if (context.hasPhase(TxExecutionPhase.SETUP)) {
85
- // This will throw if the setup phase reverts.
86
- // In that case the transaction will be thrown out.
87
- const setupResult = await this.simulatePhase(TxExecutionPhase.SETUP, context);
88
- if (setupResult.reverted) {
89
- throw new Error(`Setup phase reverted! The transaction will be thrown out. ${setupResult.revertReason?.message}`);
90
- }
91
- processedPhases.push(setupResult);
80
+ const setupResult = await this.simulatePhase(TxExecutionPhase.SETUP, context);
81
+ if (setupResult.reverted) {
82
+ throw new Error(`[SETUP] UNRECOVERABLE ERROR! The transaction will be thrown out. ${setupResult.revertReason?.message}`);
92
83
  }
93
- // The checkpoint we should go back to if anything from now on reverts.
94
- await context.state.fork();
95
- try {
96
- // This will throw if there is a nullifier collision or other insertion error (limit reached).
97
- await this.insertRevertiblesFromPrivate(context, tx);
98
- // Only proceed with app logic if there was no revert during revertible insertion.
99
- if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
100
- const appLogicResult = await this.simulatePhase(TxExecutionPhase.APP_LOGIC, context);
101
- processedPhases.push(appLogicResult);
102
- if (appLogicResult.reverted) {
103
- throw new TxSimAppLogicRevert();
104
- }
105
- }
106
- } catch (e) {
107
- if (e instanceof TxSimRevertibleInsertionsRevert || e instanceof TxSimAppLogicRevert) {
108
- // We revert to the post-setup state.
109
- await context.state.discardForkedState();
110
- // But we also create a new fork so that the teardown phase can transparently
111
- // commit or rollback at the end of teardown.
112
- await context.state.fork();
113
- } else {
114
- // Unchecked/unknown error - re-throw as-is
115
- throw e;
84
+ processedPhases.push(setupResult);
85
+ }
86
+ // The checkpoint we should go back to if anything from now on reverts.
87
+ await context.state.fork();
88
+ hintingContractsDB.createCheckpoint();
89
+ try {
90
+ // This will throw if there is a nullifier collision or other insertion error (limit reached).
91
+ await this.insertRevertiblesFromPrivate(context);
92
+ // Only proceed with app logic if there was no revert during revertible insertion.
93
+ if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
94
+ const appLogicResult = await this.simulatePhase(TxExecutionPhase.APP_LOGIC, context);
95
+ processedPhases.push(appLogicResult);
96
+ if (appLogicResult.reverted) {
97
+ throw new TxSimAppLogicRevert();
116
98
  }
117
99
  }
118
- try {
119
- if (context.hasPhase(TxExecutionPhase.TEARDOWN)) {
120
- const teardownResult = await this.simulatePhase(TxExecutionPhase.TEARDOWN, context);
121
- processedPhases.push(teardownResult);
122
- if (teardownResult.reverted) {
123
- throw new TxSimTeardownRevert();
124
- }
125
- }
126
- // We commit the forked state and we are done.
127
- await context.state.mergeForkedState();
128
- } catch (e) {
129
- if (e instanceof TxSimTeardownRevert) {
130
- // We revert to the post-setup state and we are done.
131
- await context.state.discardForkedState();
132
- } else {
133
- // Unchecked/unknown error - re-throw as-is
134
- throw e;
100
+ } catch (e) {
101
+ if (e instanceof TxSimRevertibleInsertionsRevert || e instanceof TxSimAppLogicRevert) {
102
+ // We revert to the post-setup state.
103
+ await context.state.discardForkedState();
104
+ hintingContractsDB.revertCheckpoint();
105
+ // But we also create a new fork so that the teardown phase can transparently
106
+ // commit or rollback at the end of teardown.
107
+ await context.state.fork();
108
+ hintingContractsDB.createCheckpoint();
109
+ } else {
110
+ // Unchecked/unknown error - re-throw as-is
111
+ throw e;
112
+ }
113
+ }
114
+ try {
115
+ if (context.hasPhase(TxExecutionPhase.TEARDOWN)) {
116
+ const teardownResult = await this.simulatePhase(TxExecutionPhase.TEARDOWN, context);
117
+ processedPhases.push(teardownResult);
118
+ if (teardownResult.reverted) {
119
+ throw new TxSimTeardownRevert();
135
120
  }
136
121
  }
137
- context.halt();
138
- // Such transactions should be filtered by GasTxValidator.
139
- assert(context.getActualGasUsed().l2Gas <= AVM_MAX_PROCESSABLE_L2_GAS, `Transaction consumes ${context.getActualGasUsed().l2Gas} L2 gas, which exceeds the AVM maximum processable gas of ${AVM_MAX_PROCESSABLE_L2_GAS}`);
140
- await this.payFee(context);
141
- const publicInputs = await context.generateAvmCircuitPublicInputs();
142
- const avmProvingRequest = PublicTxSimulator.generateProvingRequest(publicInputs, hints);
143
- const revertCode = context.getFinalRevertCode();
144
- // Commit contracts from this TX to the block-level cache and clear tx cache
145
- // If the tx reverted, only commit non-revertible contracts
146
- // NOTE: You can't create contracts in public, so this is only relevant for private-created contracts
147
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
148
- // However things should work as they are now because the hinted db would still pick up the new contracts.
149
- this.contractsDB.commitContractsForTx(/*onlyNonRevertibles=*/ !revertCode.isOK());
150
- return {
151
- avmProvingRequest,
152
- gasUsed: {
153
- totalGas: context.getActualGasUsed(),
154
- teardownGas: context.teardownGasUsed,
155
- publicGas: context.getActualPublicGasUsed(),
156
- billedGas: context.getTotalGasUsed()
157
- },
158
- revertCode,
159
- revertReason: context.revertReason,
160
- processedPhases: processedPhases,
161
- logs: context.state.getActiveStateManager().getLogs()
162
- };
163
- } finally{
164
- // Make sure there are no new contracts in the tx-level cache.
165
- // They should either be committed to block-level cache or cleared.
166
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
167
- // However things should work as they are now because the hinted db would still pick up the new contracts.
168
- this.contractsDB.clearContractsForTx();
122
+ // We commit the forked state and we are done.
123
+ await context.state.mergeForkedState();
124
+ hintingContractsDB.commitCheckpoint();
125
+ } catch (e) {
126
+ if (e instanceof TxSimTeardownRevert) {
127
+ // We revert to the post-setup state and we are done.
128
+ await context.state.discardForkedState();
129
+ hintingContractsDB.revertCheckpoint();
130
+ } else {
131
+ // Unchecked/unknown error - re-throw as-is
132
+ throw e;
133
+ }
169
134
  }
135
+ context.halt();
136
+ // Such transactions should be filtered by GasTxValidator.
137
+ assert(context.getActualGasUsed().l2Gas <= AVM_MAX_PROCESSABLE_L2_GAS, `Transaction consumes ${context.getActualGasUsed().l2Gas} L2 gas, which exceeds the AVM maximum processable gas of ${AVM_MAX_PROCESSABLE_L2_GAS}`);
138
+ await this.payFee(context);
139
+ const publicInputs = await context.generateAvmCircuitPublicInputs();
140
+ const revertCode = context.getFinalRevertCode();
141
+ // We only return the app logic phase information, and only 1 per phase.
142
+ const appLogicReturnValues = processedPhases.find(({ phase })=>phase === TxExecutionPhase.APP_LOGIC)?.returnValues ?? [];
143
+ // TODO(fcarreiro): This is a temporary backwards compatibility layer until we migrate to the C++ simulator.
144
+ if (context.revertReason !== undefined) {
145
+ appLogicReturnValues.revertReason = context.revertReason;
146
+ }
147
+ // Create PublicTxEffect from PublicInputs.
148
+ const publicTxEffect = new PublicTxEffect(publicInputs.transactionFee, publicInputs.accumulatedData.noteHashes.filter((h)=>!h.isEmpty()), publicInputs.accumulatedData.nullifiers.filter((n)=>!n.isEmpty()), publicInputs.accumulatedData.l2ToL1Msgs.filter((m)=>!m.isEmpty()), publicInputs.accumulatedData.publicLogs.toLogs(), publicInputs.accumulatedData.publicDataWrites.filter((w)=>!w.isEmpty()));
149
+ return new PublicTxResult(/*gasUsed=*/ {
150
+ totalGas: context.getActualGasUsed(),
151
+ teardownGas: context.teardownGasUsed,
152
+ publicGas: context.getActualPublicGasUsed(),
153
+ billedGas: context.getTotalGasUsed()
154
+ }, /*revertCode=*/ revertCode, /*publicTxEffect=*/ publicTxEffect, /*callStackMetadata=*/ appLogicReturnValues, /*logs=*/ context.state.getActiveStateManager().getLogs(), /*hints=*/ hints, /*publicInputs=*/ publicInputs);
170
155
  }
171
156
  computeTxHash(tx) {
172
157
  return tx.getTxHash();
@@ -220,7 +205,7 @@ export class PublicTxSimulator {
220
205
  context.consumeGas(phase, gasUsed);
221
206
  this.log.debug(`Simulated enqueued public call (${fnName}) consumed ${gasUsed.l2Gas} L2 gas ending with ${result.gasLeft.l2Gas} L2 gas left.`);
222
207
  if (result.reverted) {
223
- const culprit = `${contractAddress}:${callRequest.functionSelector}`;
208
+ const culprit = `${contractAddress}:${fnName}`;
224
209
  context.revert(phase, result.revertReason, culprit);
225
210
  }
226
211
  return result;
@@ -241,13 +226,13 @@ export class PublicTxSimulator {
241
226
  const address = request.contractAddress;
242
227
  const sender = request.msgSender;
243
228
  this.log.debug(`Executing enqueued public call to external function ${fnName}@${address} with ${allocatedGas.l2Gas} allocated L2 gas.`);
244
- const simulator = await AvmSimulator.create(stateManager, address, sender, transactionFee, this.globalVariables, request.isStaticCall, calldata, allocatedGas, this.config.clientInitiatedSimulation, this.config.maxDebugLogMemoryReads);
229
+ const simulator = await AvmSimulator.create(stateManager, address, sender, transactionFee, this.globalVariables, request.isStaticCall, calldata, allocatedGas, this.config);
245
230
  const avmCallResult = await simulator.execute();
246
231
  return avmCallResult.finalize();
247
232
  }
248
233
  /**
249
234
  * Insert the non-revertible accumulated data from private into the public state.
250
- */ async insertNonRevertiblesFromPrivate(context, tx) {
235
+ */ async insertNonRevertiblesFromPrivate(context) {
251
236
  const stateManager = context.state.getActiveStateManager();
252
237
  for (const siloedNullifier of context.nonRevertibleAccumulatedDataFromPrivate.nullifiers.filter((n)=>!n.isEmpty())){
253
238
  await stateManager.writeSiloedNullifier(siloedNullifier);
@@ -262,11 +247,12 @@ export class PublicTxSimulator {
262
247
  stateManager.writeScopedL2ToL1Message(l2ToL1Message);
263
248
  }
264
249
  }
265
- // add new contracts to the contracts db so that their functions may be found and called
266
- // TODO(#6464): Should we allow emitting contracts in the private setup phase?
267
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
268
- // However things should work as they are now because the hinted db would still pick up the new contracts.
269
- await this.contractsDB.addNewNonRevertibleContracts(tx);
250
+ // add new contracts to the contracts db so that their code may be found and called
251
+ // FIXME(fcarreiro): this should conceptually use the hinting contracts db.
252
+ // However, things work as expected because later calls to getters on the hintingContractsDB
253
+ // will pick up the new contracts and will generate the necessary hints.
254
+ // So, a consumer of the hints will always see the new contracts.
255
+ await this.contractsDB.addContracts(context.nonRevertibleContractDeploymentData);
270
256
  }
271
257
  /**
272
258
  * Insert the revertible accumulated data from private into the public state.
@@ -276,7 +262,7 @@ export class PublicTxSimulator {
276
262
  * - NullifierCollisionError
277
263
  * - NoteHashLimitReachedError
278
264
  * - L2ToL1MessageLimitReachedError
279
- */ async insertRevertiblesFromPrivate(context, tx) {
265
+ */ async insertRevertiblesFromPrivate(context) {
280
266
  const stateManager = context.state.getActiveStateManager();
281
267
  try {
282
268
  for (const siloedNullifier of context.revertibleAccumulatedDataFromPrivate.nullifiers.filter((n)=>!n.isEmpty())){
@@ -323,14 +309,19 @@ export class PublicTxSimulator {
323
309
  }
324
310
  }
325
311
  // add new contracts to the contracts db so that their functions may be found and called
326
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
327
- // However things should work as they are now because the hinted db would still pick up the new contracts.
328
- await this.contractsDB.addNewRevertibleContracts(tx);
312
+ // FIXME(fcarreiro): this should conceptually use the hinting contracts db.
313
+ // However, things work as expected because later calls to getters on the hintingContractsDB
314
+ // will pick up the new contracts and will generate the necessary hints.
315
+ // So, a consumer of the hints will always see the new contracts.
316
+ await this.contractsDB.addContracts(context.revertibleContractDeploymentData);
329
317
  }
330
318
  async payFee(context) {
331
319
  const txFee = context.getTransactionFee(TxExecutionPhase.TEARDOWN);
332
320
  if (context.feePayer.isZero()) {
333
- this.log.debug(`No one is paying the fee of ${txFee.toBigInt()}`);
321
+ // Real transactions are enforced by private kernel to have nonzero fee payer.
322
+ // Real transactions cannot skip fee enforcement (skipping fee enforcement makes them unprovable).
323
+ assert(this.config.skipFeeEnforcement, 'Fee payer cannot be 0 unless skipping fee enforcement for simulation');
324
+ this.log.debug(`Fee payer is 0. Skipping fee enforcement. No one is paying the fee of ${txFee.toBigInt()}`);
334
325
  return;
335
326
  }
336
327
  const feeJuiceAddress = ProtocolContractAddress.FeeJuice;
@@ -343,17 +334,11 @@ export class PublicTxSimulator {
343
334
  if (currentBalance.lt(txFee)) {
344
335
  // Without "skipFeeEnforcement", such transactions should be filtered by GasTxValidator.
345
336
  assert(this.config.skipFeeEnforcement, `Not enough balance for fee payer to pay for transaction (got ${currentBalance.toBigInt()} needs ${txFee.toBigInt()})`);
337
+ this.log.debug(`Fee payer balance insufficient, but we're skipping fee enforcement`);
338
+ // We still proceed and perform the storage write to minimize deviation from normal execution.
346
339
  currentBalance = txFee;
347
340
  }
348
341
  const updatedBalance = currentBalance.sub(txFee);
349
342
  await stateManager.writeStorage(feeJuiceAddress, balanceSlot, updatedBalance, true);
350
343
  }
351
- /**
352
- * Generate the proving request for the AVM circuit.
353
- */ static generateProvingRequest(publicInputs, hints) {
354
- return {
355
- type: ProvingRequestType.PUBLIC_VM,
356
- inputs: new AvmCircuitInputs(hints, publicInputs)
357
- };
358
- }
359
344
  }
@@ -1,9 +1,32 @@
1
+ import type { PublicTxResult } from '@aztec/stdlib/avm';
1
2
  import type { Tx } from '@aztec/stdlib/tx';
2
- import type { PublicTxResult } from './public_tx_simulator.js';
3
3
  export interface PublicTxSimulatorInterface {
4
4
  simulate(tx: Tx): Promise<PublicTxResult>;
5
+ /**
6
+ * Cancel the current simulation if one is in progress.
7
+ * This signals the underlying simulator (e.g., C++) to stop at the next safe point.
8
+ * Safe to call even if no simulation is in progress.
9
+ * Optional - not all implementations support cancellation.
10
+ *
11
+ * @param waitTimeoutMs - If provided, wait up to this many ms for the simulation to actually stop.
12
+ * This is important because signaling cancellation doesn't immediately stop C++ -
13
+ * it only sets a flag that C++ checks at certain points. If C++ is in the middle
14
+ * of a slow operation (e.g., pad_trees), it won't stop until that completes.
15
+ * @returns Promise that resolves when cancellation is signaled (and optionally when simulation stops)
16
+ */
17
+ cancel?(waitTimeoutMs?: number): Promise<void>;
5
18
  }
6
19
  export interface MeasuredPublicTxSimulatorInterface {
7
20
  simulate(tx: Tx, txLabel: string): Promise<PublicTxResult>;
21
+ /**
22
+ * Cancel the current simulation if one is in progress.
23
+ * This signals the underlying simulator (e.g., C++) to stop at the next safe point.
24
+ * Safe to call even if no simulation is in progress.
25
+ * Optional - not all implementations support cancellation.
26
+ *
27
+ * @param waitTimeoutMs - If provided, wait up to this many ms for the simulation to actually stop.
28
+ * @returns Promise that resolves when cancellation is signaled (and optionally when simulation stops)
29
+ */
30
+ cancel?(waitTimeoutMs?: number): Promise<void>;
8
31
  }
9
- //# sourceMappingURL=public_tx_simulator_interface.d.ts.map
32
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3R4X3NpbXVsYXRvcl9pbnRlcmZhY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci9wdWJsaWNfdHhfc2ltdWxhdG9yX2ludGVyZmFjZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUUzQyxNQUFNLFdBQVcsMEJBQTBCO0lBQ3pDLFFBQVEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FBQztJQUMxQzs7Ozs7Ozs7Ozs7T0FXRztJQUNILE1BQU0sQ0FBQyxDQUFDLGFBQWEsQ0FBQyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7Q0FDaEQ7QUFFRCxNQUFNLFdBQVcsa0NBQWtDO0lBQ2pELFFBQVEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxFQUFFLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBQyxDQUFDO0lBQzNEOzs7Ozs7OztPQVFHO0lBQ0gsTUFBTSxDQUFDLENBQUMsYUFBYSxDQUFDLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUNoRCJ9
@@ -1 +1 @@
1
- {"version":3,"file":"public_tx_simulator_interface.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator_interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;CAC5D"}
1
+ {"version":3,"file":"public_tx_simulator_interface.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator_interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3C,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1C;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC3D;;;;;;;;OAQG;IACH,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAChD"}
@@ -1,4 +1,5 @@
1
- import type { Fr } from '@aztec/foundation/fields';
1
+ import type { Fr } from '@aztec/foundation/curves/bn254';
2
+ import type { PublicSimulatorConfig } from '@aztec/stdlib/avm';
2
3
  import type { Gas } from '@aztec/stdlib/gas';
3
4
  import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
4
5
  import { type GlobalVariables, PublicCallRequestWithCalldata, TxExecutionPhase } from '@aztec/stdlib/tx';
@@ -8,14 +9,13 @@ import type { PublicContractsDB } from '../public_db_sources.js';
8
9
  import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
9
10
  import { MeasuredPublicTxSimulator } from './measured_public_tx_simulator.js';
10
11
  import { PublicTxContext } from './public_tx_context.js';
11
- import type { PublicTxSimulatorConfig } from './public_tx_simulator.js';
12
12
  /**
13
13
  * A public tx simulator that tracks runtime/production metrics with telemetry.
14
14
  */
15
15
  export declare class TelemetryPublicTxSimulator extends MeasuredPublicTxSimulator {
16
16
  readonly tracer: Tracer;
17
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, telemetryClient?: TelemetryClient, config?: Partial<PublicTxSimulatorConfig>);
17
+ constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, telemetryClient?: TelemetryClient, config?: Partial<PublicSimulatorConfig>);
18
18
  protected simulateEnqueuedCall(phase: TxExecutionPhase, context: PublicTxContext, callRequest: PublicCallRequestWithCalldata): Promise<AvmFinalizedCallResult>;
19
19
  protected simulateEnqueuedCallInternal(stateManager: PublicPersistableStateManager, callRequest: PublicCallRequestWithCalldata, allocatedGas: Gas, transactionFee: Fr, fnName: string): Promise<AvmFinalizedCallResult>;
20
20
  }
21
- //# sourceMappingURL=telemetry_public_tx_simulator.d.ts.map
21
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVsZW1ldHJ5X3B1YmxpY190eF9zaW11bGF0b3IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci90ZWxlbWV0cnlfcHVibGljX3R4X3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQy9ELE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQzdDLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckUsT0FBTyxFQUFFLEtBQUssZUFBZSxFQUFFLDZCQUE2QixFQUFFLGdCQUFnQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDekcsT0FBTyxFQUFjLEtBQUssZUFBZSxFQUFFLEtBQUssTUFBTSxFQUFpQyxNQUFNLHlCQUF5QixDQUFDO0FBRXZILE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFFakYsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSw2QkFBNkIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZGLE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQzlFLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7R0FFRztBQUNILHFCQUFhLDBCQUEyQixTQUFRLHlCQUF5QjtJQUV2RSxTQUFnQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBRS9CLFlBQ0UsVUFBVSxFQUFFLHlCQUF5QixFQUNyQyxXQUFXLEVBQUUsaUJBQWlCLEVBQzlCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGVBQWUsR0FBRSxlQUFzQyxFQUN2RCxNQUFNLENBQUMsRUFBRSxPQUFPLENBQUMscUJBQXFCLENBQUMsRUFLeEM7SUFFRCxVQU15QixvQkFBb0IsQ0FDM0MsS0FBSyxFQUFFLGdCQUFnQixFQUN2QixPQUFPLEVBQUUsZUFBZSxFQUN4QixXQUFXLEVBQUUsNkJBQTZCLEdBQ3pDLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxDQUVqQztJQUVELFVBTXlCLDRCQUE0QixDQUNuRCxZQUFZLEVBQUUsNkJBQTZCLEVBQzNDLFdBQVcsRUFBRSw2QkFBNkIsRUFDMUMsWUFBWSxFQUFFLEdBQUcsRUFDakIsY0FBYyxFQUFFLEVBQUUsRUFDbEIsTUFBTSxFQUFFLE1BQU0sR0FDYixPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FFakM7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"telemetry_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/telemetry_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzG,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AAEvH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAExE;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,yBAAyB;IAEvE,SAAgB,MAAM,EAAE,MAAM,CAAC;gBAG7B,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,eAAe,GAAE,eAAsC,EACvD,MAAM,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC;cAalB,oBAAoB,CAC3C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC;cAUT,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;CAGnC"}
1
+ {"version":3,"file":"telemetry_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/telemetry_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzG,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AAEvH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,yBAAyB;IAEvE,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,eAAe,GAAE,eAAsC,EACvD,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EAKxC;IAED,UAMyB,oBAAoB,CAC3C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC,CAEjC;IAED,UAMyB,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,CAEjC;CACF"}