@aztec/simulator 0.0.1-commit.2ed92850 → 0.0.1-commit.2f68f620

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 (342) hide show
  1. package/README.md +4 -4
  2. package/dest/private/acvm/acvm.d.ts +4 -2
  3. package/dest/private/acvm/acvm.d.ts.map +1 -1
  4. package/dest/private/acvm/acvm.js +4 -3
  5. package/dest/private/acvm_native.d.ts +5 -3
  6. package/dest/private/acvm_native.d.ts.map +1 -1
  7. package/dest/private/acvm_native.js +8 -6
  8. package/dest/private/acvm_wasm.d.ts +4 -3
  9. package/dest/private/acvm_wasm.d.ts.map +1 -1
  10. package/dest/private/acvm_wasm.js +7 -5
  11. package/dest/private/circuit_recording/circuit_recorder.d.ts +4 -3
  12. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  13. package/dest/private/circuit_recording/circuit_recorder.js +7 -5
  14. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +3 -2
  15. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  16. package/dest/private/circuit_recording/file_circuit_recorder.js +2 -2
  17. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
  18. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  19. package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
  20. package/dest/private/factory.d.ts +3 -3
  21. package/dest/private/factory.d.ts.map +1 -1
  22. package/dest/private/factory.js +7 -4
  23. package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
  24. package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
  25. package/dest/public/avm/testing/account_proof_fetcher.js +152 -0
  26. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +2 -1
  27. package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
  28. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +17 -2
  29. package/dest/public/avm/testing/utils.d.ts +32 -0
  30. package/dest/public/avm/testing/utils.d.ts.map +1 -0
  31. package/dest/public/avm/{fixtures → testing}/utils.js +3 -33
  32. package/dest/public/contracts_db_checkpoint.d.ts +2 -2
  33. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -1
  34. package/dest/public/contracts_db_checkpoint.js +1 -1
  35. package/dest/public/executor_metrics.d.ts +1 -1
  36. package/dest/public/executor_metrics.d.ts.map +1 -1
  37. package/dest/public/executor_metrics.js +7 -2
  38. package/dest/public/fixtures/amm_test.js +2 -2
  39. package/dest/public/fixtures/bulk_test.d.ts +1 -1
  40. package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
  41. package/dest/public/fixtures/bulk_test.js +31 -4
  42. package/dest/public/fixtures/index.d.ts +1 -4
  43. package/dest/public/fixtures/index.d.ts.map +1 -1
  44. package/dest/public/fixtures/index.js +0 -3
  45. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +8 -7
  46. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  47. package/dest/public/fixtures/public_tx_simulation_tester.js +16 -17
  48. package/dest/public/fixtures/simple_contract_data_source.js +1 -1
  49. package/dest/public/fixtures/utils.d.ts +2 -2
  50. package/dest/public/fixtures/utils.d.ts.map +1 -1
  51. package/dest/public/fixtures/utils.js +19 -20
  52. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +6 -4
  53. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
  54. package/dest/public/fuzzing/avm_fuzzer_simulator.js +12 -7
  55. package/dest/public/fuzzing/avm_simulator_bin.js +4 -4
  56. package/dest/public/index.d.ts +2 -2
  57. package/dest/public/index.d.ts.map +1 -1
  58. package/dest/public/index.js +1 -1
  59. package/dest/public/public_db_sources.d.ts +9 -5
  60. package/dest/public/public_db_sources.d.ts.map +1 -1
  61. package/dest/public/public_db_sources.js +20 -14
  62. package/dest/public/public_processor/guarded_merkle_tree.d.ts +8 -7
  63. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  64. package/dest/public/public_processor/guarded_merkle_tree.js +8 -5
  65. package/dest/public/public_processor/public_processor.d.ts +11 -6
  66. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  67. package/dest/public/public_processor/public_processor.js +112 -74
  68. package/dest/public/public_processor/public_processor_metrics.d.ts +5 -2
  69. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  70. package/dest/public/public_processor/public_processor_metrics.js +28 -4
  71. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +3 -2
  72. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
  73. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +5 -4
  74. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +23 -0
  75. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
  76. package/dest/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.js → dumping_public_tx_simulator.js} +4 -4
  77. package/dest/public/public_tx_simulator/factories.d.ts +7 -6
  78. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
  79. package/dest/public/public_tx_simulator/factories.js +8 -8
  80. package/dest/public/public_tx_simulator/index.d.ts +3 -5
  81. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  82. package/dest/public/public_tx_simulator/index.js +2 -4
  83. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +42 -70
  84. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  85. package/dest/public/public_tx_simulator/public_tx_simulator.js +99 -318
  86. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +22 -0
  87. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
  88. package/dest/public/public_tx_simulator/public_tx_simulator_base.js +28 -0
  89. package/dest/public/test_executor_metrics.d.ts +3 -2
  90. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  91. package/dest/public/test_executor_metrics.js +2 -2
  92. package/package.json +17 -18
  93. package/src/private/acvm/acvm.ts +4 -3
  94. package/src/private/acvm_native.ts +11 -5
  95. package/src/private/acvm_wasm.ts +11 -4
  96. package/src/private/circuit_recording/circuit_recorder.ts +7 -5
  97. package/src/private/circuit_recording/file_circuit_recorder.ts +7 -2
  98. package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
  99. package/src/private/factory.ts +7 -4
  100. package/src/public/avm/testing/account_proof.json +553 -0
  101. package/src/public/avm/testing/account_proof_fetcher.ts +166 -0
  102. package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +22 -2
  103. package/src/public/avm/{fixtures → testing}/utils.ts +3 -39
  104. package/src/public/contracts_db_checkpoint.ts +1 -1
  105. package/src/public/executor_metrics.ts +4 -1
  106. package/src/public/fixtures/amm_test.ts +2 -2
  107. package/src/public/fixtures/bulk_test.ts +29 -4
  108. package/src/public/fixtures/index.ts +0 -3
  109. package/src/public/fixtures/public_tx_simulation_tester.ts +30 -15
  110. package/src/public/fixtures/simple_contract_data_source.ts +1 -1
  111. package/src/public/fixtures/utils.ts +26 -22
  112. package/src/public/fuzzing/avm_fuzzer_simulator.ts +16 -19
  113. package/src/public/fuzzing/avm_simulator_bin.ts +3 -5
  114. package/src/public/index.ts +3 -3
  115. package/src/public/public_db_sources.ts +36 -19
  116. package/src/public/public_processor/guarded_merkle_tree.ts +11 -8
  117. package/src/public/public_processor/public_processor.ts +156 -94
  118. package/src/public/public_processor/public_processor_metrics.ts +22 -4
  119. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +9 -5
  120. package/src/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.ts → dumping_public_tx_simulator.ts} +5 -3
  121. package/src/public/public_tx_simulator/factories.ts +10 -7
  122. package/src/public/public_tx_simulator/index.ts +2 -4
  123. package/src/public/public_tx_simulator/public_tx_simulator.ts +153 -475
  124. package/src/public/public_tx_simulator/public_tx_simulator_base.ts +35 -0
  125. package/src/public/test_executor_metrics.ts +3 -3
  126. package/dest/public/avm/avm_context.d.ts +0 -41
  127. package/dest/public/avm/avm_context.d.ts.map +0 -1
  128. package/dest/public/avm/avm_context.js +0 -44
  129. package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
  130. package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
  131. package/dest/public/avm/avm_contract_call_result.js +0 -54
  132. package/dest/public/avm/avm_execution_environment.d.ts +0 -24
  133. package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
  134. package/dest/public/avm/avm_execution_environment.js +0 -33
  135. package/dest/public/avm/avm_gas.d.ts +0 -44
  136. package/dest/public/avm/avm_gas.d.ts.map +0 -1
  137. package/dest/public/avm/avm_gas.js +0 -195
  138. package/dest/public/avm/avm_machine_state.d.ts +0 -98
  139. package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
  140. package/dest/public/avm/avm_machine_state.js +0 -110
  141. package/dest/public/avm/avm_memory_types.d.ts +0 -275
  142. package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
  143. package/dest/public/avm/avm_memory_types.js +0 -354
  144. package/dest/public/avm/avm_simulator.d.ts +0 -41
  145. package/dest/public/avm/avm_simulator.d.ts.map +0 -1
  146. package/dest/public/avm/avm_simulator.js +0 -192
  147. package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
  148. package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
  149. package/dest/public/avm/avm_simulator_interface.js +0 -3
  150. package/dest/public/avm/calldata.d.ts +0 -51
  151. package/dest/public/avm/calldata.d.ts.map +0 -1
  152. package/dest/public/avm/calldata.js +0 -63
  153. package/dest/public/avm/errors.d.ts +0 -104
  154. package/dest/public/avm/errors.d.ts.map +0 -1
  155. package/dest/public/avm/errors.js +0 -141
  156. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
  157. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  158. package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -84
  159. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  160. package/dest/public/avm/fixtures/initializers.d.ts +0 -42
  161. package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
  162. package/dest/public/avm/fixtures/initializers.js +0 -45
  163. package/dest/public/avm/fixtures/utils.d.ts +0 -39
  164. package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
  165. package/dest/public/avm/index.d.ts +0 -2
  166. package/dest/public/avm/index.d.ts.map +0 -1
  167. package/dest/public/avm/index.js +0 -1
  168. package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -75
  169. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
  170. package/dest/public/avm/opcodes/accrued_substate.js +0 -259
  171. package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
  172. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
  173. package/dest/public/avm/opcodes/addressing_mode.js +0 -94
  174. package/dest/public/avm/opcodes/arithmetic.d.ts +0 -49
  175. package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
  176. package/dest/public/avm/opcodes/arithmetic.js +0 -97
  177. package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
  178. package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
  179. package/dest/public/avm/opcodes/bitwise.js +0 -99
  180. package/dest/public/avm/opcodes/comparators.d.ts +0 -25
  181. package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
  182. package/dest/public/avm/opcodes/comparators.js +0 -43
  183. package/dest/public/avm/opcodes/contract.d.ts +0 -20
  184. package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
  185. package/dest/public/avm/opcodes/contract.js +0 -65
  186. package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
  187. package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
  188. package/dest/public/avm/opcodes/control_flow.js +0 -107
  189. package/dest/public/avm/opcodes/conversion.d.ts +0 -18
  190. package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
  191. package/dest/public/avm/opcodes/conversion.js +0 -333
  192. package/dest/public/avm/opcodes/ec_add.d.ts +0 -19
  193. package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
  194. package/dest/public/avm/opcodes/ec_add.js +0 -93
  195. package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
  196. package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
  197. package/dest/public/avm/opcodes/environment_getters.js +0 -77
  198. package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
  199. package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
  200. package/dest/public/avm/opcodes/external_calls.js +0 -210
  201. package/dest/public/avm/opcodes/hashing.d.ts +0 -36
  202. package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
  203. package/dest/public/avm/opcodes/hashing.js +0 -119
  204. package/dest/public/avm/opcodes/index.d.ts +0 -16
  205. package/dest/public/avm/opcodes/index.d.ts.map +0 -1
  206. package/dest/public/avm/opcodes/index.js +0 -15
  207. package/dest/public/avm/opcodes/instruction.d.ts +0 -74
  208. package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
  209. package/dest/public/avm/opcodes/instruction.js +0 -95
  210. package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
  211. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
  212. package/dest/public/avm/opcodes/instruction_impl.js +0 -30
  213. package/dest/public/avm/opcodes/memory.d.ts +0 -74
  214. package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
  215. package/dest/public/avm/opcodes/memory.js +0 -257
  216. package/dest/public/avm/opcodes/misc.d.ts +0 -18
  217. package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
  218. package/dest/public/avm/opcodes/misc.js +0 -73
  219. package/dest/public/avm/opcodes/storage.d.ts +0 -25
  220. package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
  221. package/dest/public/avm/opcodes/storage.js +0 -78
  222. package/dest/public/avm/revert_reason.d.ts +0 -18
  223. package/dest/public/avm/revert_reason.d.ts.map +0 -1
  224. package/dest/public/avm/revert_reason.js +0 -39
  225. package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
  226. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
  227. package/dest/public/avm/serialization/buffer_cursor.js +0 -99
  228. package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
  229. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  230. package/dest/public/avm/serialization/bytecode_serialization.js +0 -336
  231. package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
  232. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
  233. package/dest/public/avm/serialization/instruction_serialization.js +0 -261
  234. package/dest/public/avm/test_utils.d.ts +0 -15
  235. package/dest/public/avm/test_utils.d.ts.map +0 -1
  236. package/dest/public/avm/test_utils.js +0 -44
  237. package/dest/public/debug_fn_name.d.ts +0 -18
  238. package/dest/public/debug_fn_name.d.ts.map +0 -1
  239. package/dest/public/debug_fn_name.js +0 -37
  240. package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -12
  241. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
  242. package/dest/public/fixtures/custom_bytecode_tests.js +0 -174
  243. package/dest/public/fixtures/minimal_public_tx.d.ts +0 -4
  244. package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
  245. package/dest/public/fixtures/minimal_public_tx.js +0 -19
  246. package/dest/public/fixtures/opcode_spammer.d.ts +0 -123
  247. package/dest/public/fixtures/opcode_spammer.d.ts.map +0 -1
  248. package/dest/public/fixtures/opcode_spammer.js +0 -1693
  249. package/dest/public/hinting_db_sources.d.ts +0 -80
  250. package/dest/public/hinting_db_sources.d.ts.map +0 -1
  251. package/dest/public/hinting_db_sources.js +0 -355
  252. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -53
  253. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
  254. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -132
  255. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +0 -42
  256. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +0 -1
  257. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +0 -86
  258. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +0 -30
  259. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +0 -1
  260. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +0 -171
  261. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +0 -22
  262. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +0 -1
  263. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -31
  264. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
  265. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
  266. package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -130
  267. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
  268. package/dest/public/public_tx_simulator/public_tx_context.js +0 -300
  269. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
  270. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
  271. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -415
  272. package/dest/public/side_effect_trace.d.ts +0 -87
  273. package/dest/public/side_effect_trace.d.ts.map +0 -1
  274. package/dest/public/side_effect_trace.js +0 -199
  275. package/dest/public/side_effect_trace_interface.d.ts +0 -22
  276. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  277. package/dest/public/side_effect_trace_interface.js +0 -1
  278. package/dest/public/state_manager/index.d.ts +0 -2
  279. package/dest/public/state_manager/index.d.ts.map +0 -1
  280. package/dest/public/state_manager/index.js +0 -1
  281. package/dest/public/state_manager/nullifiers.d.ts +0 -61
  282. package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
  283. package/dest/public/state_manager/nullifiers.js +0 -92
  284. package/dest/public/state_manager/public_storage.d.ts +0 -66
  285. package/dest/public/state_manager/public_storage.d.ts.map +0 -1
  286. package/dest/public/state_manager/public_storage.js +0 -145
  287. package/dest/public/state_manager/state_manager.d.ts +0 -164
  288. package/dest/public/state_manager/state_manager.d.ts.map +0 -1
  289. package/dest/public/state_manager/state_manager.js +0 -395
  290. package/src/public/avm/avm_context.ts +0 -61
  291. package/src/public/avm/avm_contract_call_result.ts +0 -69
  292. package/src/public/avm/avm_execution_environment.ts +0 -51
  293. package/src/public/avm/avm_gas.ts +0 -183
  294. package/src/public/avm/avm_machine_state.ts +0 -170
  295. package/src/public/avm/avm_memory_types.ts +0 -440
  296. package/src/public/avm/avm_simulator.ts +0 -279
  297. package/src/public/avm/avm_simulator_interface.ts +0 -8
  298. package/src/public/avm/calldata.ts +0 -100
  299. package/src/public/avm/errors.ts +0 -177
  300. package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -122
  301. package/src/public/avm/fixtures/initializers.ts +0 -103
  302. package/src/public/avm/index.ts +0 -1
  303. package/src/public/avm/opcodes/accrued_substate.ts +0 -294
  304. package/src/public/avm/opcodes/addressing_mode.ts +0 -111
  305. package/src/public/avm/opcodes/arithmetic.ts +0 -129
  306. package/src/public/avm/opcodes/bitwise.ts +0 -113
  307. package/src/public/avm/opcodes/comparators.ts +0 -55
  308. package/src/public/avm/opcodes/contract.ts +0 -72
  309. package/src/public/avm/opcodes/control_flow.ts +0 -123
  310. package/src/public/avm/opcodes/conversion.ts +0 -104
  311. package/src/public/avm/opcodes/ec_add.ts +0 -105
  312. package/src/public/avm/opcodes/environment_getters.ts +0 -87
  313. package/src/public/avm/opcodes/external_calls.ts +0 -262
  314. package/src/public/avm/opcodes/hashing.ts +0 -151
  315. package/src/public/avm/opcodes/index.ts +0 -15
  316. package/src/public/avm/opcodes/instruction.ts +0 -136
  317. package/src/public/avm/opcodes/instruction_impl.ts +0 -36
  318. package/src/public/avm/opcodes/memory.ts +0 -293
  319. package/src/public/avm/opcodes/misc.ts +0 -102
  320. package/src/public/avm/opcodes/storage.ts +0 -95
  321. package/src/public/avm/revert_reason.ts +0 -58
  322. package/src/public/avm/serialization/buffer_cursor.ts +0 -118
  323. package/src/public/avm/serialization/bytecode_serialization.ts +0 -215
  324. package/src/public/avm/serialization/instruction_serialization.ts +0 -249
  325. package/src/public/avm/test_utils.ts +0 -64
  326. package/src/public/debug_fn_name.ts +0 -52
  327. package/src/public/fixtures/custom_bytecode_tests.ts +0 -228
  328. package/src/public/fixtures/minimal_public_tx.ts +0 -26
  329. package/src/public/fixtures/opcode_spammer.ts +0 -1754
  330. package/src/public/hinting_db_sources.ts +0 -607
  331. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -208
  332. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +0 -132
  333. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +0 -237
  334. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -105
  335. package/src/public/public_tx_simulator/public_tx_context.ts +0 -477
  336. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
  337. package/src/public/side_effect_trace.ts +0 -290
  338. package/src/public/side_effect_trace_interface.ts +0 -28
  339. package/src/public/state_manager/index.ts +0 -1
  340. package/src/public/state_manager/nullifiers.ts +0 -103
  341. package/src/public/state_manager/public_storage.ts +0 -174
  342. package/src/public/state_manager/state_manager.ts +0 -546
@@ -1 +0,0 @@
1
- {"version":3,"file":"avm_machine_state.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_machine_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,KAAK,UAAU,EAAmB,MAAM,eAAe,CAAC;AACjE,OAAO,EAAE,KAAK,eAAe,EAAiB,MAAM,aAAa,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;;;GAIG;AACH,KAAK,iBAAiB,GAAG;IACvB,wBAAwB,EAAE,EAAE,EAAE,CAAC;IAC/B,qBAAqB,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,KAAK,cAAc,GAAG;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF;;GAEG;AACH,qBAAa,eAAe;IAC1B,6DAA6D;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IACzB,kCAAkC;IAC3B,EAAE,EAAE,MAAM,CAAK;IACtB,0DAA0D;IACnD,MAAM,EAAE,MAAM,CAAK;IAC1B,iDAAiD;IAC1C,gBAAgB,EAAE,UAAU,CAA2B;IAC9D,2DAA2D;IACpD,iBAAiB,EAAE,OAAO,CAAS;IAC1C;;;;OAIG;IACI,mBAAmB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAE1D;;;OAGG;IACI,iBAAiB,EAAE,cAAc,EAAE,CAAM;IAEhD,qCAAqC;IACrC,SAAgB,MAAM,EAAE,YAAY,CAAsB;IAE1D;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAkB;IAChC,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAkB;IAClC,sDAAsD;IACtD,OAAO,CAAC,MAAM,CAAuC;IAGrD,kDAAkD;IAC3C,YAAY,EAAE,MAAM,CAAK;IAGhC,YAAY,OAAO,EAAE,GAAG,EAAE;IAC1B,YAAY,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE;IAUlD,IAAW,OAAO,IAAI,GAAG,CAExB;IAED,OAAc,SAAS,CAAC,KAAK,EAAE,sBAAsB,GAAG,eAAe,CAEtE;IAED;;;;OAIG;IACI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,QAmBtC;IAED,uDAAuD;IAChD,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,QAGvC;IAED;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,UAAU,QAG/B;IAED;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,UAAU,QAI/B;IAEM,SAAS,IAAI,OAAO,CAE1B;IAEM,WAAW,IAAI,OAAO,CAE5B;IAEM,SAAS,IAAI,UAAU,CAE7B;IAED;;OAEG;IACH,OAAO,CAAC,eAAe;CAMxB"}
@@ -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"}