@aztec/simulator 0.0.0-test.1 → 0.0.1-commit.023c3e5

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 (528) hide show
  1. package/README.md +8 -0
  2. package/dest/client.d.ts +6 -4
  3. package/dest/client.d.ts.map +1 -1
  4. package/dest/client.js +4 -2
  5. package/dest/common/errors.d.ts +6 -9
  6. package/dest/common/errors.d.ts.map +1 -1
  7. package/dest/common/errors.js +51 -32
  8. package/dest/common/index.d.ts +1 -2
  9. package/dest/common/index.d.ts.map +1 -1
  10. package/dest/common/index.js +0 -1
  11. package/dest/common/stats/index.d.ts +1 -1
  12. package/dest/common/stats/stats.d.ts +1 -1
  13. package/dest/private/acvm/acvm.d.ts +15 -7
  14. package/dest/private/acvm/acvm.d.ts.map +1 -1
  15. package/dest/private/acvm/acvm.js +14 -19
  16. package/dest/private/acvm/acvm_types.d.ts +2 -2
  17. package/dest/private/acvm/acvm_types.d.ts.map +1 -1
  18. package/dest/private/acvm/deserialize.d.ts +19 -20
  19. package/dest/private/acvm/deserialize.d.ts.map +1 -1
  20. package/dest/private/acvm/deserialize.js +32 -24
  21. package/dest/private/acvm/index.d.ts +1 -2
  22. package/dest/private/acvm/index.d.ts.map +1 -1
  23. package/dest/private/acvm/index.js +0 -1
  24. package/dest/private/acvm/serialize.d.ts +21 -4
  25. package/dest/private/acvm/serialize.d.ts.map +1 -1
  26. package/dest/private/acvm/serialize.js +54 -1
  27. package/dest/private/acvm_native.d.ts +41 -0
  28. package/dest/private/acvm_native.d.ts.map +1 -0
  29. package/dest/private/{providers/acvm_native.js → acvm_native.js} +34 -26
  30. package/dest/private/acvm_wasm.d.ts +16 -0
  31. package/dest/private/acvm_wasm.d.ts.map +1 -0
  32. package/dest/private/acvm_wasm.js +65 -0
  33. package/dest/private/acvm_wasm_with_blobs.d.ts +20 -0
  34. package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -0
  35. package/dest/private/acvm_wasm_with_blobs.js +35 -0
  36. package/dest/private/circuit_recording/circuit_recorder.d.ts +109 -0
  37. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -0
  38. package/dest/private/circuit_recording/circuit_recorder.js +212 -0
  39. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +32 -0
  40. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -0
  41. package/dest/private/circuit_recording/file_circuit_recorder.js +135 -0
  42. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +10 -0
  43. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -0
  44. package/dest/private/circuit_recording/memory_circuit_recorder.js +9 -0
  45. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +21 -0
  46. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -0
  47. package/dest/private/circuit_recording/simulator_recorder_wrapper.js +44 -0
  48. package/dest/private/circuit_simulator.d.ts +35 -0
  49. package/dest/private/circuit_simulator.d.ts.map +1 -0
  50. package/dest/private/circuit_simulator.js +43 -0
  51. package/dest/private/factory.d.ts +12 -0
  52. package/dest/private/factory.d.ts.map +1 -0
  53. package/dest/private/{providers/factory.js → factory.js} +8 -5
  54. package/dest/public/avm/avm_context.d.ts +8 -8
  55. package/dest/public/avm/avm_context.d.ts.map +1 -1
  56. package/dest/public/avm/avm_contract_call_result.d.ts +8 -6
  57. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  58. package/dest/public/avm/avm_contract_call_result.js +12 -8
  59. package/dest/public/avm/avm_execution_environment.d.ts +9 -6
  60. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  61. package/dest/public/avm/avm_execution_environment.js +5 -3
  62. package/dest/public/avm/avm_gas.d.ts +5 -21
  63. package/dest/public/avm/avm_gas.d.ts.map +1 -1
  64. package/dest/public/avm/avm_gas.js +27 -35
  65. package/dest/public/avm/avm_machine_state.d.ts +9 -6
  66. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  67. package/dest/public/avm/avm_machine_state.js +5 -2
  68. package/dest/public/avm/avm_memory_types.d.ts +100 -89
  69. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  70. package/dest/public/avm/avm_memory_types.js +21 -7
  71. package/dest/public/avm/avm_simulator.d.ts +8 -7
  72. package/dest/public/avm/avm_simulator.d.ts.map +1 -1
  73. package/dest/public/avm/avm_simulator.js +32 -42
  74. package/dest/public/avm/avm_simulator_interface.d.ts +9 -0
  75. package/dest/public/avm/avm_simulator_interface.d.ts.map +1 -0
  76. package/dest/public/avm/avm_simulator_interface.js +3 -0
  77. package/dest/public/avm/calldata.d.ts +51 -0
  78. package/dest/public/avm/calldata.d.ts.map +1 -0
  79. package/dest/public/avm/calldata.js +63 -0
  80. package/dest/public/avm/errors.d.ts +11 -29
  81. package/dest/public/avm/errors.d.ts.map +1 -1
  82. package/dest/public/avm/errors.js +19 -57
  83. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +6 -5
  84. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  85. package/dest/public/avm/fixtures/avm_simulation_tester.js +26 -18
  86. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +8 -6
  87. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
  88. package/dest/public/avm/fixtures/base_avm_simulation_tester.js +38 -15
  89. package/dest/public/avm/fixtures/initializers.d.ts +42 -0
  90. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -0
  91. package/dest/public/avm/fixtures/initializers.js +45 -0
  92. package/dest/public/avm/fixtures/utils.d.ts +39 -0
  93. package/dest/public/avm/fixtures/utils.d.ts.map +1 -0
  94. package/dest/public/avm/fixtures/utils.js +96 -0
  95. package/dest/public/avm/index.d.ts +1 -3
  96. package/dest/public/avm/index.d.ts.map +1 -1
  97. package/dest/public/avm/index.js +0 -2
  98. package/dest/public/avm/opcodes/accrued_substate.d.ts +17 -18
  99. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  100. package/dest/public/avm/opcodes/accrued_substate.js +58 -55
  101. package/dest/public/avm/opcodes/addressing_mode.d.ts +12 -8
  102. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +1 -1
  103. package/dest/public/avm/opcodes/addressing_mode.js +46 -26
  104. package/dest/public/avm/opcodes/arithmetic.d.ts +14 -2
  105. package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
  106. package/dest/public/avm/opcodes/arithmetic.js +27 -3
  107. package/dest/public/avm/opcodes/bitwise.d.ts +8 -16
  108. package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
  109. package/dest/public/avm/opcodes/bitwise.js +22 -29
  110. package/dest/public/avm/opcodes/comparators.d.ts +1 -1
  111. package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
  112. package/dest/public/avm/opcodes/comparators.js +3 -3
  113. package/dest/public/avm/opcodes/contract.d.ts +3 -4
  114. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  115. package/dest/public/avm/opcodes/contract.js +11 -12
  116. package/dest/public/avm/opcodes/control_flow.d.ts +3 -3
  117. package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
  118. package/dest/public/avm/opcodes/control_flow.js +13 -11
  119. package/dest/public/avm/opcodes/conversion.d.ts +4 -3
  120. package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
  121. package/dest/public/avm/opcodes/conversion.js +270 -6
  122. package/dest/public/avm/opcodes/ec_add.d.ts +3 -3
  123. package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
  124. package/dest/public/avm/opcodes/ec_add.js +21 -12
  125. package/dest/public/avm/opcodes/environment_getters.d.ts +5 -5
  126. package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
  127. package/dest/public/avm/opcodes/environment_getters.js +20 -22
  128. package/dest/public/avm/opcodes/external_calls.d.ts +14 -13
  129. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  130. package/dest/public/avm/opcodes/external_calls.js +52 -46
  131. package/dest/public/avm/opcodes/hashing.d.ts +7 -7
  132. package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
  133. package/dest/public/avm/opcodes/hashing.js +24 -19
  134. package/dest/public/avm/opcodes/index.d.ts +1 -1
  135. package/dest/public/avm/opcodes/instruction.d.ts +15 -11
  136. package/dest/public/avm/opcodes/instruction.d.ts.map +1 -1
  137. package/dest/public/avm/opcodes/instruction.js +23 -19
  138. package/dest/public/avm/opcodes/instruction_impl.d.ts +4 -4
  139. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
  140. package/dest/public/avm/opcodes/instruction_impl.js +4 -4
  141. package/dest/public/avm/opcodes/memory.d.ts +15 -15
  142. package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
  143. package/dest/public/avm/opcodes/memory.js +52 -48
  144. package/dest/public/avm/opcodes/misc.d.ts +4 -3
  145. package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
  146. package/dest/public/avm/opcodes/misc.js +42 -17
  147. package/dest/public/avm/opcodes/storage.d.ts +14 -13
  148. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  149. package/dest/public/avm/opcodes/storage.js +39 -27
  150. package/dest/public/avm/revert_reason.d.ts +18 -0
  151. package/dest/public/avm/revert_reason.d.ts.map +1 -0
  152. package/dest/public/avm/revert_reason.js +39 -0
  153. package/dest/public/avm/serialization/buffer_cursor.d.ts +1 -3
  154. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +1 -1
  155. package/dest/public/avm/serialization/bytecode_serialization.d.ts +3 -7
  156. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -1
  157. package/dest/public/avm/serialization/bytecode_serialization.js +79 -75
  158. package/dest/public/avm/serialization/instruction_serialization.d.ts +14 -5
  159. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -1
  160. package/dest/public/avm/serialization/instruction_serialization.js +70 -35
  161. package/dest/public/avm/test_utils.d.ts +12 -15
  162. package/dest/public/avm/test_utils.d.ts.map +1 -1
  163. package/dest/public/avm/test_utils.js +17 -25
  164. package/dest/public/contracts_db_checkpoint.d.ts +16 -0
  165. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -0
  166. package/dest/public/contracts_db_checkpoint.js +30 -0
  167. package/dest/public/db_interfaces.d.ts +68 -0
  168. package/dest/public/db_interfaces.d.ts.map +1 -0
  169. package/dest/public/db_interfaces.js +3 -0
  170. package/dest/public/debug_fn_name.d.ts +18 -0
  171. package/dest/public/debug_fn_name.d.ts.map +1 -0
  172. package/dest/public/debug_fn_name.js +37 -0
  173. package/dest/public/executor_metrics.d.ts +12 -4
  174. package/dest/public/executor_metrics.d.ts.map +1 -1
  175. package/dest/public/executor_metrics.js +33 -23
  176. package/dest/public/executor_metrics_interface.d.ts +10 -0
  177. package/dest/public/executor_metrics_interface.d.ts.map +1 -0
  178. package/dest/public/executor_metrics_interface.js +1 -0
  179. package/dest/public/fixtures/amm_test.d.ts +10 -0
  180. package/dest/public/fixtures/amm_test.d.ts.map +1 -0
  181. package/dest/public/fixtures/amm_test.js +213 -0
  182. package/dest/public/fixtures/bulk_test.d.ts +6 -0
  183. package/dest/public/fixtures/bulk_test.d.ts.map +1 -0
  184. package/dest/public/fixtures/bulk_test.js +262 -0
  185. package/dest/public/fixtures/custom_bytecode_tester.d.ts +34 -0
  186. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -0
  187. package/dest/public/fixtures/custom_bytecode_tester.js +53 -0
  188. package/dest/public/fixtures/custom_bytecode_tests.d.ts +12 -0
  189. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -0
  190. package/dest/public/fixtures/custom_bytecode_tests.js +174 -0
  191. package/dest/public/fixtures/index.d.ts +10 -1
  192. package/dest/public/fixtures/index.d.ts.map +1 -1
  193. package/dest/public/fixtures/index.js +9 -0
  194. package/dest/public/fixtures/minimal_public_tx.d.ts +4 -0
  195. package/dest/public/fixtures/minimal_public_tx.d.ts.map +1 -0
  196. package/dest/public/fixtures/minimal_public_tx.js +19 -0
  197. package/dest/public/fixtures/opcode_spammer.d.ts +122 -0
  198. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -0
  199. package/dest/public/fixtures/opcode_spammer.js +1653 -0
  200. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +55 -15
  201. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  202. package/dest/public/fixtures/public_tx_simulation_tester.js +138 -72
  203. package/dest/public/fixtures/simple_contract_data_source.d.ts +36 -0
  204. package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -0
  205. package/dest/public/{avm/fixtures → fixtures}/simple_contract_data_source.js +31 -10
  206. package/dest/public/fixtures/token_test.d.ts +12 -0
  207. package/dest/public/fixtures/token_test.d.ts.map +1 -0
  208. package/dest/public/fixtures/token_test.js +96 -0
  209. package/dest/public/fixtures/utils.d.ts +18 -5
  210. package/dest/public/fixtures/utils.d.ts.map +1 -1
  211. package/dest/public/fixtures/utils.js +102 -59
  212. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +60 -0
  213. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
  214. package/dest/public/fuzzing/avm_fuzzer_simulator.js +171 -0
  215. package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
  216. package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
  217. package/dest/public/fuzzing/avm_simulator_bin.js +118 -0
  218. package/dest/public/hinting_db_sources.d.ts +80 -0
  219. package/dest/public/hinting_db_sources.d.ts.map +1 -0
  220. package/dest/public/hinting_db_sources.js +355 -0
  221. package/dest/public/index.d.ts +6 -9
  222. package/dest/public/index.d.ts.map +1 -1
  223. package/dest/public/index.js +4 -7
  224. package/dest/public/public_db_sources.d.ts +54 -103
  225. package/dest/public/public_db_sources.d.ts.map +1 -1
  226. package/dest/public/public_db_sources.js +222 -195
  227. package/dest/public/public_errors.d.ts +12 -0
  228. package/dest/public/public_errors.d.ts.map +1 -0
  229. package/dest/public/public_errors.js +13 -0
  230. package/dest/public/public_processor/guarded_merkle_tree.d.ts +51 -0
  231. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -0
  232. package/dest/public/public_processor/guarded_merkle_tree.js +113 -0
  233. package/dest/public/public_processor/public_processor.d.ts +28 -38
  234. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  235. package/dest/public/public_processor/public_processor.js +576 -136
  236. package/dest/public/public_processor/public_processor_metrics.d.ts +4 -4
  237. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  238. package/dest/public/public_processor/public_processor_metrics.js +29 -46
  239. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +19 -0
  240. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -0
  241. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +98 -0
  242. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +53 -0
  243. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -0
  244. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +132 -0
  245. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +42 -0
  246. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -0
  247. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +86 -0
  248. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +30 -0
  249. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -0
  250. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +171 -0
  251. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +23 -0
  252. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -0
  253. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +52 -0
  254. package/dest/public/public_tx_simulator/factories.d.ts +14 -0
  255. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
  256. package/dest/public/public_tx_simulator/factories.js +28 -0
  257. package/dest/public/public_tx_simulator/index.d.ts +8 -0
  258. package/dest/public/public_tx_simulator/index.d.ts.map +1 -0
  259. package/dest/public/public_tx_simulator/index.js +5 -0
  260. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +31 -0
  261. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +1 -0
  262. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +51 -0
  263. package/dest/public/public_tx_simulator/public_tx_context.d.ts +25 -31
  264. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  265. package/dest/public/public_tx_simulator/public_tx_context.js +75 -95
  266. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +38 -58
  267. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  268. package/dest/public/public_tx_simulator/public_tx_simulator.js +220 -207
  269. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +32 -0
  270. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -0
  271. package/dest/public/public_tx_simulator/public_tx_simulator_interface.js +1 -0
  272. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +21 -0
  273. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +1 -0
  274. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +415 -0
  275. package/dest/public/side_effect_errors.d.ts +42 -2
  276. package/dest/public/side_effect_errors.d.ts.map +1 -1
  277. package/dest/public/side_effect_errors.js +70 -1
  278. package/dest/public/side_effect_trace.d.ts +24 -69
  279. package/dest/public/side_effect_trace.d.ts.map +1 -1
  280. package/dest/public/side_effect_trace.js +74 -124
  281. package/dest/public/side_effect_trace_interface.d.ts +13 -25
  282. package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
  283. package/dest/public/state_manager/index.d.ts +2 -0
  284. package/dest/public/state_manager/index.d.ts.map +1 -0
  285. package/dest/public/state_manager/index.js +1 -0
  286. package/dest/public/{avm/journal → state_manager}/nullifiers.d.ts +4 -7
  287. package/dest/public/state_manager/nullifiers.d.ts.map +1 -0
  288. package/dest/public/{avm/journal → state_manager}/nullifiers.js +3 -8
  289. package/dest/public/{avm/journal → state_manager}/public_storage.d.ts +4 -4
  290. package/dest/public/state_manager/public_storage.d.ts.map +1 -0
  291. package/dest/public/{avm/journal → state_manager}/public_storage.js +1 -1
  292. package/dest/public/state_manager/state_manager.d.ts +170 -0
  293. package/dest/public/state_manager/state_manager.d.ts.map +1 -0
  294. package/dest/public/state_manager/state_manager.js +402 -0
  295. package/dest/public/test_executor_metrics.d.ts +56 -0
  296. package/dest/public/test_executor_metrics.d.ts.map +1 -0
  297. package/dest/public/test_executor_metrics.js +307 -0
  298. package/dest/public/unique_class_ids.d.ts +1 -1
  299. package/dest/public/unique_class_ids.d.ts.map +1 -1
  300. package/dest/public/utils.d.ts +3 -5
  301. package/dest/public/utils.d.ts.map +1 -1
  302. package/dest/public/utils.js +4 -21
  303. package/dest/server.d.ts +7 -4
  304. package/dest/server.d.ts.map +1 -1
  305. package/dest/server.js +5 -2
  306. package/dest/testing.d.ts +2 -0
  307. package/dest/testing.d.ts.map +1 -0
  308. package/dest/testing.js +1 -0
  309. package/package.json +39 -33
  310. package/src/client.ts +5 -3
  311. package/src/common/errors.ts +80 -45
  312. package/src/common/index.ts +0 -1
  313. package/src/private/acvm/acvm.ts +21 -35
  314. package/src/private/acvm/acvm_types.ts +1 -1
  315. package/src/private/acvm/deserialize.ts +36 -30
  316. package/src/private/acvm/index.ts +0 -1
  317. package/src/private/acvm/serialize.ts +64 -1
  318. package/src/private/{providers/acvm_native.ts → acvm_native.ts} +57 -28
  319. package/src/private/acvm_wasm.ts +76 -0
  320. package/src/private/acvm_wasm_with_blobs.ts +54 -0
  321. package/src/private/circuit_recording/circuit_recorder.ts +263 -0
  322. package/src/private/circuit_recording/file_circuit_recorder.ts +163 -0
  323. package/src/private/circuit_recording/memory_circuit_recorder.ts +13 -0
  324. package/src/private/circuit_recording/simulator_recorder_wrapper.ts +91 -0
  325. package/src/private/circuit_simulator.ts +90 -0
  326. package/src/private/{providers/factory.ts → factory.ts} +13 -10
  327. package/src/public/avm/avm_context.ts +6 -6
  328. package/src/public/avm/avm_contract_call_result.ts +23 -9
  329. package/src/public/avm/avm_execution_environment.ts +17 -5
  330. package/src/public/avm/avm_gas.ts +26 -38
  331. package/src/public/avm/avm_machine_state.ts +12 -6
  332. package/src/public/avm/avm_memory_types.ts +24 -7
  333. package/src/public/avm/avm_simulator.ts +57 -62
  334. package/src/public/avm/avm_simulator_interface.ts +8 -0
  335. package/src/public/avm/calldata.ts +100 -0
  336. package/src/public/avm/errors.ts +20 -75
  337. package/src/public/avm/fixtures/avm_simulation_tester.ts +41 -24
  338. package/src/public/avm/fixtures/base_avm_simulation_tester.ts +46 -13
  339. package/src/public/avm/fixtures/initializers.ts +103 -0
  340. package/src/public/avm/fixtures/utils.ts +151 -0
  341. package/src/public/avm/index.ts +0 -2
  342. package/src/public/avm/opcodes/accrued_substate.ts +81 -48
  343. package/src/public/avm/opcodes/addressing_mode.ts +56 -32
  344. package/src/public/avm/opcodes/arithmetic.ts +37 -3
  345. package/src/public/avm/opcodes/bitwise.ts +33 -29
  346. package/src/public/avm/opcodes/comparators.ts +6 -3
  347. package/src/public/avm/opcodes/contract.ts +10 -10
  348. package/src/public/avm/opcodes/control_flow.ts +19 -10
  349. package/src/public/avm/opcodes/conversion.ts +29 -5
  350. package/src/public/avm/opcodes/ec_add.ts +22 -10
  351. package/src/public/avm/opcodes/environment_getters.ts +28 -23
  352. package/src/public/avm/opcodes/external_calls.ts +70 -36
  353. package/src/public/avm/opcodes/hashing.ts +39 -13
  354. package/src/public/avm/opcodes/instruction.ts +31 -21
  355. package/src/public/avm/opcodes/instruction_impl.ts +2 -2
  356. package/src/public/avm/opcodes/memory.ts +81 -42
  357. package/src/public/avm/opcodes/misc.ts +61 -19
  358. package/src/public/avm/opcodes/storage.ts +47 -23
  359. package/src/public/avm/revert_reason.ts +58 -0
  360. package/src/public/avm/serialization/buffer_cursor.ts +4 -1
  361. package/src/public/avm/serialization/bytecode_serialization.ts +89 -80
  362. package/src/public/avm/serialization/instruction_serialization.ts +75 -34
  363. package/src/public/avm/test_utils.ts +25 -42
  364. package/src/public/contracts_db_checkpoint.ts +41 -0
  365. package/src/public/db_interfaces.ts +76 -0
  366. package/src/public/debug_fn_name.ts +52 -0
  367. package/src/public/executor_metrics.ts +49 -23
  368. package/src/public/executor_metrics_interface.ts +15 -0
  369. package/src/public/fixtures/amm_test.ts +331 -0
  370. package/src/public/fixtures/bulk_test.ts +169 -0
  371. package/src/public/fixtures/custom_bytecode_tester.ts +83 -0
  372. package/src/public/fixtures/custom_bytecode_tests.ts +228 -0
  373. package/src/public/fixtures/index.ts +13 -0
  374. package/src/public/fixtures/minimal_public_tx.ts +26 -0
  375. package/src/public/fixtures/opcode_spammer.ts +1721 -0
  376. package/src/public/fixtures/public_tx_simulation_tester.ts +223 -114
  377. package/src/public/{avm/fixtures → fixtures}/simple_contract_data_source.ts +37 -20
  378. package/src/public/fixtures/token_test.ts +148 -0
  379. package/src/public/fixtures/utils.ts +141 -69
  380. package/src/public/fuzzing/avm_fuzzer_simulator.ts +288 -0
  381. package/src/public/fuzzing/avm_simulator_bin.ts +175 -0
  382. package/src/public/hinting_db_sources.ts +607 -0
  383. package/src/public/index.ts +11 -8
  384. package/src/public/public_db_sources.ts +290 -260
  385. package/src/public/public_errors.ts +14 -0
  386. package/src/public/public_processor/guarded_merkle_tree.ts +158 -0
  387. package/src/public/public_processor/public_processor.ts +257 -179
  388. package/src/public/public_processor/public_processor_metrics.ts +18 -46
  389. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +124 -0
  390. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +211 -0
  391. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +134 -0
  392. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +239 -0
  393. package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +83 -0
  394. package/src/public/public_tx_simulator/factories.ts +43 -0
  395. package/src/public/public_tx_simulator/index.ts +7 -0
  396. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +105 -0
  397. package/src/public/public_tx_simulator/public_tx_context.ts +179 -199
  398. package/src/public/public_tx_simulator/public_tx_simulator.ts +316 -263
  399. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +33 -0
  400. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +63 -0
  401. package/src/public/side_effect_errors.ts +91 -1
  402. package/src/public/side_effect_trace.ts +99 -322
  403. package/src/public/side_effect_trace_interface.ts +11 -59
  404. package/src/public/state_manager/index.ts +1 -0
  405. package/src/public/{avm/journal → state_manager}/nullifiers.ts +6 -12
  406. package/src/public/{avm/journal → state_manager}/public_storage.ts +3 -3
  407. package/src/public/state_manager/state_manager.ts +569 -0
  408. package/src/public/test_executor_metrics.ts +397 -0
  409. package/src/public/utils.ts +5 -21
  410. package/src/server.ts +6 -3
  411. package/src/testing.ts +1 -0
  412. package/dest/common/db_interfaces.d.ts +0 -80
  413. package/dest/common/db_interfaces.d.ts.map +0 -1
  414. package/dest/common/db_interfaces.js +0 -1
  415. package/dest/common/debug_fn_name.d.ts +0 -5
  416. package/dest/common/debug_fn_name.d.ts.map +0 -1
  417. package/dest/common/debug_fn_name.js +0 -6
  418. package/dest/common/message_load_oracle_inputs.d.ts +0 -15
  419. package/dest/common/message_load_oracle_inputs.d.ts.map +0 -1
  420. package/dest/common/message_load_oracle_inputs.js +0 -15
  421. package/dest/private/acvm/oracle/index.d.ts +0 -14
  422. package/dest/private/acvm/oracle/index.d.ts.map +0 -1
  423. package/dest/private/acvm/oracle/index.js +0 -2
  424. package/dest/private/acvm/oracle/oracle.d.ts +0 -49
  425. package/dest/private/acvm/oracle/oracle.d.ts.map +0 -1
  426. package/dest/private/acvm/oracle/oracle.js +0 -263
  427. package/dest/private/acvm/oracle/typed_oracle.d.ts +0 -83
  428. package/dest/private/acvm/oracle/typed_oracle.d.ts.map +0 -1
  429. package/dest/private/acvm/oracle/typed_oracle.js +0 -132
  430. package/dest/private/execution_data_provider.d.ts +0 -261
  431. package/dest/private/execution_data_provider.d.ts.map +0 -1
  432. package/dest/private/execution_data_provider.js +0 -14
  433. package/dest/private/execution_note_cache.d.ts +0 -93
  434. package/dest/private/execution_note_cache.d.ts.map +0 -1
  435. package/dest/private/execution_note_cache.js +0 -180
  436. package/dest/private/hashed_values_cache.d.ts +0 -28
  437. package/dest/private/hashed_values_cache.d.ts.map +0 -1
  438. package/dest/private/hashed_values_cache.js +0 -46
  439. package/dest/private/index.d.ts +0 -13
  440. package/dest/private/index.d.ts.map +0 -1
  441. package/dest/private/index.js +0 -12
  442. package/dest/private/pick_notes.d.ts +0 -85
  443. package/dest/private/pick_notes.d.ts.map +0 -1
  444. package/dest/private/pick_notes.js +0 -51
  445. package/dest/private/private_execution.d.ts +0 -25
  446. package/dest/private/private_execution.d.ts.map +0 -1
  447. package/dest/private/private_execution.js +0 -92
  448. package/dest/private/private_execution_oracle.d.ts +0 -215
  449. package/dest/private/private_execution_oracle.d.ts.map +0 -1
  450. package/dest/private/private_execution_oracle.js +0 -382
  451. package/dest/private/providers/acvm_native.d.ts +0 -40
  452. package/dest/private/providers/acvm_native.d.ts.map +0 -1
  453. package/dest/private/providers/acvm_wasm.d.ts +0 -15
  454. package/dest/private/providers/acvm_wasm.d.ts.map +0 -1
  455. package/dest/private/providers/acvm_wasm.js +0 -62
  456. package/dest/private/providers/acvm_wasm_with_blobs.d.ts +0 -19
  457. package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
  458. package/dest/private/providers/acvm_wasm_with_blobs.js +0 -32
  459. package/dest/private/providers/factory.d.ts +0 -12
  460. package/dest/private/providers/factory.d.ts.map +0 -1
  461. package/dest/private/providers/simulation_provider.d.ts +0 -19
  462. package/dest/private/providers/simulation_provider.d.ts.map +0 -1
  463. package/dest/private/providers/simulation_provider.js +0 -24
  464. package/dest/private/simulator.d.ts +0 -34
  465. package/dest/private/simulator.d.ts.map +0 -1
  466. package/dest/private/simulator.js +0 -76
  467. package/dest/private/unconstrained_execution.d.ts +0 -10
  468. package/dest/private/unconstrained_execution.d.ts.map +0 -1
  469. package/dest/private/unconstrained_execution.js +0 -27
  470. package/dest/private/unconstrained_execution_oracle.d.ts +0 -161
  471. package/dest/private/unconstrained_execution_oracle.d.ts.map +0 -1
  472. package/dest/private/unconstrained_execution_oracle.js +0 -258
  473. package/dest/public/avm/bytecode_utils.d.ts +0 -5
  474. package/dest/public/avm/bytecode_utils.d.ts.map +0 -1
  475. package/dest/public/avm/bytecode_utils.js +0 -17
  476. package/dest/public/avm/fixtures/index.d.ts +0 -84
  477. package/dest/public/avm/fixtures/index.d.ts.map +0 -1
  478. package/dest/public/avm/fixtures/index.js +0 -175
  479. package/dest/public/avm/fixtures/simple_contract_data_source.d.ts +0 -35
  480. package/dest/public/avm/fixtures/simple_contract_data_source.d.ts.map +0 -1
  481. package/dest/public/avm/journal/index.d.ts +0 -2
  482. package/dest/public/avm/journal/index.d.ts.map +0 -1
  483. package/dest/public/avm/journal/index.js +0 -1
  484. package/dest/public/avm/journal/journal.d.ts +0 -209
  485. package/dest/public/avm/journal/journal.d.ts.map +0 -1
  486. package/dest/public/avm/journal/journal.js +0 -486
  487. package/dest/public/avm/journal/nullifiers.d.ts.map +0 -1
  488. package/dest/public/avm/journal/public_storage.d.ts.map +0 -1
  489. package/dest/public/bytecode_errors.d.ts +0 -4
  490. package/dest/public/bytecode_errors.d.ts.map +0 -1
  491. package/dest/public/bytecode_errors.js +0 -6
  492. package/dest/public/execution.d.ts +0 -108
  493. package/dest/public/execution.d.ts.map +0 -1
  494. package/dest/public/execution.js +0 -9
  495. package/dest/public/tx_contract_cache.d.ts +0 -41
  496. package/dest/public/tx_contract_cache.d.ts.map +0 -1
  497. package/dest/public/tx_contract_cache.js +0 -49
  498. package/dest/test/utils.d.ts +0 -13
  499. package/dest/test/utils.d.ts.map +0 -1
  500. package/dest/test/utils.js +0 -22
  501. package/src/common/db_interfaces.ts +0 -94
  502. package/src/common/debug_fn_name.ts +0 -18
  503. package/src/common/message_load_oracle_inputs.ts +0 -15
  504. package/src/private/acvm/oracle/index.ts +0 -16
  505. package/src/private/acvm/oracle/oracle.ts +0 -455
  506. package/src/private/acvm/oracle/typed_oracle.ts +0 -259
  507. package/src/private/execution_data_provider.ts +0 -323
  508. package/src/private/execution_note_cache.ts +0 -217
  509. package/src/private/hashed_values_cache.ts +0 -55
  510. package/src/private/index.ts +0 -16
  511. package/src/private/pick_notes.ts +0 -141
  512. package/src/private/private_execution.ts +0 -151
  513. package/src/private/private_execution_oracle.ts +0 -614
  514. package/src/private/providers/acvm_wasm.ts +0 -63
  515. package/src/private/providers/acvm_wasm_with_blobs.ts +0 -50
  516. package/src/private/providers/simulation_provider.ts +0 -45
  517. package/src/private/simulator.ts +0 -147
  518. package/src/private/unconstrained_execution.ts +0 -50
  519. package/src/private/unconstrained_execution_oracle.ts +0 -373
  520. package/src/public/avm/bytecode_utils.ts +0 -17
  521. package/src/public/avm/fixtures/index.ts +0 -296
  522. package/src/public/avm/journal/index.ts +0 -1
  523. package/src/public/avm/journal/journal.ts +0 -742
  524. package/src/public/avm/opcodes/.eslintrc.cjs +0 -8
  525. package/src/public/bytecode_errors.ts +0 -6
  526. package/src/public/execution.ts +0 -140
  527. package/src/public/tx_contract_cache.ts +0 -69
  528. package/src/test/utils.ts +0 -36
@@ -1,5 +1,5 @@
1
1
  import type { AvmContext } from '../avm_context.js';
2
- import { Field, Uint64 } from '../avm_memory_types.js';
2
+ import { Field, Uint1, Uint32, Uint64, Uint128 } from '../avm_memory_types.js';
3
3
  import { InstructionExecutionError } from '../errors.js';
4
4
  import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
5
5
  import { Addressing } from './addressing_mode.js';
@@ -13,15 +13,15 @@ export enum EnvironmentVariable {
13
13
  VERSION,
14
14
  BLOCKNUMBER,
15
15
  TIMESTAMP,
16
- FEEPERL2GAS,
17
- FEEPERDAGAS,
16
+ MINFEEPERL2GAS,
17
+ MINFEEPERDAGAS,
18
18
  ISSTATICCALL,
19
19
  L2GASLEFT,
20
20
  DAGASLEFT,
21
21
  }
22
22
 
23
- function getValue(e: EnvironmentVariable, ctx: AvmContext) {
24
- switch (e) {
23
+ function getValue(varEnum: EnvironmentVariable, ctx: AvmContext) {
24
+ switch (varEnum) {
25
25
  case EnvironmentVariable.ADDRESS:
26
26
  return new Field(ctx.environment.address.toField());
27
27
  case EnvironmentVariable.SENDER:
@@ -33,21 +33,21 @@ function getValue(e: EnvironmentVariable, ctx: AvmContext) {
33
33
  case EnvironmentVariable.VERSION:
34
34
  return new Field(ctx.environment.globals.version);
35
35
  case EnvironmentVariable.BLOCKNUMBER:
36
- return new Field(ctx.environment.globals.blockNumber);
36
+ return new Uint32(ctx.environment.globals.blockNumber);
37
37
  case EnvironmentVariable.TIMESTAMP:
38
- return new Uint64(ctx.environment.globals.timestamp.toBigInt());
39
- case EnvironmentVariable.FEEPERL2GAS:
40
- return new Field(ctx.environment.globals.gasFees.feePerL2Gas);
41
- case EnvironmentVariable.FEEPERDAGAS:
42
- return new Field(ctx.environment.globals.gasFees.feePerDaGas);
38
+ return new Uint64(ctx.environment.globals.timestamp);
39
+ case EnvironmentVariable.MINFEEPERL2GAS:
40
+ return new Uint128(ctx.environment.globals.gasFees.feePerL2Gas);
41
+ case EnvironmentVariable.MINFEEPERDAGAS:
42
+ return new Uint128(ctx.environment.globals.gasFees.feePerDaGas);
43
43
  case EnvironmentVariable.ISSTATICCALL:
44
- return new Field(ctx.environment.isStaticCall ? 1 : 0);
44
+ return new Uint1(ctx.environment.isStaticCall ? 1 : 0);
45
45
  case EnvironmentVariable.L2GASLEFT:
46
- return new Field(ctx.machineState.l2GasLeft);
46
+ return new Uint32(ctx.machineState.l2GasLeft);
47
47
  case EnvironmentVariable.DAGASLEFT:
48
- return new Field(ctx.machineState.daGasLeft);
48
+ return new Uint32(ctx.machineState.daGasLeft);
49
49
  default:
50
- throw new Error(`Unknown environment variable ${e}`);
50
+ throw new InstructionExecutionError(`Invalid GETENVVAR var enum ${varEnum}`);
51
51
  }
52
52
  }
53
53
 
@@ -56,27 +56,32 @@ export class GetEnvVar extends Instruction {
56
56
  public static readonly opcode: Opcode = Opcode.GETENVVAR_16;
57
57
  static readonly wireFormat16: OperandType[] = [
58
58
  OperandType.UINT8, // opcode
59
- OperandType.UINT8, // indirect
59
+ OperandType.UINT8, // addressing_mode
60
60
  OperandType.UINT16, // dstOffset
61
61
  OperandType.UINT8, // variable enum (immediate)
62
62
  ];
63
63
 
64
- constructor(private indirect: number, private dstOffset: number, private varEnum: number) {
64
+ constructor(
65
+ private addressingMode: number,
66
+ private dstOffset: number,
67
+ private varEnum: number,
68
+ ) {
65
69
  super();
66
70
  }
67
71
 
68
72
  public async execute(context: AvmContext): Promise<void> {
69
73
  const memory = context.machineState.memory;
70
- context.machineState.consumeGas(this.gasCost());
74
+ const addressing = Addressing.fromWire(this.addressingMode);
71
75
 
72
- if (!(this.varEnum in EnvironmentVariable)) {
73
- throw new InstructionExecutionError(`Invalid GETENVVAR var enum ${this.varEnum}`);
74
- }
76
+ context.machineState.consumeGas(
77
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
78
+ );
75
79
 
76
80
  const operands = [this.dstOffset];
77
- const addressing = Addressing.fromWire(this.indirect, operands.length);
78
81
  const [dstOffset] = addressing.resolve(operands, memory);
79
82
 
80
- memory.set(dstOffset, getValue(this.varEnum as EnvironmentVariable, context));
83
+ const value = getValue(this.varEnum as EnvironmentVariable, context);
84
+
85
+ memory.set(dstOffset, value);
81
86
  }
82
87
  }
@@ -1,6 +1,7 @@
1
1
  import type { AvmContext } from '../avm_context.js';
2
2
  import type { AvmContractCallResult } from '../avm_contract_call_result.js';
3
3
  import { type Field, TypeTag, Uint1 } from '../avm_memory_types.js';
4
+ import { CallDataMemory, ReturnDataMemory } from '../calldata.js';
4
5
  import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
5
6
  import { Addressing } from './addressing_mode.js';
6
7
  import { Instruction } from './instruction.js';
@@ -9,49 +10,58 @@ abstract class ExternalCall extends Instruction {
9
10
  // Informs (de)serialization. See Instruction.deserialize.
10
11
  static readonly wireFormat: OperandType[] = [
11
12
  OperandType.UINT8,
12
- OperandType.UINT8, // Indirect
13
- OperandType.UINT16,
14
- OperandType.UINT16,
15
- OperandType.UINT16,
16
- OperandType.UINT16,
13
+ OperandType.UINT16, // addressing_mode
14
+ OperandType.UINT16, // L2 gas offset
15
+ OperandType.UINT16, // DA gas offset
16
+ OperandType.UINT16, // Address offset
17
+ OperandType.UINT16, // Args offset
18
+ OperandType.UINT16, // Args size offset
17
19
  ];
18
20
 
19
21
  constructor(
20
- private indirect: number,
21
- private gasOffset: number,
22
+ private addressingMode: number,
23
+ private l2GasOffset: number,
24
+ private daGasOffset: number,
22
25
  private addrOffset: number,
23
- private argsOffset: number,
24
26
  private argsSizeOffset: number,
27
+ private argsOffset: number,
25
28
  ) {
26
29
  super();
27
30
  }
28
31
 
29
32
  public async execute(context: AvmContext) {
30
33
  const memory = context.machineState.memory;
31
- const operands = [this.gasOffset, this.addrOffset, this.argsOffset, this.argsSizeOffset];
32
- const addressing = Addressing.fromWire(this.indirect, operands.length);
33
- const [gasOffset, addrOffset, argsOffset, argsSizeOffset] = addressing.resolve(operands, memory);
34
- memory.checkTags(TypeTag.FIELD, gasOffset, gasOffset + 1);
34
+ const addressing = Addressing.fromWire(this.addressingMode);
35
+
36
+ context.machineState.consumeGas(
37
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
38
+ );
39
+
40
+ const operands = [this.l2GasOffset, this.daGasOffset, this.addrOffset, this.argsSizeOffset, this.argsOffset];
41
+ const [l2GasOffset, daGasOffset, addrOffset, argsSizeOffset, argsOffset] = addressing.resolve(operands, memory);
42
+
43
+ memory.checkTags(TypeTag.UINT32, l2GasOffset);
44
+ memory.checkTags(TypeTag.UINT32, daGasOffset);
35
45
  memory.checkTag(TypeTag.FIELD, addrOffset);
36
46
  memory.checkTag(TypeTag.UINT32, argsSizeOffset);
37
47
 
38
48
  const calldataSize = memory.get(argsSizeOffset).toNumber();
39
- const calldata = memory.getSlice(argsOffset, calldataSize).map(f => f.toFr());
40
- memory.checkTagsRange(TypeTag.FIELD, argsOffset, calldataSize);
49
+
50
+ const calldata = new CallDataMemory(memory, argsOffset, calldataSize);
41
51
 
42
52
  const callAddress = memory.getAs<Field>(addrOffset);
43
53
  // If we are already in a static call, we propagate the environment.
44
54
  const callType = context.environment.isStaticCall ? 'STATICCALL' : this.type;
45
55
 
46
- // First we consume the gas for this operation.
47
- context.machineState.consumeGas(this.gasCost(calldataSize));
48
- // Then we consume the gas allocated for the nested call. The excess will be refunded later.
56
+ // We consume the gas allocated for the nested call. The excess will be refunded later.
49
57
  // Gas allocation is capped by the amount of gas left in the current context.
50
58
  // We have to do some dancing here because the gas allocation is a field,
51
59
  // but in the machine state we track gas as a number.
52
- const allocatedL2Gas = Number(BigIntMin(memory.get(gasOffset).toBigInt(), BigInt(context.machineState.l2GasLeft)));
60
+ const allocatedL2Gas = Number(
61
+ BigIntMin(memory.get(l2GasOffset).toBigInt(), BigInt(context.machineState.l2GasLeft)),
62
+ );
53
63
  const allocatedDaGas = Number(
54
- BigIntMin(memory.get(gasOffset + 1).toBigInt(), BigInt(context.machineState.daGasLeft)),
64
+ BigIntMin(memory.get(daGasOffset).toBigInt(), BigInt(context.machineState.daGasLeft)),
55
65
  );
56
66
  const allocatedGas = { l2Gas: allocatedL2Gas, daGas: allocatedDaGas };
57
67
  context.machineState.consumeGas(allocatedGas);
@@ -64,12 +74,15 @@ abstract class ExternalCall extends Instruction {
64
74
  const success = !nestedCallResults.reverted;
65
75
 
66
76
  // Save return/revert data for later.
67
- const fullReturnData = nestedCallResults.output;
68
- context.machineState.nestedReturndata = fullReturnData;
77
+ const returnData = nestedCallResults.output;
78
+ context.machineState.nestedReturndata = returnData;
69
79
 
70
80
  // Track the success status directly
71
81
  context.machineState.nestedCallSuccess = success;
72
82
 
83
+ // Account for all instructions executed in the nested call
84
+ context.machineState.instrCounter += nestedCallResults.totalInstructions;
85
+
73
86
  // If the nested call reverted, we try to save the reason and the revert data.
74
87
  // This will be used by the caller to try to reconstruct the call stack.
75
88
  // This is only a heuristic and may not always work. It is intended to work
@@ -77,7 +90,7 @@ abstract class ExternalCall extends Instruction {
77
90
  // (in Noir code).
78
91
  if (!success) {
79
92
  context.machineState.collectedRevertInfo = {
80
- revertDataRepresentative: fullReturnData,
93
+ revertDataRepresentative: returnData.bestEffortReadAll(),
81
94
  recursiveRevertReason: nestedCallResults.revertReason!,
82
95
  };
83
96
  }
@@ -124,15 +137,22 @@ export class SuccessCopy extends Instruction {
124
137
  OperandType.UINT16, // dstOffset (16-bit)
125
138
  ];
126
139
 
127
- constructor(private indirect: number, private dstOffset: number) {
140
+ constructor(
141
+ private addressingMode: number,
142
+ private dstOffset: number,
143
+ ) {
128
144
  super();
129
145
  }
130
146
 
131
147
  public async execute(context: AvmContext): Promise<void> {
132
148
  const memory = context.machineState.memory;
149
+ const addressing = Addressing.fromWire(this.addressingMode);
150
+
151
+ context.machineState.consumeGas(
152
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
153
+ );
133
154
 
134
155
  const operands = [this.dstOffset];
135
- const addressing = Addressing.fromWire(this.indirect, operands.length);
136
156
  const [dstOffset] = addressing.resolve(operands, memory);
137
157
 
138
158
  // Use the direct success tracking property
@@ -154,22 +174,29 @@ export class Return extends Instruction {
154
174
  OperandType.UINT16,
155
175
  ];
156
176
 
157
- constructor(private indirect: number, private returnOffset: number, private returnSizeOffset: number) {
177
+ constructor(
178
+ private addressingMode: number,
179
+ private returnSizeOffset: number,
180
+ private returnOffset: number,
181
+ ) {
158
182
  super();
159
183
  }
160
184
 
161
185
  public async execute(context: AvmContext): Promise<void> {
162
186
  const memory = context.machineState.memory;
187
+ const addressing = Addressing.fromWire(this.addressingMode);
163
188
 
164
- const operands = [this.returnOffset, this.returnSizeOffset];
165
- const addressing = Addressing.fromWire(this.indirect, operands.length);
166
- const [returnOffset, returnSizeOffset] = addressing.resolve(operands, memory);
189
+ context.machineState.consumeGas(
190
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
191
+ );
192
+
193
+ const operands = [this.returnSizeOffset, this.returnOffset];
194
+ const [returnSizeOffset, returnOffset] = addressing.resolve(operands, memory);
167
195
 
168
196
  memory.checkTag(TypeTag.UINT32, returnSizeOffset);
169
197
  const returnSize = memory.get(returnSizeOffset).toNumber();
170
- context.machineState.consumeGas(this.gasCost(returnSize));
171
198
 
172
- const output = memory.getSlice(returnOffset, returnSize).map(word => word.toFr());
199
+ const output = new ReturnDataMemory(memory, returnOffset, returnSize);
173
200
 
174
201
  context.machineState.return(output);
175
202
  }
@@ -196,21 +223,28 @@ export class Revert extends Instruction {
196
223
  OperandType.UINT16,
197
224
  ];
198
225
 
199
- constructor(private indirect: number, private returnOffset: number, private retSizeOffset: number) {
226
+ constructor(
227
+ private addressingMode: number,
228
+ private retSizeOffset: number,
229
+ private returnOffset: number,
230
+ ) {
200
231
  super();
201
232
  }
202
233
 
203
234
  public async execute(context: AvmContext): Promise<void> {
204
235
  const memory = context.machineState.memory;
236
+ const addressing = Addressing.fromWire(this.addressingMode);
237
+
238
+ context.machineState.consumeGas(
239
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
240
+ );
205
241
 
206
- const operands = [this.returnOffset, this.retSizeOffset];
207
- const addressing = Addressing.fromWire(this.indirect, operands.length);
208
- const [returnOffset, retSizeOffset] = addressing.resolve(operands, memory);
242
+ const operands = [this.retSizeOffset, this.returnOffset];
243
+ const [retSizeOffset, returnOffset] = addressing.resolve(operands, memory);
209
244
 
210
245
  memory.checkTag(TypeTag.UINT32, retSizeOffset);
211
246
  const retSize = memory.get(retSizeOffset).toNumber();
212
- context.machineState.consumeGas(this.gasCost(retSize));
213
- const output = memory.getSlice(returnOffset, retSize).map(word => word.toFr());
247
+ const output = new ReturnDataMemory(memory, returnOffset, retSize);
214
248
 
215
249
  context.machineState.revert(output);
216
250
  }
@@ -1,4 +1,6 @@
1
- import { keccakf1600, poseidon2Permutation, sha256Compression } from '@aztec/foundation/crypto';
1
+ import { keccakf1600 } from '@aztec/foundation/crypto/keccak';
2
+ import { poseidon2Permutation } from '@aztec/foundation/crypto/poseidon';
3
+ import { sha256Compression } from '@aztec/foundation/crypto/sha256';
2
4
 
3
5
  import type { AvmContext } from '../avm_context.js';
4
6
  import { Field, TypeTag, Uint32, Uint64 } from '../avm_memory_types.js';
@@ -19,16 +21,24 @@ export class Poseidon2 extends Instruction {
19
21
  OperandType.UINT16,
20
22
  ];
21
23
 
22
- constructor(private indirect: number, private inputStateOffset: number, private outputStateOffset: number) {
24
+ constructor(
25
+ private addressingMode: number,
26
+ private inputStateOffset: number,
27
+ private outputStateOffset: number,
28
+ ) {
23
29
  super();
24
30
  }
25
31
 
26
32
  public async execute(context: AvmContext): Promise<void> {
27
33
  const memory = context.machineState.memory;
28
- context.machineState.consumeGas(this.gasCost());
34
+ const addressing = Addressing.fromWire(this.addressingMode);
35
+
36
+ context.machineState.consumeGas(
37
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
38
+ );
29
39
 
30
40
  const operands = [this.inputStateOffset, this.outputStateOffset];
31
- const addressing = Addressing.fromWire(this.indirect, operands.length);
41
+
32
42
  const [inputOffset, outputOffset] = addressing.resolve(operands, memory);
33
43
 
34
44
  const inputState = memory.getSlice(inputOffset, Poseidon2.stateSize);
@@ -54,7 +64,11 @@ export class KeccakF1600 extends Instruction {
54
64
  OperandType.UINT16,
55
65
  ];
56
66
 
57
- constructor(private indirect: number, private dstOffset: number, private inputOffset: number) {
67
+ constructor(
68
+ private addressingMode: number,
69
+ private dstOffset: number,
70
+ private inputOffset: number,
71
+ ) {
58
72
  super();
59
73
  }
60
74
 
@@ -62,10 +76,14 @@ export class KeccakF1600 extends Instruction {
62
76
  public async execute(context: AvmContext): Promise<void> {
63
77
  const inputSize = 25;
64
78
  const memory = context.machineState.memory;
79
+ const addressing = Addressing.fromWire(this.addressingMode);
80
+
81
+ context.machineState.consumeGas(
82
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
83
+ );
84
+
65
85
  const operands = [this.dstOffset, this.inputOffset];
66
- const addressing = Addressing.fromWire(this.indirect, operands.length);
67
86
  const [dstOffset, inputOffset] = addressing.resolve(operands, memory);
68
- context.machineState.consumeGas(this.gasCost());
69
87
 
70
88
  const stateData = memory.getSlice(inputOffset, inputSize).map(word => word.toBigInt());
71
89
  memory.checkTagsRange(TypeTag.UINT64, inputOffset, inputSize);
@@ -91,7 +109,7 @@ export class Sha256Compression extends Instruction {
91
109
  ];
92
110
 
93
111
  constructor(
94
- private indirect: number,
112
+ private addressingMode: number,
95
113
  private outputOffset: number,
96
114
  private stateOffset: number,
97
115
  private inputsOffset: number,
@@ -104,19 +122,27 @@ export class Sha256Compression extends Instruction {
104
122
  const INPUTS_SIZE = 16;
105
123
 
106
124
  const memory = context.machineState.memory;
125
+ const addressing = Addressing.fromWire(this.addressingMode);
126
+
127
+ context.machineState.consumeGas(
128
+ this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
129
+ );
130
+
107
131
  const operands = [this.outputOffset, this.stateOffset, this.inputsOffset];
108
- const addressing = Addressing.fromWire(this.indirect, operands.length);
109
132
  const [outputOffset, stateOffset, inputsOffset] = addressing.resolve(operands, memory);
110
133
 
111
134
  // Note: size of output is same as size of state
112
- context.machineState.consumeGas(this.gasCost());
113
- const inputs = Uint32Array.from(memory.getSlice(inputsOffset, INPUTS_SIZE).map(word => word.toNumber()));
114
- const state = Uint32Array.from(memory.getSlice(stateOffset, STATE_SIZE).map(word => word.toNumber()));
135
+ const inputs = memory.getSlice(inputsOffset, INPUTS_SIZE).map(word => word.toBigInt());
136
+ const state = memory.getSlice(stateOffset, STATE_SIZE).map(word => word.toBigInt());
115
137
 
116
138
  memory.checkTagsRange(TypeTag.UINT32, inputsOffset, INPUTS_SIZE);
117
139
  memory.checkTagsRange(TypeTag.UINT32, stateOffset, STATE_SIZE);
118
140
 
119
- const output = sha256Compression(state, inputs);
141
+ // At this point both state and inputs are Uint32Array-compatible
142
+ const inputsArray = new Uint32Array(inputs.map(i => Number(i)));
143
+ const stateArray = new Uint32Array(state.map(i => Number(i)));
144
+
145
+ const output = sha256Compression(stateArray, inputsArray);
120
146
 
121
147
  // Conversion required from Uint32Array to Uint32[] (can't map directly, need `...`)
122
148
  const res = [...output].map(word => new Uint32(word));
@@ -1,9 +1,10 @@
1
+ import type { Bufferable } from '@aztec/foundation/serialize';
2
+
1
3
  import { strict as assert } from 'assert';
2
4
 
3
5
  import type { AvmContext } from '../avm_context.js';
4
- import { type Gas, getBaseGasCost, getDynamicGasCost, mulGas, sumGas } from '../avm_gas.js';
6
+ import { type Gas, computeAddressingCost, getBaseGasCost, getDynamicGasCost, mulGas, sumGas } from '../avm_gas.js';
5
7
  import type { BufferCursor } from '../serialization/buffer_cursor.js';
6
- import type { Serializable } from '../serialization/bytecode_serialization.js';
7
8
  import { Opcode, type OperandType, deserialize, serializeAs } from '../serialization/instruction_serialization.js';
8
9
 
9
10
  type InstructionConstructor = {
@@ -35,6 +36,8 @@ export abstract class Instruction {
35
36
  * @returns Thee string representation.
36
37
  */
37
38
  public toString(): string {
39
+ // Note: we could have this be the actual wire opcode if `bytecode_serialization.ts` were to
40
+ // pass it into the class' static `Instruction.as(this, wireFormat)` method.
38
41
  let instructionStr = this.constructor.name + ': ';
39
42
  // assumes that all properties are flags or operands
40
43
  for (const prop of Object.getOwnPropertyNames(this) as (keyof Instruction)[]) {
@@ -44,19 +47,19 @@ export abstract class Instruction {
44
47
  }
45
48
 
46
49
  // Default deserialization which uses Class.opcode and Class.wireFormat.
47
- public static deserialize(
50
+ public static fromBuffer(
48
51
  this: InstructionConstructor & { wireFormat: OperandType[]; as: any },
49
52
  buf: BufferCursor | Buffer,
50
53
  ): Instruction {
51
- return this.as(this.wireFormat).deserialize(buf);
54
+ return this.as(this.wireFormat).fromBuffer(buf);
52
55
  }
53
56
 
54
57
  // Default serialization which uses Class.opcode and Class.wireFormat.
55
- public serialize(): Buffer {
58
+ public toBuffer(): Buffer {
56
59
  const klass = this.constructor as any;
57
60
  assert(klass.opcode !== undefined && klass.opcode !== null);
58
61
  assert(klass.wireFormat !== undefined && klass.wireFormat !== null);
59
- return this.as(klass.opcode, klass.wireFormat).serialize();
62
+ return this.as(klass.opcode, klass.wireFormat).toBuffer();
60
63
  }
61
64
 
62
65
  /**
@@ -65,8 +68,8 @@ export abstract class Instruction {
65
68
  * @param wireFormat The wire format of the instruction.
66
69
  * @returns The new instruction instance.
67
70
  */
68
- public as(opcode: Opcode, wireFormat: OperandType[]): Instruction & Serializable {
69
- return Object.defineProperty(this, 'serialize', {
71
+ public as(opcode: Opcode, wireFormat: OperandType[]): Instruction & Bufferable {
72
+ return Object.defineProperty(this, 'toBuffer', {
70
73
  value: (): Buffer => {
71
74
  return serializeAs(wireFormat, opcode, this);
72
75
  },
@@ -82,7 +85,7 @@ export abstract class Instruction {
82
85
  */
83
86
  public static as(this: InstructionConstructor, wireFormat: OperandType[]) {
84
87
  return Object.assign(this, {
85
- deserialize: (buf: BufferCursor | Buffer): Instruction => {
88
+ fromBuffer: (buf: BufferCursor | Buffer): Instruction => {
86
89
  const res = deserialize(buf, wireFormat);
87
90
  const args = res.slice(1); // Remove opcode.
88
91
  return new this(...args);
@@ -91,13 +94,20 @@ export abstract class Instruction {
91
94
  }
92
95
 
93
96
  /**
94
- * Computes gas cost for the instruction based on its base cost and memory operations.
95
- * @returns Gas cost.
97
+ * Returns the base gas cost for the instruction.
98
+ * @returns The base gas cost.
96
99
  */
97
- protected gasCost(dynMultiplier: number = 0): Gas {
98
- const baseGasCost = getBaseGasCost(this.opcode);
99
- const dynGasCost = mulGas(getDynamicGasCost(this.opcode), dynMultiplier);
100
- return sumGas(baseGasCost, dynGasCost);
100
+ protected baseGasCost(indirectOperandsCount: number, relativeOperandsCount: number): Gas {
101
+ return sumGas(getBaseGasCost(this.opcode), computeAddressingCost(indirectOperandsCount, relativeOperandsCount));
102
+ }
103
+
104
+ /**
105
+ * Computes the dynamic gas cost for the instruction
106
+ * @param dynMultiplier - The multiplier for the dynamic gas cost.
107
+ * @returns The dynamic gas cost.
108
+ */
109
+ protected dynamicGasCost(dynMultiplier: number = 0): Gas {
110
+ return mulGas(getDynamicGasCost(this.opcode), dynMultiplier);
101
111
  }
102
112
 
103
113
  /**
@@ -106,9 +116,7 @@ export abstract class Instruction {
106
116
  */
107
117
  public get type(): string {
108
118
  const type = 'type' in this.constructor && (this.constructor.type as string);
109
- if (!type) {
110
- throw new Error(`Instruction class ${this.constructor.name} does not have a static 'type' property defined.`);
111
- }
119
+ assert(!!type, `Instruction class ${this.constructor.name} does not have a static 'type' property defined.`);
112
120
  return type;
113
121
  }
114
122
 
@@ -118,9 +126,11 @@ export abstract class Instruction {
118
126
  */
119
127
  public get opcode(): Opcode {
120
128
  const opcode = 'opcode' in this.constructor ? (this.constructor.opcode as Opcode) : undefined;
121
- if (opcode === undefined || Opcode[opcode] === undefined) {
122
- throw new Error(`Instruction class ${this.constructor.name} does not have a static 'opcode' property defined.`);
123
- }
129
+ assert(
130
+ opcode !== undefined,
131
+ `Instruction class ${this.constructor.name} does not have a static 'opcode' property defined.`,
132
+ );
133
+ assert(Opcode[opcode] !== undefined, `Invalid opcode ${opcode} for instruction class ${this.constructor.name}.`);
124
134
  return opcode;
125
135
  }
126
136
  }
@@ -19,14 +19,14 @@ export const ThreeOperandWireFormat16 = [
19
19
 
20
20
  /**
21
21
  * Covers (de)serialization for an instruction with:
22
- * indirect, inTag, and three operands.
22
+ * addressing mode, inTag, and three operands.
23
23
  */
24
24
  export abstract class ThreeOperandInstruction extends Instruction {
25
25
  static readonly wireFormat8: OperandType[] = ThreeOperandWireFormat8;
26
26
  static readonly wireFormat16: OperandType[] = ThreeOperandWireFormat16;
27
27
 
28
28
  constructor(
29
- protected indirect: number,
29
+ protected addressingMode: number,
30
30
  protected aOffset: number,
31
31
  protected bOffset: number,
32
32
  protected dstOffset: number,