@aztec/simulator 0.0.1-commit.b6e433891 → 0.0.1-commit.b9865e97

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 (309) hide show
  1. package/dest/private/acvm_wasm.d.ts +1 -1
  2. package/dest/private/acvm_wasm.d.ts.map +1 -1
  3. package/dest/private/acvm_wasm.js +3 -1
  4. package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
  5. package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
  6. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +2 -1
  7. package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
  8. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +17 -2
  9. package/dest/public/avm/testing/utils.d.ts +32 -0
  10. package/dest/public/avm/testing/utils.d.ts.map +1 -0
  11. package/dest/public/avm/{fixtures → testing}/utils.js +3 -33
  12. package/dest/public/contracts_db_checkpoint.d.ts +2 -2
  13. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -1
  14. package/dest/public/contracts_db_checkpoint.js +1 -1
  15. package/dest/public/fixtures/bulk_test.d.ts +1 -1
  16. package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
  17. package/dest/public/fixtures/bulk_test.js +31 -4
  18. package/dest/public/fixtures/index.d.ts +1 -4
  19. package/dest/public/fixtures/index.d.ts.map +1 -1
  20. package/dest/public/fixtures/index.js +0 -3
  21. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +3 -3
  22. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  23. package/dest/public/fixtures/public_tx_simulation_tester.js +9 -10
  24. package/dest/public/fixtures/simple_contract_data_source.js +1 -1
  25. package/dest/public/fixtures/utils.d.ts +1 -1
  26. package/dest/public/fixtures/utils.d.ts.map +1 -1
  27. package/dest/public/fixtures/utils.js +14 -15
  28. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +6 -4
  29. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
  30. package/dest/public/fuzzing/avm_fuzzer_simulator.js +12 -7
  31. package/dest/public/fuzzing/avm_simulator_bin.js +4 -4
  32. package/dest/public/index.d.ts +2 -2
  33. package/dest/public/index.d.ts.map +1 -1
  34. package/dest/public/index.js +1 -1
  35. package/dest/public/public_db_sources.d.ts +6 -3
  36. package/dest/public/public_db_sources.d.ts.map +1 -1
  37. package/dest/public/public_db_sources.js +16 -10
  38. package/dest/public/public_processor/guarded_merkle_tree.d.ts +4 -3
  39. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  40. package/dest/public/public_processor/guarded_merkle_tree.js +3 -0
  41. package/dest/public/public_processor/public_processor.d.ts +4 -3
  42. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  43. package/dest/public/public_processor/public_processor.js +60 -35
  44. package/dest/public/public_processor/public_processor_metrics.d.ts +4 -1
  45. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  46. package/dest/public/public_processor/public_processor_metrics.js +8 -0
  47. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +1 -1
  48. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
  49. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +3 -2
  50. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +23 -0
  51. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
  52. package/dest/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.js → dumping_public_tx_simulator.js} +2 -2
  53. package/dest/public/public_tx_simulator/factories.d.ts +6 -6
  54. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
  55. package/dest/public/public_tx_simulator/factories.js +6 -6
  56. package/dest/public/public_tx_simulator/index.d.ts +3 -5
  57. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  58. package/dest/public/public_tx_simulator/index.js +2 -4
  59. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +41 -70
  60. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  61. package/dest/public/public_tx_simulator/public_tx_simulator.js +98 -319
  62. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +22 -0
  63. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
  64. package/dest/public/public_tx_simulator/public_tx_simulator_base.js +28 -0
  65. package/package.json +17 -17
  66. package/src/private/acvm_wasm.ts +4 -1
  67. package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +22 -2
  68. package/src/public/avm/{fixtures → testing}/utils.ts +3 -39
  69. package/src/public/contracts_db_checkpoint.ts +1 -1
  70. package/src/public/fixtures/bulk_test.ts +29 -4
  71. package/src/public/fixtures/index.ts +0 -3
  72. package/src/public/fixtures/public_tx_simulation_tester.ts +10 -18
  73. package/src/public/fixtures/simple_contract_data_source.ts +1 -1
  74. package/src/public/fixtures/utils.ts +21 -18
  75. package/src/public/fuzzing/avm_fuzzer_simulator.ts +15 -18
  76. package/src/public/fuzzing/avm_simulator_bin.ts +3 -5
  77. package/src/public/index.ts +3 -3
  78. package/src/public/public_db_sources.ts +21 -14
  79. package/src/public/public_processor/guarded_merkle_tree.ts +5 -2
  80. package/src/public/public_processor/public_processor.ts +78 -42
  81. package/src/public/public_processor/public_processor_metrics.ts +12 -0
  82. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +3 -2
  83. package/src/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.ts → dumping_public_tx_simulator.ts} +2 -2
  84. package/src/public/public_tx_simulator/factories.ts +6 -6
  85. package/src/public/public_tx_simulator/index.ts +2 -4
  86. package/src/public/public_tx_simulator/public_tx_simulator.ts +150 -476
  87. package/src/public/public_tx_simulator/public_tx_simulator_base.ts +35 -0
  88. package/dest/public/avm/avm_context.d.ts +0 -41
  89. package/dest/public/avm/avm_context.d.ts.map +0 -1
  90. package/dest/public/avm/avm_context.js +0 -44
  91. package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
  92. package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
  93. package/dest/public/avm/avm_contract_call_result.js +0 -54
  94. package/dest/public/avm/avm_execution_environment.d.ts +0 -24
  95. package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
  96. package/dest/public/avm/avm_execution_environment.js +0 -33
  97. package/dest/public/avm/avm_gas.d.ts +0 -44
  98. package/dest/public/avm/avm_gas.d.ts.map +0 -1
  99. package/dest/public/avm/avm_gas.js +0 -195
  100. package/dest/public/avm/avm_machine_state.d.ts +0 -98
  101. package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
  102. package/dest/public/avm/avm_machine_state.js +0 -110
  103. package/dest/public/avm/avm_memory_types.d.ts +0 -275
  104. package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
  105. package/dest/public/avm/avm_memory_types.js +0 -354
  106. package/dest/public/avm/avm_simulator.d.ts +0 -41
  107. package/dest/public/avm/avm_simulator.d.ts.map +0 -1
  108. package/dest/public/avm/avm_simulator.js +0 -192
  109. package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
  110. package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
  111. package/dest/public/avm/avm_simulator_interface.js +0 -3
  112. package/dest/public/avm/calldata.d.ts +0 -51
  113. package/dest/public/avm/calldata.d.ts.map +0 -1
  114. package/dest/public/avm/calldata.js +0 -63
  115. package/dest/public/avm/errors.d.ts +0 -104
  116. package/dest/public/avm/errors.d.ts.map +0 -1
  117. package/dest/public/avm/errors.js +0 -141
  118. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +0 -2
  119. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +0 -1
  120. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
  121. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  122. package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -84
  123. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  124. package/dest/public/avm/fixtures/initializers.d.ts +0 -42
  125. package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
  126. package/dest/public/avm/fixtures/initializers.js +0 -45
  127. package/dest/public/avm/fixtures/utils.d.ts +0 -39
  128. package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
  129. package/dest/public/avm/index.d.ts +0 -2
  130. package/dest/public/avm/index.d.ts.map +0 -1
  131. package/dest/public/avm/index.js +0 -1
  132. package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -74
  133. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
  134. package/dest/public/avm/opcodes/accrued_substate.js +0 -254
  135. package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
  136. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
  137. package/dest/public/avm/opcodes/addressing_mode.js +0 -94
  138. package/dest/public/avm/opcodes/arithmetic.d.ts +0 -49
  139. package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
  140. package/dest/public/avm/opcodes/arithmetic.js +0 -97
  141. package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
  142. package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
  143. package/dest/public/avm/opcodes/bitwise.js +0 -99
  144. package/dest/public/avm/opcodes/comparators.d.ts +0 -25
  145. package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
  146. package/dest/public/avm/opcodes/comparators.js +0 -43
  147. package/dest/public/avm/opcodes/contract.d.ts +0 -20
  148. package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
  149. package/dest/public/avm/opcodes/contract.js +0 -65
  150. package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
  151. package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
  152. package/dest/public/avm/opcodes/control_flow.js +0 -107
  153. package/dest/public/avm/opcodes/conversion.d.ts +0 -18
  154. package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
  155. package/dest/public/avm/opcodes/conversion.js +0 -333
  156. package/dest/public/avm/opcodes/ec_add.d.ts +0 -19
  157. package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
  158. package/dest/public/avm/opcodes/ec_add.js +0 -93
  159. package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
  160. package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
  161. package/dest/public/avm/opcodes/environment_getters.js +0 -77
  162. package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
  163. package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
  164. package/dest/public/avm/opcodes/external_calls.js +0 -210
  165. package/dest/public/avm/opcodes/hashing.d.ts +0 -36
  166. package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
  167. package/dest/public/avm/opcodes/hashing.js +0 -119
  168. package/dest/public/avm/opcodes/index.d.ts +0 -16
  169. package/dest/public/avm/opcodes/index.d.ts.map +0 -1
  170. package/dest/public/avm/opcodes/index.js +0 -15
  171. package/dest/public/avm/opcodes/instruction.d.ts +0 -74
  172. package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
  173. package/dest/public/avm/opcodes/instruction.js +0 -95
  174. package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
  175. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
  176. package/dest/public/avm/opcodes/instruction_impl.js +0 -30
  177. package/dest/public/avm/opcodes/memory.d.ts +0 -74
  178. package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
  179. package/dest/public/avm/opcodes/memory.js +0 -257
  180. package/dest/public/avm/opcodes/misc.d.ts +0 -18
  181. package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
  182. package/dest/public/avm/opcodes/misc.js +0 -73
  183. package/dest/public/avm/opcodes/storage.d.ts +0 -25
  184. package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
  185. package/dest/public/avm/opcodes/storage.js +0 -78
  186. package/dest/public/avm/revert_reason.d.ts +0 -18
  187. package/dest/public/avm/revert_reason.d.ts.map +0 -1
  188. package/dest/public/avm/revert_reason.js +0 -39
  189. package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
  190. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
  191. package/dest/public/avm/serialization/buffer_cursor.js +0 -99
  192. package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
  193. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  194. package/dest/public/avm/serialization/bytecode_serialization.js +0 -336
  195. package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
  196. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
  197. package/dest/public/avm/serialization/instruction_serialization.js +0 -261
  198. package/dest/public/avm/test_utils.d.ts +0 -15
  199. package/dest/public/avm/test_utils.d.ts.map +0 -1
  200. package/dest/public/avm/test_utils.js +0 -44
  201. package/dest/public/debug_fn_name.d.ts +0 -18
  202. package/dest/public/debug_fn_name.d.ts.map +0 -1
  203. package/dest/public/debug_fn_name.js +0 -37
  204. package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -12
  205. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
  206. package/dest/public/fixtures/custom_bytecode_tests.js +0 -174
  207. package/dest/public/fixtures/minimal_public_tx.d.ts +0 -4
  208. package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
  209. package/dest/public/fixtures/minimal_public_tx.js +0 -19
  210. package/dest/public/fixtures/opcode_spammer.d.ts +0 -122
  211. package/dest/public/fixtures/opcode_spammer.d.ts.map +0 -1
  212. package/dest/public/fixtures/opcode_spammer.js +0 -1653
  213. package/dest/public/hinting_db_sources.d.ts +0 -80
  214. package/dest/public/hinting_db_sources.d.ts.map +0 -1
  215. package/dest/public/hinting_db_sources.js +0 -356
  216. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -53
  217. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
  218. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -131
  219. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +0 -42
  220. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +0 -1
  221. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +0 -86
  222. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +0 -30
  223. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +0 -1
  224. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +0 -171
  225. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +0 -23
  226. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +0 -1
  227. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -31
  228. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
  229. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
  230. package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -131
  231. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
  232. package/dest/public/public_tx_simulator/public_tx_context.js +0 -300
  233. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
  234. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
  235. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -415
  236. package/dest/public/side_effect_trace.d.ts +0 -87
  237. package/dest/public/side_effect_trace.d.ts.map +0 -1
  238. package/dest/public/side_effect_trace.js +0 -199
  239. package/dest/public/side_effect_trace_interface.d.ts +0 -22
  240. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  241. package/dest/public/side_effect_trace_interface.js +0 -1
  242. package/dest/public/state_manager/index.d.ts +0 -2
  243. package/dest/public/state_manager/index.d.ts.map +0 -1
  244. package/dest/public/state_manager/index.js +0 -1
  245. package/dest/public/state_manager/nullifiers.d.ts +0 -61
  246. package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
  247. package/dest/public/state_manager/nullifiers.js +0 -92
  248. package/dest/public/state_manager/public_storage.d.ts +0 -66
  249. package/dest/public/state_manager/public_storage.d.ts.map +0 -1
  250. package/dest/public/state_manager/public_storage.js +0 -145
  251. package/dest/public/state_manager/state_manager.d.ts +0 -170
  252. package/dest/public/state_manager/state_manager.d.ts.map +0 -1
  253. package/dest/public/state_manager/state_manager.js +0 -402
  254. package/src/public/avm/avm_context.ts +0 -61
  255. package/src/public/avm/avm_contract_call_result.ts +0 -69
  256. package/src/public/avm/avm_execution_environment.ts +0 -51
  257. package/src/public/avm/avm_gas.ts +0 -183
  258. package/src/public/avm/avm_machine_state.ts +0 -170
  259. package/src/public/avm/avm_memory_types.ts +0 -440
  260. package/src/public/avm/avm_simulator.ts +0 -279
  261. package/src/public/avm/avm_simulator_interface.ts +0 -8
  262. package/src/public/avm/calldata.ts +0 -100
  263. package/src/public/avm/errors.ts +0 -177
  264. package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -122
  265. package/src/public/avm/fixtures/initializers.ts +0 -103
  266. package/src/public/avm/index.ts +0 -1
  267. package/src/public/avm/opcodes/accrued_substate.ts +0 -285
  268. package/src/public/avm/opcodes/addressing_mode.ts +0 -111
  269. package/src/public/avm/opcodes/arithmetic.ts +0 -129
  270. package/src/public/avm/opcodes/bitwise.ts +0 -113
  271. package/src/public/avm/opcodes/comparators.ts +0 -55
  272. package/src/public/avm/opcodes/contract.ts +0 -72
  273. package/src/public/avm/opcodes/control_flow.ts +0 -123
  274. package/src/public/avm/opcodes/conversion.ts +0 -104
  275. package/src/public/avm/opcodes/ec_add.ts +0 -105
  276. package/src/public/avm/opcodes/environment_getters.ts +0 -87
  277. package/src/public/avm/opcodes/external_calls.ts +0 -262
  278. package/src/public/avm/opcodes/hashing.ts +0 -151
  279. package/src/public/avm/opcodes/index.ts +0 -15
  280. package/src/public/avm/opcodes/instruction.ts +0 -136
  281. package/src/public/avm/opcodes/instruction_impl.ts +0 -36
  282. package/src/public/avm/opcodes/memory.ts +0 -293
  283. package/src/public/avm/opcodes/misc.ts +0 -102
  284. package/src/public/avm/opcodes/storage.ts +0 -95
  285. package/src/public/avm/revert_reason.ts +0 -58
  286. package/src/public/avm/serialization/buffer_cursor.ts +0 -118
  287. package/src/public/avm/serialization/bytecode_serialization.ts +0 -215
  288. package/src/public/avm/serialization/instruction_serialization.ts +0 -249
  289. package/src/public/avm/test_utils.ts +0 -64
  290. package/src/public/debug_fn_name.ts +0 -52
  291. package/src/public/fixtures/custom_bytecode_tests.ts +0 -228
  292. package/src/public/fixtures/minimal_public_tx.ts +0 -26
  293. package/src/public/fixtures/opcode_spammer.ts +0 -1717
  294. package/src/public/hinting_db_sources.ts +0 -609
  295. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -210
  296. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +0 -134
  297. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +0 -239
  298. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -105
  299. package/src/public/public_tx_simulator/public_tx_context.ts +0 -484
  300. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
  301. package/src/public/side_effect_trace.ts +0 -293
  302. package/src/public/side_effect_trace_interface.ts +0 -28
  303. package/src/public/state_manager/index.ts +0 -1
  304. package/src/public/state_manager/nullifiers.ts +0 -103
  305. package/src/public/state_manager/public_storage.ts +0 -174
  306. package/src/public/state_manager/state_manager.ts +0 -569
  307. /package/dest/public/avm/{fixtures → testing}/account_proof_fetcher.js +0 -0
  308. /package/src/public/avm/{fixtures → testing}/account_proof.json +0 -0
  309. /package/src/public/avm/{fixtures → testing}/account_proof_fetcher.ts +0 -0
@@ -1,110 +0,0 @@
1
- import { TaggedMemory } from './avm_memory_types.js';
2
- import { ReturnDataArray } from './calldata.js';
3
- import { OutOfGasError } from './errors.js';
4
- /**
5
- * Avm state modified on an instruction-per-instruction basis.
6
- */ export class AvmMachineState {
7
- /** gas remaining of the gas allocated for a contract call */ l2GasLeft;
8
- daGasLeft;
9
- /** program counter, byte based */ pc = 0;
10
- /** program counter of the next instruction, byte based */ nextPc = 0;
11
- /** return/revertdata of the last nested call. */ nestedReturndata = new ReturnDataArray([]);
12
- /** Tracks whether the last external call was successful */ nestedCallSuccess = false;
13
- /**
14
- * Used to track the call stack and revert data of nested calls.
15
- * This is used to provide a more detailed revert reason when a contract call reverts.
16
- * It is only a heuristic and may not always provide the correct revert reason.
17
- */ collectedRevertInfo;
18
- /**
19
- * On INTERNALCALL, internal call stack is pushed to with the current pc and the return pc.
20
- * On INTERNALRETURN, value is popped from the internal call stack and assigned to the return pc.
21
- */ internalCallStack = [];
22
- /** Memory accessible to user code */ memory = new TaggedMemory();
23
- /**
24
- * Signals that execution should end.
25
- * AvmContext execution continues executing instructions until the machine state signals "halted"
26
- */ halted = false;
27
- /** Signals that execution has reverted normally (this does not cover exceptional halts) */ reverted = false;
28
- /** Output data must NOT be modified once it is set */ output = new ReturnDataArray([]);
29
- // Metrics only - not needed for execution
30
- /** instruction counter, including nested calls */ instrCounter = 0;
31
- constructor(gasLeftOrL2GasLeft, daGasLeft){
32
- if (typeof gasLeftOrL2GasLeft === 'object') {
33
- ({ l2Gas: this.l2GasLeft, daGas: this.daGasLeft } = gasLeftOrL2GasLeft);
34
- } else {
35
- this.l2GasLeft = gasLeftOrL2GasLeft;
36
- this.daGasLeft = daGasLeft;
37
- }
38
- }
39
- get gasLeft() {
40
- return {
41
- l2Gas: this.l2GasLeft,
42
- daGas: this.daGasLeft
43
- };
44
- }
45
- static fromState(state) {
46
- return new AvmMachineState(state.l2GasLeft, state.daGasLeft);
47
- }
48
- /**
49
- * Consumes the given gas.
50
- * Should any of the gas dimensions get depleted, it sets all gas left to zero and triggers
51
- * an exceptional halt by throwing an OutOfGasError.
52
- */ consumeGas(gasCost) {
53
- // Assert there is enough gas on every dimension.
54
- const outOfL2Gas = this.l2GasLeft - (gasCost.l2Gas ?? 0) < 0;
55
- const outOfDaGas = this.daGasLeft - (gasCost.daGas ?? 0) < 0;
56
- // If not, trigger an exceptional halt.
57
- if (outOfL2Gas || outOfDaGas) {
58
- this.exceptionalHalt();
59
- const dimensions = [];
60
- if (outOfL2Gas) {
61
- dimensions.push('l2Gas');
62
- }
63
- if (outOfDaGas) {
64
- dimensions.push('daGas');
65
- }
66
- throw new OutOfGasError(dimensions);
67
- }
68
- // Otherwise, charge the corresponding gas
69
- this.l2GasLeft -= gasCost.l2Gas ?? 0;
70
- this.daGasLeft -= gasCost.daGas ?? 0;
71
- }
72
- /** Increases the gas left by the amounts specified. */ refundGas(gasRefund) {
73
- this.l2GasLeft += gasRefund.l2Gas ?? 0;
74
- this.daGasLeft += gasRefund.daGas ?? 0;
75
- }
76
- /**
77
- * Halt as successful
78
- * Output data must NOT be modified once it is set
79
- * @param output
80
- */ return(output) {
81
- this.halted = true;
82
- this.output = output;
83
- }
84
- /**
85
- * Halt as reverted
86
- * Output data must NOT be modified once it is set
87
- * @param output
88
- */ revert(output) {
89
- this.halted = true;
90
- this.reverted = true;
91
- this.output = output;
92
- }
93
- getHalted() {
94
- return this.halted;
95
- }
96
- getReverted() {
97
- return this.reverted;
98
- }
99
- getOutput() {
100
- return this.output;
101
- }
102
- /**
103
- * Flag an exceptional halt. Clears gas left and sets the reverted flag. No output data.
104
- */ exceptionalHalt() {
105
- this.l2GasLeft = 0;
106
- this.daGasLeft = 0;
107
- this.reverted = true;
108
- this.halted = true;
109
- }
110
- }
@@ -1,275 +0,0 @@
1
- import { Fr } from '@aztec/foundation/curves/bn254';
2
- import { type Logger } from '@aztec/foundation/log';
3
- import type { FunctionsOf } from '@aztec/foundation/types';
4
- import { AztecAddress } from '@aztec/stdlib/aztec-address';
5
- /** MemoryValue gathers the common operations for all memory types. */
6
- export declare abstract class MemoryValue {
7
- abstract add(rhs: MemoryValue): MemoryValue;
8
- abstract sub(rhs: MemoryValue): MemoryValue;
9
- abstract mul(rhs: MemoryValue): MemoryValue;
10
- abstract div(rhs: MemoryValue): MemoryValue;
11
- abstract equals(rhs: MemoryValue): boolean;
12
- abstract lt(rhs: MemoryValue): boolean;
13
- abstract build(n: bigint): MemoryValue;
14
- abstract toBigInt(): bigint;
15
- getTag(): TypeTag;
16
- abstract toBuffer(): Buffer;
17
- toFr(): Fr;
18
- toAztecAddress(): AztecAddress;
19
- toNumber(): number;
20
- toString(): string;
21
- }
22
- /** IntegralValue gathers the common operations for all integral memory types. */
23
- export declare abstract class IntegralValue extends MemoryValue {
24
- abstract shl(rhs: IntegralValue): IntegralValue;
25
- abstract shr(rhs: IntegralValue): IntegralValue;
26
- abstract and(rhs: IntegralValue): IntegralValue;
27
- abstract or(rhs: IntegralValue): IntegralValue;
28
- abstract xor(rhs: IntegralValue): IntegralValue;
29
- abstract not(): IntegralValue;
30
- }
31
- declare const Uint1_base: {
32
- new (n: number | bigint): {
33
- readonly n: bigint;
34
- build(n: bigint): /*elided*/ any;
35
- add(rhs: /*elided*/ any): /*elided*/ any;
36
- sub(rhs: /*elided*/ any): /*elided*/ any;
37
- mul(rhs: /*elided*/ any): /*elided*/ any;
38
- div(rhs: /*elided*/ any): /*elided*/ any;
39
- shr(rhs: /*elided*/ any): /*elided*/ any;
40
- shl(rhs: /*elided*/ any): /*elided*/ any;
41
- and(rhs: /*elided*/ any): /*elided*/ any;
42
- or(rhs: /*elided*/ any): /*elided*/ any;
43
- xor(rhs: /*elided*/ any): /*elided*/ any;
44
- not(): /*elided*/ any;
45
- equals(rhs: /*elided*/ any): boolean;
46
- lt(rhs: /*elided*/ any): boolean;
47
- toBigInt(): bigint;
48
- toBuffer(): Buffer<ArrayBufferLike>;
49
- getTag(): TypeTag;
50
- toFr(): Fr;
51
- toAztecAddress(): AztecAddress;
52
- toNumber(): number;
53
- toString(): string;
54
- };
55
- readonly bits: number;
56
- readonly mod: bigint;
57
- readonly bitmask: bigint;
58
- };
59
- export declare class Uint1 extends Uint1_base {
60
- }
61
- declare const Uint8_base: {
62
- new (n: number | bigint): {
63
- readonly n: bigint;
64
- build(n: bigint): /*elided*/ any;
65
- add(rhs: /*elided*/ any): /*elided*/ any;
66
- sub(rhs: /*elided*/ any): /*elided*/ any;
67
- mul(rhs: /*elided*/ any): /*elided*/ any;
68
- div(rhs: /*elided*/ any): /*elided*/ any;
69
- shr(rhs: /*elided*/ any): /*elided*/ any;
70
- shl(rhs: /*elided*/ any): /*elided*/ any;
71
- and(rhs: /*elided*/ any): /*elided*/ any;
72
- or(rhs: /*elided*/ any): /*elided*/ any;
73
- xor(rhs: /*elided*/ any): /*elided*/ any;
74
- not(): /*elided*/ any;
75
- equals(rhs: /*elided*/ any): boolean;
76
- lt(rhs: /*elided*/ any): boolean;
77
- toBigInt(): bigint;
78
- toBuffer(): Buffer<ArrayBufferLike>;
79
- getTag(): TypeTag;
80
- toFr(): Fr;
81
- toAztecAddress(): AztecAddress;
82
- toNumber(): number;
83
- toString(): string;
84
- };
85
- readonly bits: number;
86
- readonly mod: bigint;
87
- readonly bitmask: bigint;
88
- };
89
- export declare class Uint8 extends Uint8_base {
90
- }
91
- declare const Uint16_base: {
92
- new (n: number | bigint): {
93
- readonly n: bigint;
94
- build(n: bigint): /*elided*/ any;
95
- add(rhs: /*elided*/ any): /*elided*/ any;
96
- sub(rhs: /*elided*/ any): /*elided*/ any;
97
- mul(rhs: /*elided*/ any): /*elided*/ any;
98
- div(rhs: /*elided*/ any): /*elided*/ any;
99
- shr(rhs: /*elided*/ any): /*elided*/ any;
100
- shl(rhs: /*elided*/ any): /*elided*/ any;
101
- and(rhs: /*elided*/ any): /*elided*/ any;
102
- or(rhs: /*elided*/ any): /*elided*/ any;
103
- xor(rhs: /*elided*/ any): /*elided*/ any;
104
- not(): /*elided*/ any;
105
- equals(rhs: /*elided*/ any): boolean;
106
- lt(rhs: /*elided*/ any): boolean;
107
- toBigInt(): bigint;
108
- toBuffer(): Buffer<ArrayBufferLike>;
109
- getTag(): TypeTag;
110
- toFr(): Fr;
111
- toAztecAddress(): AztecAddress;
112
- toNumber(): number;
113
- toString(): string;
114
- };
115
- readonly bits: number;
116
- readonly mod: bigint;
117
- readonly bitmask: bigint;
118
- };
119
- export declare class Uint16 extends Uint16_base {
120
- }
121
- declare const Uint32_base: {
122
- new (n: number | bigint): {
123
- readonly n: bigint;
124
- build(n: bigint): /*elided*/ any;
125
- add(rhs: /*elided*/ any): /*elided*/ any;
126
- sub(rhs: /*elided*/ any): /*elided*/ any;
127
- mul(rhs: /*elided*/ any): /*elided*/ any;
128
- div(rhs: /*elided*/ any): /*elided*/ any;
129
- shr(rhs: /*elided*/ any): /*elided*/ any;
130
- shl(rhs: /*elided*/ any): /*elided*/ any;
131
- and(rhs: /*elided*/ any): /*elided*/ any;
132
- or(rhs: /*elided*/ any): /*elided*/ any;
133
- xor(rhs: /*elided*/ any): /*elided*/ any;
134
- not(): /*elided*/ any;
135
- equals(rhs: /*elided*/ any): boolean;
136
- lt(rhs: /*elided*/ any): boolean;
137
- toBigInt(): bigint;
138
- toBuffer(): Buffer<ArrayBufferLike>;
139
- getTag(): TypeTag;
140
- toFr(): Fr;
141
- toAztecAddress(): AztecAddress;
142
- toNumber(): number;
143
- toString(): string;
144
- };
145
- readonly bits: number;
146
- readonly mod: bigint;
147
- readonly bitmask: bigint;
148
- };
149
- export declare class Uint32 extends Uint32_base {
150
- }
151
- declare const Uint64_base: {
152
- new (n: number | bigint): {
153
- readonly n: bigint;
154
- build(n: bigint): /*elided*/ any;
155
- add(rhs: /*elided*/ any): /*elided*/ any;
156
- sub(rhs: /*elided*/ any): /*elided*/ any;
157
- mul(rhs: /*elided*/ any): /*elided*/ any;
158
- div(rhs: /*elided*/ any): /*elided*/ any;
159
- shr(rhs: /*elided*/ any): /*elided*/ any;
160
- shl(rhs: /*elided*/ any): /*elided*/ any;
161
- and(rhs: /*elided*/ any): /*elided*/ any;
162
- or(rhs: /*elided*/ any): /*elided*/ any;
163
- xor(rhs: /*elided*/ any): /*elided*/ any;
164
- not(): /*elided*/ any;
165
- equals(rhs: /*elided*/ any): boolean;
166
- lt(rhs: /*elided*/ any): boolean;
167
- toBigInt(): bigint;
168
- toBuffer(): Buffer<ArrayBufferLike>;
169
- getTag(): TypeTag;
170
- toFr(): Fr;
171
- toAztecAddress(): AztecAddress;
172
- toNumber(): number;
173
- toString(): string;
174
- };
175
- readonly bits: number;
176
- readonly mod: bigint;
177
- readonly bitmask: bigint;
178
- };
179
- export declare class Uint64 extends Uint64_base {
180
- }
181
- declare const Uint128_base: {
182
- new (n: number | bigint): {
183
- readonly n: bigint;
184
- build(n: bigint): /*elided*/ any;
185
- add(rhs: /*elided*/ any): /*elided*/ any;
186
- sub(rhs: /*elided*/ any): /*elided*/ any;
187
- mul(rhs: /*elided*/ any): /*elided*/ any;
188
- div(rhs: /*elided*/ any): /*elided*/ any;
189
- shr(rhs: /*elided*/ any): /*elided*/ any;
190
- shl(rhs: /*elided*/ any): /*elided*/ any;
191
- and(rhs: /*elided*/ any): /*elided*/ any;
192
- or(rhs: /*elided*/ any): /*elided*/ any;
193
- xor(rhs: /*elided*/ any): /*elided*/ any;
194
- not(): /*elided*/ any;
195
- equals(rhs: /*elided*/ any): boolean;
196
- lt(rhs: /*elided*/ any): boolean;
197
- toBigInt(): bigint;
198
- toBuffer(): Buffer<ArrayBufferLike>;
199
- getTag(): TypeTag;
200
- toFr(): Fr;
201
- toAztecAddress(): AztecAddress;
202
- toNumber(): number;
203
- toString(): string;
204
- };
205
- readonly bits: number;
206
- readonly mod: bigint;
207
- readonly bitmask: bigint;
208
- };
209
- export declare class Uint128 extends Uint128_base {
210
- }
211
- export declare class Field extends MemoryValue {
212
- static readonly MODULUS: bigint;
213
- private readonly rep;
214
- constructor(v: number | bigint | Fr | Buffer);
215
- build(n: bigint): Field;
216
- add(rhs: Field): Field;
217
- sub(rhs: Field): Field;
218
- mul(rhs: Field): Field;
219
- div(rhs: Field): Field;
220
- fdiv(rhs: Field): Field;
221
- equals(rhs: Field): boolean;
222
- lt(rhs: Field): boolean;
223
- toBigInt(): bigint;
224
- toBuffer(): Buffer;
225
- }
226
- export declare enum TypeTag {
227
- FIELD = 0,
228
- UINT1 = 1,
229
- UINT8 = 2,
230
- UINT16 = 3,
231
- UINT32 = 4,
232
- UINT64 = 5,
233
- UINT128 = 6,
234
- INVALID = 7
235
- }
236
- export type TaggedMemoryInterface = FunctionsOf<TaggedMemory>;
237
- export declare class TaggedMemory implements TaggedMemoryInterface {
238
- static readonly log: Logger;
239
- static readonly TRACK_MEMORY_ACCESSES: boolean;
240
- static readonly MAX_MEMORY_SIZE: number;
241
- private _mem;
242
- constructor();
243
- getMaxMemorySize(): number;
244
- get(offset: number): MemoryValue;
245
- getAs<T>(offset: number): T;
246
- getSlice(offset: number, size: number): MemoryValue[];
247
- getSliceAs<T>(offset: number, size: number): T[];
248
- getSliceTags(offset: number, size: number): TypeTag[];
249
- set(offset: number, v: MemoryValue): void;
250
- setSlice(offset: number, slice: MemoryValue[]): void;
251
- getTag(offset: number): TypeTag;
252
- /**
253
- * Check that the memory at the given offset matches the specified tag.
254
- */
255
- checkTag(tag: TypeTag, offset: number): void;
256
- static isValidMemoryAddressTag(tag: TypeTag): tag is TypeTag.UINT32;
257
- static checkIsIntegralTag(tag: TypeTag): void;
258
- static checkIsValidTag(tagNumber: number): void;
259
- /**
260
- * Check tags for memory at all of the specified offsets.
261
- */
262
- checkTags(tag: TypeTag, ...offsets: number[]): void;
263
- /**
264
- * Check that all tags at the given offsets are the same.
265
- */
266
- checkTagsAreSame(offset0: number, offset1: number): void;
267
- /**
268
- * Check tags for all memory in the specified range.
269
- */
270
- checkTagsRange(tag: TypeTag, startOffset: number, size: number): void;
271
- static getTag(v: MemoryValue | undefined): TypeTag;
272
- static buildFromTagTruncating(v: bigint | number, tag: TypeTag): MemoryValue;
273
- }
274
- export {};
275
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21lbW9yeV90eXBlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vYXZtX21lbW9yeV90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFVQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzNELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQU0zRCxzRUFBc0U7QUFDdEUsOEJBQXNCLFdBQVc7SUFDL0IsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxXQUFXLEdBQUcsV0FBVyxDQUFDO0lBQ25ELFNBQWdCLEdBQUcsQ0FBQyxHQUFHLEVBQUUsV0FBVyxHQUFHLFdBQVcsQ0FBQztJQUNuRCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLFdBQVcsR0FBRyxXQUFXLENBQUM7SUFDbkQsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxXQUFXLEdBQUcsV0FBVyxDQUFDO0lBRW5ELFNBQWdCLE1BQU0sQ0FBQyxHQUFHLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQztJQUNsRCxTQUFnQixFQUFFLENBQUMsR0FBRyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUM7SUFHOUMsU0FBZ0IsS0FBSyxDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsV0FBVyxDQUFDO0lBRzlDLFNBQWdCLFFBQVEsSUFBSSxNQUFNLENBQUM7SUFDNUIsTUFBTSxJQUFJLE9BQU8sQ0FFdkI7SUFHRCxTQUFnQixRQUFRLElBQUksTUFBTSxDQUFDO0lBRzVCLElBQUksSUFBSSxFQUFFLENBRWhCO0lBRU0sY0FBYyxJQUFJLFlBQVksQ0FFcEM7SUFHTSxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxpRkFBaUY7QUFDakYsOEJBQXNCLGFBQWMsU0FBUSxXQUFXO0lBQ3JELFNBQWdCLEdBQUcsQ0FBQyxHQUFHLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQztJQUN2RCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUM7SUFDdkQsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxhQUFhLEdBQUcsYUFBYSxDQUFDO0lBQ3ZELFNBQWdCLEVBQUUsQ0FBQyxHQUFHLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQztJQUN0RCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUM7SUFDdkQsU0FBZ0IsR0FBRyxJQUFJLGFBQWEsQ0FBQztDQUN0Qzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFtR0QscUJBQWEsS0FBTSxTQUFRLFVBQThCO0NBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQzVELHFCQUFhLEtBQU0sU0FBUSxVQUE4QjtDQUFHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUM1RCxxQkFBYSxNQUFPLFNBQVEsV0FBK0I7Q0FBRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFDOUQscUJBQWEsTUFBTyxTQUFRLFdBQStCO0NBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQzlELHFCQUFhLE1BQU8sU0FBUSxXQUErQjtDQUFHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUM5RCxxQkFBYSxPQUFRLFNBQVEsWUFBZ0M7Q0FBRztBQUVoRSxxQkFBYSxLQUFNLFNBQVEsV0FBVztJQUNwQyxnQkFBdUIsT0FBTyxFQUFFLE1BQU0sQ0FBYztJQUNwRCxPQUFPLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBSztJQUV6QixZQUFZLENBQUMsRUFBRSxNQUFNLEdBQUcsTUFBTSxHQUFHLEVBQUUsR0FBRyxNQUFNLEVBRzNDO0lBRU0sS0FBSyxDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsS0FBSyxDQUU3QjtJQUVNLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FFNUI7SUFFTSxHQUFHLENBQUMsR0FBRyxFQUFFLEtBQUssR0FBRyxLQUFLLENBRTVCO0lBRU0sR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLEdBQUcsS0FBSyxDQUU1QjtJQUdNLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FFNUI7SUFHTSxJQUFJLENBQUMsR0FBRyxFQUFFLEtBQUssR0FBRyxLQUFLLENBRTdCO0lBRU0sTUFBTSxDQUFDLEdBQUcsRUFBRSxLQUFLLEdBQUcsT0FBTyxDQUVqQztJQUVNLEVBQUUsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLE9BQU8sQ0FFN0I7SUFFTSxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxvQkFBWSxPQUFPO0lBQ2pCLEtBQUssSUFBYTtJQUNsQixLQUFLLElBQWE7SUFDbEIsS0FBSyxJQUFhO0lBQ2xCLE1BQU0sSUFBYztJQUNwQixNQUFNLElBQWM7SUFDcEIsTUFBTSxJQUFjO0lBQ3BCLE9BQU8sSUFBZTtJQUN0QixPQUFPLElBQW1CO0NBQzNCO0FBR0QsTUFBTSxNQUFNLHFCQUFxQixHQUFHLFdBQVcsQ0FBQyxZQUFZLENBQUMsQ0FBQztBQUU5RCxxQkFBYSxZQUFhLFlBQVcscUJBQXFCO0lBQ3hELE1BQU0sQ0FBQyxRQUFRLENBQUMsR0FBRyxFQUFFLE1BQU0sQ0FBd0M7SUFHbkUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxxQkFBcUIsVUFBbUM7SUFLeEUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxlQUFlLFNBQXFCO0lBQ3BELE9BQU8sQ0FBQyxJQUFJLENBQTJCO0lBRXZDLGNBRUM7SUFFTSxnQkFBZ0IsSUFBSSxNQUFNLENBRWhDO0lBRU0sR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsV0FBVyxDQUV0QztJQUVNLEtBQUssQ0FBQyxDQUFDLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxDQUFDLENBU2pDO0lBRU0sUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxXQUFXLEVBQUUsQ0FlM0Q7SUFFTSxVQUFVLENBQUMsQ0FBQyxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxDQUFDLEVBQUUsQ0FFdEQ7SUFFTSxZQUFZLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsTUFBTSxHQUFHLE9BQU8sRUFBRSxDQUUzRDtJQUVNLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLENBQUMsRUFBRSxXQUFXLFFBSXhDO0lBRU0sUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxRQVduRDtJQUVNLE1BQU0sQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FHckM7SUFFRDs7T0FFRztJQUNJLFFBQVEsQ0FBQyxHQUFHLEVBQUUsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFFBSzNDO0lBRUQsT0FBYyx1QkFBdUIsQ0FBQyxHQUFHLEVBQUUsT0FBTyx5QkFFakQ7SUFFRCxPQUFjLGtCQUFrQixDQUFDLEdBQUcsRUFBRSxPQUFPLFFBSTVDO0lBRUQsT0FBYyxlQUFlLENBQUMsU0FBUyxFQUFFLE1BQU0sUUFJOUM7SUFFRDs7T0FFRztJQUNJLFNBQVMsQ0FBQyxHQUFHLEVBQUUsT0FBTyxFQUFFLEdBQUcsT0FBTyxFQUFFLE1BQU0sRUFBRSxRQUlsRDtJQUVEOztPQUVHO0lBQ0ksZ0JBQWdCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxPQUFPLEVBQUUsTUFBTSxRQUd2RDtJQUVEOztPQUVHO0lBQ0ksY0FBYyxDQUFDLEdBQUcsRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsTUFBTSxRQVFwRTtJQUVELE9BQWMsTUFBTSxDQUFDLENBQUMsRUFBRSxXQUFXLEdBQUcsU0FBUyxHQUFHLE9BQU8sQ0FNeEQ7SUFHRCxPQUFjLHNCQUFzQixDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsTUFBTSxFQUFFLEdBQUcsRUFBRSxPQUFPLEdBQUcsV0FBVyxDQW9CbEY7Q0FDRiJ9
@@ -1 +0,0 @@
1
- {"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_memory_types.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAM3D,sEAAsE;AACtE,8BAAsB,WAAW;IAC/B,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IAEnD,SAAgB,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC;IAClD,SAAgB,EAAE,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC;IAG9C,SAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAG9C,SAAgB,QAAQ,IAAI,MAAM,CAAC;IAC5B,MAAM,IAAI,OAAO,CAEvB;IAGD,SAAgB,QAAQ,IAAI,MAAM,CAAC;IAG5B,IAAI,IAAI,EAAE,CAEhB;IAEM,cAAc,IAAI,YAAY,CAEpC;IAGM,QAAQ,IAAI,MAAM,CAExB;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,iFAAiF;AACjF,8BAAsB,aAAc,SAAQ,WAAW;IACrD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,EAAE,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACtD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,IAAI,aAAa,CAAC;CACtC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmGD,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,OAAQ,SAAQ,YAAgC;CAAG;AAEhE,qBAAa,KAAM,SAAQ,WAAW;IACpC,gBAAuB,OAAO,EAAE,MAAM,CAAc;IACpD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAK;IAEzB,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE,GAAG,MAAM,EAG3C;IAEM,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK,CAE7B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAGM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAGM,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE7B;IAEM,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAEjC;IAEM,EAAE,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAE7B;IAEM,QAAQ,IAAI,MAAM,CAExB;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,oBAAY,OAAO;IACjB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,OAAO,IAAe;IACtB,OAAO,IAAmB;CAC3B;AAGD,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;AAE9D,qBAAa,YAAa,YAAW,qBAAqB;IACxD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAwC;IAGnE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,UAAmC;IAKxE,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAqB;IACpD,OAAO,CAAC,IAAI,CAA2B;IAEvC,cAEC;IAEM,gBAAgB,IAAI,MAAM,CAEhC;IAEM,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAEtC;IAEM,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,CASjC;IAEM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,CAe3D;IAEM,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,CAEtD;IAEM,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAE3D;IAEM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,QAIxC;IAEM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAWnD;IAEM,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGrC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAK3C;IAED,OAAc,uBAAuB,CAAC,GAAG,EAAE,OAAO,yBAEjD;IAED,OAAc,kBAAkB,CAAC,GAAG,EAAE,OAAO,QAI5C;IAED,OAAc,eAAe,CAAC,SAAS,EAAE,MAAM,QAI9C;IAED;;OAEG;IACI,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,QAIlD;IAED;;OAEG;IACI,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,QAGvD;IAED;;OAEG;IACI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAQpE;IAED,OAAc,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO,CAMxD;IAGD,OAAc,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW,CAoBlF;CACF"}