@aztec/simulator 0.0.1-commit.d3ec352c → 0.0.1-commit.d58ff9d0

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 (391) hide show
  1. package/README.md +6 -4
  2. package/dest/client.d.ts +1 -3
  3. package/dest/client.d.ts.map +1 -1
  4. package/dest/client.js +0 -2
  5. package/dest/common/errors.d.ts +8 -2
  6. package/dest/common/errors.d.ts.map +1 -1
  7. package/dest/private/acvm/acvm.d.ts +4 -2
  8. package/dest/private/acvm/acvm.d.ts.map +1 -1
  9. package/dest/private/acvm/acvm.js +4 -3
  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/serialize.d.ts +2 -2
  14. package/dest/private/acvm/serialize.d.ts.map +1 -1
  15. package/dest/private/acvm/serialize.js +1 -1
  16. package/dest/private/acvm_native.d.ts +5 -3
  17. package/dest/private/acvm_native.d.ts.map +1 -1
  18. package/dest/private/acvm_native.js +8 -6
  19. package/dest/private/acvm_wasm.d.ts +4 -3
  20. package/dest/private/acvm_wasm.d.ts.map +1 -1
  21. package/dest/private/acvm_wasm.js +7 -5
  22. package/dest/private/circuit_recording/circuit_recorder.d.ts +39 -25
  23. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  24. package/dest/private/circuit_recording/circuit_recorder.js +71 -72
  25. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +9 -20
  26. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  27. package/dest/private/circuit_recording/file_circuit_recorder.js +39 -43
  28. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
  29. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  30. package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
  31. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
  32. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
  33. package/dest/private/circuit_recording/simulator_recorder_wrapper.js +11 -14
  34. package/dest/private/factory.d.ts +3 -3
  35. package/dest/private/factory.d.ts.map +1 -1
  36. package/dest/private/factory.js +7 -4
  37. package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
  38. package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
  39. package/dest/public/avm/testing/account_proof_fetcher.js +152 -0
  40. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +3 -2
  41. package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
  42. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +19 -4
  43. package/dest/public/avm/testing/utils.d.ts +32 -0
  44. package/dest/public/avm/testing/utils.d.ts.map +1 -0
  45. package/dest/public/avm/{fixtures → testing}/utils.js +5 -35
  46. package/dest/public/avm_simulator.d.ts +28 -0
  47. package/dest/public/avm_simulator.d.ts.map +1 -0
  48. package/dest/public/avm_simulator.js +4 -0
  49. package/dest/public/avm_simulator_pool.d.ts +45 -0
  50. package/dest/public/avm_simulator_pool.d.ts.map +1 -0
  51. package/dest/public/avm_simulator_pool.js +197 -0
  52. package/dest/public/cdb/generated/api_types.d.ts +171 -0
  53. package/dest/public/cdb/generated/api_types.d.ts.map +1 -0
  54. package/dest/public/cdb/generated/api_types.js +314 -0
  55. package/dest/public/cdb/generated/server.d.ts +26 -0
  56. package/dest/public/cdb/generated/server.d.ts.map +1 -0
  57. package/dest/public/cdb/generated/server.js +135 -0
  58. package/dest/public/cdb_ipc_server.d.ts +33 -0
  59. package/dest/public/cdb_ipc_server.d.ts.map +1 -0
  60. package/dest/public/cdb_ipc_server.js +153 -0
  61. package/dest/public/contracts_db_checkpoint.d.ts +3 -3
  62. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -1
  63. package/dest/public/contracts_db_checkpoint.js +1 -1
  64. package/dest/public/db_interfaces.d.ts +2 -2
  65. package/dest/public/db_interfaces.d.ts.map +1 -1
  66. package/dest/public/executor_metrics.d.ts +1 -1
  67. package/dest/public/executor_metrics.d.ts.map +1 -1
  68. package/dest/public/executor_metrics.js +12 -33
  69. package/dest/public/fixtures/amm_test.js +6 -6
  70. package/dest/public/fixtures/bulk_test.d.ts +3 -3
  71. package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
  72. package/dest/public/fixtures/bulk_test.js +38 -75
  73. package/dest/public/fixtures/custom_bytecode_tester.d.ts +28 -6
  74. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
  75. package/dest/public/fixtures/custom_bytecode_tester.js +36 -12
  76. package/dest/public/fixtures/index.d.ts +3 -3
  77. package/dest/public/fixtures/index.d.ts.map +1 -1
  78. package/dest/public/fixtures/index.js +2 -2
  79. package/dest/public/fixtures/public_processor_test_env.d.ts +30 -0
  80. package/dest/public/fixtures/public_processor_test_env.d.ts.map +1 -0
  81. package/dest/public/fixtures/public_processor_test_env.js +73 -0
  82. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +24 -6
  83. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  84. package/dest/public/fixtures/public_tx_simulation_tester.js +66 -21
  85. package/dest/public/fixtures/simple_contract_data_source.d.ts +2 -2
  86. package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -1
  87. package/dest/public/fixtures/simple_contract_data_source.js +1 -1
  88. package/dest/public/fixtures/token_test.js +4 -4
  89. package/dest/public/fixtures/utils.d.ts +3 -3
  90. package/dest/public/fixtures/utils.d.ts.map +1 -1
  91. package/dest/public/fixtures/utils.js +25 -23
  92. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +67 -0
  93. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
  94. package/dest/public/fuzzing/avm_fuzzer_simulator.js +185 -0
  95. package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
  96. package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
  97. package/dest/public/fuzzing/avm_simulator_bin.js +118 -0
  98. package/dest/public/index.d.ts +5 -2
  99. package/dest/public/index.d.ts.map +1 -1
  100. package/dest/public/index.js +2 -1
  101. package/dest/public/public_db_sources.d.ts +10 -6
  102. package/dest/public/public_db_sources.d.ts.map +1 -1
  103. package/dest/public/public_db_sources.js +21 -15
  104. package/dest/public/public_processor/guarded_merkle_tree.d.ts +8 -6
  105. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  106. package/dest/public/public_processor/guarded_merkle_tree.js +12 -4
  107. package/dest/public/public_processor/public_processor.d.ts +17 -8
  108. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  109. package/dest/public/public_processor/public_processor.js +535 -100
  110. package/dest/public/public_processor/public_processor_metrics.d.ts +5 -2
  111. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  112. package/dest/public/public_processor/public_processor_metrics.js +36 -45
  113. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +17 -0
  114. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
  115. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.js +39 -0
  116. package/dest/public/public_tx_simulator/factories.d.ts +14 -0
  117. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
  118. package/dest/public/public_tx_simulator/factories.js +28 -0
  119. package/dest/public/public_tx_simulator/index.d.ts +5 -5
  120. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  121. package/dest/public/public_tx_simulator/index.js +3 -3
  122. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +43 -70
  123. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  124. package/dest/public/public_tx_simulator/public_tx_simulator.js +99 -312
  125. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +24 -0
  126. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
  127. package/dest/public/public_tx_simulator/public_tx_simulator_base.js +31 -0
  128. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +24 -1
  129. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -1
  130. package/dest/public/test_executor_metrics.d.ts +3 -2
  131. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  132. package/dest/public/test_executor_metrics.js +2 -2
  133. package/package.json +23 -20
  134. package/src/client.ts +0 -2
  135. package/src/common/errors.ts +1 -1
  136. package/src/private/acvm/acvm.ts +4 -3
  137. package/src/private/acvm/deserialize.ts +1 -1
  138. package/src/private/acvm/serialize.ts +1 -1
  139. package/src/private/acvm_native.ts +11 -5
  140. package/src/private/acvm_wasm.ts +11 -4
  141. package/src/private/circuit_recording/circuit_recorder.ts +90 -81
  142. package/src/private/circuit_recording/file_circuit_recorder.ts +45 -50
  143. package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
  144. package/src/private/circuit_recording/simulator_recorder_wrapper.ts +9 -15
  145. package/src/private/factory.ts +7 -4
  146. package/src/public/avm/testing/account_proof.json +553 -0
  147. package/src/public/avm/testing/account_proof_fetcher.ts +166 -0
  148. package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +24 -4
  149. package/src/public/avm/{fixtures → testing}/utils.ts +5 -41
  150. package/src/public/avm_simulator.ts +29 -0
  151. package/src/public/avm_simulator_pool.ts +226 -0
  152. package/src/public/cdb/generated/api_types.ts +457 -0
  153. package/src/public/cdb/generated/server.ts +109 -0
  154. package/src/public/cdb_ipc_server.ts +197 -0
  155. package/src/public/contracts_db_checkpoint.ts +2 -2
  156. package/src/public/db_interfaces.ts +1 -1
  157. package/src/public/executor_metrics.ts +9 -33
  158. package/src/public/fixtures/amm_test.ts +6 -6
  159. package/src/public/fixtures/bulk_test.ts +40 -15
  160. package/src/public/fixtures/custom_bytecode_tester.ts +53 -19
  161. package/src/public/fixtures/index.ts +6 -2
  162. package/src/public/fixtures/public_processor_test_env.ts +88 -0
  163. package/src/public/fixtures/public_tx_simulation_tester.ts +82 -21
  164. package/src/public/fixtures/simple_contract_data_source.ts +2 -2
  165. package/src/public/fixtures/token_test.ts +4 -4
  166. package/src/public/fixtures/utils.ts +25 -27
  167. package/src/public/fuzzing/avm_fuzzer_simulator.ts +303 -0
  168. package/src/public/fuzzing/avm_simulator_bin.ts +173 -0
  169. package/src/public/index.ts +8 -2
  170. package/src/public/public_db_sources.ts +37 -20
  171. package/src/public/public_processor/guarded_merkle_tree.ts +14 -7
  172. package/src/public/public_processor/public_processor.ts +188 -102
  173. package/src/public/public_processor/public_processor_metrics.ts +28 -44
  174. package/src/public/public_tx_simulator/dumping_public_tx_simulator.ts +67 -0
  175. package/src/public/public_tx_simulator/factories.ts +61 -0
  176. package/src/public/public_tx_simulator/index.ts +7 -4
  177. package/src/public/public_tx_simulator/public_tx_simulator.ts +143 -458
  178. package/src/public/public_tx_simulator/public_tx_simulator_base.ts +37 -0
  179. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +23 -0
  180. package/src/public/test_executor_metrics.ts +3 -3
  181. package/dest/public/avm/avm_context.d.ts +0 -41
  182. package/dest/public/avm/avm_context.d.ts.map +0 -1
  183. package/dest/public/avm/avm_context.js +0 -44
  184. package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
  185. package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
  186. package/dest/public/avm/avm_contract_call_result.js +0 -54
  187. package/dest/public/avm/avm_execution_environment.d.ts +0 -23
  188. package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
  189. package/dest/public/avm/avm_execution_environment.js +0 -33
  190. package/dest/public/avm/avm_gas.d.ts +0 -44
  191. package/dest/public/avm/avm_gas.d.ts.map +0 -1
  192. package/dest/public/avm/avm_gas.js +0 -195
  193. package/dest/public/avm/avm_machine_state.d.ts +0 -97
  194. package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
  195. package/dest/public/avm/avm_machine_state.js +0 -109
  196. package/dest/public/avm/avm_memory_types.d.ts +0 -275
  197. package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
  198. package/dest/public/avm/avm_memory_types.js +0 -351
  199. package/dest/public/avm/avm_simulator.d.ts +0 -40
  200. package/dest/public/avm/avm_simulator.d.ts.map +0 -1
  201. package/dest/public/avm/avm_simulator.js +0 -191
  202. package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
  203. package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
  204. package/dest/public/avm/avm_simulator_interface.js +0 -3
  205. package/dest/public/avm/errors.d.ts +0 -104
  206. package/dest/public/avm/errors.d.ts.map +0 -1
  207. package/dest/public/avm/errors.js +0 -141
  208. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
  209. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  210. package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -83
  211. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  212. package/dest/public/avm/fixtures/initializers.d.ts +0 -42
  213. package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
  214. package/dest/public/avm/fixtures/initializers.js +0 -44
  215. package/dest/public/avm/fixtures/utils.d.ts +0 -39
  216. package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
  217. package/dest/public/avm/index.d.ts +0 -2
  218. package/dest/public/avm/index.d.ts.map +0 -1
  219. package/dest/public/avm/index.js +0 -1
  220. package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -75
  221. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
  222. package/dest/public/avm/opcodes/accrued_substate.js +0 -255
  223. package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
  224. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
  225. package/dest/public/avm/opcodes/addressing_mode.js +0 -94
  226. package/dest/public/avm/opcodes/arithmetic.d.ts +0 -47
  227. package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
  228. package/dest/public/avm/opcodes/arithmetic.js +0 -87
  229. package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
  230. package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
  231. package/dest/public/avm/opcodes/bitwise.js +0 -99
  232. package/dest/public/avm/opcodes/comparators.d.ts +0 -25
  233. package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
  234. package/dest/public/avm/opcodes/comparators.js +0 -43
  235. package/dest/public/avm/opcodes/contract.d.ts +0 -20
  236. package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
  237. package/dest/public/avm/opcodes/contract.js +0 -65
  238. package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
  239. package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
  240. package/dest/public/avm/opcodes/control_flow.js +0 -107
  241. package/dest/public/avm/opcodes/conversion.d.ts +0 -18
  242. package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
  243. package/dest/public/avm/opcodes/conversion.js +0 -333
  244. package/dest/public/avm/opcodes/ec_add.d.ts +0 -19
  245. package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
  246. package/dest/public/avm/opcodes/ec_add.js +0 -84
  247. package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
  248. package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
  249. package/dest/public/avm/opcodes/environment_getters.js +0 -77
  250. package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
  251. package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
  252. package/dest/public/avm/opcodes/external_calls.js +0 -209
  253. package/dest/public/avm/opcodes/hashing.d.ts +0 -36
  254. package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
  255. package/dest/public/avm/opcodes/hashing.js +0 -114
  256. package/dest/public/avm/opcodes/index.d.ts +0 -16
  257. package/dest/public/avm/opcodes/index.d.ts.map +0 -1
  258. package/dest/public/avm/opcodes/index.js +0 -15
  259. package/dest/public/avm/opcodes/instruction.d.ts +0 -74
  260. package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
  261. package/dest/public/avm/opcodes/instruction.js +0 -95
  262. package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
  263. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
  264. package/dest/public/avm/opcodes/instruction_impl.js +0 -30
  265. package/dest/public/avm/opcodes/memory.d.ts +0 -74
  266. package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
  267. package/dest/public/avm/opcodes/memory.js +0 -257
  268. package/dest/public/avm/opcodes/misc.d.ts +0 -18
  269. package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
  270. package/dest/public/avm/opcodes/misc.js +0 -73
  271. package/dest/public/avm/opcodes/storage.d.ts +0 -24
  272. package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
  273. package/dest/public/avm/opcodes/storage.js +0 -68
  274. package/dest/public/avm/revert_reason.d.ts +0 -18
  275. package/dest/public/avm/revert_reason.d.ts.map +0 -1
  276. package/dest/public/avm/revert_reason.js +0 -39
  277. package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
  278. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
  279. package/dest/public/avm/serialization/buffer_cursor.js +0 -99
  280. package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
  281. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  282. package/dest/public/avm/serialization/bytecode_serialization.js +0 -336
  283. package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
  284. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
  285. package/dest/public/avm/serialization/instruction_serialization.js +0 -261
  286. package/dest/public/avm/test_utils.d.ts +0 -15
  287. package/dest/public/avm/test_utils.d.ts.map +0 -1
  288. package/dest/public/avm/test_utils.js +0 -44
  289. package/dest/public/debug_fn_name.d.ts +0 -18
  290. package/dest/public/debug_fn_name.d.ts.map +0 -1
  291. package/dest/public/debug_fn_name.js +0 -28
  292. package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -9
  293. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
  294. package/dest/public/fixtures/custom_bytecode_tests.js +0 -109
  295. package/dest/public/fixtures/minimal_public_tx.d.ts +0 -9
  296. package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
  297. package/dest/public/fixtures/minimal_public_tx.js +0 -29
  298. package/dest/public/hinting_db_sources.d.ts +0 -79
  299. package/dest/public/hinting_db_sources.d.ts.map +0 -1
  300. package/dest/public/hinting_db_sources.js +0 -350
  301. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +0 -30
  302. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +0 -1
  303. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +0 -133
  304. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -38
  305. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
  306. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -93
  307. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +0 -42
  308. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +0 -1
  309. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +0 -86
  310. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +0 -30
  311. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +0 -1
  312. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +0 -170
  313. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -31
  314. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
  315. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
  316. package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -130
  317. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
  318. package/dest/public/public_tx_simulator/public_tx_context.js +0 -300
  319. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
  320. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
  321. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -39
  322. package/dest/public/side_effect_trace.d.ts +0 -86
  323. package/dest/public/side_effect_trace.d.ts.map +0 -1
  324. package/dest/public/side_effect_trace.js +0 -199
  325. package/dest/public/side_effect_trace_interface.d.ts +0 -22
  326. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  327. package/dest/public/side_effect_trace_interface.js +0 -1
  328. package/dest/public/state_manager/index.d.ts +0 -2
  329. package/dest/public/state_manager/index.d.ts.map +0 -1
  330. package/dest/public/state_manager/index.js +0 -1
  331. package/dest/public/state_manager/nullifiers.d.ts +0 -61
  332. package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
  333. package/dest/public/state_manager/nullifiers.js +0 -92
  334. package/dest/public/state_manager/public_storage.d.ts +0 -66
  335. package/dest/public/state_manager/public_storage.d.ts.map +0 -1
  336. package/dest/public/state_manager/public_storage.js +0 -145
  337. package/dest/public/state_manager/state_manager.d.ts +0 -164
  338. package/dest/public/state_manager/state_manager.d.ts.map +0 -1
  339. package/dest/public/state_manager/state_manager.js +0 -395
  340. package/src/public/avm/avm_context.ts +0 -61
  341. package/src/public/avm/avm_contract_call_result.ts +0 -67
  342. package/src/public/avm/avm_execution_environment.ts +0 -46
  343. package/src/public/avm/avm_gas.ts +0 -183
  344. package/src/public/avm/avm_machine_state.ts +0 -169
  345. package/src/public/avm/avm_memory_types.ts +0 -436
  346. package/src/public/avm/avm_simulator.ts +0 -276
  347. package/src/public/avm/avm_simulator_interface.ts +0 -8
  348. package/src/public/avm/errors.ts +0 -177
  349. package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -116
  350. package/src/public/avm/fixtures/initializers.ts +0 -102
  351. package/src/public/avm/index.ts +0 -1
  352. package/src/public/avm/opcodes/accrued_substate.ts +0 -288
  353. package/src/public/avm/opcodes/addressing_mode.ts +0 -111
  354. package/src/public/avm/opcodes/arithmetic.ts +0 -117
  355. package/src/public/avm/opcodes/bitwise.ts +0 -113
  356. package/src/public/avm/opcodes/comparators.ts +0 -55
  357. package/src/public/avm/opcodes/contract.ts +0 -75
  358. package/src/public/avm/opcodes/control_flow.ts +0 -123
  359. package/src/public/avm/opcodes/conversion.ts +0 -104
  360. package/src/public/avm/opcodes/ec_add.ts +0 -96
  361. package/src/public/avm/opcodes/environment_getters.ts +0 -87
  362. package/src/public/avm/opcodes/external_calls.ts +0 -260
  363. package/src/public/avm/opcodes/hashing.ts +0 -145
  364. package/src/public/avm/opcodes/index.ts +0 -15
  365. package/src/public/avm/opcodes/instruction.ts +0 -136
  366. package/src/public/avm/opcodes/instruction_impl.ts +0 -36
  367. package/src/public/avm/opcodes/memory.ts +0 -293
  368. package/src/public/avm/opcodes/misc.ts +0 -102
  369. package/src/public/avm/opcodes/storage.ts +0 -87
  370. package/src/public/avm/revert_reason.ts +0 -58
  371. package/src/public/avm/serialization/buffer_cursor.ts +0 -118
  372. package/src/public/avm/serialization/bytecode_serialization.ts +0 -215
  373. package/src/public/avm/serialization/instruction_serialization.ts +0 -249
  374. package/src/public/avm/test_utils.ts +0 -64
  375. package/src/public/debug_fn_name.ts +0 -43
  376. package/src/public/fixtures/custom_bytecode_tests.ts +0 -135
  377. package/src/public/fixtures/minimal_public_tx.ts +0 -35
  378. package/src/public/hinting_db_sources.ts +0 -603
  379. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +0 -162
  380. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -155
  381. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +0 -132
  382. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +0 -240
  383. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -105
  384. package/src/public/public_tx_simulator/public_tx_context.ts +0 -477
  385. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
  386. package/src/public/side_effect_trace.ts +0 -290
  387. package/src/public/side_effect_trace_interface.ts +0 -28
  388. package/src/public/state_manager/index.ts +0 -1
  389. package/src/public/state_manager/nullifiers.ts +0 -103
  390. package/src/public/state_manager/public_storage.ts +0 -174
  391. package/src/public/state_manager/state_manager.ts +0 -560
@@ -1,6 +1,7 @@
1
- import { sha512 } from '@aztec/foundation/crypto';
2
- import { createLogger } from '@aztec/foundation/log';
1
+ import { sha512 } from '@aztec/foundation/crypto/sha512';
2
+ import { resolveLogger } from '@aztec/foundation/log';
3
3
  import { Timer } from '@aztec/foundation/timer';
4
+ import { AsyncLocalStorage } from 'node:async_hooks';
4
5
  export class CircuitRecording {
5
6
  circuitName;
6
7
  functionName;
@@ -26,6 +27,11 @@ export class CircuitRecording {
26
27
  * Class responsible for recording circuit inputs necessary to replay the circuit. These inputs are the initial witness
27
28
  * map and the oracle calls made during the circuit execution/witness generation.
28
29
  *
30
+ * The active recording for an execution lives in `AsyncLocalStorage`, so each (possibly nested) circuit execution owns
31
+ * its own recording and concurrent or re-entrant executions cannot corrupt one another's state. Nested executions
32
+ * (`aztec_prv_callPrivateFunction`, utility calls) re-enter {@link record}, which links the child to the recording
33
+ * active in the enclosing async context and lets ALS restore the parent automatically when the child completes.
34
+ *
29
35
  * Example recording object:
30
36
  * ```json
31
37
  * {
@@ -67,26 +73,39 @@ export class CircuitRecording {
67
73
  * }
68
74
  * ```
69
75
  */ export class CircuitRecorder {
70
- logger = createLogger('simulator:acvm:recording');
71
- recording;
72
- stackDepth = 0;
73
- newCircuit = true;
74
- constructor(){}
76
+ logger;
77
+ #recordings = new AsyncLocalStorage();
78
+ constructor(loggerOrBindings){
79
+ this.logger = resolveLogger('simulator:acvm:recording', loggerOrBindings);
80
+ }
75
81
  /**
76
- * Initializes a new circuit recording session.
77
- * @param recordDir - Directory to store the recording
78
- * @param input - Circuit input witness
79
- * @param circuitBytecode - Compiled circuit bytecode
80
- * @param circuitName - Name of the circuit
81
- * @param functionName - Name of the circuit function (defaults to 'main'). This is meaningful only for
82
- * contracts as protocol circuits artifacts always contain a single entrypoint function called 'main'.
83
- */ start(input, circuitBytecode, circuitName, functionName) {
84
- const parentRef = this.recording;
85
- if (this.newCircuit) {
86
- this.recording = new CircuitRecording(circuitName, functionName, sha512(circuitBytecode).toString('hex'), Object.fromEntries(input));
87
- }
88
- this.recording.setParent(parentRef);
89
- return Promise.resolve();
82
+ * Records a single circuit execution. Opens a recording for the circuit (linked as a child of the recording active
83
+ * in the current async context, if any), runs `fn` within that recording's context, and finalizes it. The recording
84
+ * is returned alongside the result so callers can derive per-circuit stats (e.g. oracle timings).
85
+ *
86
+ * Recorder bookkeeping never alters execution: if `fn` throws, the error is attached to the recording and re-thrown
87
+ * unchanged.
88
+ * @param metadata - Identifies the circuit and its initial witness.
89
+ * @param fn - Runs the circuit execution; its oracle calls are recorded into this recording.
90
+ */ record(metadata, fn) {
91
+ const parent = this.#recordings.getStore();
92
+ const recording = new CircuitRecording(metadata.circuitName, metadata.functionName, sha512(metadata.bytecode).toString('hex'), Object.fromEntries(metadata.input));
93
+ recording.setParent(parent);
94
+ return this.#recordings.run(recording, async ()=>{
95
+ await this.onStart(recording);
96
+ try {
97
+ const result = await fn();
98
+ await this.onFinish(recording);
99
+ return {
100
+ result,
101
+ recording
102
+ };
103
+ } catch (error) {
104
+ recording.error = JSON.stringify(error);
105
+ await this.onError(recording, error);
106
+ throw error;
107
+ }
108
+ });
90
109
  }
91
110
  /**
92
111
  * Wraps a callback to record all oracle/foreign calls.
@@ -107,7 +126,9 @@ export class CircuitRecording {
107
126
  return typeof callback === 'object' && callback !== null && !('call' in callback);
108
127
  }
109
128
  /**
110
- * Wraps a user circuit callback to record all oracle calls.
129
+ * Wraps a user circuit callback to record all oracle calls. A nested circuit entered via an oracle (e.g.
130
+ * `aztec_prv_callPrivateFunction`) re-enters {@link record}, so its own oracle calls land on the child recording and
131
+ * this circuit's calls (including the entering oracle call itself) land on this recording once the child completes.
111
132
  * @param callback - The original circuit callback.
112
133
  * @returns A wrapped callback that records all oracle interactions which is to be provided to the ACVM.
113
134
  */ #wrapUserCircuitCallback(callback) {
@@ -118,37 +139,16 @@ export class CircuitRecording {
118
139
  if (!fn || typeof fn !== 'function') {
119
140
  throw new Error(`Oracle method ${name} not found when setting up recording callback`);
120
141
  }
121
- const isExternalCall = name === 'privateCallPrivateFunction';
122
142
  recordingCallback[name] = (...args)=>{
123
143
  const timer = new Timer();
124
- // If we're entering another circuit via `privateCallPrivateFunction`, we increase the stack depth and set the
125
- // newCircuit variable to ensure we are creating a new recording object.
126
- if (isExternalCall) {
127
- this.stackDepth++;
128
- this.newCircuit = true;
129
- }
130
144
  const result = fn.call(callback, ...args);
131
145
  if (result instanceof Promise) {
132
146
  return result.then(async (r)=>{
133
- // Once we leave the nested circuit, we decrease the stack depth and set newCircuit to false
134
- // since we are going back to the "parent" circuit which can never be new
135
- if (isExternalCall) {
136
- this.stackDepth--;
137
- this.newCircuit = false;
138
- this.recording = this.recording.parent;
139
- }
140
- await this.recordCall(name, args, r, timer.ms(), this.stackDepth);
147
+ await this.recordCall(name, args, r, timer.ms());
141
148
  return r;
142
149
  });
143
150
  }
144
- // Once we leave the nested circuit, we decrease the stack depth and set newCircuit to false
145
- // since we are going back to the "parent" circuit which can never be new
146
- if (isExternalCall) {
147
- this.stackDepth--;
148
- this.newCircuit = false;
149
- this.recording = this.recording.parent;
150
- }
151
- void this.recordCall(name, args, result, timer.ms(), this.stackDepth);
151
+ void this.recordCall(name, args, result, timer.ms());
152
152
  return result;
153
153
  };
154
154
  }
@@ -162,48 +162,47 @@ export class CircuitRecording {
162
162
  return async (name, inputs)=>{
163
163
  const timer = new Timer();
164
164
  const result = await callback(name, inputs);
165
- await this.recordCall(name, inputs, result, timer.ms(), 0);
165
+ await this.recordCall(name, inputs, result, timer.ms());
166
166
  return result;
167
167
  };
168
168
  }
169
169
  /**
170
- * Records a single oracle/foreign call with its inputs and outputs.
170
+ * Records a single oracle/foreign call with its inputs and outputs against the recording active in the current
171
+ * async context.
171
172
  * @param name - Name of the call
172
173
  * @param inputs - Input arguments
173
174
  * @param outputs - Output results
174
- */ recordCall(name, inputs, outputs, time, stackDepth) {
175
+ */ recordCall(name, inputs, outputs, time) {
176
+ const recording = this.#recordings.getStore();
175
177
  const entry = {
176
178
  name,
177
179
  inputs,
178
180
  outputs,
179
181
  time,
180
- stackDepth
182
+ stackDepth: depthOf(recording)
181
183
  };
182
- this.recording.oracleCalls.push(entry);
184
+ // Outside any active recording context (e.g. a stray call after the scope closed, or a direct unit-test call)
185
+ // there is nowhere to record; return the entry without throwing into the execution path.
186
+ recording?.oracleCalls.push(entry);
183
187
  return Promise.resolve(entry);
184
188
  }
185
- /**
186
- * Finalizes the recording by resetting the state and returning the recording object.
187
- */ finish() {
188
- const result = this.recording;
189
- // If this is the top-level circuit recording, we reset the state for the next simulator call
190
- if (!result.parent) {
191
- this.newCircuit = true;
192
- this.recording = undefined;
193
- }
194
- return Promise.resolve(result);
189
+ /** The recording active in the current async context, if any. */ currentRecording() {
190
+ return this.#recordings.getStore();
195
191
  }
196
- /**
197
- * Finalizes the recording by resetting the state and returning the recording object with an attached error.
198
- * @param error - The error that occurred during circuit execution
199
- */ finishWithError(error) {
200
- const result = this.recording;
201
- // If this is the top-level circuit recording, we reset the state for the next simulator call
202
- if (!result.parent) {
203
- this.newCircuit = true;
204
- this.recording = undefined;
205
- }
206
- result.error = JSON.stringify(error);
207
- return Promise.resolve(result);
192
+ /** Hook invoked when a recording opens, within the recording's context. Overridden to persist recordings. */ onStart(_recording) {
193
+ return Promise.resolve();
194
+ }
195
+ /** Hook invoked when a recording completes successfully, within the recording's context. */ onFinish(_recording) {
196
+ return Promise.resolve();
197
+ }
198
+ /** Hook invoked when a recording's execution throws, within the recording's context. */ onError(_recording, _error) {
199
+ return Promise.resolve();
200
+ }
201
+ }
202
+ /** Depth of a recording in the call tree: 0 for a top-level circuit, incremented per nested circuit. */ function depthOf(recording) {
203
+ let depth = 0;
204
+ for(let ancestor = recording?.parent; ancestor; ancestor = ancestor.parent){
205
+ depth++;
208
206
  }
207
+ return depth;
209
208
  }
@@ -1,31 +1,20 @@
1
- import type { ACVMWitness } from '../acvm/acvm_types.js';
1
+ import type { Logger } from '@aztec/foundation/log';
2
2
  import { CircuitRecorder, type CircuitRecording } from './circuit_recorder.js';
3
3
  export declare class FileCircuitRecorder extends CircuitRecorder {
4
4
  #private;
5
5
  private readonly recordDir;
6
- recording?: CircuitRecording & {
7
- filePath: string;
8
- isFirstCall: boolean;
9
- };
10
- constructor(recordDir: string);
11
- start(input: ACVMWitness, circuitBytecode: Buffer, circuitName: string, functionName?: string): Promise<void>;
6
+ constructor(recordDir: string, logger?: Logger);
7
+ protected onStart(recording: CircuitRecording): Promise<void>;
12
8
  /**
13
9
  * Records a single oracle/foreign call with its inputs and outputs.
14
10
  * @param name - Name of the call
15
11
  * @param inputs - Input arguments
16
12
  * @param outputs - Output results
17
13
  */
18
- recordCall(name: string, inputs: unknown[], outputs: unknown, time: number, stackDepth: number): Promise<import("./circuit_recorder.js").OracleCall>;
19
- /**
20
- * Finalizes the recording file by adding closing brackets. Without calling this method, the recording file is
21
- * incomplete and it fails to parse.
22
- */
23
- finish(): Promise<CircuitRecording>;
24
- /**
25
- * Finalizes the recording file by adding the error and closing brackets. Without calling this method or `finish`,
26
- * the recording file is incomplete and it fails to parse.
27
- * @param error - The error that occurred during circuit execution
28
- */
29
- finishWithError(error: unknown): Promise<CircuitRecording>;
14
+ recordCall(name: string, inputs: unknown[], outputs: unknown, time: number): Promise<import("./circuit_recorder.js").OracleCall>;
15
+ /** Closes the recording file with the trailing brackets so the JSON parses. */
16
+ protected onFinish(recording: CircuitRecording): Promise<void>;
17
+ /** Closes the recording file with the execution error and trailing brackets so the JSON parses. */
18
+ protected onError(recording: CircuitRecording, error: unknown): Promise<void>;
30
19
  }
31
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmlsZV9jaXJjdWl0X3JlY29yZGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHJpdmF0ZS9jaXJjdWl0X3JlY29yZGluZy9maWxlX2NpcmN1aXRfcmVjb3JkZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDekQsT0FBTyxFQUFFLGVBQWUsRUFBRSxLQUFLLGdCQUFnQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFL0UscUJBQWEsbUJBQW9CLFNBQVEsZUFBZTs7SUFHMUMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxTQUFTO0lBRjlCLFNBQVMsQ0FBQyxFQUFFLGdCQUFnQixHQUFHO1FBQUUsUUFBUSxFQUFFLE1BQU0sQ0FBQztRQUFDLFdBQVcsRUFBRSxPQUFPLENBQUE7S0FBRSxDQUFDO0lBRWxGLFlBQTZCLFNBQVMsRUFBRSxNQUFNLEVBRTdDO0lBRWMsS0FBSyxDQUNsQixLQUFLLEVBQUUsV0FBVyxFQUNsQixlQUFlLEVBQUUsTUFBTSxFQUN2QixXQUFXLEVBQUUsTUFBTSxFQUNuQixZQUFZLEdBQUUsTUFBZSxpQkFnQzlCO0lBcUNEOzs7OztPQUtHO0lBQ1ksVUFBVSxDQUFDLElBQUksRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLE9BQU8sRUFBRSxFQUFFLE9BQU8sRUFBRSxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0sRUFBRSxVQUFVLEVBQUUsTUFBTSx1REFVNUc7SUFFRDs7O09BR0c7SUFDWSxNQUFNLElBQUksT0FBTyxDQUFDLGdCQUFnQixDQUFDLENBV2pEO0lBRUQ7Ozs7T0FJRztJQUNZLGVBQWUsQ0FBQyxLQUFLLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQWF4RTtDQUNGIn0=
20
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmlsZV9jaXJjdWl0X3JlY29yZGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHJpdmF0ZS9jaXJjdWl0X3JlY29yZGluZy9maWxlX2NpcmN1aXRfcmVjb3JkZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFLcEQsT0FBTyxFQUFFLGVBQWUsRUFBRSxLQUFLLGdCQUFnQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFLL0UscUJBQWEsbUJBQW9CLFNBQVEsZUFBZTs7SUFJcEQsT0FBTyxDQUFDLFFBQVEsQ0FBQyxTQUFTO0lBRDVCLFlBQ21CLFNBQVMsRUFBRSxNQUFNLEVBQ2xDLE1BQU0sQ0FBQyxFQUFFLE1BQU0sRUFHaEI7SUFFRCxVQUF5QixPQUFPLENBQUMsU0FBUyxFQUFFLGdCQUFnQixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0E2QjNFO0lBcUNEOzs7OztPQUtHO0lBQ1ksVUFBVSxDQUFDLElBQUksRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLE9BQU8sRUFBRSxFQUFFLE9BQU8sRUFBRSxPQUFPLEVBQUUsSUFBSSxFQUFFLE1BQU0sdURBY3hGO0lBRUQsK0VBQStFO0lBQy9FLFVBQXlCLFFBQVEsQ0FBQyxTQUFTLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVU1RTtJQUVELG1HQUFtRztJQUNuRyxVQUF5QixPQUFPLENBQUMsU0FBUyxFQUFFLGdCQUFnQixFQUFFLEtBQUssRUFBRSxPQUFPLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVkzRjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"file_circuit_recorder.d.ts","sourceRoot":"","sources":["../../../src/private/circuit_recording/file_circuit_recorder.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE/E,qBAAa,mBAAoB,SAAQ,eAAe;;IAG1C,OAAO,CAAC,QAAQ,CAAC,SAAS;IAF9B,SAAS,CAAC,EAAE,gBAAgB,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,OAAO,CAAA;KAAE,CAAC;IAElF,YAA6B,SAAS,EAAE,MAAM,EAE7C;IAEc,KAAK,CAClB,KAAK,EAAE,WAAW,EAClB,eAAe,EAAE,MAAM,EACvB,WAAW,EAAE,MAAM,EACnB,YAAY,GAAE,MAAe,iBAgC9B;IAqCD;;;;;OAKG;IACY,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,uDAU5G;IAED;;;OAGG;IACY,MAAM,IAAI,OAAO,CAAC,gBAAgB,CAAC,CAWjD;IAED;;;;OAIG;IACY,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAaxE;CACF"}
1
+ {"version":3,"file":"file_circuit_recorder.d.ts","sourceRoot":"","sources":["../../../src/private/circuit_recording/file_circuit_recorder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAKpD,OAAO,EAAE,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAK/E,qBAAa,mBAAoB,SAAQ,eAAe;;IAIpD,OAAO,CAAC,QAAQ,CAAC,SAAS;IAD5B,YACmB,SAAS,EAAE,MAAM,EAClC,MAAM,CAAC,EAAE,MAAM,EAGhB;IAED,UAAyB,OAAO,CAAC,SAAS,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CA6B3E;IAqCD;;;;;OAKG;IACY,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,uDAcxF;IAED,+EAA+E;IAC/E,UAAyB,QAAQ,CAAC,SAAS,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAU5E;IAED,mGAAmG;IACnG,UAAyB,OAAO,CAAC,SAAS,EAAE,gBAAgB,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAY3F;CACF"}
@@ -3,17 +3,15 @@ import path from 'path';
3
3
  import { CircuitRecorder } from './circuit_recorder.js';
4
4
  export class FileCircuitRecorder extends CircuitRecorder {
5
5
  recordDir;
6
- constructor(recordDir){
7
- super(), this.recordDir = recordDir;
6
+ #fileState;
7
+ constructor(recordDir, logger){
8
+ super(logger), this.recordDir = recordDir, this.#fileState = new WeakMap();
8
9
  }
9
- async start(input, circuitBytecode, circuitName, functionName = 'main') {
10
- await super.start(input, circuitBytecode, circuitName, functionName);
10
+ async onStart(recording) {
11
11
  const recordingStringWithoutClosingBracket = JSON.stringify({
12
- ...this.recording,
13
- isFirstCall: undefined,
12
+ ...recording,
14
13
  parent: undefined,
15
- oracleCalls: undefined,
16
- filePath: undefined
14
+ oracleCalls: undefined
17
15
  }, null, 2).slice(0, -2);
18
16
  try {
19
17
  // Check if the recording directory exists and is a directory
@@ -31,8 +29,11 @@ export class FileCircuitRecorder extends CircuitRecorder {
31
29
  throw err;
32
30
  }
33
31
  }
34
- this.recording.isFirstCall = true;
35
- this.recording.filePath = await FileCircuitRecorder.#computeFilePathAndStoreInitialRecording(this.recordDir, this.recording.circuitName, this.recording.functionName, recordingStringWithoutClosingBracket);
32
+ const filePath = await FileCircuitRecorder.#computeFilePathAndStoreInitialRecording(this.recordDir, recording.circuitName, recording.functionName, recordingStringWithoutClosingBracket);
33
+ this.#fileState.set(recording, {
34
+ filePath,
35
+ isFirstCall: true
36
+ });
36
37
  }
37
38
  /**
38
39
  * Computes a unique file path for the recording by trying different counter values.
@@ -67,55 +68,50 @@ export class FileCircuitRecorder extends CircuitRecorder {
67
68
  * @param name - Name of the call
68
69
  * @param inputs - Input arguments
69
70
  * @param outputs - Output results
70
- */ async recordCall(name, inputs, outputs, time, stackDepth) {
71
- const entry = await super.recordCall(name, inputs, outputs, time, stackDepth);
72
- try {
73
- const prefix = this.recording.isFirstCall ? ' ' : ' ,';
74
- this.recording.isFirstCall = false;
75
- await fs.appendFile(this.recording.filePath, prefix + JSON.stringify(entry) + '\n');
76
- } catch (err) {
77
- this.logger.error('Failed to log circuit call', {
78
- error: err
79
- });
71
+ */ async recordCall(name, inputs, outputs, time) {
72
+ const entry = await super.recordCall(name, inputs, outputs, time);
73
+ const recording = this.currentRecording();
74
+ const state = recording && this.#fileState.get(recording);
75
+ if (state) {
76
+ try {
77
+ const prefix = state.isFirstCall ? ' ' : ' ,';
78
+ state.isFirstCall = false;
79
+ await fs.appendFile(state.filePath, prefix + JSON.stringify(entry) + '\n');
80
+ } catch (err) {
81
+ this.logger.error('Failed to log circuit call', {
82
+ error: err
83
+ });
84
+ }
80
85
  }
81
86
  return entry;
82
87
  }
83
- /**
84
- * Finalizes the recording file by adding closing brackets. Without calling this method, the recording file is
85
- * incomplete and it fails to parse.
86
- */ async finish() {
87
- // Finish sets the recording to undefined if we are at the topmost circuit,
88
- // so we save the current file path before that
89
- const filePath = this.recording.filePath;
90
- const result = await super.finish();
88
+ /** Closes the recording file with the trailing brackets so the JSON parses. */ async onFinish(recording) {
89
+ const state = this.#fileState.get(recording);
90
+ if (!state) {
91
+ return;
92
+ }
91
93
  try {
92
- await fs.appendFile(filePath, ' ]\n}\n');
94
+ await fs.appendFile(state.filePath, ' ]\n}\n');
93
95
  } catch (err) {
94
96
  this.logger.error('Failed to finalize recording file', {
95
97
  error: err
96
98
  });
97
99
  }
98
- return result;
99
100
  }
100
- /**
101
- * Finalizes the recording file by adding the error and closing brackets. Without calling this method or `finish`,
102
- * the recording file is incomplete and it fails to parse.
103
- * @param error - The error that occurred during circuit execution
104
- */ async finishWithError(error) {
105
- // Finish sets the recording to undefined if we are at the topmost circuit,
106
- // so we save the current file path before that
107
- const filePath = this.recording.filePath;
108
- const result = await super.finishWithError(error);
101
+ /** Closes the recording file with the execution error and trailing brackets so the JSON parses. */ async onError(recording, error) {
102
+ const state = this.#fileState.get(recording);
103
+ if (!state) {
104
+ return;
105
+ }
109
106
  try {
110
- await fs.appendFile(filePath, ' ],\n');
111
- await fs.appendFile(filePath, ` "error": ${JSON.stringify(error)}\n`);
112
- await fs.appendFile(filePath, '}\n');
107
+ await fs.appendFile(state.filePath, ' ],\n');
108
+ await fs.appendFile(state.filePath, ` "error": ${JSON.stringify(error)}\n`);
109
+ await fs.appendFile(state.filePath, '}\n');
113
110
  } catch (err) {
114
111
  this.logger.error('Failed to finalize recording file with error', {
115
112
  error: err
116
113
  });
117
114
  }
118
- return result;
119
115
  }
120
116
  }
121
117
  /**
@@ -1,5 +1,10 @@
1
+ import type { Logger } from '@aztec/foundation/log';
1
2
  import { CircuitRecorder } from './circuit_recorder.js';
3
+ /**
4
+ * In memory circuit recorder uses the default implementation. This is kept
5
+ * while we decide the fate of the FileCircuitRecorder.
6
+ */
2
7
  export declare class MemoryCircuitRecorder extends CircuitRecorder {
3
- constructor();
8
+ constructor(logger?: Logger);
4
9
  }
5
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVtb3J5X2NpcmN1aXRfcmVjb3JkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wcml2YXRlL2NpcmN1aXRfcmVjb3JkaW5nL21lbW9yeV9jaXJjdWl0X3JlY29yZGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQU14RCxxQkFBYSxxQkFBc0IsU0FBUSxlQUFlO0lBQ3hELGNBRUM7Q0FDRiJ9
10
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVtb3J5X2NpcmN1aXRfcmVjb3JkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wcml2YXRlL2NpcmN1aXRfcmVjb3JkaW5nL21lbW9yeV9jaXJjdWl0X3JlY29yZGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRXBELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUV4RDs7O0dBR0c7QUFDSCxxQkFBYSxxQkFBc0IsU0FBUSxlQUFlO0lBQ3hELFlBQVksTUFBTSxDQUFDLEVBQUUsTUFBTSxFQUUxQjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"memory_circuit_recorder.d.ts","sourceRoot":"","sources":["../../../src/private/circuit_recording/memory_circuit_recorder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAMxD,qBAAa,qBAAsB,SAAQ,eAAe;IACxD,cAEC;CACF"}
1
+ {"version":3,"file":"memory_circuit_recorder.d.ts","sourceRoot":"","sources":["../../../src/private/circuit_recording/memory_circuit_recorder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD;;;GAGG;AACH,qBAAa,qBAAsB,SAAQ,eAAe;IACxD,YAAY,MAAM,CAAC,EAAE,MAAM,EAE1B;CACF"}
@@ -1,9 +1,9 @@
1
1
  import { CircuitRecorder } from './circuit_recorder.js';
2
- /*
2
+ /**
3
3
  * In memory circuit recorder uses the default implementation. This is kept
4
- * while we decide the fate of the FileCircuitRecorder
4
+ * while we decide the fate of the FileCircuitRecorder.
5
5
  */ export class MemoryCircuitRecorder extends CircuitRecorder {
6
- constructor(){
7
- super();
6
+ constructor(logger){
7
+ super(logger);
8
8
  }
9
9
  }
@@ -18,4 +18,4 @@ export declare class SimulatorRecorderWrapper implements CircuitSimulator {
18
18
  executeProtocolCircuit(input: ACVMWitness, artifact: NoirCompiledCircuitWithName, callback: ForeignCallHandler | undefined): Promise<ACVMSuccess>;
19
19
  executeUserCircuit(input: ACVMWitness, artifact: FunctionArtifactWithContractName, callback: ACIRCallback): Promise<ACIRExecutionResult>;
20
20
  }
21
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltdWxhdG9yX3JlY29yZGVyX3dyYXBwZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wcml2YXRlL2NpcmN1aXRfcmVjb3JkaW5nL3NpbXVsYXRvcl9yZWNvcmRlcl93cmFwcGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMxRSxPQUFPLEtBQUssRUFBRSwyQkFBMkIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXRFLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBcUIsbUJBQW1CLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUM1RixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNyRCxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRTdEOzs7R0FHRztBQUNILHFCQUFhLHdCQUF5QixZQUFXLGdCQUFnQjs7SUFFN0QsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLFFBQVE7SUFGbEIsWUFDVSxTQUFTLEVBQUUsZ0JBQWdCLEVBQzNCLFFBQVEsRUFBRSxlQUFlLEVBQy9CO0lBRUosc0JBQXNCLENBQ3BCLEtBQUssRUFBRSxXQUFXLEVBQ2xCLFFBQVEsRUFBRSwyQkFBMkIsRUFDckMsUUFBUSxFQUFFLGtCQUFrQixHQUFHLFNBQVMsR0FDdkMsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQVd0QjtJQUVELGtCQUFrQixDQUNoQixLQUFLLEVBQUUsV0FBVyxFQUNsQixRQUFRLEVBQUUsZ0NBQWdDLEVBQzFDLFFBQVEsRUFBRSxZQUFZLEdBQ3JCLE9BQU8sQ0FBQyxtQkFBbUIsQ0FBQyxDQVM5QjtDQXdDRiJ9
21
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2ltdWxhdG9yX3JlY29yZGVyX3dyYXBwZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wcml2YXRlL2NpcmN1aXRfcmVjb3JkaW5nL3NpbXVsYXRvcl9yZWNvcmRlcl93cmFwcGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMxRSxPQUFPLEtBQUssRUFBRSwyQkFBMkIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXRFLE9BQU8sS0FBSyxFQUFFLFlBQVksRUFBcUIsbUJBQW1CLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUM1RixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNyRCxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRTdEOzs7R0FHRztBQUNILHFCQUFhLHdCQUF5QixZQUFXLGdCQUFnQjs7SUFFN0QsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLFFBQVE7SUFGbEIsWUFDVSxTQUFTLEVBQUUsZ0JBQWdCLEVBQzNCLFFBQVEsRUFBRSxlQUFlLEVBQy9CO0lBRUosc0JBQXNCLENBQ3BCLEtBQUssRUFBRSxXQUFXLEVBQ2xCLFFBQVEsRUFBRSwyQkFBMkIsRUFDckMsUUFBUSxFQUFFLGtCQUFrQixHQUFHLFNBQVMsR0FDdkMsT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQVd0QjtJQUVELGtCQUFrQixDQUNoQixLQUFLLEVBQUUsV0FBVyxFQUNsQixRQUFRLEVBQUUsZ0NBQWdDLEVBQzFDLFFBQVEsRUFBRSxZQUFZLEdBQ3JCLE9BQU8sQ0FBQyxtQkFBbUIsQ0FBQyxDQVM5QjtDQWtDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"simulator_recorder_wrapper.d.ts","sourceRoot":"","sources":["../../../src/private/circuit_recording/simulator_recorder_wrapper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEtE,OAAO,KAAK,EAAE,YAAY,EAAqB,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC5F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;GAGG;AACH,qBAAa,wBAAyB,YAAW,gBAAgB;;IAE7D,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,QAAQ;IAFlB,YACU,SAAS,EAAE,gBAAgB,EAC3B,QAAQ,EAAE,eAAe,EAC/B;IAEJ,sBAAsB,CACpB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,2BAA2B,EACrC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GACvC,OAAO,CAAC,WAAW,CAAC,CAWtB;IAED,kBAAkB,CAChB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,gCAAgC,EAC1C,QAAQ,EAAE,YAAY,GACrB,OAAO,CAAC,mBAAmB,CAAC,CAS9B;CAwCF"}
1
+ {"version":3,"file":"simulator_recorder_wrapper.d.ts","sourceRoot":"","sources":["../../../src/private/circuit_recording/simulator_recorder_wrapper.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,mBAAmB,CAAC;AAC1E,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEtE,OAAO,KAAK,EAAE,YAAY,EAAqB,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC5F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAE7D;;;GAGG;AACH,qBAAa,wBAAyB,YAAW,gBAAgB;;IAE7D,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,QAAQ;IAFlB,YACU,SAAS,EAAE,gBAAgB,EAC3B,QAAQ,EAAE,eAAe,EAC/B;IAEJ,sBAAsB,CACpB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,2BAA2B,EACrC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GACvC,OAAO,CAAC,WAAW,CAAC,CAWtB;IAED,kBAAkB,CAChB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,gCAAgC,EAC1C,QAAQ,EAAE,YAAY,GACrB,OAAO,CAAC,mBAAmB,CAAC,CAS9B;CAkCF"}
@@ -16,21 +16,18 @@
16
16
  return this.#simulate((wrappedCallback)=>this.simulator.executeUserCircuit(input, artifact, wrappedCallback), input, artifact.bytecode, artifact.contractName, artifact.name, callback);
17
17
  }
18
18
  async #simulate(simulateFn, input, bytecode, contractName, functionName, callback) {
19
- // Start recording circuit execution
20
- await this.recorder.start(input, bytecode, contractName, functionName);
21
- // If callback was provided, we wrap it in a circuit recorder callback wrapper
19
+ // If a callback was provided, we wrap it so that its oracle calls are recorded. The wrapped callback reads the
20
+ // active recording lazily, so it picks up the recording opened by record() below.
22
21
  const wrappedCallback = this.recorder.wrapCallback(callback);
23
- let result;
24
- try {
25
- result = await simulateFn(wrappedCallback);
26
- } catch (error) {
27
- // If an error occurs, we finalize the recording file with the error
28
- await this.recorder.finishWithError(error);
29
- throw error;
30
- }
31
- // Witness generation is complete so we finish the circuit recorder
32
- const recording = await this.recorder.finish();
33
- result.oracles = recording.oracleCalls?.reduce((acc, { time, name })=>{
22
+ // record() opens a recording for this circuit, runs the simulation within it, and finalizes it. A simulation
23
+ // failure is re-thrown unchanged, so recorder bookkeeping never masks the underlying error.
24
+ const { result, recording } = await this.recorder.record({
25
+ input,
26
+ bytecode,
27
+ circuitName: contractName,
28
+ functionName
29
+ }, ()=>simulateFn(wrappedCallback));
30
+ result.oracles = recording.oracleCalls.reduce((acc, { time, name })=>{
34
31
  if (!acc[name]) {
35
32
  acc[name] = {
36
33
  times: []
@@ -1,4 +1,4 @@
1
- import { type Logger } from '@aztec/foundation/log';
1
+ import { type Logger, type LoggerBindings } from '@aztec/foundation/log';
2
2
  import type { CircuitSimulator } from './circuit_simulator.js';
3
3
  export type SimulatorConfig = {
4
4
  acvmBinaryPath?: string;
@@ -8,5 +8,5 @@ export declare function getSimulatorConfigFromEnv(): {
8
8
  acvmWorkingDirectory: string | undefined;
9
9
  acvmBinaryPath: string | undefined;
10
10
  };
11
- export declare function createSimulator(config: SimulatorConfig, logger?: Logger): Promise<CircuitSimulator>;
12
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmFjdG9yeS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3ByaXZhdGUvZmFjdG9yeS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQWdCLE1BQU0sdUJBQXVCLENBQUM7QUFNbEUsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUUvRCxNQUFNLE1BQU0sZUFBZSxHQUFHO0lBQzVCLGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUN4QixvQkFBb0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUMvQixDQUFDO0FBRUYsd0JBQWdCLHlCQUF5Qjs7O0VBTXhDO0FBRUQsd0JBQXNCLGVBQWUsQ0FDbkMsTUFBTSxFQUFFLGVBQWUsRUFDdkIsTUFBTSxHQUFFLE1BQWtDLEdBQ3pDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQWEzQiJ9
11
+ export declare function createSimulator(config: SimulatorConfig, loggerOrBindings?: Logger | LoggerBindings): Promise<CircuitSimulator>;
12
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZmFjdG9yeS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3ByaXZhdGUvZmFjdG9yeS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQUUsS0FBSyxjQUFjLEVBQWlCLE1BQU0sdUJBQXVCLENBQUM7QUFNeEYsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUUvRCxNQUFNLE1BQU0sZUFBZSxHQUFHO0lBQzVCLGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUN4QixvQkFBb0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUMvQixDQUFDO0FBRUYsd0JBQWdCLHlCQUF5Qjs7O0VBTXhDO0FBRUQsd0JBQXNCLGVBQWUsQ0FDbkMsTUFBTSxFQUFFLGVBQWUsRUFDdkIsZ0JBQWdCLENBQUMsRUFBRSxNQUFNLEdBQUcsY0FBYyxHQUN6QyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsQ0FnQjNCIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/private/factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAMlE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,MAAM,MAAM,eAAe,GAAG;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,wBAAgB,yBAAyB;;;EAMxC;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,eAAe,EACvB,MAAM,GAAE,MAAkC,GACzC,OAAO,CAAC,gBAAgB,CAAC,CAa3B"}
1
+ {"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/private/factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAiB,MAAM,uBAAuB,CAAC;AAMxF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,MAAM,MAAM,eAAe,GAAG;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,wBAAgB,yBAAyB;;;EAMxC;AAED,wBAAsB,eAAe,CACnC,MAAM,EAAE,eAAe,EACvB,gBAAgB,CAAC,EAAE,MAAM,GAAG,cAAc,GACzC,OAAO,CAAC,gBAAgB,CAAC,CAgB3B"}
@@ -1,4 +1,4 @@
1
- import { createLogger } from '@aztec/foundation/log';
1
+ import { resolveLogger } from '@aztec/foundation/log';
2
2
  import { promises as fs } from 'fs';
3
3
  import { NativeACVMSimulator } from './acvm_native.js';
4
4
  import { WASMSimulator } from './acvm_wasm.js';
@@ -9,7 +9,8 @@ export function getSimulatorConfigFromEnv() {
9
9
  acvmBinaryPath: ACVM_BINARY_PATH ? ACVM_BINARY_PATH : undefined
10
10
  };
11
11
  }
12
- export async function createSimulator(config, logger = createLogger('simulator')) {
12
+ export async function createSimulator(config, loggerOrBindings) {
13
+ const logger = resolveLogger('simulator', loggerOrBindings);
13
14
  if (config.acvmBinaryPath && config.acvmWorkingDirectory) {
14
15
  try {
15
16
  await fs.access(config.acvmBinaryPath, fs.constants.R_OK);
@@ -17,11 +18,13 @@ export async function createSimulator(config, logger = createLogger('simulator')
17
18
  recursive: true
18
19
  });
19
20
  logger.info(`Using native ACVM at ${config.acvmBinaryPath} and working directory ${config.acvmWorkingDirectory}`);
20
- return new NativeACVMSimulator(config.acvmWorkingDirectory, config.acvmBinaryPath);
21
+ const acvmLogger = logger.createChild('acvm-native');
22
+ return new NativeACVMSimulator(config.acvmWorkingDirectory, config.acvmBinaryPath, undefined, acvmLogger);
21
23
  } catch {
22
24
  logger.warn(`Failed to access ACVM at ${config.acvmBinaryPath}, falling back to WASM`);
23
25
  }
24
26
  }
25
27
  logger.info('Using WASM ACVM simulation');
26
- return new WASMSimulator();
28
+ const wasmLogger = logger.createChild('wasm');
29
+ return new WASMSimulator(wasmLogger);
27
30
  }
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWNjb3VudF9wcm9vZl9mZXRjaGVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi9zcmMvcHVibGljL2F2bS90ZXN0aW5nL2FjY291bnRfcHJvb2ZfZmV0Y2hlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"account_proof_fetcher.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/testing/account_proof_fetcher.ts"],"names":[],"mappings":""}