@aztec/simulator 0.0.1-commit.993d240 → 0.0.1-commit.9a89641

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 (341) hide show
  1. package/dest/client.d.ts +1 -3
  2. package/dest/client.d.ts.map +1 -1
  3. package/dest/client.js +0 -2
  4. package/dest/private/circuit_recording/circuit_recorder.d.ts +36 -23
  5. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  6. package/dest/private/circuit_recording/circuit_recorder.js +65 -69
  7. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +7 -19
  8. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  9. package/dest/private/circuit_recording/file_circuit_recorder.js +38 -42
  10. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
  11. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
  12. package/dest/private/circuit_recording/simulator_recorder_wrapper.js +11 -14
  13. package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
  14. package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
  15. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +1 -1
  16. package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
  17. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +1 -1
  18. package/dest/public/avm/testing/utils.d.ts +32 -0
  19. package/dest/public/avm/testing/utils.d.ts.map +1 -0
  20. package/dest/public/avm/{fixtures → testing}/utils.js +1 -34
  21. package/dest/public/avm_simulator.d.ts +28 -0
  22. package/dest/public/avm_simulator.d.ts.map +1 -0
  23. package/dest/public/avm_simulator.js +4 -0
  24. package/dest/public/avm_simulator_pool.d.ts +45 -0
  25. package/dest/public/avm_simulator_pool.d.ts.map +1 -0
  26. package/dest/public/avm_simulator_pool.js +197 -0
  27. package/dest/public/cdb_ipc_server.d.ts +40 -0
  28. package/dest/public/cdb_ipc_server.d.ts.map +1 -0
  29. package/dest/public/cdb_ipc_server.js +153 -0
  30. package/dest/public/fixtures/amm_test.js +2 -2
  31. package/dest/public/fixtures/bulk_test.js +2 -2
  32. package/dest/public/fixtures/custom_bytecode_tester.d.ts +1 -1
  33. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
  34. package/dest/public/fixtures/custom_bytecode_tester.js +2 -2
  35. package/dest/public/fixtures/index.d.ts +2 -4
  36. package/dest/public/fixtures/index.d.ts.map +1 -1
  37. package/dest/public/fixtures/index.js +1 -3
  38. package/dest/public/fixtures/public_processor_test_env.d.ts +30 -0
  39. package/dest/public/fixtures/public_processor_test_env.d.ts.map +1 -0
  40. package/dest/public/fixtures/public_processor_test_env.js +73 -0
  41. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +11 -7
  42. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  43. package/dest/public/fixtures/public_tx_simulation_tester.js +33 -43
  44. package/dest/public/fixtures/simple_contract_data_source.js +1 -1
  45. package/dest/public/fixtures/token_test.js +3 -3
  46. package/dest/public/fixtures/utils.d.ts +1 -1
  47. package/dest/public/fixtures/utils.d.ts.map +1 -1
  48. package/dest/public/fixtures/utils.js +5 -3
  49. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +11 -4
  50. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
  51. package/dest/public/fuzzing/avm_fuzzer_simulator.js +24 -10
  52. package/dest/public/fuzzing/avm_simulator_bin.js +4 -4
  53. package/dest/public/index.d.ts +5 -2
  54. package/dest/public/index.d.ts.map +1 -1
  55. package/dest/public/index.js +2 -1
  56. package/dest/public/public_db_sources.d.ts +2 -2
  57. package/dest/public/public_db_sources.d.ts.map +1 -1
  58. package/dest/public/public_db_sources.js +1 -1
  59. package/dest/public/public_processor/guarded_merkle_tree.d.ts +4 -3
  60. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  61. package/dest/public/public_processor/guarded_merkle_tree.js +3 -0
  62. package/dest/public/public_processor/public_processor.d.ts +8 -4
  63. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  64. package/dest/public/public_processor/public_processor.js +18 -14
  65. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +17 -0
  66. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
  67. package/dest/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.js → dumping_public_tx_simulator.js} +10 -23
  68. package/dest/public/public_tx_simulator/factories.d.ts +8 -8
  69. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
  70. package/dest/public/public_tx_simulator/factories.js +8 -8
  71. package/dest/public/public_tx_simulator/index.d.ts +4 -6
  72. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  73. package/dest/public/public_tx_simulator/index.js +2 -4
  74. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +42 -75
  75. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  76. package/dest/public/public_tx_simulator/public_tx_simulator.js +98 -323
  77. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +24 -0
  78. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
  79. package/dest/public/public_tx_simulator/public_tx_simulator_base.js +31 -0
  80. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +5 -5
  81. package/dest/public/test_executor_metrics.d.ts +1 -6
  82. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  83. package/dest/public/test_executor_metrics.js +0 -22
  84. package/package.json +20 -18
  85. package/src/client.ts +0 -2
  86. package/src/private/circuit_recording/circuit_recorder.ts +84 -78
  87. package/src/private/circuit_recording/file_circuit_recorder.ts +38 -48
  88. package/src/private/circuit_recording/simulator_recorder_wrapper.ts +9 -15
  89. package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +1 -1
  90. package/src/public/avm/{fixtures → testing}/utils.ts +1 -40
  91. package/src/public/avm_simulator.ts +29 -0
  92. package/src/public/avm_simulator_pool.ts +226 -0
  93. package/src/public/cdb_ipc_server.ts +198 -0
  94. package/src/public/fixtures/amm_test.ts +2 -2
  95. package/src/public/fixtures/bulk_test.ts +2 -2
  96. package/src/public/fixtures/custom_bytecode_tester.ts +2 -2
  97. package/src/public/fixtures/index.ts +1 -3
  98. package/src/public/fixtures/public_processor_test_env.ts +88 -0
  99. package/src/public/fixtures/public_tx_simulation_tester.ts +41 -55
  100. package/src/public/fixtures/simple_contract_data_source.ts +1 -1
  101. package/src/public/fixtures/token_test.ts +3 -3
  102. package/src/public/fixtures/utils.ts +6 -11
  103. package/src/public/fuzzing/avm_fuzzer_simulator.ts +25 -10
  104. package/src/public/fuzzing/avm_simulator_bin.ts +3 -5
  105. package/src/public/index.ts +7 -3
  106. package/src/public/public_db_sources.ts +1 -1
  107. package/src/public/public_processor/guarded_merkle_tree.ts +5 -2
  108. package/src/public/public_processor/public_processor.ts +24 -17
  109. package/src/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.ts → dumping_public_tx_simulator.ts} +15 -31
  110. package/src/public/public_tx_simulator/factories.ts +27 -10
  111. package/src/public/public_tx_simulator/index.ts +6 -5
  112. package/src/public/public_tx_simulator/public_tx_simulator.ts +139 -480
  113. package/src/public/public_tx_simulator/public_tx_simulator_base.ts +37 -0
  114. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +5 -5
  115. package/src/public/test_executor_metrics.ts +0 -24
  116. package/dest/public/avm/avm_context.d.ts +0 -41
  117. package/dest/public/avm/avm_context.d.ts.map +0 -1
  118. package/dest/public/avm/avm_context.js +0 -44
  119. package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
  120. package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
  121. package/dest/public/avm/avm_contract_call_result.js +0 -54
  122. package/dest/public/avm/avm_execution_environment.d.ts +0 -24
  123. package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
  124. package/dest/public/avm/avm_execution_environment.js +0 -33
  125. package/dest/public/avm/avm_gas.d.ts +0 -44
  126. package/dest/public/avm/avm_gas.d.ts.map +0 -1
  127. package/dest/public/avm/avm_gas.js +0 -195
  128. package/dest/public/avm/avm_machine_state.d.ts +0 -98
  129. package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
  130. package/dest/public/avm/avm_machine_state.js +0 -110
  131. package/dest/public/avm/avm_memory_types.d.ts +0 -275
  132. package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
  133. package/dest/public/avm/avm_memory_types.js +0 -354
  134. package/dest/public/avm/avm_simulator.d.ts +0 -41
  135. package/dest/public/avm/avm_simulator.d.ts.map +0 -1
  136. package/dest/public/avm/avm_simulator.js +0 -192
  137. package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
  138. package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
  139. package/dest/public/avm/avm_simulator_interface.js +0 -3
  140. package/dest/public/avm/calldata.d.ts +0 -51
  141. package/dest/public/avm/calldata.d.ts.map +0 -1
  142. package/dest/public/avm/calldata.js +0 -64
  143. package/dest/public/avm/errors.d.ts +0 -104
  144. package/dest/public/avm/errors.d.ts.map +0 -1
  145. package/dest/public/avm/errors.js +0 -141
  146. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +0 -2
  147. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +0 -1
  148. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
  149. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  150. package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -84
  151. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  152. package/dest/public/avm/fixtures/initializers.d.ts +0 -42
  153. package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
  154. package/dest/public/avm/fixtures/initializers.js +0 -45
  155. package/dest/public/avm/fixtures/utils.d.ts +0 -39
  156. package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
  157. package/dest/public/avm/index.d.ts +0 -2
  158. package/dest/public/avm/index.d.ts.map +0 -1
  159. package/dest/public/avm/index.js +0 -1
  160. package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -74
  161. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
  162. package/dest/public/avm/opcodes/accrued_substate.js +0 -254
  163. package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
  164. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
  165. package/dest/public/avm/opcodes/addressing_mode.js +0 -94
  166. package/dest/public/avm/opcodes/arithmetic.d.ts +0 -49
  167. package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
  168. package/dest/public/avm/opcodes/arithmetic.js +0 -97
  169. package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
  170. package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
  171. package/dest/public/avm/opcodes/bitwise.js +0 -99
  172. package/dest/public/avm/opcodes/comparators.d.ts +0 -25
  173. package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
  174. package/dest/public/avm/opcodes/comparators.js +0 -43
  175. package/dest/public/avm/opcodes/contract.d.ts +0 -21
  176. package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
  177. package/dest/public/avm/opcodes/contract.js +0 -69
  178. package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
  179. package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
  180. package/dest/public/avm/opcodes/control_flow.js +0 -107
  181. package/dest/public/avm/opcodes/conversion.d.ts +0 -18
  182. package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
  183. package/dest/public/avm/opcodes/conversion.js +0 -333
  184. package/dest/public/avm/opcodes/ec_add.d.ts +0 -17
  185. package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
  186. package/dest/public/avm/opcodes/ec_add.js +0 -79
  187. package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
  188. package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
  189. package/dest/public/avm/opcodes/environment_getters.js +0 -77
  190. package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
  191. package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
  192. package/dest/public/avm/opcodes/external_calls.js +0 -210
  193. package/dest/public/avm/opcodes/hashing.d.ts +0 -36
  194. package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
  195. package/dest/public/avm/opcodes/hashing.js +0 -119
  196. package/dest/public/avm/opcodes/index.d.ts +0 -16
  197. package/dest/public/avm/opcodes/index.d.ts.map +0 -1
  198. package/dest/public/avm/opcodes/index.js +0 -15
  199. package/dest/public/avm/opcodes/instruction.d.ts +0 -74
  200. package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
  201. package/dest/public/avm/opcodes/instruction.js +0 -95
  202. package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
  203. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
  204. package/dest/public/avm/opcodes/instruction_impl.js +0 -30
  205. package/dest/public/avm/opcodes/memory.d.ts +0 -74
  206. package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
  207. package/dest/public/avm/opcodes/memory.js +0 -257
  208. package/dest/public/avm/opcodes/misc.d.ts +0 -18
  209. package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
  210. package/dest/public/avm/opcodes/misc.js +0 -73
  211. package/dest/public/avm/opcodes/storage.d.ts +0 -25
  212. package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
  213. package/dest/public/avm/opcodes/storage.js +0 -78
  214. package/dest/public/avm/revert_reason.d.ts +0 -18
  215. package/dest/public/avm/revert_reason.d.ts.map +0 -1
  216. package/dest/public/avm/revert_reason.js +0 -39
  217. package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
  218. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
  219. package/dest/public/avm/serialization/buffer_cursor.js +0 -99
  220. package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
  221. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  222. package/dest/public/avm/serialization/bytecode_serialization.js +0 -336
  223. package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
  224. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
  225. package/dest/public/avm/serialization/instruction_serialization.js +0 -261
  226. package/dest/public/avm/test_utils.d.ts +0 -15
  227. package/dest/public/avm/test_utils.d.ts.map +0 -1
  228. package/dest/public/avm/test_utils.js +0 -44
  229. package/dest/public/debug_fn_name.d.ts +0 -18
  230. package/dest/public/debug_fn_name.d.ts.map +0 -1
  231. package/dest/public/debug_fn_name.js +0 -37
  232. package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -14
  233. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
  234. package/dest/public/fixtures/custom_bytecode_tests.js +0 -234
  235. package/dest/public/fixtures/minimal_public_tx.d.ts +0 -4
  236. package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
  237. package/dest/public/fixtures/minimal_public_tx.js +0 -19
  238. package/dest/public/fixtures/opcode_spammer.d.ts +0 -122
  239. package/dest/public/fixtures/opcode_spammer.d.ts.map +0 -1
  240. package/dest/public/fixtures/opcode_spammer.js +0 -1645
  241. package/dest/public/hinting_db_sources.d.ts +0 -80
  242. package/dest/public/hinting_db_sources.d.ts.map +0 -1
  243. package/dest/public/hinting_db_sources.js +0 -356
  244. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +0 -19
  245. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +0 -1
  246. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +0 -99
  247. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -53
  248. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
  249. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -131
  250. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +0 -42
  251. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +0 -1
  252. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +0 -86
  253. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +0 -30
  254. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +0 -1
  255. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +0 -171
  256. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +0 -23
  257. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +0 -1
  258. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -31
  259. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
  260. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
  261. package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -135
  262. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
  263. package/dest/public/public_tx_simulator/public_tx_context.js +0 -298
  264. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
  265. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
  266. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -415
  267. package/dest/public/side_effect_trace.d.ts +0 -87
  268. package/dest/public/side_effect_trace.d.ts.map +0 -1
  269. package/dest/public/side_effect_trace.js +0 -199
  270. package/dest/public/side_effect_trace_interface.d.ts +0 -22
  271. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  272. package/dest/public/side_effect_trace_interface.js +0 -1
  273. package/dest/public/state_manager/index.d.ts +0 -2
  274. package/dest/public/state_manager/index.d.ts.map +0 -1
  275. package/dest/public/state_manager/index.js +0 -1
  276. package/dest/public/state_manager/nullifiers.d.ts +0 -61
  277. package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
  278. package/dest/public/state_manager/nullifiers.js +0 -92
  279. package/dest/public/state_manager/public_storage.d.ts +0 -66
  280. package/dest/public/state_manager/public_storage.d.ts.map +0 -1
  281. package/dest/public/state_manager/public_storage.js +0 -145
  282. package/dest/public/state_manager/state_manager.d.ts +0 -170
  283. package/dest/public/state_manager/state_manager.d.ts.map +0 -1
  284. package/dest/public/state_manager/state_manager.js +0 -402
  285. package/src/public/avm/avm_context.ts +0 -61
  286. package/src/public/avm/avm_contract_call_result.ts +0 -69
  287. package/src/public/avm/avm_execution_environment.ts +0 -51
  288. package/src/public/avm/avm_gas.ts +0 -183
  289. package/src/public/avm/avm_machine_state.ts +0 -170
  290. package/src/public/avm/avm_memory_types.ts +0 -440
  291. package/src/public/avm/avm_simulator.ts +0 -279
  292. package/src/public/avm/avm_simulator_interface.ts +0 -8
  293. package/src/public/avm/calldata.ts +0 -101
  294. package/src/public/avm/errors.ts +0 -177
  295. package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -122
  296. package/src/public/avm/fixtures/initializers.ts +0 -103
  297. package/src/public/avm/index.ts +0 -1
  298. package/src/public/avm/opcodes/accrued_substate.ts +0 -285
  299. package/src/public/avm/opcodes/addressing_mode.ts +0 -111
  300. package/src/public/avm/opcodes/arithmetic.ts +0 -129
  301. package/src/public/avm/opcodes/bitwise.ts +0 -113
  302. package/src/public/avm/opcodes/comparators.ts +0 -55
  303. package/src/public/avm/opcodes/contract.ts +0 -76
  304. package/src/public/avm/opcodes/control_flow.ts +0 -123
  305. package/src/public/avm/opcodes/conversion.ts +0 -104
  306. package/src/public/avm/opcodes/ec_add.ts +0 -86
  307. package/src/public/avm/opcodes/environment_getters.ts +0 -87
  308. package/src/public/avm/opcodes/external_calls.ts +0 -262
  309. package/src/public/avm/opcodes/hashing.ts +0 -151
  310. package/src/public/avm/opcodes/index.ts +0 -15
  311. package/src/public/avm/opcodes/instruction.ts +0 -136
  312. package/src/public/avm/opcodes/instruction_impl.ts +0 -36
  313. package/src/public/avm/opcodes/memory.ts +0 -293
  314. package/src/public/avm/opcodes/misc.ts +0 -102
  315. package/src/public/avm/opcodes/storage.ts +0 -95
  316. package/src/public/avm/revert_reason.ts +0 -58
  317. package/src/public/avm/serialization/buffer_cursor.ts +0 -118
  318. package/src/public/avm/serialization/bytecode_serialization.ts +0 -215
  319. package/src/public/avm/serialization/instruction_serialization.ts +0 -249
  320. package/src/public/avm/test_utils.ts +0 -64
  321. package/src/public/debug_fn_name.ts +0 -52
  322. package/src/public/fixtures/custom_bytecode_tests.ts +0 -366
  323. package/src/public/fixtures/minimal_public_tx.ts +0 -26
  324. package/src/public/fixtures/opcode_spammer.ts +0 -1713
  325. package/src/public/hinting_db_sources.ts +0 -610
  326. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +0 -125
  327. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -210
  328. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +0 -134
  329. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +0 -239
  330. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -105
  331. package/src/public/public_tx_simulator/public_tx_context.ts +0 -482
  332. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
  333. package/src/public/side_effect_trace.ts +0 -293
  334. package/src/public/side_effect_trace_interface.ts +0 -28
  335. package/src/public/state_manager/index.ts +0 -1
  336. package/src/public/state_manager/nullifiers.ts +0 -103
  337. package/src/public/state_manager/public_storage.ts +0 -174
  338. package/src/public/state_manager/state_manager.ts +0 -569
  339. /package/dest/public/avm/{fixtures → testing}/account_proof_fetcher.js +0 -0
  340. /package/src/public/avm/{fixtures → testing}/account_proof.json +0 -0
  341. /package/src/public/avm/{fixtures → testing}/account_proof_fetcher.ts +0 -0
@@ -0,0 +1,32 @@
1
+ import { BlockNumber } from '@aztec/foundation/branded-types';
2
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
+ import { type ContractArtifact, type FunctionAbi, type FunctionArtifact, FunctionSelector } from '@aztec/stdlib/abi';
4
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
5
+ import { type ContractClassPublic, type ContractInstanceWithAddress } from '@aztec/stdlib/contract';
6
+ import type { UInt64 } from '@aztec/stdlib/types';
7
+ export declare const PUBLIC_DISPATCH_FN_NAME = "public_dispatch";
8
+ export declare const DEFAULT_TIMESTAMP: UInt64;
9
+ export declare const DEFAULT_BLOCK_NUMBER: BlockNumber;
10
+ /**
11
+ * Create a new object with all the same properties as the original, except for the ones in the overrides object.
12
+ */
13
+ export declare function allSameExcept(original: any, overrides: any): any;
14
+ export declare function getFunctionSelector(functionName: string, contractArtifact: ContractArtifact): Promise<FunctionSelector>;
15
+ export declare function getContractFunctionArtifact(functionName: string, contractArtifact: ContractArtifact): FunctionArtifact | undefined;
16
+ export declare function getContractFunctionAbi(functionName: string, contractArtifact: ContractArtifact): FunctionAbi | undefined;
17
+ /**
18
+ * Create a contract class and instance given constructor args, artifact, etc.
19
+ * NOTE: This is useful for testing real-ish contract class registration and instance deployment TXs (via logs)
20
+ * @param constructorArgs - The constructor arguments for the contract.
21
+ * @param deployer - The deployer of the contract.
22
+ * @param contractArtifact - The contract artifact for the contract.
23
+ * @param seed - The seed for the contract.
24
+ * @param originalContractClassId - The original contract class ID (if upgraded)
25
+ * @returns The contract class, instance, and contract address nullifier.
26
+ */
27
+ export declare function createContractClassAndInstance(constructorArgs: any[], deployer: AztecAddress, contractArtifact: ContractArtifact, seed?: number, contractClassSeed?: number, originalContractClassId?: Fr): Promise<{
28
+ contractClass: ContractClassPublic;
29
+ contractInstance: ContractInstanceWithAddress;
30
+ contractAddressNullifier: Fr;
31
+ }>;
32
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9wdWJsaWMvYXZtL3Rlc3RpbmcvdXRpbHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzlELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQ0wsS0FBSyxnQkFBZ0IsRUFDckIsS0FBSyxXQUFXLEVBQ2hCLEtBQUssZ0JBQWdCLEVBQ3JCLGdCQUFnQixFQUVqQixNQUFNLG1CQUFtQixDQUFDO0FBQzNCLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEVBQ0wsS0FBSyxtQkFBbUIsRUFDeEIsS0FBSywyQkFBMkIsRUFFakMsTUFBTSx3QkFBd0IsQ0FBQztBQUloQyxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUtsRCxlQUFPLE1BQU0sdUJBQXVCLG9CQUFvQixDQUFDO0FBQ3pELGVBQU8sTUFBTSxpQkFBaUIsRUFBRSxNQUFlLENBQUM7QUFDaEQsZUFBTyxNQUFNLG9CQUFvQixhQUFrQixDQUFDO0FBRXBEOztHQUVHO0FBQ0gsd0JBQWdCLGFBQWEsQ0FBQyxRQUFRLEVBQUUsR0FBRyxFQUFFLFNBQVMsRUFBRSxHQUFHLEdBQUcsR0FBRyxDQUVoRTtBQUVELHdCQUFnQixtQkFBbUIsQ0FDakMsWUFBWSxFQUFFLE1BQU0sRUFDcEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQ2pDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQUszQjtBQUVELHdCQUFnQiwyQkFBMkIsQ0FDekMsWUFBWSxFQUFFLE1BQU0sRUFDcEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQ2pDLGdCQUFnQixHQUFHLFNBQVMsQ0FFOUI7QUFFRCx3QkFBZ0Isc0JBQXNCLENBQ3BDLFlBQVksRUFBRSxNQUFNLEVBQ3BCLGdCQUFnQixFQUFFLGdCQUFnQixHQUNqQyxXQUFXLEdBQUcsU0FBUyxDQUt6QjtBQUVEOzs7Ozs7Ozs7R0FTRztBQUNILHdCQUFzQiw4QkFBOEIsQ0FDbEQsZUFBZSxFQUFFLEdBQUcsRUFBRSxFQUN0QixRQUFRLEVBQUUsWUFBWSxFQUN0QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsSUFBSSxTQUFJLEVBQ1IsaUJBQWlCLFNBQU8sRUFDeEIsdUJBQXVCLENBQUMsRUFBRSxFQUFFLEdBQzNCLE9BQU8sQ0FBQztJQUNULGFBQWEsRUFBRSxtQkFBbUIsQ0FBQztJQUNuQyxnQkFBZ0IsRUFBRSwyQkFBMkIsQ0FBQztJQUM5Qyx3QkFBd0IsRUFBRSxFQUFFLENBQUM7Q0FDOUIsQ0FBQyxDQStCRCJ9
@@ -0,0 +1 @@
1
+ {"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/testing/utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,gBAAgB,EAEjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAEjC,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAKlD,eAAO,MAAM,uBAAuB,oBAAoB,CAAC;AACzD,eAAO,MAAM,iBAAiB,EAAE,MAAe,CAAC;AAChD,eAAO,MAAM,oBAAoB,aAAkB,CAAC;AAEpD;;GAEG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,GAAG,GAAG,CAEhE;AAED,wBAAgB,mBAAmB,CACjC,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,gBAAgB,CAAC,CAK3B;AAED,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,gBAAgB,GACjC,gBAAgB,GAAG,SAAS,CAE9B;AAED,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,gBAAgB,GACjC,WAAW,GAAG,SAAS,CAKzB;AAED;;;;;;;;;GASG;AACH,wBAAsB,8BAA8B,CAClD,eAAe,EAAE,GAAG,EAAE,EACtB,QAAQ,EAAE,YAAY,EACtB,gBAAgB,EAAE,gBAAgB,EAClC,IAAI,SAAI,EACR,iBAAiB,SAAO,EACxB,uBAAuB,CAAC,EAAE,EAAE,GAC3B,OAAO,CAAC;IACT,aAAa,EAAE,mBAAmB,CAAC;IACnC,gBAAgB,EAAE,2BAA2B,CAAC;IAC9C,wBAAwB,EAAE,EAAE,CAAC;CAC9B,CAAC,CA+BD"}
@@ -4,14 +4,11 @@ import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { FunctionSelector, getAllFunctionAbis } from '@aztec/stdlib/abi';
5
5
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
6
6
  import { computeInitializationHash } from '@aztec/stdlib/contract';
7
- import { isNoirCallStackUnresolved } from '@aztec/stdlib/errors';
8
7
  import { siloNullifier } from '@aztec/stdlib/hash';
9
8
  import { deriveKeys } from '@aztec/stdlib/keys';
10
9
  import { makeContractClassPublic, makeContractInstanceFromClassId } from '@aztec/stdlib/testing';
11
10
  import { strict as assert } from 'assert';
12
11
  import merge from 'lodash.merge';
13
- import { resolveAssertionMessageFromRevertData, traverseCauseChain } from '../../../common/index.js';
14
- import { Field, Uint8, Uint32, Uint64 } from '../avm_memory_types.js';
15
12
  export const PUBLIC_DISPATCH_FN_NAME = 'public_dispatch';
16
13
  export const DEFAULT_TIMESTAMP = 99833n;
17
14
  export const DEFAULT_BLOCK_NUMBER = BlockNumber(42);
@@ -20,26 +17,6 @@ export const DEFAULT_BLOCK_NUMBER = BlockNumber(42);
20
17
  */ export function allSameExcept(original, overrides) {
21
18
  return merge({}, original, overrides);
22
19
  }
23
- export function randomMemoryBytes(length) {
24
- return [
25
- ...Array(length)
26
- ].map((_)=>new Uint8(Math.floor(Math.random() * 255)));
27
- }
28
- export function randomMemoryUint32s(length) {
29
- return [
30
- ...Array(length)
31
- ].map((_)=>new Uint32(Math.floor(Math.random() * 255)));
32
- }
33
- export function randomMemoryUint64s(length) {
34
- return [
35
- ...Array(length)
36
- ].map((_)=>new Uint64(Math.floor(Math.random() * 255)));
37
- }
38
- export function randomMemoryFields(length) {
39
- return [
40
- ...Array(length)
41
- ].map((_)=>new Field(Fr.random()));
42
- }
43
20
  export function getFunctionSelector(functionName, contractArtifact) {
44
21
  const fnArtifact = getAllFunctionAbis(contractArtifact).find((f)=>f.name === functionName);
45
22
  assert(!!fnArtifact, `Function ${functionName} not found in ${contractArtifact.name}`);
@@ -52,16 +29,6 @@ export function getContractFunctionArtifact(functionName, contractArtifact) {
52
29
  export function getContractFunctionAbi(functionName, contractArtifact) {
53
30
  return contractArtifact.functions.find((f)=>f.name === functionName) ?? contractArtifact.nonDispatchPublicFunctions.find((f)=>f.name === functionName);
54
31
  }
55
- export function resolveContractAssertionMessage(functionName, revertReason, output, contractArtifact) {
56
- traverseCauseChain(revertReason, (cause)=>{
57
- revertReason = cause;
58
- });
59
- const functionArtifact = getAllFunctionAbis(contractArtifact).find((f)=>f.name === functionName);
60
- if (!functionArtifact || !revertReason.noirCallStack || !isNoirCallStackUnresolved(revertReason.noirCallStack)) {
61
- return undefined;
62
- }
63
- return resolveAssertionMessageFromRevertData(output, functionArtifact);
64
- }
65
32
  /**
66
33
  * Create a contract class and instance given constructor args, artifact, etc.
67
34
  * NOTE: This is useful for testing real-ish contract class registration and instance deployment TXs (via logs)
@@ -90,7 +57,7 @@ export function resolveContractAssertionMessage(functionName, revertReason, outp
90
57
  immutablesHash,
91
58
  publicKeys
92
59
  });
93
- const contractAddressNullifier = await siloNullifier(AztecAddress.fromNumber(CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS), contractInstance.address.toField());
60
+ const contractAddressNullifier = await siloNullifier(AztecAddress.fromNumberUnsafe(CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS), contractInstance.address.toField());
94
61
  return {
95
62
  contractClass,
96
63
  contractInstance,
@@ -0,0 +1,28 @@
1
+ import type { PublicContractsDB } from './public_db_sources.js';
2
+ /**
3
+ * Identifies the contract data a single simulation reads. The AVM's contract-data lookups during a
4
+ * `simulate` call are answered from `contractsDB`; `forkId` and `timestamp` scope those lookups to the
5
+ * world-state fork being simulated against. How this reaches the AVM (in-process call, IPC callback
6
+ * server, ...) is the implementation's concern — callers only supply the context.
7
+ */
8
+ export interface AvmContractsDBContext {
9
+ contractsDB: PublicContractsDB;
10
+ forkId: number;
11
+ timestamp: bigint;
12
+ }
13
+ /**
14
+ * Something that can run AVM simulations, independent of how the work is dispatched (a single external
15
+ * process, a pool of them, or an in-process stub). Callers hold this and never see the underlying transport.
16
+ */
17
+ export interface AvmSimulator {
18
+ /**
19
+ * Run a fast simulation and return the msgpack-encoded result. `context` supplies the contracts DB whose
20
+ * data the simulation reads. If `signal` aborts, the simulation stops at the next cancellation checkpoint.
21
+ */
22
+ simulate(inputBuffer: Uint8Array, context: AvmContractsDBContext, signal?: AbortSignal): Promise<Uint8Array>;
23
+ /** Run a simulation collecting proving hints and return the msgpack-encoded result. */
24
+ simulateWithHints(inputBuffer: Uint8Array): Promise<Uint8Array>;
25
+ /** Release any resources held by the underlying implementation. */
26
+ destroy?(): Promise<void>;
27
+ }
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3NpbXVsYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3B1YmxpYy9hdm1fc2ltdWxhdG9yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFFaEU7Ozs7O0dBS0c7QUFDSCxNQUFNLFdBQVcscUJBQXFCO0lBQ3BDLFdBQVcsRUFBRSxpQkFBaUIsQ0FBQztJQUMvQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2YsU0FBUyxFQUFFLE1BQU0sQ0FBQztDQUNuQjtBQUVEOzs7R0FHRztBQUNILE1BQU0sV0FBVyxZQUFZO0lBQzNCOzs7T0FHRztJQUNILFFBQVEsQ0FBQyxXQUFXLEVBQUUsVUFBVSxFQUFFLE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLENBQUMsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLFVBQVUsQ0FBQyxDQUFDO0lBQzdHLHVGQUF1RjtJQUN2RixpQkFBaUIsQ0FBQyxXQUFXLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsQ0FBQztJQUNoRSxtRUFBbUU7SUFDbkUsT0FBTyxDQUFDLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUFDO0NBQzNCIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"avm_simulator.d.ts","sourceRoot":"","sources":["../../src/public/avm_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE;;;;;GAKG;AACH,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,iBAAiB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B;;;OAGG;IACH,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,qBAAqB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7G,uFAAuF;IACvF,iBAAiB,CAAC,WAAW,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAChE,mEAAmE;IACnE,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC3B"}
@@ -0,0 +1,4 @@
1
+ /**
2
+ * Something that can run AVM simulations, independent of how the work is dispatched (a single external
3
+ * process, a pool of them, or an in-process stub). Callers hold this and never see the underlying transport.
4
+ */ export { };
@@ -0,0 +1,45 @@
1
+ import type { AvmContractsDBContext, AvmSimulator } from './avm_simulator.js';
2
+ export interface AvmSimulatorPoolOptions {
3
+ /** Maximum number of concurrent AVM processes. If not set, defaults to AVM_MAX_CONCURRENT_SIMULATIONS env var or 4. */
4
+ maxSize?: number;
5
+ /** Path to the bb-avm-sim binary. If omitted, the generated package resolves it. */
6
+ avmBinaryPath?: string;
7
+ /** IPC path for the shared WSDB server. */
8
+ wsdbIpcPath: string;
9
+ /** Optional logger function for AVM process output. */
10
+ logger?: (msg: string) => void;
11
+ }
12
+ /**
13
+ * The public-execution AVM backend: a lazily-grown pool of bb-avm-sim processes plus the CDB server that
14
+ * answers those processes' contract-data callbacks. Callers hold this as an {@link AvmSimulator}; the pool,
15
+ * the CDB server, its IPC path, and fork-id routing are all hidden behind that interface. Each `simulate`
16
+ * registers the call's contracts DB on the CDB server for the duration of the simulation (keyed by fork id
17
+ * so concurrent simulations on different forks don't collide) and unregisters it once the call returns.
18
+ */
19
+ export declare class AvmSimulatorPool implements AvmSimulator {
20
+ private options;
21
+ private slots;
22
+ private available;
23
+ private waiters;
24
+ private createdCount;
25
+ private log;
26
+ private maxSize;
27
+ private cdbServer;
28
+ constructor(options: AvmSimulatorPoolOptions);
29
+ static spawn(options: AvmSimulatorPoolOptions): Promise<AvmSimulatorPool>;
30
+ [Symbol.asyncDispose](): Promise<void>;
31
+ simulate(inputBuffer: Uint8Array, context: AvmContractsDBContext, signal?: AbortSignal): Promise<Uint8Array>;
32
+ simulateWithHints(inputBuffer: Uint8Array): Promise<Uint8Array>;
33
+ /** Destroy all AVM processes in the pool and close the CDB server. */
34
+ destroy(): Promise<void>;
35
+ /**
36
+ * Eagerly spawn up to `count` AVM processes (capped at maxSize) and leave them available, so the
37
+ * first simulate() doesn't pay process spawn/connect cost. Idempotent.
38
+ */
39
+ prewarm(count?: number): Promise<void>;
40
+ private checkout;
41
+ /** Return an AVM process to the pool after use. */
42
+ private return;
43
+ private createSlot;
44
+ }
45
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX3NpbXVsYXRvcl9wb29sLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHVibGljL2F2bV9zaW11bGF0b3JfcG9vbC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFHQSxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxZQUFZLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUc5RSxNQUFNLFdBQVcsdUJBQXVCO0lBQ3RDLHVIQUF1SDtJQUN2SCxPQUFPLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDakIsb0ZBQW9GO0lBQ3BGLGFBQWEsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUN2QiwyQ0FBMkM7SUFDM0MsV0FBVyxFQUFFLE1BQU0sQ0FBQztJQUNwQix1REFBdUQ7SUFDdkQsTUFBTSxDQUFDLEVBQUUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxLQUFLLElBQUksQ0FBQztDQUNoQztBQWFEOzs7Ozs7R0FNRztBQUNILHFCQUFhLGdCQUFpQixZQUFXLFlBQVk7SUFTdkMsT0FBTyxDQUFDLE9BQU87SUFSM0IsT0FBTyxDQUFDLEtBQUssQ0FBc0M7SUFDbkQsT0FBTyxDQUFDLFNBQVMsQ0FBZ0I7SUFDakMsT0FBTyxDQUFDLE9BQU8sQ0FBaUc7SUFDaEgsT0FBTyxDQUFDLFlBQVksQ0FBSztJQUN6QixPQUFPLENBQUMsR0FBRyxDQUFTO0lBQ3BCLE9BQU8sQ0FBQyxPQUFPLENBQVM7SUFDeEIsT0FBTyxDQUFDLFNBQVMsQ0FBZTtJQUVoQyxZQUFvQixPQUFPLEVBQUUsdUJBQXVCLEVBSW5EO0lBRUQsT0FBYSxLQUFLLENBQUMsT0FBTyxFQUFFLHVCQUF1QixHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxDQUs5RTtJQUVLLENBQUMsTUFBTSxDQUFDLFlBQVksQ0FBQyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFM0M7SUFFSyxRQUFRLENBQUMsV0FBVyxFQUFFLFVBQVUsRUFBRSxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSxDQUFDLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsQ0Fjakg7SUFFSyxpQkFBaUIsQ0FBQyxXQUFXLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxVQUFVLENBQUMsQ0FRcEU7SUFFRCxzRUFBc0U7SUFDaEUsT0FBTyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FtQjdCO0lBRUQ7OztPQUdHO0lBQ0csT0FBTyxDQUFDLEtBQUssU0FBSSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FVdEM7WUFHYSxRQUFRO0lBZXRCLG1EQUFtRDtJQUNuRCxPQUFPLENBQUMsTUFBTTtZQVlBLFVBQVU7Q0E4QnpCIn0=
@@ -0,0 +1 @@
1
+ {"version":3,"file":"avm_simulator_pool.d.ts","sourceRoot":"","sources":["../../src/public/avm_simulator_pool.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAG9E,MAAM,WAAW,uBAAuB;IACtC,uHAAuH;IACvH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,oFAAoF;IACpF,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,2CAA2C;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,uDAAuD;IACvD,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAaD;;;;;;GAMG;AACH,qBAAa,gBAAiB,YAAW,YAAY;IASvC,OAAO,CAAC,OAAO;IAR3B,OAAO,CAAC,KAAK,CAAsC;IACnD,OAAO,CAAC,SAAS,CAAgB;IACjC,OAAO,CAAC,OAAO,CAAiG;IAChH,OAAO,CAAC,YAAY,CAAK;IACzB,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,SAAS,CAAe;IAEhC,YAAoB,OAAO,EAAE,uBAAuB,EAInD;IAED,OAAa,KAAK,CAAC,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAK9E;IAEK,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3C;IAEK,QAAQ,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,qBAAqB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAcjH;IAEK,iBAAiB,CAAC,WAAW,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAQpE;IAED,sEAAsE;IAChE,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAmB7B;IAED;;;OAGG;IACG,OAAO,CAAC,KAAK,SAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAUtC;YAGa,QAAQ;IAetB,mDAAmD;IACnD,OAAO,CAAC,MAAM;YAYA,UAAU;CA8BzB"}
@@ -0,0 +1,197 @@
1
+ var _computedKey;
2
+ import { AvmService } from '@aztec/bb-avm-sim';
3
+ import { createLogger } from '@aztec/foundation/log';
4
+ import { CdbIpcServer } from './cdb_ipc_server.js';
5
+ _computedKey = Symbol.asyncDispose;
6
+ /**
7
+ * The public-execution AVM backend: a lazily-grown pool of bb-avm-sim processes plus the CDB server that
8
+ * answers those processes' contract-data callbacks. Callers hold this as an {@link AvmSimulator}; the pool,
9
+ * the CDB server, its IPC path, and fork-id routing are all hidden behind that interface. Each `simulate`
10
+ * registers the call's contracts DB on the CDB server for the duration of the simulation (keyed by fork id
11
+ * so concurrent simulations on different forks don't collide) and unregisters it once the call returns.
12
+ */ export class AvmSimulatorPool {
13
+ options;
14
+ slots;
15
+ available;
16
+ waiters;
17
+ createdCount;
18
+ log;
19
+ maxSize;
20
+ cdbServer;
21
+ constructor(options){
22
+ this.options = options;
23
+ this.slots = [];
24
+ this.available = [];
25
+ this.waiters = [];
26
+ this.createdCount = 0;
27
+ this.log = createLogger('simulator:avm-pool');
28
+ this.maxSize = options.maxSize ?? parseInt(process.env.AVM_MAX_CONCURRENT_SIMULATIONS ?? '4', 10);
29
+ this.cdbServer = new CdbIpcServer();
30
+ }
31
+ static async spawn(options) {
32
+ const pool = new AvmSimulatorPool(options);
33
+ // Always start one process up front so the first simulate() doesn't pay process spawn/connect cost.
34
+ await pool.prewarm();
35
+ return pool;
36
+ }
37
+ async [_computedKey]() {
38
+ await this.destroy();
39
+ }
40
+ async simulate(inputBuffer, context, signal) {
41
+ // Register the fork's contracts DB so the C++ AVM's callbacks (which carry this fork id) route to it,
42
+ // and unregister once the simulation returns — registration is only needed while the call is running.
43
+ this.cdbServer.registerFork(context.forkId, context.contractsDB, context.timestamp);
44
+ try {
45
+ const simulator = await this.checkout();
46
+ try {
47
+ return await simulator.simulate(inputBuffer, signal);
48
+ } finally{
49
+ this.return(simulator);
50
+ }
51
+ } finally{
52
+ this.cdbServer.unregisterFork(context.forkId);
53
+ }
54
+ }
55
+ async simulateWithHints(inputBuffer) {
56
+ // The hinted path makes no contract-data callbacks, so no CDB registration is needed.
57
+ const simulator = await this.checkout();
58
+ try {
59
+ return await simulator.simulateWithHints(inputBuffer);
60
+ } finally{
61
+ this.return(simulator);
62
+ }
63
+ }
64
+ /** Destroy all AVM processes in the pool and close the CDB server. */ async destroy() {
65
+ for (const waiter of this.waiters){
66
+ waiter.reject(new Error('AVM simulator pool destroyed'));
67
+ }
68
+ this.waiters = [];
69
+ const destroyPromises = [];
70
+ for (const slot of this.slots){
71
+ if (slot) {
72
+ destroyPromises.push(slot.destroy());
73
+ }
74
+ }
75
+ await Promise.all(destroyPromises);
76
+ this.slots = [];
77
+ this.available = [];
78
+ this.createdCount = 0;
79
+ await this.cdbServer.close();
80
+ this.log.info('AVM simulator pool destroyed');
81
+ }
82
+ /**
83
+ * Eagerly spawn up to `count` AVM processes (capped at maxSize) and leave them available, so the
84
+ * first simulate() doesn't pay process spawn/connect cost. Idempotent.
85
+ */ async prewarm(count = 1) {
86
+ const target = Math.min(count, this.maxSize);
87
+ const created = [];
88
+ while(this.createdCount < target){
89
+ created.push(await this.createSlot());
90
+ }
91
+ // Hand the freshly-spawned processes back to the pool so checkout() reuses them.
92
+ for (const simulator of created){
93
+ this.return(simulator);
94
+ }
95
+ }
96
+ /** Check out an AVM process from the pool, blocking until one is free. Caller must return() it when done. */ async checkout() {
97
+ const idx = this.available.pop();
98
+ if (idx !== undefined && this.slots[idx]) {
99
+ return this.slots[idx];
100
+ }
101
+ if (this.createdCount < this.maxSize || idx !== undefined && !this.slots[idx]) {
102
+ return await this.createSlot(idx);
103
+ }
104
+ return new Promise((resolve, reject)=>{
105
+ this.waiters.push({
106
+ resolve,
107
+ reject
108
+ });
109
+ });
110
+ }
111
+ /** Return an AVM process to the pool after use. */ return(simulator) {
112
+ const waiter = this.waiters.shift();
113
+ if (waiter) {
114
+ waiter.resolve(simulator);
115
+ } else {
116
+ const idx = this.slots.indexOf(simulator);
117
+ if (idx >= 0) {
118
+ this.available.push(idx);
119
+ }
120
+ }
121
+ }
122
+ async createSlot(reuseIdx) {
123
+ const reuse = reuseIdx !== undefined && reuseIdx < this.slots.length;
124
+ // Reserve the slot count synchronously, before the async spawn, so concurrent checkouts can't all
125
+ // observe `createdCount < maxSize` and overshoot the pool (the count is only bumped once control has
126
+ // yielded on the await). Roll back the reservation if the spawn itself fails.
127
+ if (!reuse) {
128
+ this.createdCount++;
129
+ }
130
+ let simulator;
131
+ try {
132
+ simulator = await AvmSimulatorProcess.spawn({
133
+ binaryPath: this.options.avmBinaryPath,
134
+ wsdbIpcPath: this.options.wsdbIpcPath,
135
+ cdbIpcPath: this.cdbServer.ipcPath,
136
+ logger: this.options.logger
137
+ });
138
+ } catch (err) {
139
+ if (!reuse) {
140
+ this.createdCount--;
141
+ }
142
+ throw err;
143
+ }
144
+ if (reuse) {
145
+ this.slots[reuseIdx] = simulator;
146
+ } else {
147
+ this.slots.push(simulator);
148
+ }
149
+ this.log.debug(`Created AVM pool slot (${this.createdCount}/${this.maxSize})`);
150
+ return simulator;
151
+ }
152
+ }
153
+ class AvmSimulatorProcess {
154
+ service;
155
+ constructor(service){
156
+ this.service = service;
157
+ }
158
+ static async spawn(options) {
159
+ const service = await AvmService.spawn({
160
+ binaryPath: options.binaryPath,
161
+ transport: 'uds',
162
+ logger: options.logger,
163
+ extraArgs: [
164
+ '--wsdb',
165
+ options.wsdbIpcPath,
166
+ '--cdb',
167
+ options.cdbIpcPath
168
+ ]
169
+ });
170
+ return new AvmSimulatorProcess(service);
171
+ }
172
+ async simulate(inputBuffer, signal) {
173
+ // Signal the C++ process to stop at its next cancellation checkpoint when the caller aborts.
174
+ const onAbort = ()=>this.service.sendProcessSignal('SIGUSR1');
175
+ if (signal?.aborted) {
176
+ onAbort();
177
+ }
178
+ signal?.addEventListener('abort', onAbort, {
179
+ once: true
180
+ });
181
+ try {
182
+ return (await this.service.simulate({
183
+ inputs: inputBuffer
184
+ })).result;
185
+ } finally{
186
+ signal?.removeEventListener('abort', onAbort);
187
+ }
188
+ }
189
+ async simulateWithHints(inputBuffer) {
190
+ return (await this.service.simulateWithHints({
191
+ inputs: inputBuffer
192
+ })).result;
193
+ }
194
+ async destroy() {
195
+ await this.service.destroy();
196
+ }
197
+ }
@@ -0,0 +1,40 @@
1
+ /**
2
+ * UDS server for AVM CDB requests.
3
+ *
4
+ * Transport (socket, framing, per-connection response ordering) is handled by the shared
5
+ * `UdsIpcServer` from `@aztec/ipc-runtime`; message dispatch comes from the generated CDB
6
+ * server. This class only implements the generated handler interface and routes requests to
7
+ * PublicContractsDB instances by fork ID.
8
+ */
9
+ import { type CdbAddContracts, type CdbAddContractsResponse, type CdbCommitCheckpoint, type CdbCommitCheckpointResponse, type CdbCreateCheckpoint, type CdbCreateCheckpointResponse, type CdbGetBytecodeCommitment, type CdbGetBytecodeCommitmentResponse, type CdbGetContractClass, type CdbGetContractClassResponse, type CdbGetContractInstance, type CdbGetContractInstanceResponse, type CdbGetDebugFunctionName, type CdbGetDebugFunctionNameResponse, type Handler as CdbHandler, type CdbRevertCheckpoint, type CdbRevertCheckpointResponse } from '@aztec/cdb';
10
+ import { type ContractInstanceWithAddress } from '@aztec/stdlib/contract';
11
+ import type { PublicContractsDB } from './public_db_sources.js';
12
+ /** Serializes contract instances to the AVM CDB wire shape. */
13
+ export declare function serializeContractInstance(instance: ContractInstanceWithAddress): Record<string, unknown>;
14
+ /** Routes AVM CDB IPC requests to registered PublicContractsDB forks. */
15
+ export declare class CdbIpcServer implements CdbHandler {
16
+ readonly ipcPath: string;
17
+ private server;
18
+ private log;
19
+ /** Maps WSDB fork IDs to contracts DB/timestamp pairs for concurrent simulations. */
20
+ private forks;
21
+ constructor();
22
+ /** Register a PublicContractsDB for a given WSDB fork ID. */
23
+ registerFork(forkId: number, contractsDB: PublicContractsDB, timestamp: bigint): void;
24
+ /** Unregister a fork's contracts DB (call after simulation completes). */
25
+ unregisterFork(forkId: number): void;
26
+ /** Close the server and all active connections. */
27
+ close(): Promise<void>;
28
+ [Symbol.asyncDispose](): Promise<void>;
29
+ /** Look up the contracts DB for a given fork ID, throwing if not registered. */
30
+ private getFork;
31
+ getContractInstance(command: CdbGetContractInstance): Promise<CdbGetContractInstanceResponse>;
32
+ getContractClass(command: CdbGetContractClass): Promise<CdbGetContractClassResponse>;
33
+ getBytecodeCommitment(command: CdbGetBytecodeCommitment): Promise<CdbGetBytecodeCommitmentResponse>;
34
+ getDebugFunctionName(command: CdbGetDebugFunctionName): Promise<CdbGetDebugFunctionNameResponse>;
35
+ addContracts(command: CdbAddContracts): Promise<CdbAddContractsResponse>;
36
+ createCheckpoint(command: CdbCreateCheckpoint): Promise<CdbCreateCheckpointResponse>;
37
+ commitCheckpoint(command: CdbCommitCheckpoint): Promise<CdbCommitCheckpointResponse>;
38
+ revertCheckpoint(command: CdbRevertCheckpoint): Promise<CdbRevertCheckpointResponse>;
39
+ }
40
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2RiX2lwY19zZXJ2ZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wdWJsaWMvY2RiX2lwY19zZXJ2ZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7R0FPRztBQUNILE9BQU8sRUFDTCxLQUFLLGVBQWUsRUFDcEIsS0FBSyx1QkFBdUIsRUFDNUIsS0FBSyxtQkFBbUIsRUFDeEIsS0FBSywyQkFBMkIsRUFDaEMsS0FBSyxtQkFBbUIsRUFDeEIsS0FBSywyQkFBMkIsRUFDaEMsS0FBSyx3QkFBd0IsRUFDN0IsS0FBSyxnQ0FBZ0MsRUFDckMsS0FBSyxtQkFBbUIsRUFDeEIsS0FBSywyQkFBMkIsRUFDaEMsS0FBSyxzQkFBc0IsRUFDM0IsS0FBSyw4QkFBOEIsRUFDbkMsS0FBSyx1QkFBdUIsRUFDNUIsS0FBSywrQkFBK0IsRUFDcEMsS0FBSyxPQUFPLElBQUksVUFBVSxFQUMxQixLQUFLLG1CQUFtQixFQUN4QixLQUFLLDJCQUEyQixFQUVqQyxNQUFNLFlBQVksQ0FBQztBQU1wQixPQUFPLEVBQTBCLEtBQUssMkJBQTJCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQU9sRyxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBV2hFLCtEQUErRDtBQUMvRCx3QkFBZ0IseUJBQXlCLENBQUMsUUFBUSxFQUFFLDJCQUEyQixHQUFHLE1BQU0sQ0FBQyxNQUFNLEVBQUUsT0FBTyxDQUFDLENBb0J4RztBQWlCRCx5RUFBeUU7QUFDekUscUJBQWEsWUFBYSxZQUFXLFVBQVU7SUFDN0MsU0FBZ0IsT0FBTyxFQUFFLE1BQU0sQ0FBQztJQUNoQyxPQUFPLENBQUMsTUFBTSxDQUF3QjtJQUN0QyxPQUFPLENBQUMsR0FBRyxDQUFTO0lBQ3BCLHFGQUFxRjtJQUNyRixPQUFPLENBQUMsS0FBSyxDQUFtRTtJQUVoRixjQVVDO0lBRUQsNkRBQTZEO0lBQzdELFlBQVksQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLFdBQVcsRUFBRSxpQkFBaUIsRUFBRSxTQUFTLEVBQUUsTUFBTSxHQUFHLElBQUksQ0FFcEY7SUFFRCwwRUFBMEU7SUFDMUUsY0FBYyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUVuQztJQUVELG1EQUFtRDtJQUM3QyxLQUFLLElBQUksT0FBTyxDQUFDLElBQUksQ0FBQyxDQUczQjtJQUVLLENBQUMsTUFBTSxDQUFDLFlBQVksQ0FBQyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFM0M7SUFFRCxnRkFBZ0Y7SUFDaEYsT0FBTyxDQUFDLE9BQU87SUFXVCxtQkFBbUIsQ0FBQyxPQUFPLEVBQUUsc0JBQXNCLEdBQUcsT0FBTyxDQUFDLDhCQUE4QixDQUFDLENBS2xHO0lBRUssZ0JBQWdCLENBQUMsT0FBTyxFQUFFLG1CQUFtQixHQUFHLE9BQU8sQ0FBQywyQkFBMkIsQ0FBQyxDQUt6RjtJQUVLLHFCQUFxQixDQUFDLE9BQU8sRUFBRSx3QkFBd0IsR0FBRyxPQUFPLENBQUMsZ0NBQWdDLENBQUMsQ0FLeEc7SUFFSyxvQkFBb0IsQ0FBQyxPQUFPLEVBQUUsdUJBQXVCLEdBQUcsT0FBTyxDQUFDLCtCQUErQixDQUFDLENBT3JHO0lBRUQsWUFBWSxDQUFDLE9BQU8sRUFBRSxlQUFlLEdBQUcsT0FBTyxDQUFDLHVCQUF1QixDQUFDLENBT3ZFO0lBRUQsZ0JBQWdCLENBQUMsT0FBTyxFQUFFLG1CQUFtQixHQUFHLE9BQU8sQ0FBQywyQkFBMkIsQ0FBQyxDQUluRjtJQUVELGdCQUFnQixDQUFDLE9BQU8sRUFBRSxtQkFBbUIsR0FBRyxPQUFPLENBQUMsMkJBQTJCLENBQUMsQ0FJbkY7SUFFRCxnQkFBZ0IsQ0FBQyxPQUFPLEVBQUUsbUJBQW1CLEdBQUcsT0FBTyxDQUFDLDJCQUEyQixDQUFDLENBSW5GO0NBQ0YifQ==
@@ -0,0 +1 @@
1
+ {"version":3,"file":"cdb_ipc_server.d.ts","sourceRoot":"","sources":["../../src/public/cdb_ipc_server.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,uBAAuB,EAC5B,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAChC,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAChC,KAAK,wBAAwB,EAC7B,KAAK,gCAAgC,EACrC,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAChC,KAAK,sBAAsB,EAC3B,KAAK,8BAA8B,EACnC,KAAK,uBAAuB,EAC5B,KAAK,+BAA+B,EACpC,KAAK,OAAO,IAAI,UAAU,EAC1B,KAAK,mBAAmB,EACxB,KAAK,2BAA2B,EAEjC,MAAM,YAAY,CAAC;AAMpB,OAAO,EAA0B,KAAK,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAOlG,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAWhE,+DAA+D;AAC/D,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoBxG;AAiBD,yEAAyE;AACzE,qBAAa,YAAa,YAAW,UAAU;IAC7C,SAAgB,OAAO,EAAE,MAAM,CAAC;IAChC,OAAO,CAAC,MAAM,CAAwB;IACtC,OAAO,CAAC,GAAG,CAAS;IACpB,qFAAqF;IACrF,OAAO,CAAC,KAAK,CAAmE;IAEhF,cAUC;IAED,6DAA6D;IAC7D,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAEpF;IAED,0EAA0E;IAC1E,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAEnC;IAED,mDAAmD;IAC7C,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAG3B;IAEK,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3C;IAED,gFAAgF;IAChF,OAAO,CAAC,OAAO;IAWT,mBAAmB,CAAC,OAAO,EAAE,sBAAsB,GAAG,OAAO,CAAC,8BAA8B,CAAC,CAKlG;IAEK,gBAAgB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,2BAA2B,CAAC,CAKzF;IAEK,qBAAqB,CAAC,OAAO,EAAE,wBAAwB,GAAG,OAAO,CAAC,gCAAgC,CAAC,CAKxG;IAEK,oBAAoB,CAAC,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,+BAA+B,CAAC,CAOrG;IAED,YAAY,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAOvE;IAED,gBAAgB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,2BAA2B,CAAC,CAInF;IAED,gBAAgB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,2BAA2B,CAAC,CAInF;IAED,gBAAgB,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,2BAA2B,CAAC,CAInF;CACF"}
@@ -0,0 +1,153 @@
1
+ /**
2
+ * UDS server for AVM CDB requests.
3
+ *
4
+ * Transport (socket, framing, per-connection response ordering) is handled by the shared
5
+ * `UdsIpcServer` from `@aztec/ipc-runtime`; message dispatch comes from the generated CDB
6
+ * server. This class only implements the generated handler interface and routes requests to
7
+ * PublicContractsDB instances by fork ID.
8
+ */ var _computedKey;
9
+ import { handleRequest } from '@aztec/cdb';
10
+ import { Fr } from '@aztec/foundation/curves/bn254';
11
+ import { createLogger } from '@aztec/foundation/log';
12
+ import { UdsIpcServer } from '@aztec/ipc-runtime';
13
+ import { FunctionSelector } from '@aztec/stdlib/abi';
14
+ import { AztecAddress } from '@aztec/stdlib/aztec-address';
15
+ import { ContractDeploymentData } from '@aztec/stdlib/contract';
16
+ import { Decoder, Encoder } from 'msgpackr';
17
+ import * as os from 'node:os';
18
+ import * as path from 'node:path';
19
+ import { threadId } from 'node:worker_threads';
20
+ const encoder = new Encoder({
21
+ useRecords: false
22
+ });
23
+ const decoder = new Decoder({
24
+ useRecords: false
25
+ });
26
+ let instanceCounter = 0;
27
+ function toFieldBuffer(field) {
28
+ return field.toBuffer();
29
+ }
30
+ /** Serializes contract instances to the AVM CDB wire shape. */ export function serializeContractInstance(instance) {
31
+ return {
32
+ salt: toFieldBuffer(instance.salt),
33
+ deployer: toFieldBuffer(instance.deployer),
34
+ currentContractClassId: toFieldBuffer(instance.currentContractClassId),
35
+ originalContractClassId: toFieldBuffer(instance.originalContractClassId),
36
+ initializationHash: toFieldBuffer(instance.initializationHash),
37
+ immutablesHash: toFieldBuffer(instance.immutablesHash),
38
+ publicKeys: {
39
+ npkMHash: toFieldBuffer(instance.publicKeys.npkMHash),
40
+ ivpkM: {
41
+ x: toFieldBuffer(instance.publicKeys.ivpkM.x),
42
+ y: toFieldBuffer(instance.publicKeys.ivpkM.y)
43
+ },
44
+ ovpkMHash: toFieldBuffer(instance.publicKeys.ovpkMHash),
45
+ tpkMHash: toFieldBuffer(instance.publicKeys.tpkMHash),
46
+ mspkMHash: toFieldBuffer(instance.publicKeys.mspkMHash),
47
+ fbpkMHash: toFieldBuffer(instance.publicKeys.fbpkMHash)
48
+ }
49
+ };
50
+ }
51
+ /** Serializes contract classes to the AVM CDB wire shape. */ function serializeContractClass(contractClass) {
52
+ return {
53
+ id: toFieldBuffer(contractClass.id),
54
+ artifactHash: toFieldBuffer(contractClass.artifactHash),
55
+ privateFunctionsRoot: toFieldBuffer(contractClass.privateFunctionsRoot),
56
+ packedBytecode: contractClass.packedBytecode
57
+ };
58
+ }
59
+ _computedKey = Symbol.asyncDispose;
60
+ /** Routes AVM CDB IPC requests to registered PublicContractsDB forks. */ export class CdbIpcServer {
61
+ ipcPath;
62
+ server;
63
+ log;
64
+ /** Maps WSDB fork IDs to contracts DB/timestamp pairs for concurrent simulations. */ forks = new Map();
65
+ constructor(){
66
+ this.log = createLogger('cdb-ipc-server');
67
+ this.ipcPath = path.join(os.tmpdir(), `cdb-ts-${process.pid}-${threadId}-${instanceCounter++}.sock`);
68
+ // Listen asynchronously; the C++ AVM retries connecting until the socket is up.
69
+ this.server = UdsIpcServer.listen(this.ipcPath, (_clientId, request)=>handleRequest(this, request));
70
+ this.server.then(()=>this.log.debug(`CDB IPC server listening on ${this.ipcPath}`), (err)=>this.log.error(`CDB IPC server failed to listen on ${this.ipcPath}`, {
71
+ err
72
+ }));
73
+ }
74
+ /** Register a PublicContractsDB for a given WSDB fork ID. */ registerFork(forkId, contractsDB, timestamp) {
75
+ this.forks.set(forkId, {
76
+ db: contractsDB,
77
+ timestamp
78
+ });
79
+ }
80
+ /** Unregister a fork's contracts DB (call after simulation completes). */ unregisterFork(forkId) {
81
+ this.forks.delete(forkId);
82
+ }
83
+ /** Close the server and all active connections. */ async close() {
84
+ const server = await this.server.catch(()=>undefined);
85
+ await server?.close();
86
+ }
87
+ async [_computedKey]() {
88
+ await this.close();
89
+ }
90
+ /** Look up the contracts DB for a given fork ID, throwing if not registered. */ getFork(forkId) {
91
+ const fork = this.forks.get(forkId);
92
+ if (!fork) {
93
+ const registered = Array.from(this.forks.keys()).sort((a, b)=>a - b);
94
+ throw new Error(`CDB server: no contracts DB registered for forkId ${forkId} (registered=[${registered.join(',')}])`);
95
+ }
96
+ return fork;
97
+ }
98
+ async getContractInstance(command) {
99
+ const { db, timestamp } = this.getFork(command.forkId);
100
+ const address = AztecAddress.fromBuffer(Buffer.from(command.address));
101
+ const instance = await db.getContractInstance(address, timestamp);
102
+ return {
103
+ instance: instance ? encoder.encode(serializeContractInstance(instance)) : null
104
+ };
105
+ }
106
+ async getContractClass(command) {
107
+ const { db } = this.getFork(command.forkId);
108
+ const classId = Fr.fromBuffer(Buffer.from(command.classId));
109
+ const contractClass = await db.getContractClass(classId);
110
+ return {
111
+ contractClass: contractClass ? encoder.encode(serializeContractClass(contractClass)) : null
112
+ };
113
+ }
114
+ async getBytecodeCommitment(command) {
115
+ const { db } = this.getFork(command.forkId);
116
+ const classId = Fr.fromBuffer(Buffer.from(command.classId));
117
+ const commitment = await db.getBytecodeCommitment(classId);
118
+ return {
119
+ commitment: commitment ? toFieldBuffer(commitment) : null
120
+ };
121
+ }
122
+ async getDebugFunctionName(command) {
123
+ const { db } = this.getFork(command.forkId);
124
+ const address = AztecAddress.fromBuffer(Buffer.from(command.address));
125
+ const selectorField = Fr.fromBuffer(Buffer.from(command.selector));
126
+ const selector = FunctionSelector.fromFieldOrUndefined(selectorField);
127
+ const name = selector ? await db.getDebugFunctionName(address, selector) : undefined;
128
+ return {
129
+ name: name ?? null
130
+ };
131
+ }
132
+ addContracts(command) {
133
+ const { db } = this.getFork(command.forkId);
134
+ const contractDeploymentData = ContractDeploymentData.fromPlainObject(decoder.decode(command.contractDeploymentData));
135
+ db.addContractsFromLogs(contractDeploymentData);
136
+ return Promise.resolve({});
137
+ }
138
+ createCheckpoint(command) {
139
+ const { db } = this.getFork(command.forkId);
140
+ db.createCheckpoint();
141
+ return Promise.resolve({});
142
+ }
143
+ commitCheckpoint(command) {
144
+ const { db } = this.getFork(command.forkId);
145
+ db.commitCheckpoint();
146
+ return Promise.resolve({});
147
+ }
148
+ revertCheckpoint(command) {
149
+ const { db } = this.getFork(command.forkId);
150
+ db.revertCheckpoint();
151
+ return Promise.resolve({});
152
+ }
153
+ }
@@ -11,8 +11,8 @@ const INITIAL_TOKEN_BALANCE = 1_000_000_000n;
11
11
  * You do NOT need permission to remove this test!
12
12
  */ export async function ammTest(tester, logger, tokenArtifact, ammArtifact, expectToBeTrue) {
13
13
  const timer = new Timer();
14
- const admin = AztecAddress.fromNumber(42);
15
- const sender = AztecAddress.fromNumber(111);
14
+ const admin = AztecAddress.fromNumberUnsafe(42);
15
+ const sender = AztecAddress.fromNumberUnsafe(111);
16
16
  logger.debug(`Deploying tokens`);
17
17
  const token0 = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue, /*seed=*/ 0);
18
18
  const token1 = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue, /*seed=*/ 1);
@@ -3,7 +3,7 @@ import { Timer } from '@aztec/foundation/timer';
3
3
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
4
4
  export async function bulkTest(tester, logger, avmTestContractArtifact) {
5
5
  const timer = new Timer();
6
- const deployer = AztecAddress.fromNumber(42);
6
+ const deployer = AztecAddress.fromNumberUnsafe(42);
7
7
  const avmTestContract = await tester.registerAndDeployContract(/*constructorArgs=*/ [], deployer, avmTestContractArtifact);
8
8
  // Needed since we invoke the Fee Juice Contract in the bulk test.registerFeeJuiceContract
9
9
  await tester.registerFeeJuiceContract();
@@ -136,7 +136,7 @@ export async function bulkTest(tester, logger, avmTestContractArtifact) {
136
136
  }
137
137
  export async function megaBulkTest(tester, logger, avmTestContractArtifact) {
138
138
  const timer = new Timer();
139
- const deployer = AztecAddress.fromNumber(42);
139
+ const deployer = AztecAddress.fromNumberUnsafe(42);
140
140
  const avmTestContract = await tester.registerAndDeployContract(/*constructorArgs=*/ [], deployer, avmTestContractArtifact);
141
141
  // Needed since we invoke the Fee Juice Contract in the bulk test.registerFeeJuiceContract
142
142
  await tester.registerFeeJuiceContract();
@@ -31,4 +31,4 @@ export declare function executeCustomBytecode(contract: ContractInstanceWithAddr
31
31
  * @returns The execution result
32
32
  */
33
33
  export declare function deployAndExecuteCustomBytecode(bytecode: Buffer, tester: PublicTxSimulationTester, txLabel?: string, contractName?: string, deployer?: AztecAddress, calldata?: any[]): Promise<PublicTxResult>;
34
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY3VzdG9tX2J5dGVjb2RlX3Rlc3Rlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9maXh0dXJlcy9jdXN0b21fYnl0ZWNvZGVfdGVzdGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3hELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSwyQkFBMkIsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRTFFLE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBRTVFOzs7Ozs7O0dBT0c7QUFDSCx3QkFBc0Isb0JBQW9CLENBQ3hDLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsWUFBWSxHQUFFLE1BQWlDLEVBQy9DLFFBQVEsR0FBRSxZQUEwQyxHQUNuRCxPQUFPLENBQUMsMkJBQTJCLENBQUMsQ0FpQnRDO0FBRUQ7Ozs7Ozs7R0FPRztBQUNILHdCQUFzQixxQkFBcUIsQ0FDekMsUUFBUSxFQUFFLDJCQUEyQixFQUNyQyxNQUFNLEVBQUUsd0JBQXdCLEVBQ2hDLE9BQU8sR0FBRSxNQUE2QixFQUN0QyxRQUFRLEdBQUUsR0FBRyxFQUFPLEdBQ25CLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FRekI7QUFFRDs7Ozs7Ozs7O0dBU0c7QUFDSCx3QkFBc0IsOEJBQThCLENBQ2xELFFBQVEsRUFBRSxNQUFNLEVBQ2hCLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsT0FBTyxHQUFFLE1BQTZCLEVBQ3RDLFlBQVksR0FBRSxNQUFpQyxFQUMvQyxRQUFRLEdBQUUsWUFBMEMsRUFDcEQsUUFBUSxHQUFFLEdBQUcsRUFBTyxHQUNuQixPQUFPLENBQUMsY0FBYyxDQUFDLENBR3pCIn0=
34
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY3VzdG9tX2J5dGVjb2RlX3Rlc3Rlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9maXh0dXJlcy9jdXN0b21fYnl0ZWNvZGVfdGVzdGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3hELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSwyQkFBMkIsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRTFFLE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBRTVFOzs7Ozs7O0dBT0c7QUFDSCx3QkFBc0Isb0JBQW9CLENBQ3hDLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsWUFBWSxHQUFFLE1BQWlDLEVBQy9DLFFBQVEsR0FBRSxZQUFnRCxHQUN6RCxPQUFPLENBQUMsMkJBQTJCLENBQUMsQ0FpQnRDO0FBRUQ7Ozs7Ozs7R0FPRztBQUNILHdCQUFzQixxQkFBcUIsQ0FDekMsUUFBUSxFQUFFLDJCQUEyQixFQUNyQyxNQUFNLEVBQUUsd0JBQXdCLEVBQ2hDLE9BQU8sR0FBRSxNQUE2QixFQUN0QyxRQUFRLEdBQUUsR0FBRyxFQUFPLEdBQ25CLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FRekI7QUFFRDs7Ozs7Ozs7O0dBU0c7QUFDSCx3QkFBc0IsOEJBQThCLENBQ2xELFFBQVEsRUFBRSxNQUFNLEVBQ2hCLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsT0FBTyxHQUFFLE1BQTZCLEVBQ3RDLFlBQVksR0FBRSxNQUFpQyxFQUMvQyxRQUFRLEdBQUUsWUFBZ0QsRUFDMUQsUUFBUSxHQUFFLEdBQUcsRUFBTyxHQUNuQixPQUFPLENBQUMsY0FBYyxDQUFDLENBR3pCIn0=