@aztec/simulator 0.0.1-commit.5476d83 → 0.0.1-commit.5914bae

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 (331) hide show
  1. package/README.md +6 -4
  2. package/dest/common/errors.d.ts +8 -2
  3. package/dest/common/errors.d.ts.map +1 -1
  4. package/dest/private/acvm/acvm.d.ts +4 -2
  5. package/dest/private/acvm/acvm.d.ts.map +1 -1
  6. package/dest/private/acvm/acvm.js +4 -3
  7. package/dest/private/acvm/deserialize.d.ts +2 -2
  8. package/dest/private/acvm/deserialize.d.ts.map +1 -1
  9. package/dest/private/acvm/deserialize.js +1 -1
  10. package/dest/private/acvm/serialize.d.ts +2 -2
  11. package/dest/private/acvm/serialize.d.ts.map +1 -1
  12. package/dest/private/acvm/serialize.js +1 -1
  13. package/dest/private/acvm_native.d.ts +5 -3
  14. package/dest/private/acvm_native.d.ts.map +1 -1
  15. package/dest/private/acvm_native.js +8 -6
  16. package/dest/private/acvm_wasm.d.ts +4 -3
  17. package/dest/private/acvm_wasm.d.ts.map +1 -1
  18. package/dest/private/acvm_wasm.js +4 -4
  19. package/dest/private/circuit_recording/circuit_recorder.d.ts +4 -3
  20. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  21. package/dest/private/circuit_recording/circuit_recorder.js +23 -20
  22. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +3 -2
  23. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  24. package/dest/private/circuit_recording/file_circuit_recorder.js +2 -2
  25. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
  26. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  27. package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
  28. package/dest/private/factory.d.ts +3 -3
  29. package/dest/private/factory.d.ts.map +1 -1
  30. package/dest/private/factory.js +7 -4
  31. package/dest/public/avm/avm_context.d.ts +3 -3
  32. package/dest/public/avm/avm_context.d.ts.map +1 -1
  33. package/dest/public/avm/avm_contract_call_result.d.ts +6 -6
  34. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  35. package/dest/public/avm/avm_contract_call_result.js +3 -3
  36. package/dest/public/avm/avm_execution_environment.d.ts +7 -6
  37. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  38. package/dest/public/avm/avm_execution_environment.js +1 -1
  39. package/dest/public/avm/avm_gas.d.ts +1 -1
  40. package/dest/public/avm/avm_gas.d.ts.map +1 -1
  41. package/dest/public/avm/avm_gas.js +3 -3
  42. package/dest/public/avm/avm_machine_state.d.ts +7 -6
  43. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  44. package/dest/public/avm/avm_machine_state.js +3 -2
  45. package/dest/public/avm/avm_memory_types.d.ts +2 -2
  46. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  47. package/dest/public/avm/avm_memory_types.js +4 -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 +11 -9
  51. package/dest/public/avm/calldata.d.ts +51 -0
  52. package/dest/public/avm/calldata.d.ts.map +1 -0
  53. package/dest/public/avm/calldata.js +63 -0
  54. package/dest/public/avm/errors.d.ts +8 -2
  55. package/dest/public/avm/errors.d.ts.map +1 -1
  56. package/dest/public/avm/errors.js +14 -2
  57. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +2 -0
  58. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +1 -0
  59. package/dest/public/avm/fixtures/account_proof_fetcher.js +152 -0
  60. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +1 -1
  61. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  62. package/dest/public/avm/fixtures/avm_simulation_tester.js +4 -3
  63. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +2 -2
  64. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
  65. package/dest/public/avm/fixtures/base_avm_simulation_tester.js +1 -1
  66. package/dest/public/avm/fixtures/initializers.d.ts +2 -2
  67. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
  68. package/dest/public/avm/fixtures/initializers.js +5 -4
  69. package/dest/public/avm/fixtures/utils.d.ts +4 -3
  70. package/dest/public/avm/fixtures/utils.d.ts.map +1 -1
  71. package/dest/public/avm/fixtures/utils.js +3 -2
  72. package/dest/public/avm/opcodes/accrued_substate.d.ts +17 -18
  73. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  74. package/dest/public/avm/opcodes/accrued_substate.js +42 -43
  75. package/dest/public/avm/opcodes/addressing_mode.js +2 -2
  76. package/dest/public/avm/opcodes/arithmetic.d.ts +10 -8
  77. package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
  78. package/dest/public/avm/opcodes/arithmetic.js +12 -2
  79. package/dest/public/avm/opcodes/bitwise.d.ts +7 -7
  80. package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
  81. package/dest/public/avm/opcodes/bitwise.js +5 -5
  82. package/dest/public/avm/opcodes/comparators.d.ts +4 -4
  83. package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
  84. package/dest/public/avm/opcodes/comparators.js +1 -1
  85. package/dest/public/avm/opcodes/contract.d.ts +3 -3
  86. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  87. package/dest/public/avm/opcodes/contract.js +8 -8
  88. package/dest/public/avm/opcodes/control_flow.d.ts +3 -3
  89. package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
  90. package/dest/public/avm/opcodes/control_flow.js +4 -4
  91. package/dest/public/avm/opcodes/conversion.d.ts +3 -3
  92. package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
  93. package/dest/public/avm/opcodes/conversion.js +4 -4
  94. package/dest/public/avm/opcodes/ec_add.d.ts +4 -4
  95. package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
  96. package/dest/public/avm/opcodes/ec_add.js +17 -8
  97. package/dest/public/avm/opcodes/environment_getters.d.ts +5 -5
  98. package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
  99. package/dest/public/avm/opcodes/environment_getters.js +6 -6
  100. package/dest/public/avm/opcodes/external_calls.d.ts +9 -9
  101. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  102. package/dest/public/avm/opcodes/external_calls.js +23 -22
  103. package/dest/public/avm/opcodes/hashing.d.ts +8 -8
  104. package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
  105. package/dest/public/avm/opcodes/hashing.js +21 -16
  106. package/dest/public/avm/opcodes/instruction_impl.d.ts +4 -4
  107. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
  108. package/dest/public/avm/opcodes/instruction_impl.js +4 -4
  109. package/dest/public/avm/opcodes/memory.d.ts +14 -14
  110. package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
  111. package/dest/public/avm/opcodes/memory.js +26 -26
  112. package/dest/public/avm/opcodes/misc.d.ts +3 -3
  113. package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
  114. package/dest/public/avm/opcodes/misc.js +6 -6
  115. package/dest/public/avm/opcodes/storage.d.ts +16 -15
  116. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  117. package/dest/public/avm/opcodes/storage.js +34 -24
  118. package/dest/public/avm/revert_reason.d.ts +2 -2
  119. package/dest/public/avm/revert_reason.d.ts.map +1 -1
  120. package/dest/public/avm/revert_reason.js +3 -2
  121. package/dest/public/avm/serialization/bytecode_serialization.d.ts +1 -1
  122. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -1
  123. package/dest/public/avm/serialization/bytecode_serialization.js +12 -9
  124. package/dest/public/avm/serialization/instruction_serialization.d.ts +2 -2
  125. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -1
  126. package/dest/public/avm/serialization/instruction_serialization.js +2 -2
  127. package/dest/public/avm/test_utils.d.ts +2 -2
  128. package/dest/public/avm/test_utils.d.ts.map +1 -1
  129. package/dest/public/avm/test_utils.js +1 -1
  130. package/dest/public/contracts_db_checkpoint.d.ts +2 -2
  131. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -1
  132. package/dest/public/db_interfaces.d.ts +2 -2
  133. package/dest/public/db_interfaces.d.ts.map +1 -1
  134. package/dest/public/debug_fn_name.d.ts +16 -3
  135. package/dest/public/debug_fn_name.d.ts.map +1 -1
  136. package/dest/public/debug_fn_name.js +31 -3
  137. package/dest/public/executor_metrics.d.ts +1 -1
  138. package/dest/public/executor_metrics.d.ts.map +1 -1
  139. package/dest/public/executor_metrics.js +12 -33
  140. package/dest/public/fixtures/amm_test.js +4 -4
  141. package/dest/public/fixtures/bulk_test.d.ts +3 -3
  142. package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
  143. package/dest/public/fixtures/bulk_test.js +5 -69
  144. package/dest/public/fixtures/custom_bytecode_tester.d.ts +28 -6
  145. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
  146. package/dest/public/fixtures/custom_bytecode_tester.js +36 -12
  147. package/dest/public/fixtures/custom_bytecode_tests.d.ts +11 -8
  148. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -1
  149. package/dest/public/fixtures/custom_bytecode_tests.js +83 -18
  150. package/dest/public/fixtures/index.d.ts +4 -2
  151. package/dest/public/fixtures/index.d.ts.map +1 -1
  152. package/dest/public/fixtures/index.js +3 -1
  153. package/dest/public/fixtures/minimal_public_tx.d.ts +2 -7
  154. package/dest/public/fixtures/minimal_public_tx.d.ts.map +1 -1
  155. package/dest/public/fixtures/minimal_public_tx.js +4 -14
  156. package/dest/public/fixtures/opcode_spammer.d.ts +122 -0
  157. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -0
  158. package/dest/public/fixtures/opcode_spammer.js +1653 -0
  159. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +27 -7
  160. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  161. package/dest/public/fixtures/public_tx_simulation_tester.js +60 -23
  162. package/dest/public/fixtures/simple_contract_data_source.d.ts +5 -4
  163. package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -1
  164. package/dest/public/fixtures/simple_contract_data_source.js +4 -4
  165. package/dest/public/fixtures/token_test.d.ts +6 -2
  166. package/dest/public/fixtures/token_test.d.ts.map +1 -1
  167. package/dest/public/fixtures/token_test.js +13 -11
  168. package/dest/public/fixtures/utils.d.ts +3 -3
  169. package/dest/public/fixtures/utils.d.ts.map +1 -1
  170. package/dest/public/fixtures/utils.js +14 -13
  171. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +60 -0
  172. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
  173. package/dest/public/fuzzing/avm_fuzzer_simulator.js +171 -0
  174. package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
  175. package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
  176. package/dest/public/fuzzing/avm_simulator_bin.js +118 -0
  177. package/dest/public/hinting_db_sources.d.ts +8 -6
  178. package/dest/public/hinting_db_sources.d.ts.map +1 -1
  179. package/dest/public/hinting_db_sources.js +13 -7
  180. package/dest/public/index.d.ts +2 -2
  181. package/dest/public/index.d.ts.map +1 -1
  182. package/dest/public/index.js +1 -1
  183. package/dest/public/public_db_sources.d.ts +7 -6
  184. package/dest/public/public_db_sources.d.ts.map +1 -1
  185. package/dest/public/public_db_sources.js +14 -14
  186. package/dest/public/public_processor/guarded_merkle_tree.d.ts +7 -5
  187. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  188. package/dest/public/public_processor/guarded_merkle_tree.js +9 -4
  189. package/dest/public/public_processor/public_processor.d.ts +11 -7
  190. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  191. package/dest/public/public_processor/public_processor.js +493 -86
  192. package/dest/public/public_processor/public_processor_metrics.d.ts +2 -2
  193. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  194. package/dest/public/public_processor/public_processor_metrics.js +28 -45
  195. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +3 -14
  196. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
  197. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +22 -56
  198. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +24 -37
  199. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
  200. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +65 -144
  201. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +42 -0
  202. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -0
  203. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +86 -0
  204. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +30 -0
  205. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -0
  206. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +171 -0
  207. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +23 -0
  208. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -0
  209. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +52 -0
  210. package/dest/public/public_tx_simulator/factories.d.ts +14 -0
  211. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
  212. package/dest/public/public_tx_simulator/factories.js +28 -0
  213. package/dest/public/public_tx_simulator/index.d.ts +4 -1
  214. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  215. package/dest/public/public_tx_simulator/index.js +3 -0
  216. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +3 -3
  217. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +1 -1
  218. package/dest/public/public_tx_simulator/public_tx_context.d.ts +5 -4
  219. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  220. package/dest/public/public_tx_simulator/public_tx_context.js +11 -17
  221. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +8 -6
  222. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  223. package/dest/public/public_tx_simulator/public_tx_simulator.js +27 -16
  224. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +24 -1
  225. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -1
  226. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +2 -2
  227. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +1 -1
  228. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +395 -19
  229. package/dest/public/side_effect_trace.d.ts +6 -5
  230. package/dest/public/side_effect_trace.d.ts.map +1 -1
  231. package/dest/public/side_effect_trace.js +4 -4
  232. package/dest/public/side_effect_trace_interface.d.ts +2 -2
  233. package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
  234. package/dest/public/state_manager/nullifiers.d.ts +2 -2
  235. package/dest/public/state_manager/nullifiers.d.ts.map +1 -1
  236. package/dest/public/state_manager/public_storage.d.ts +2 -2
  237. package/dest/public/state_manager/public_storage.d.ts.map +1 -1
  238. package/dest/public/state_manager/public_storage.js +1 -1
  239. package/dest/public/state_manager/state_manager.d.ts +16 -5
  240. package/dest/public/state_manager/state_manager.d.ts.map +1 -1
  241. package/dest/public/state_manager/state_manager.js +19 -9
  242. package/dest/public/test_executor_metrics.d.ts +3 -2
  243. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  244. package/dest/public/test_executor_metrics.js +2 -2
  245. package/package.json +20 -20
  246. package/src/common/errors.ts +1 -1
  247. package/src/private/acvm/acvm.ts +4 -3
  248. package/src/private/acvm/deserialize.ts +1 -1
  249. package/src/private/acvm/serialize.ts +1 -1
  250. package/src/private/acvm_native.ts +11 -5
  251. package/src/private/acvm_wasm.ts +7 -3
  252. package/src/private/circuit_recording/circuit_recorder.ts +24 -21
  253. package/src/private/circuit_recording/file_circuit_recorder.ts +7 -2
  254. package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
  255. package/src/private/factory.ts +7 -4
  256. package/src/public/avm/avm_context.ts +2 -2
  257. package/src/public/avm/avm_contract_call_result.ts +8 -6
  258. package/src/public/avm/avm_execution_environment.ts +10 -5
  259. package/src/public/avm/avm_gas.ts +5 -5
  260. package/src/public/avm/avm_machine_state.ts +7 -6
  261. package/src/public/avm/avm_memory_types.ts +5 -1
  262. package/src/public/avm/avm_simulator.ts +16 -10
  263. package/src/public/avm/calldata.ts +100 -0
  264. package/src/public/avm/errors.ts +17 -3
  265. package/src/public/avm/fixtures/account_proof.json +553 -0
  266. package/src/public/avm/fixtures/account_proof_fetcher.ts +166 -0
  267. package/src/public/avm/fixtures/avm_simulation_tester.ts +9 -3
  268. package/src/public/avm/fixtures/base_avm_simulation_tester.ts +1 -1
  269. package/src/public/avm/fixtures/initializers.ts +5 -4
  270. package/src/public/avm/fixtures/utils.ts +3 -2
  271. package/src/public/avm/opcodes/accrued_substate.ts +31 -34
  272. package/src/public/avm/opcodes/addressing_mode.ts +2 -2
  273. package/src/public/avm/opcodes/arithmetic.ts +14 -2
  274. package/src/public/avm/opcodes/bitwise.ts +3 -3
  275. package/src/public/avm/opcodes/comparators.ts +1 -1
  276. package/src/public/avm/opcodes/contract.ts +4 -7
  277. package/src/public/avm/opcodes/control_flow.ts +2 -2
  278. package/src/public/avm/opcodes/conversion.ts +3 -3
  279. package/src/public/avm/opcodes/ec_add.ts +15 -6
  280. package/src/public/avm/opcodes/environment_getters.ts +7 -7
  281. package/src/public/avm/opcodes/external_calls.ts +17 -15
  282. package/src/public/avm/opcodes/hashing.ts +16 -10
  283. package/src/public/avm/opcodes/instruction_impl.ts +2 -2
  284. package/src/public/avm/opcodes/memory.ts +20 -20
  285. package/src/public/avm/opcodes/misc.ts +4 -4
  286. package/src/public/avm/opcodes/storage.ts +30 -22
  287. package/src/public/avm/revert_reason.ts +6 -3
  288. package/src/public/avm/serialization/bytecode_serialization.ts +19 -8
  289. package/src/public/avm/serialization/instruction_serialization.ts +2 -2
  290. package/src/public/avm/test_utils.ts +1 -1
  291. package/src/public/contracts_db_checkpoint.ts +1 -1
  292. package/src/public/db_interfaces.ts +1 -1
  293. package/src/public/debug_fn_name.ts +39 -5
  294. package/src/public/executor_metrics.ts +9 -33
  295. package/src/public/fixtures/amm_test.ts +4 -4
  296. package/src/public/fixtures/bulk_test.ts +9 -9
  297. package/src/public/fixtures/custom_bytecode_tester.ts +53 -19
  298. package/src/public/fixtures/custom_bytecode_tests.ts +111 -18
  299. package/src/public/fixtures/index.ts +7 -1
  300. package/src/public/fixtures/minimal_public_tx.ts +6 -15
  301. package/src/public/fixtures/opcode_spammer.ts +1717 -0
  302. package/src/public/fixtures/public_tx_simulation_tester.ts +93 -19
  303. package/src/public/fixtures/simple_contract_data_source.ts +8 -9
  304. package/src/public/fixtures/token_test.ts +18 -9
  305. package/src/public/fixtures/utils.ts +19 -15
  306. package/src/public/fuzzing/avm_fuzzer_simulator.ts +288 -0
  307. package/src/public/fuzzing/avm_simulator_bin.ts +175 -0
  308. package/src/public/hinting_db_sources.ts +16 -9
  309. package/src/public/index.ts +7 -1
  310. package/src/public/public_db_sources.ts +27 -19
  311. package/src/public/public_processor/guarded_merkle_tree.ts +11 -6
  312. package/src/public/public_processor/public_processor.ts +127 -84
  313. package/src/public/public_processor/public_processor_metrics.ts +16 -44
  314. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +27 -64
  315. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +82 -178
  316. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +134 -0
  317. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +239 -0
  318. package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +83 -0
  319. package/src/public/public_tx_simulator/factories.ts +44 -0
  320. package/src/public/public_tx_simulator/index.ts +3 -0
  321. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +1 -1
  322. package/src/public/public_tx_simulator/public_tx_context.ts +16 -15
  323. package/src/public/public_tx_simulator/public_tx_simulator.ts +47 -21
  324. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +23 -0
  325. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +1 -1
  326. package/src/public/side_effect_trace.ts +6 -3
  327. package/src/public/side_effect_trace_interface.ts +1 -1
  328. package/src/public/state_manager/nullifiers.ts +1 -1
  329. package/src/public/state_manager/public_storage.ts +1 -1
  330. package/src/public/state_manager/state_manager.ts +39 -23
  331. package/src/public/test_executor_metrics.ts +3 -3
@@ -1,7 +1,7 @@
1
1
  import { MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, NULLIFIER_SUBTREE_HEIGHT } from '@aztec/constants';
2
2
  import { padArrayEnd } from '@aztec/foundation/collection';
3
- import { Fr } from '@aztec/foundation/fields';
4
- import { createLogger } from '@aztec/foundation/log';
3
+ import { Fr } from '@aztec/foundation/curves/bn254';
4
+ import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
5
5
  import { sleep } from '@aztec/foundation/sleep';
6
6
  import { DateProvider, Timer, elapsed, executeTimeout } from '@aztec/foundation/timer';
7
7
  import { ProtocolContractAddress } from '@aztec/protocol-contracts';
@@ -25,6 +25,7 @@ import type {
25
25
  PublicProcessorValidator,
26
26
  SequencerConfig,
27
27
  } from '@aztec/stdlib/interfaces/server';
28
+ import { type DebugLog, type DebugLogStore, NullDebugLogStore } from '@aztec/stdlib/logs';
28
29
  import { ProvingRequestType } from '@aztec/stdlib/proofs';
29
30
  import { MerkleTreeId } from '@aztec/stdlib/trees';
30
31
  import {
@@ -51,9 +52,9 @@ import { AssertionError } from 'assert';
51
52
 
52
53
  import { PublicContractsDB, PublicTreesDB } from '../public_db_sources.js';
53
54
  import {
54
- type PublicTxSimulator,
55
55
  type PublicTxSimulatorConfig,
56
- TelemetryPublicTxSimulator,
56
+ type PublicTxSimulatorInterface,
57
+ TelemetryCppPublicTxSimulator,
57
58
  } from '../public_tx_simulator/index.js';
58
59
  import { GuardedMerkleTreeOperations } from './guarded_merkle_tree.js';
59
60
  import { PublicProcessorMetrics } from './public_processor_metrics.js';
@@ -62,11 +63,15 @@ import { PublicProcessorMetrics } from './public_processor_metrics.js';
62
63
  * Creates new instances of PublicProcessor given the provided merkle tree db and contract data source.
63
64
  */
64
65
  export class PublicProcessorFactory {
66
+ private log: Logger;
65
67
  constructor(
66
68
  private contractDataSource: ContractDataSource,
67
69
  private dateProvider: DateProvider = new DateProvider(),
68
70
  protected telemetryClient: TelemetryClient = getTelemetryClient(),
69
- ) {}
71
+ bindings?: LoggerBindings,
72
+ ) {
73
+ this.log = createLogger('simulator:public-processor-factory', bindings);
74
+ }
70
75
 
71
76
  /**
72
77
  * Creates a new instance of a PublicProcessor.
@@ -79,7 +84,8 @@ export class PublicProcessorFactory {
79
84
  globalVariables: GlobalVariables,
80
85
  config: PublicSimulatorConfig,
81
86
  ): PublicProcessor {
82
- const contractsDB = new PublicContractsDB(this.contractDataSource);
87
+ const bindings = this.log.getBindings();
88
+ const contractsDB = new PublicContractsDB(this.contractDataSource, bindings);
83
89
 
84
90
  const guardedFork = new GuardedMerkleTreeOperations(merkleTree);
85
91
  const publicTxSimulator = this.createPublicTxSimulator(guardedFork, contractsDB, globalVariables, config);
@@ -91,6 +97,7 @@ export class PublicProcessorFactory {
91
97
  publicTxSimulator,
92
98
  this.dateProvider,
93
99
  this.telemetryClient,
100
+ createLogger('simulator:public-processor', bindings),
94
101
  );
95
102
  }
96
103
 
@@ -99,8 +106,15 @@ export class PublicProcessorFactory {
99
106
  contractsDB: PublicContractsDB,
100
107
  globalVariables: GlobalVariables,
101
108
  config?: Partial<PublicTxSimulatorConfig>,
102
- ): PublicTxSimulator {
103
- return new TelemetryPublicTxSimulator(merkleTree, contractsDB, globalVariables, this.telemetryClient, config);
109
+ ): PublicTxSimulatorInterface {
110
+ return new TelemetryCppPublicTxSimulator(
111
+ merkleTree,
112
+ contractsDB,
113
+ globalVariables,
114
+ this.telemetryClient,
115
+ config,
116
+ this.log.getBindings(),
117
+ );
104
118
  }
105
119
  }
106
120
 
@@ -117,16 +131,16 @@ class PublicProcessorTimeoutError extends Error {
117
131
  */
118
132
  export class PublicProcessor implements Traceable {
119
133
  private metrics: PublicProcessorMetrics;
120
-
121
134
  constructor(
122
135
  protected globalVariables: GlobalVariables,
123
136
  private guardedMerkleTree: GuardedMerkleTreeOperations,
124
137
  protected contractsDB: PublicContractsDB,
125
- protected publicTxSimulator: PublicTxSimulator,
138
+ protected publicTxSimulator: PublicTxSimulatorInterface,
126
139
  private dateProvider: DateProvider,
127
140
  telemetryClient: TelemetryClient = getTelemetryClient(),
128
- private log = createLogger('simulator:public-processor'),
129
- private opts: Pick<SequencerConfig, 'fakeProcessingDelayPerTxMs'> = {},
141
+ private log: Logger,
142
+ private opts: Pick<SequencerConfig, 'fakeProcessingDelayPerTxMs' | 'fakeThrowAfterProcessingTxCount'> = {},
143
+ private debugLogStore: DebugLogStore = new NullDebugLogStore(),
130
144
  ) {
131
145
  this.metrics = new PublicProcessorMetrics(telemetryClient, 'PublicProcessor');
132
146
  }
@@ -146,12 +160,13 @@ export class PublicProcessor implements Traceable {
146
160
  txs: Iterable<Tx> | AsyncIterable<Tx>,
147
161
  limits: PublicProcessorLimits = {},
148
162
  validator: PublicProcessorValidator = {},
149
- ): Promise<[ProcessedTx[], FailedTx[], Tx[], NestedProcessReturnValues[]]> {
150
- const { maxTransactions, maxBlockSize, deadline, maxBlockGas, maxBlobFields } = limits;
163
+ ): Promise<[ProcessedTx[], FailedTx[], Tx[], NestedProcessReturnValues[], DebugLog[]]> {
164
+ const { maxTransactions, deadline, maxBlockGas, maxBlobFields, isBuildingProposal } = limits;
151
165
  const { preprocessValidator, nullifierCache } = validator;
152
166
  const result: ProcessedTx[] = [];
153
167
  const usedTxs: Tx[] = [];
154
168
  const failed: FailedTx[] = [];
169
+ const debugLogs: DebugLog[] = [];
155
170
  const timer = new Timer();
156
171
 
157
172
  let totalSizeInBytes = 0;
@@ -160,7 +175,7 @@ export class PublicProcessor implements Traceable {
160
175
  let totalBlockGas = new Gas(0, 0);
161
176
  let totalBlobFields = 0;
162
177
 
163
- for await (const origTx of txs) {
178
+ for await (const tx of txs) {
164
179
  // Only process up to the max tx limit
165
180
  if (maxTransactions !== undefined && result.length >= maxTransactions) {
166
181
  this.log.debug(`Stopping tx processing due to reaching the max tx limit.`);
@@ -173,22 +188,23 @@ export class PublicProcessor implements Traceable {
173
188
  break;
174
189
  }
175
190
 
176
- // Skip this tx if it'd exceed max block size
177
- const txHash = origTx.getTxHash().toString();
178
- const preTxSizeInBytes = origTx.getEstimatedPrivateTxEffectsSize();
179
- if (maxBlockSize !== undefined && totalSizeInBytes + preTxSizeInBytes > maxBlockSize) {
180
- this.log.warn(`Skipping processing of tx ${txHash} sized ${preTxSizeInBytes} bytes due to block size limit`, {
181
- txHash,
182
- sizeInBytes: preTxSizeInBytes,
183
- totalSizeInBytes,
184
- maxBlockSize,
185
- });
191
+ const txHash = tx.getTxHash().toString();
192
+
193
+ // Skip this tx if its estimated blob fields would exceed the limit.
194
+ // Only done during proposal building: during re-execution we must process the exact txs from the proposal.
195
+ const txBlobFields = tx.getPrivateTxEffectsSizeInFields();
196
+ if (isBuildingProposal && maxBlobFields !== undefined && totalBlobFields + txBlobFields > maxBlobFields) {
197
+ this.log.warn(
198
+ `Skipping tx ${txHash} with ${txBlobFields} fields from private side effects due to blob fields limit`,
199
+ { txHash, txBlobFields, totalBlobFields, maxBlobFields },
200
+ );
186
201
  continue;
187
202
  }
188
203
 
189
- // Skip this tx if its gas limit would exceed the block gas limit
190
- const txGasLimit = origTx.data.constants.txContext.gasSettings.gasLimits;
191
- if (maxBlockGas !== undefined && totalBlockGas.add(txGasLimit).gtAny(maxBlockGas)) {
204
+ // Skip this tx if its gas limit would exceed the block gas limit (either da or l2).
205
+ // Only done during proposal building: during re-execution we must process the exact txs from the proposal.
206
+ const txGasLimit = tx.data.constants.txContext.gasSettings.gasLimits;
207
+ if (isBuildingProposal && maxBlockGas !== undefined && totalBlockGas.add(txGasLimit).gtAny(maxBlockGas)) {
192
208
  this.log.warn(`Skipping processing of tx ${txHash} due to block gas limit`, {
193
209
  txHash,
194
210
  txGasLimit,
@@ -198,9 +214,6 @@ export class PublicProcessor implements Traceable {
198
214
  continue;
199
215
  }
200
216
 
201
- // The processor modifies the tx objects in place, so we need to clone them.
202
- const tx = Tx.clone(origTx);
203
-
204
217
  // We validate the tx before processing it, to avoid unnecessary work.
205
218
  if (preprocessValidator) {
206
219
  const result = await preprocessValidator.validateTx(tx);
@@ -231,26 +244,19 @@ export class PublicProcessor implements Traceable {
231
244
  this.contractsDB.createCheckpoint();
232
245
 
233
246
  try {
234
- const [processedTx, returnValues] = await this.processTx(tx, deadline);
247
+ const [processedTx, returnValues, txDebugLogs] = await this.processTx(tx, deadline);
235
248
 
236
- const txBlobFields = processedTx.txEffect.getNumBlobFields();
249
+ // Inject a fake processing failure after N txs if requested
250
+ const fakeThrowAfter = this.opts.fakeThrowAfterProcessingTxCount;
251
+ if (fakeThrowAfter !== undefined && result.length + failed.length + 1 >= fakeThrowAfter) {
252
+ throw new Error(`Fake error after processing ${fakeThrowAfter} txs`);
253
+ }
237
254
 
238
- // If the actual size of this tx would exceed block size, skip it
255
+ const txBlobFields = processedTx.txEffect.getNumBlobFields();
239
256
  const txSize = txBlobFields * Fr.SIZE_IN_BYTES;
240
- if (maxBlockSize !== undefined && totalSizeInBytes + txSize > maxBlockSize) {
241
- this.log.debug(`Skipping processed tx ${txHash} sized ${txSize} due to max block size.`, {
242
- txHash,
243
- sizeInBytes: txSize,
244
- totalSizeInBytes,
245
- maxBlockSize,
246
- });
247
- // Need to revert the checkpoint here and don't go any further
248
- await checkpoint.revert();
249
- this.contractsDB.revertCheckpoint();
250
- continue;
251
- }
252
257
 
253
- // If the actual blob fields of this tx would exceed the limit, skip it
258
+ // If the actual blob fields of this tx would exceed the limit, skip it.
259
+ // Note: maxBlobFields already accounts for block end blob fields and previous blocks in checkpoint.
254
260
  if (maxBlobFields !== undefined && totalBlobFields + txBlobFields > maxBlobFields) {
255
261
  this.log.debug(
256
262
  `Skipping processed tx ${txHash} with ${txBlobFields} blob fields due to max blob fields limit.`,
@@ -267,36 +273,65 @@ export class PublicProcessor implements Traceable {
267
273
  continue;
268
274
  }
269
275
 
276
+ // During re-execution, check if the actual gas used by this tx would push the block over the gas limit.
277
+ // Unlike the proposal-building check (which uses declared gas limits pessimistically before processing),
278
+ // this uses actual gas and stops processing when the limit is exceeded.
279
+ if (
280
+ !isBuildingProposal &&
281
+ maxBlockGas !== undefined &&
282
+ totalBlockGas.add(processedTx.gasUsed.totalGas).gtAny(maxBlockGas)
283
+ ) {
284
+ this.log.warn(`Stopping re-execution since tx ${txHash} would push block gas over limit`, {
285
+ txHash,
286
+ txGas: processedTx.gasUsed.totalGas,
287
+ totalBlockGas,
288
+ maxBlockGas,
289
+ });
290
+ await checkpoint.revert();
291
+ this.contractsDB.revertCheckpoint();
292
+ break;
293
+ }
294
+
270
295
  // FIXME(fcarreiro): it's ugly to have to notify the validator of nullifiers.
271
296
  // I'd rather pass the validators the processedTx as well and let them deal with it.
272
297
  nullifierCache?.addNullifiers(processedTx.txEffect.nullifiers.map(n => n.toBuffer()));
273
298
  result.push(processedTx);
274
299
  usedTxs.push(tx);
275
300
  returns = returns.concat(returnValues);
301
+ debugLogs.push(...txDebugLogs);
302
+
303
+ this.debugLogStore.storeLogs(processedTx.hash.toString(), txDebugLogs);
276
304
 
277
305
  totalPublicGas = totalPublicGas.add(processedTx.gasUsed.publicGas);
278
306
  totalBlockGas = totalBlockGas.add(processedTx.gasUsed.totalGas);
279
307
  totalSizeInBytes += txSize;
280
308
  totalBlobFields += txBlobFields;
309
+
310
+ // Commit the tx-level contracts checkpoint on success
311
+ this.contractsDB.commitCheckpoint();
281
312
  } catch (err: any) {
282
313
  if (err?.name === 'PublicProcessorTimeoutError') {
283
314
  this.log.warn(`Stopping tx processing due to timeout.`);
284
315
  // We hit the transaction execution deadline.
285
- // There may still be a transaction executing. We stop the guarded fork to prevent any further access to the world state.
316
+ // There may still be a transaction executing on a worker thread (C++ via NAPI).
317
+ // Signal cancellation AND WAIT for the simulation to actually stop.
318
+ // This is critical because C++ might be in the middle of a slow operation (e.g., pad_trees)
319
+ // and won't check the cancellation flag until that operation completes.
320
+ // Without waiting, we'd proceed to revert checkpoints while C++ is still writing to state.
321
+ // Wait for C++ to stop gracefully.
322
+ await this.publicTxSimulator.cancel?.();
323
+
324
+ // Now stop the guarded fork to prevent any further TS-side access to the world state.
286
325
  await this.guardedMerkleTree.stop();
287
326
 
288
327
  // We now know there can't be any further access to world state. The fork is in a state where there is:
289
328
  // 1. At least one outstanding checkpoint that has not been committed (the one created before we processed the tx).
290
329
  // 2. Possible state updates on that checkpoint or any others created during execution.
291
330
 
292
- // First we revert a checkpoint as managed by the ForkCheckpoint. This will revert whatever is the current checkpoint
293
- // which may not be the one originally created by this object. But that is ok, we do this to fulfil the ForkCheckpoint
294
- // lifecycle expectations and ensure it doesn't attempt to commit later on.
295
- await checkpoint.revert();
296
-
297
- // Now we want to revert any/all remaining checkpoints, destroying any outstanding state updates.
298
- // This needs to be done directly on the underlying fork as the guarded fork has been stopped.
299
- await this.guardedMerkleTree.getUnderlyingFork().revertAllCheckpoints();
331
+ // Revert all checkpoints at or above this checkpoint's depth (inclusive), destroying any outstanding state
332
+ // updates from this tx and any nested checkpoints created during execution. This preserves any checkpoints
333
+ // created by callers below our depth.
334
+ await checkpoint.revertToCheckpoint();
300
335
 
301
336
  // Revert any contracts added to the DB for the tx.
302
337
  this.contractsDB.revertCheckpoint();
@@ -308,9 +343,9 @@ export class PublicProcessor implements Traceable {
308
343
  break;
309
344
  }
310
345
 
311
- // Roll back state to start of TX before proceeding to next TX
312
- await checkpoint.revert();
313
- await this.guardedMerkleTree.getUnderlyingFork().revertAllCheckpoints();
346
+ // Roll back state to start of TX before proceeding to next TX.
347
+ // Reverts all checkpoints at or above this checkpoint's depth, preserving any caller checkpoints below.
348
+ await checkpoint.revertToCheckpoint();
314
349
  this.contractsDB.revertCheckpoint();
315
350
  const errorMessage = err instanceof Error || err instanceof AssertionError ? err.message : 'Unknown error';
316
351
  this.log.warn(`Failed to process tx ${txHash.toString()}: ${errorMessage} ${err?.stack}`);
@@ -322,7 +357,6 @@ export class PublicProcessor implements Traceable {
322
357
  } finally {
323
358
  // Base case is we always commit the checkpoint. Using the ForkCheckpoint means this has no effect if the tx was previously reverted
324
359
  await checkpoint.commit();
325
- this.contractsDB.commitCheckpointOkIfNone();
326
360
  }
327
361
  }
328
362
 
@@ -338,7 +372,7 @@ export class PublicProcessor implements Traceable {
338
372
  totalSizeInBytes,
339
373
  });
340
374
 
341
- return [result, failed, usedTxs, returns];
375
+ return [result, failed, usedTxs, returns, debugLogs];
342
376
  }
343
377
 
344
378
  private async checkWorldStateUnchanged(
@@ -358,8 +392,13 @@ export class PublicProcessor implements Traceable {
358
392
  }
359
393
 
360
394
  @trackSpan('PublicProcessor.processTx', tx => ({ [Attributes.TX_HASH]: tx.getTxHash().toString() }))
361
- private async processTx(tx: Tx, deadline: Date | undefined): Promise<[ProcessedTx, NestedProcessReturnValues[]]> {
362
- const [time, [processedTx, returnValues]] = await elapsed(() => this.processTxWithinDeadline(tx, deadline));
395
+ private async processTx(
396
+ tx: Tx,
397
+ deadline: Date | undefined,
398
+ ): Promise<[ProcessedTx, NestedProcessReturnValues[], DebugLog[]]> {
399
+ const [time, [processedTx, returnValues, debugLogs]] = await elapsed(() =>
400
+ this.processTxWithinDeadline(tx, deadline),
401
+ );
363
402
 
364
403
  this.log.verbose(
365
404
  !tx.hasPublicCalls()
@@ -382,7 +421,7 @@ export class PublicProcessor implements Traceable {
382
421
  },
383
422
  );
384
423
 
385
- return [processedTx, returnValues ?? []];
424
+ return [processedTx, returnValues ?? [], debugLogs];
386
425
  }
387
426
 
388
427
  private async doTreeInsertionsForPrivateOnlyTx(processedTx: ProcessedTx): Promise<void> {
@@ -416,10 +455,9 @@ export class PublicProcessor implements Traceable {
416
455
  private async processTxWithinDeadline(
417
456
  tx: Tx,
418
457
  deadline: Date | undefined,
419
- ): Promise<[ProcessedTx, NestedProcessReturnValues[] | undefined]> {
420
- const innerProcessFn: () => Promise<[ProcessedTx, NestedProcessReturnValues[] | undefined]> = tx.hasPublicCalls()
421
- ? () => this.processTxWithPublicCalls(tx)
422
- : () => this.processPrivateOnlyTx(tx);
458
+ ): Promise<[ProcessedTx, NestedProcessReturnValues[] | undefined, DebugLog[]]> {
459
+ const innerProcessFn: () => Promise<[ProcessedTx, NestedProcessReturnValues[] | undefined, DebugLog[]]> =
460
+ tx.hasPublicCalls() ? () => this.processTxWithPublicCalls(tx) : () => this.processPrivateOnlyTx(tx);
423
461
 
424
462
  // Fake a delay per tx if instructed (used for tests)
425
463
  const fakeDelayPerTxMs = this.opts.fakeProcessingDelayPerTxMs;
@@ -487,7 +525,7 @@ export class PublicProcessor implements Traceable {
487
525
  @trackSpan('PublicProcessor.processPrivateOnlyTx', (tx: Tx) => ({
488
526
  [Attributes.TX_HASH]: tx.getTxHash().toString(),
489
527
  }))
490
- private async processPrivateOnlyTx(tx: Tx): Promise<[ProcessedTx, undefined]> {
528
+ private async processPrivateOnlyTx(tx: Tx): Promise<[ProcessedTx, undefined, DebugLog[]]> {
491
529
  const gasFees = this.globalVariables.gasFees;
492
530
  const transactionFee = computeTransactionFee(gasFees, tx.data.constants.txContext.gasSettings, tx.data.gasUsed);
493
531
 
@@ -510,24 +548,20 @@ export class PublicProcessor implements Traceable {
510
548
  // Fee payment insertion has already been done. Do the rest.
511
549
  await this.doTreeInsertionsForPrivateOnlyTx(processedTx);
512
550
 
513
- await this.contractsDB.addNewContracts(tx);
551
+ this.contractsDB.addNewContracts(tx);
514
552
 
515
- return [processedTx, undefined];
553
+ return [processedTx, undefined, []];
516
554
  }
517
555
 
518
556
  @trackSpan('PublicProcessor.processTxWithPublicCalls', tx => ({
519
557
  [Attributes.TX_HASH]: tx.getTxHash().toString(),
520
558
  }))
521
- private async processTxWithPublicCalls(tx: Tx): Promise<[ProcessedTx, NestedProcessReturnValues[]]> {
559
+ private async processTxWithPublicCalls(tx: Tx): Promise<[ProcessedTx, NestedProcessReturnValues[], DebugLog[]]> {
522
560
  const timer = new Timer();
523
561
 
524
- const { hints, publicInputs, gasUsed, revertCode, revertReason, appLogicReturnValues } =
525
- await this.publicTxSimulator.simulate(tx);
526
-
527
- if (!hints) {
528
- this.metrics.recordFailedTx();
529
- throw new Error('Avm proving result was not generated.');
530
- }
562
+ const result = await this.publicTxSimulator.simulate(tx);
563
+ // TODO: use the callStackMetadata here to extract more data about public execution
564
+ const { hints, publicInputs, publicTxEffect, gasUsed, revertCode /*callStackMetadata*/ } = result;
531
565
 
532
566
  const contractClassLogs = revertCode.isOK()
533
567
  ? tx.getContractClassLogs()
@@ -539,19 +573,28 @@ export class PublicProcessor implements Traceable {
539
573
  );
540
574
 
541
575
  // TODO(fcarreiro): remove phase count metric.
542
- const phaseCount = 1;
543
576
  const durationMs = timer.ms();
544
- this.metrics.recordTx(phaseCount, durationMs, gasUsed.publicGas);
577
+ this.metrics.recordTx(/*phaseCount=*/ 1, durationMs, gasUsed.publicGas);
578
+
579
+ // Extract the return values from the call stack metadata.
580
+ const appLogicReturnValues: NestedProcessReturnValues[] = result.getAppLogicReturnValues();
581
+ // Extract the revert reason from the call stack metadata.
582
+ const revertReason = result.findRevertReason();
583
+ // Create proving request if we have hints and public inputs.
584
+ const avmProvingRequest =
585
+ hints && publicInputs ? PublicProcessor.generateProvingRequest(publicInputs, hints) : undefined;
545
586
 
546
587
  const processedTx = makeProcessedTxFromTxWithPublicCalls(
547
588
  tx,
548
- PublicProcessor.generateProvingRequest(publicInputs, hints),
589
+ this.globalVariables,
590
+ avmProvingRequest,
591
+ publicTxEffect,
549
592
  gasUsed,
550
593
  revertCode,
551
594
  revertReason,
552
595
  );
553
596
 
554
- return [processedTx, appLogicReturnValues ?? []];
597
+ return [processedTx, appLogicReturnValues, result.logs ?? []];
555
598
  }
556
599
 
557
600
  /**
@@ -559,7 +602,7 @@ export class PublicProcessor implements Traceable {
559
602
  */
560
603
  private static generateProvingRequest(
561
604
  publicInputs: AvmCircuitPublicInputs,
562
- hints: AvmExecutionHints,
605
+ hints: AvmExecutionHints = AvmExecutionHints.empty(),
563
606
  ): AvmProvingRequest {
564
607
  return {
565
608
  type: ProvingRequestType.PUBLIC_VM,
@@ -1,6 +1,6 @@
1
1
  import type { ContractClassPublishedEvent } from '@aztec/protocol-contracts/class-registry';
2
2
  import type { Gas } from '@aztec/stdlib/gas';
3
- import type { TxExecutionPhase } from '@aztec/stdlib/tx';
3
+ import { TxExecutionPhase } from '@aztec/stdlib/tx';
4
4
  import {
5
5
  Attributes,
6
6
  type Gauge,
@@ -9,7 +9,7 @@ import {
9
9
  type TelemetryClient,
10
10
  type Tracer,
11
11
  type UpDownCounter,
12
- ValueType,
12
+ createUpDownCounterWithDefault,
13
13
  } from '@aztec/telemetry-client';
14
14
 
15
15
  export class PublicProcessorMetrics {
@@ -34,60 +34,32 @@ export class PublicProcessorMetrics {
34
34
  this.tracer = client.getTracer(name);
35
35
  const meter = client.getMeter(name);
36
36
 
37
- this.txDuration = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TX_DURATION, {
38
- description: 'How long it takes to process a transaction',
39
- unit: 'ms',
40
- valueType: ValueType.INT,
41
- });
37
+ this.txDuration = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TX_DURATION);
42
38
 
43
- this.txCount = meter.createUpDownCounter(Metrics.PUBLIC_PROCESSOR_TX_COUNT, {
44
- description: 'Number of transactions processed',
39
+ this.txCount = createUpDownCounterWithDefault(meter, Metrics.PUBLIC_PROCESSOR_TX_COUNT, {
40
+ [Attributes.OK]: [true, false],
45
41
  });
46
42
 
47
- this.txPhaseCount = meter.createUpDownCounter(Metrics.PUBLIC_PROCESSOR_TX_PHASE_COUNT, {
48
- description: 'Number of phases processed',
49
- });
43
+ this.txPhaseCount = createUpDownCounterWithDefault(meter, Metrics.PUBLIC_PROCESSOR_TX_PHASE_COUNT);
50
44
 
51
- this.phaseDuration = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_PHASE_DURATION, {
52
- description: 'How long it takes to process a phase',
53
- unit: 'ms',
54
- valueType: ValueType.INT,
55
- });
45
+ this.phaseDuration = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_PHASE_DURATION);
56
46
 
57
- this.phaseCount = meter.createUpDownCounter(Metrics.PUBLIC_PROCESSOR_PHASE_COUNT, {
58
- description: 'Number of failed phases',
47
+ this.phaseCount = createUpDownCounterWithDefault(meter, Metrics.PUBLIC_PROCESSOR_PHASE_COUNT, {
48
+ [Attributes.TX_PHASE_NAME]: [TxExecutionPhase.SETUP, TxExecutionPhase.APP_LOGIC, TxExecutionPhase.TEARDOWN],
49
+ [Attributes.OK]: [true, false],
59
50
  });
60
51
 
61
- this.bytecodeDeployed = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_DEPLOY_BYTECODE_SIZE, {
62
- description: 'Size of deployed bytecode',
63
- unit: 'By',
64
- });
52
+ this.bytecodeDeployed = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_DEPLOY_BYTECODE_SIZE);
65
53
 
66
- this.totalGas = meter.createGauge(Metrics.PUBLIC_PROCESSOR_TOTAL_GAS, {
67
- description: 'Total gas used in block',
68
- unit: 'gas',
69
- });
54
+ this.totalGas = meter.createGauge(Metrics.PUBLIC_PROCESSOR_TOTAL_GAS);
70
55
 
71
- this.totalGasHistogram = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TOTAL_GAS_HISTOGRAM, {
72
- description: 'Total gas used in block as histogram',
73
- unit: 'gas/block',
74
- });
56
+ this.totalGasHistogram = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TOTAL_GAS_HISTOGRAM);
75
57
 
76
- this.txGas = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TX_GAS, {
77
- description: 'Gas used in transaction',
78
- unit: 'gas/tx',
79
- });
58
+ this.txGas = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TX_GAS);
80
59
 
81
- this.gasRate = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_GAS_RATE, {
82
- description: 'L2 gas per second for complete block',
83
- unit: 'gas/s',
84
- });
60
+ this.gasRate = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_GAS_RATE);
85
61
 
86
- this.treeInsertionDuration = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TREE_INSERTION, {
87
- description: 'How long it takes for tree insertion',
88
- unit: 'us',
89
- valueType: ValueType.INT,
90
- });
62
+ this.treeInsertionDuration = meter.createHistogram(Metrics.PUBLIC_PROCESSOR_TREE_INSERTION);
91
63
  }
92
64
 
93
65
  recordPhaseDuration(phaseName: TxExecutionPhase, durationMs: number) {