@aztec/simulator 0.0.1-commit.b655e406 → 0.0.1-commit.b8a057fa

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 (405) hide show
  1. package/README.md +6 -4
  2. package/dest/client.d.ts +1 -3
  3. package/dest/client.d.ts.map +1 -1
  4. package/dest/client.js +0 -2
  5. package/dest/common/errors.d.ts +2 -2
  6. package/dest/common/errors.d.ts.map +1 -1
  7. package/dest/common/index.d.ts +1 -1
  8. package/dest/common/stats/index.d.ts +1 -1
  9. package/dest/common/stats/stats.d.ts +1 -1
  10. package/dest/private/acvm/acvm.d.ts +4 -2
  11. package/dest/private/acvm/acvm.d.ts.map +1 -1
  12. package/dest/private/acvm/acvm.js +4 -3
  13. package/dest/private/acvm/acvm_types.d.ts +1 -1
  14. package/dest/private/acvm/deserialize.d.ts +2 -2
  15. package/dest/private/acvm/deserialize.d.ts.map +1 -1
  16. package/dest/private/acvm/deserialize.js +1 -1
  17. package/dest/private/acvm/index.d.ts +1 -1
  18. package/dest/private/acvm/serialize.d.ts +2 -2
  19. package/dest/private/acvm/serialize.d.ts.map +1 -1
  20. package/dest/private/acvm/serialize.js +1 -1
  21. package/dest/private/acvm_native.d.ts +5 -3
  22. package/dest/private/acvm_native.d.ts.map +1 -1
  23. package/dest/private/acvm_native.js +8 -6
  24. package/dest/private/acvm_wasm.d.ts +4 -3
  25. package/dest/private/acvm_wasm.d.ts.map +1 -1
  26. package/dest/private/acvm_wasm.js +7 -5
  27. package/dest/private/acvm_wasm_with_blobs.d.ts +1 -1
  28. package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -1
  29. package/dest/private/circuit_recording/circuit_recorder.d.ts +39 -25
  30. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  31. package/dest/private/circuit_recording/circuit_recorder.js +71 -72
  32. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +9 -20
  33. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  34. package/dest/private/circuit_recording/file_circuit_recorder.js +39 -43
  35. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
  36. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  37. package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
  38. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
  39. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
  40. package/dest/private/circuit_recording/simulator_recorder_wrapper.js +11 -14
  41. package/dest/private/circuit_simulator.d.ts +1 -1
  42. package/dest/private/factory.d.ts +3 -3
  43. package/dest/private/factory.d.ts.map +1 -1
  44. package/dest/private/factory.js +7 -4
  45. package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
  46. package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
  47. package/dest/public/avm/testing/account_proof_fetcher.js +152 -0
  48. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +3 -2
  49. package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
  50. package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +19 -4
  51. package/dest/public/avm/{fixtures → testing}/utils.d.ts +4 -10
  52. package/dest/public/avm/testing/utils.d.ts.map +1 -0
  53. package/dest/public/avm/{fixtures → testing}/utils.js +7 -36
  54. package/dest/public/avm_simulator.d.ts +28 -0
  55. package/dest/public/avm_simulator.d.ts.map +1 -0
  56. package/dest/public/avm_simulator.js +4 -0
  57. package/dest/public/avm_simulator_pool.d.ts +45 -0
  58. package/dest/public/avm_simulator_pool.d.ts.map +1 -0
  59. package/dest/public/avm_simulator_pool.js +197 -0
  60. package/dest/public/cdb/generated/api_types.d.ts +171 -0
  61. package/dest/public/cdb/generated/api_types.d.ts.map +1 -0
  62. package/dest/public/cdb/generated/api_types.js +314 -0
  63. package/dest/public/cdb/generated/server.d.ts +26 -0
  64. package/dest/public/cdb/generated/server.d.ts.map +1 -0
  65. package/dest/public/cdb/generated/server.js +135 -0
  66. package/dest/public/cdb_ipc_server.d.ts +33 -0
  67. package/dest/public/cdb_ipc_server.d.ts.map +1 -0
  68. package/dest/public/cdb_ipc_server.js +153 -0
  69. package/dest/public/contracts_db_checkpoint.d.ts +16 -0
  70. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -0
  71. package/dest/public/contracts_db_checkpoint.js +30 -0
  72. package/dest/public/db_interfaces.d.ts +14 -2
  73. package/dest/public/db_interfaces.d.ts.map +1 -1
  74. package/dest/public/executor_metrics.d.ts +3 -2
  75. package/dest/public/executor_metrics.d.ts.map +1 -1
  76. package/dest/public/executor_metrics.js +13 -34
  77. package/dest/public/executor_metrics_interface.d.ts +3 -2
  78. package/dest/public/executor_metrics_interface.d.ts.map +1 -1
  79. package/dest/public/fixtures/amm_test.d.ts +1 -1
  80. package/dest/public/fixtures/amm_test.js +6 -6
  81. package/dest/public/fixtures/bulk_test.d.ts +3 -3
  82. package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
  83. package/dest/public/fixtures/bulk_test.js +38 -75
  84. package/dest/public/fixtures/custom_bytecode_tester.d.ts +29 -7
  85. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
  86. package/dest/public/fixtures/custom_bytecode_tester.js +36 -12
  87. package/dest/public/fixtures/index.d.ts +3 -3
  88. package/dest/public/fixtures/index.d.ts.map +1 -1
  89. package/dest/public/fixtures/index.js +2 -2
  90. package/dest/public/fixtures/public_processor_test_env.d.ts +30 -0
  91. package/dest/public/fixtures/public_processor_test_env.d.ts.map +1 -0
  92. package/dest/public/fixtures/public_processor_test_env.js +73 -0
  93. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +32 -9
  94. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  95. package/dest/public/fixtures/public_tx_simulation_tester.js +84 -26
  96. package/dest/public/fixtures/simple_contract_data_source.d.ts +5 -4
  97. package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -1
  98. package/dest/public/fixtures/simple_contract_data_source.js +5 -5
  99. package/dest/public/fixtures/token_test.d.ts +6 -2
  100. package/dest/public/fixtures/token_test.d.ts.map +1 -1
  101. package/dest/public/fixtures/token_test.js +16 -15
  102. package/dest/public/fixtures/utils.d.ts +3 -3
  103. package/dest/public/fixtures/utils.d.ts.map +1 -1
  104. package/dest/public/fixtures/utils.js +25 -23
  105. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +67 -0
  106. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
  107. package/dest/public/fuzzing/avm_fuzzer_simulator.js +185 -0
  108. package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
  109. package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
  110. package/dest/public/fuzzing/avm_simulator_bin.js +118 -0
  111. package/dest/public/index.d.ts +6 -2
  112. package/dest/public/index.d.ts.map +1 -1
  113. package/dest/public/index.js +2 -1
  114. package/dest/public/public_db_sources.d.ts +29 -66
  115. package/dest/public/public_db_sources.d.ts.map +1 -1
  116. package/dest/public/public_db_sources.js +83 -134
  117. package/dest/public/public_errors.d.ts +1 -1
  118. package/dest/public/public_errors.d.ts.map +1 -1
  119. package/dest/public/public_processor/guarded_merkle_tree.d.ts +8 -5
  120. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  121. package/dest/public/public_processor/guarded_merkle_tree.js +12 -4
  122. package/dest/public/public_processor/public_processor.d.ts +24 -22
  123. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  124. package/dest/public/public_processor/public_processor.js +559 -125
  125. package/dest/public/public_processor/public_processor_metrics.d.ts +5 -2
  126. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  127. package/dest/public/public_processor/public_processor_metrics.js +36 -45
  128. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +17 -0
  129. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
  130. package/dest/public/public_tx_simulator/dumping_public_tx_simulator.js +39 -0
  131. package/dest/public/public_tx_simulator/factories.d.ts +14 -0
  132. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
  133. package/dest/public/public_tx_simulator/factories.js +28 -0
  134. package/dest/public/public_tx_simulator/index.d.ts +6 -4
  135. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  136. package/dest/public/public_tx_simulator/index.js +3 -2
  137. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +43 -90
  138. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  139. package/dest/public/public_tx_simulator/public_tx_simulator.js +99 -331
  140. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +24 -0
  141. package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
  142. package/dest/public/public_tx_simulator/public_tx_simulator_base.js +31 -0
  143. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +25 -2
  144. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -1
  145. package/dest/public/side_effect_errors.d.ts +1 -1
  146. package/dest/public/side_effect_errors.d.ts.map +1 -1
  147. package/dest/public/test_executor_metrics.d.ts +6 -4
  148. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  149. package/dest/public/test_executor_metrics.js +7 -6
  150. package/dest/public/unique_class_ids.d.ts +1 -1
  151. package/dest/public/unique_class_ids.d.ts.map +1 -1
  152. package/dest/public/utils.d.ts +1 -1
  153. package/dest/server.d.ts +1 -1
  154. package/dest/testing.d.ts +1 -1
  155. package/package.json +26 -22
  156. package/src/client.ts +0 -2
  157. package/src/common/errors.ts +1 -1
  158. package/src/private/acvm/acvm.ts +4 -3
  159. package/src/private/acvm/deserialize.ts +1 -1
  160. package/src/private/acvm/serialize.ts +1 -1
  161. package/src/private/acvm_native.ts +11 -5
  162. package/src/private/acvm_wasm.ts +11 -4
  163. package/src/private/circuit_recording/circuit_recorder.ts +90 -81
  164. package/src/private/circuit_recording/file_circuit_recorder.ts +45 -50
  165. package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
  166. package/src/private/circuit_recording/simulator_recorder_wrapper.ts +9 -15
  167. package/src/private/factory.ts +7 -4
  168. package/src/public/avm/testing/account_proof.json +553 -0
  169. package/src/public/avm/testing/account_proof_fetcher.ts +166 -0
  170. package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +24 -4
  171. package/src/public/avm/{fixtures → testing}/utils.ts +7 -42
  172. package/src/public/avm_simulator.ts +29 -0
  173. package/src/public/avm_simulator_pool.ts +226 -0
  174. package/src/public/cdb/generated/api_types.ts +457 -0
  175. package/src/public/cdb/generated/server.ts +109 -0
  176. package/src/public/cdb_ipc_server.ts +197 -0
  177. package/src/public/contracts_db_checkpoint.ts +41 -0
  178. package/src/public/db_interfaces.ts +16 -1
  179. package/src/public/executor_metrics.ts +11 -34
  180. package/src/public/executor_metrics_interface.ts +2 -1
  181. package/src/public/fixtures/amm_test.ts +6 -6
  182. package/src/public/fixtures/bulk_test.ts +40 -15
  183. package/src/public/fixtures/custom_bytecode_tester.ts +54 -20
  184. package/src/public/fixtures/index.ts +6 -2
  185. package/src/public/fixtures/public_processor_test_env.ts +88 -0
  186. package/src/public/fixtures/public_tx_simulation_tester.ts +117 -26
  187. package/src/public/fixtures/simple_contract_data_source.ts +9 -10
  188. package/src/public/fixtures/token_test.ts +21 -13
  189. package/src/public/fixtures/utils.ts +25 -27
  190. package/src/public/fuzzing/avm_fuzzer_simulator.ts +303 -0
  191. package/src/public/fuzzing/avm_simulator_bin.ts +173 -0
  192. package/src/public/index.ts +8 -2
  193. package/src/public/public_db_sources.ts +112 -174
  194. package/src/public/public_processor/guarded_merkle_tree.ts +14 -6
  195. package/src/public/public_processor/public_processor.ts +234 -138
  196. package/src/public/public_processor/public_processor_metrics.ts +28 -44
  197. package/src/public/public_tx_simulator/dumping_public_tx_simulator.ts +67 -0
  198. package/src/public/public_tx_simulator/factories.ts +61 -0
  199. package/src/public/public_tx_simulator/index.ts +8 -3
  200. package/src/public/public_tx_simulator/public_tx_simulator.ts +142 -500
  201. package/src/public/public_tx_simulator/public_tx_simulator_base.ts +37 -0
  202. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +24 -2
  203. package/src/public/test_executor_metrics.ts +10 -8
  204. package/dest/public/avm/avm_context.d.ts +0 -41
  205. package/dest/public/avm/avm_context.d.ts.map +0 -1
  206. package/dest/public/avm/avm_context.js +0 -44
  207. package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
  208. package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
  209. package/dest/public/avm/avm_contract_call_result.js +0 -54
  210. package/dest/public/avm/avm_execution_environment.d.ts +0 -23
  211. package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
  212. package/dest/public/avm/avm_execution_environment.js +0 -36
  213. package/dest/public/avm/avm_gas.d.ts +0 -44
  214. package/dest/public/avm/avm_gas.d.ts.map +0 -1
  215. package/dest/public/avm/avm_gas.js +0 -195
  216. package/dest/public/avm/avm_machine_state.d.ts +0 -97
  217. package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
  218. package/dest/public/avm/avm_machine_state.js +0 -109
  219. package/dest/public/avm/avm_memory_types.d.ts +0 -275
  220. package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
  221. package/dest/public/avm/avm_memory_types.js +0 -351
  222. package/dest/public/avm/avm_simulator.d.ts +0 -39
  223. package/dest/public/avm/avm_simulator.d.ts.map +0 -1
  224. package/dest/public/avm/avm_simulator.js +0 -190
  225. package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
  226. package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
  227. package/dest/public/avm/avm_simulator_interface.js +0 -3
  228. package/dest/public/avm/errors.d.ts +0 -98
  229. package/dest/public/avm/errors.d.ts.map +0 -1
  230. package/dest/public/avm/errors.js +0 -129
  231. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
  232. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
  233. package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -74
  234. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
  235. package/dest/public/avm/fixtures/initializers.d.ts +0 -43
  236. package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
  237. package/dest/public/avm/fixtures/initializers.js +0 -42
  238. package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
  239. package/dest/public/avm/index.d.ts +0 -2
  240. package/dest/public/avm/index.d.ts.map +0 -1
  241. package/dest/public/avm/index.js +0 -1
  242. package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -75
  243. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
  244. package/dest/public/avm/opcodes/accrued_substate.js +0 -255
  245. package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
  246. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
  247. package/dest/public/avm/opcodes/addressing_mode.js +0 -94
  248. package/dest/public/avm/opcodes/arithmetic.d.ts +0 -47
  249. package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
  250. package/dest/public/avm/opcodes/arithmetic.js +0 -87
  251. package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
  252. package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
  253. package/dest/public/avm/opcodes/bitwise.js +0 -99
  254. package/dest/public/avm/opcodes/comparators.d.ts +0 -25
  255. package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
  256. package/dest/public/avm/opcodes/comparators.js +0 -43
  257. package/dest/public/avm/opcodes/contract.d.ts +0 -20
  258. package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
  259. package/dest/public/avm/opcodes/contract.js +0 -65
  260. package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
  261. package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
  262. package/dest/public/avm/opcodes/control_flow.js +0 -107
  263. package/dest/public/avm/opcodes/conversion.d.ts +0 -18
  264. package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
  265. package/dest/public/avm/opcodes/conversion.js +0 -333
  266. package/dest/public/avm/opcodes/ec_add.d.ts +0 -19
  267. package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
  268. package/dest/public/avm/opcodes/ec_add.js +0 -84
  269. package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
  270. package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
  271. package/dest/public/avm/opcodes/environment_getters.js +0 -77
  272. package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
  273. package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
  274. package/dest/public/avm/opcodes/external_calls.js +0 -209
  275. package/dest/public/avm/opcodes/hashing.d.ts +0 -36
  276. package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
  277. package/dest/public/avm/opcodes/hashing.js +0 -114
  278. package/dest/public/avm/opcodes/index.d.ts +0 -16
  279. package/dest/public/avm/opcodes/index.d.ts.map +0 -1
  280. package/dest/public/avm/opcodes/index.js +0 -15
  281. package/dest/public/avm/opcodes/instruction.d.ts +0 -74
  282. package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
  283. package/dest/public/avm/opcodes/instruction.js +0 -95
  284. package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
  285. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
  286. package/dest/public/avm/opcodes/instruction_impl.js +0 -30
  287. package/dest/public/avm/opcodes/memory.d.ts +0 -74
  288. package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
  289. package/dest/public/avm/opcodes/memory.js +0 -257
  290. package/dest/public/avm/opcodes/misc.d.ts +0 -18
  291. package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
  292. package/dest/public/avm/opcodes/misc.js +0 -73
  293. package/dest/public/avm/opcodes/storage.d.ts +0 -24
  294. package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
  295. package/dest/public/avm/opcodes/storage.js +0 -68
  296. package/dest/public/avm/revert_reason.d.ts +0 -18
  297. package/dest/public/avm/revert_reason.d.ts.map +0 -1
  298. package/dest/public/avm/revert_reason.js +0 -38
  299. package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
  300. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
  301. package/dest/public/avm/serialization/buffer_cursor.js +0 -99
  302. package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
  303. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
  304. package/dest/public/avm/serialization/bytecode_serialization.js +0 -333
  305. package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
  306. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
  307. package/dest/public/avm/serialization/instruction_serialization.js +0 -261
  308. package/dest/public/avm/test_utils.d.ts +0 -15
  309. package/dest/public/avm/test_utils.d.ts.map +0 -1
  310. package/dest/public/avm/test_utils.js +0 -44
  311. package/dest/public/debug_fn_name.d.ts +0 -5
  312. package/dest/public/debug_fn_name.d.ts.map +0 -1
  313. package/dest/public/debug_fn_name.js +0 -9
  314. package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -9
  315. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
  316. package/dest/public/fixtures/custom_bytecode_tests.js +0 -109
  317. package/dest/public/fixtures/minimal_public_tx.d.ts +0 -10
  318. package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
  319. package/dest/public/fixtures/minimal_public_tx.js +0 -29
  320. package/dest/public/hinting_db_sources.d.ts +0 -70
  321. package/dest/public/hinting_db_sources.d.ts.map +0 -1
  322. package/dest/public/hinting_db_sources.js +0 -297
  323. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -41
  324. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
  325. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -89
  326. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -24
  327. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
  328. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
  329. package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -127
  330. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
  331. package/dest/public/public_tx_simulator/public_tx_context.js +0 -292
  332. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
  333. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
  334. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -39
  335. package/dest/public/side_effect_trace.d.ts +0 -87
  336. package/dest/public/side_effect_trace.d.ts.map +0 -1
  337. package/dest/public/side_effect_trace.js +0 -199
  338. package/dest/public/side_effect_trace_interface.d.ts +0 -23
  339. package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
  340. package/dest/public/side_effect_trace_interface.js +0 -1
  341. package/dest/public/state_manager/index.d.ts +0 -2
  342. package/dest/public/state_manager/index.d.ts.map +0 -1
  343. package/dest/public/state_manager/index.js +0 -1
  344. package/dest/public/state_manager/nullifiers.d.ts +0 -61
  345. package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
  346. package/dest/public/state_manager/nullifiers.js +0 -92
  347. package/dest/public/state_manager/public_storage.d.ts +0 -66
  348. package/dest/public/state_manager/public_storage.d.ts.map +0 -1
  349. package/dest/public/state_manager/public_storage.js +0 -145
  350. package/dest/public/state_manager/state_manager.d.ts +0 -166
  351. package/dest/public/state_manager/state_manager.d.ts.map +0 -1
  352. package/dest/public/state_manager/state_manager.js +0 -391
  353. package/dest/public/tx_contract_cache.d.ts +0 -41
  354. package/dest/public/tx_contract_cache.d.ts.map +0 -1
  355. package/dest/public/tx_contract_cache.js +0 -49
  356. package/src/public/avm/avm_context.ts +0 -61
  357. package/src/public/avm/avm_contract_call_result.ts +0 -67
  358. package/src/public/avm/avm_execution_environment.ts +0 -48
  359. package/src/public/avm/avm_gas.ts +0 -183
  360. package/src/public/avm/avm_machine_state.ts +0 -169
  361. package/src/public/avm/avm_memory_types.ts +0 -436
  362. package/src/public/avm/avm_simulator.ts +0 -274
  363. package/src/public/avm/avm_simulator_interface.ts +0 -8
  364. package/src/public/avm/errors.ts +0 -163
  365. package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -108
  366. package/src/public/avm/fixtures/initializers.ts +0 -104
  367. package/src/public/avm/index.ts +0 -1
  368. package/src/public/avm/opcodes/accrued_substate.ts +0 -288
  369. package/src/public/avm/opcodes/addressing_mode.ts +0 -111
  370. package/src/public/avm/opcodes/arithmetic.ts +0 -117
  371. package/src/public/avm/opcodes/bitwise.ts +0 -113
  372. package/src/public/avm/opcodes/comparators.ts +0 -55
  373. package/src/public/avm/opcodes/contract.ts +0 -75
  374. package/src/public/avm/opcodes/control_flow.ts +0 -123
  375. package/src/public/avm/opcodes/conversion.ts +0 -104
  376. package/src/public/avm/opcodes/ec_add.ts +0 -96
  377. package/src/public/avm/opcodes/environment_getters.ts +0 -87
  378. package/src/public/avm/opcodes/external_calls.ts +0 -260
  379. package/src/public/avm/opcodes/hashing.ts +0 -145
  380. package/src/public/avm/opcodes/index.ts +0 -15
  381. package/src/public/avm/opcodes/instruction.ts +0 -136
  382. package/src/public/avm/opcodes/instruction_impl.ts +0 -36
  383. package/src/public/avm/opcodes/memory.ts +0 -293
  384. package/src/public/avm/opcodes/misc.ts +0 -102
  385. package/src/public/avm/opcodes/storage.ts +0 -87
  386. package/src/public/avm/revert_reason.ts +0 -55
  387. package/src/public/avm/serialization/buffer_cursor.ts +0 -118
  388. package/src/public/avm/serialization/bytecode_serialization.ts +0 -204
  389. package/src/public/avm/serialization/instruction_serialization.ts +0 -249
  390. package/src/public/avm/test_utils.ts +0 -64
  391. package/src/public/debug_fn_name.ts +0 -18
  392. package/src/public/fixtures/custom_bytecode_tests.ts +0 -135
  393. package/src/public/fixtures/minimal_public_tx.ts +0 -36
  394. package/src/public/hinting_db_sources.ts +0 -505
  395. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -128
  396. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -109
  397. package/src/public/public_tx_simulator/public_tx_context.ts +0 -471
  398. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
  399. package/src/public/side_effect_trace.ts +0 -290
  400. package/src/public/side_effect_trace_interface.ts +0 -28
  401. package/src/public/state_manager/index.ts +0 -1
  402. package/src/public/state_manager/nullifiers.ts +0 -103
  403. package/src/public/state_manager/public_storage.ts +0 -174
  404. package/src/public/state_manager/state_manager.ts +0 -560
  405. package/src/public/tx_contract_cache.ts +0 -69
@@ -1,74 +0,0 @@
1
- import type { Bufferable } from '@aztec/foundation/serialize';
2
- import type { AvmContext } from '../avm_context.js';
3
- import { type Gas } from '../avm_gas.js';
4
- import type { BufferCursor } from '../serialization/buffer_cursor.js';
5
- import { Opcode, type OperandType } from '../serialization/instruction_serialization.js';
6
- type InstructionConstructor = {
7
- new (...args: any[]): Instruction;
8
- };
9
- /**
10
- * Parent class for all AVM instructions.
11
- * It's most important aspects are execute and (de)serialize.
12
- */
13
- export declare abstract class Instruction {
14
- /**
15
- * Consumes gas and executes the instruction.
16
- * This is the main entry point for the instruction.
17
- * @param context - The AvmContext in which the instruction executes.
18
- */
19
- abstract execute(context: AvmContext): Promise<void>;
20
- /**
21
- * Whether the instruction will modify the PC itself.
22
- */
23
- handlesPC(): boolean;
24
- /**
25
- * Generate a string representation of the instruction including
26
- * the instruction sub-class name all of its flags and operands.
27
- * @returns Thee string representation.
28
- */
29
- toString(): string;
30
- static fromBuffer(this: InstructionConstructor & {
31
- wireFormat: OperandType[];
32
- as: any;
33
- }, buf: BufferCursor | Buffer): Instruction;
34
- toBuffer(): Buffer;
35
- /**
36
- * Returns a new instruction instance that can be serialized with the given opcode and wire format.
37
- * @param opcode The opcode of the instruction.
38
- * @param wireFormat The wire format of the instruction.
39
- * @returns The new instruction instance.
40
- */
41
- as(opcode: Opcode, wireFormat: OperandType[]): Instruction & Bufferable;
42
- /**
43
- * Returns a new instruction class that can be deserialized with the given opcode and wire format.
44
- * @param opcode The opcode of the instruction.
45
- * @param wireFormat The wire format of the instruction.
46
- * @returns The new instruction class.
47
- */
48
- static as(this: InstructionConstructor, wireFormat: OperandType[]): InstructionConstructor & {
49
- fromBuffer: (buf: BufferCursor | Buffer) => Instruction;
50
- };
51
- /**
52
- * Returns the base gas cost for the instruction.
53
- * @returns The base gas cost.
54
- */
55
- protected baseGasCost(indirectOperandsCount: number, relativeOperandsCount: number): Gas;
56
- /**
57
- * Computes the dynamic gas cost for the instruction
58
- * @param dynMultiplier - The multiplier for the dynamic gas cost.
59
- * @returns The dynamic gas cost.
60
- */
61
- protected dynamicGasCost(dynMultiplier?: number): Gas;
62
- /**
63
- * Returns the stringified type of the instruction.
64
- * Instruction sub-classes should have a static `type` property.
65
- */
66
- get type(): string;
67
- /**
68
- * Returns the opcode of the instruction.
69
- * Instruction sub-classes should have a static `opcode` property.
70
- */
71
- get opcode(): Opcode;
72
- }
73
- export {};
74
- //# sourceMappingURL=instruction.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"instruction.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/instruction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAI9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,KAAK,GAAG,EAA4E,MAAM,eAAe,CAAC;AACnH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,MAAM,EAAE,KAAK,WAAW,EAA4B,MAAM,+CAA+C,CAAC;AAEnH,KAAK,sBAAsB,GAAG;IAC5B,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,WAAW,CAAC;CACnC,CAAC;AAEF;;;GAGG;AACH,8BAAsB,WAAW;IAC/B;;;;OAIG;aACa,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAE3D;;OAEG;IACI,SAAS,IAAI,OAAO;IAI3B;;;;OAIG;IACI,QAAQ,IAAI,MAAM;WAYX,UAAU,CACtB,IAAI,EAAE,sBAAsB,GAAG;QAAE,UAAU,EAAE,WAAW,EAAE,CAAC;QAAC,EAAE,EAAE,GAAG,CAAA;KAAE,EACrE,GAAG,EAAE,YAAY,GAAG,MAAM,GACzB,WAAW;IAKP,QAAQ,IAAI,MAAM;IAOzB;;;;;OAKG;IACI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,WAAW,GAAG,UAAU;IAS9E;;;;;OAKG;WACW,EAAE,CAAC,IAAI,EAAE,sBAAsB,EAAE,UAAU,EAAE,WAAW,EAAE;0BAElD,YAAY,GAAG,MAAM,KAAG,WAAW;;IAQzD;;;OAGG;IACH,SAAS,CAAC,WAAW,CAAC,qBAAqB,EAAE,MAAM,EAAE,qBAAqB,EAAE,MAAM,GAAG,GAAG;IAIxF;;;;OAIG;IACH,SAAS,CAAC,cAAc,CAAC,aAAa,GAAE,MAAU,GAAG,GAAG;IAIxD;;;OAGG;IACH,IAAW,IAAI,IAAI,MAAM,CAIxB;IAED;;;OAGG;IACH,IAAW,MAAM,IAAI,MAAM,CAQ1B;CACF"}
@@ -1,95 +0,0 @@
1
- import { strict as assert } from 'assert';
2
- import { computeAddressingCost, getBaseGasCost, getDynamicGasCost, mulGas, sumGas } from '../avm_gas.js';
3
- import { Opcode, deserialize, serializeAs } from '../serialization/instruction_serialization.js';
4
- /**
5
- * Parent class for all AVM instructions.
6
- * It's most important aspects are execute and (de)serialize.
7
- */ export class Instruction {
8
- /**
9
- * Whether the instruction will modify the PC itself.
10
- */ handlesPC() {
11
- return false;
12
- }
13
- /**
14
- * Generate a string representation of the instruction including
15
- * the instruction sub-class name all of its flags and operands.
16
- * @returns Thee string representation.
17
- */ toString() {
18
- // Note: we could have this be the actual wire opcode if `bytecode_serialization.ts` were to
19
- // pass it into the class' static `Instruction.as(this, wireFormat)` method.
20
- let instructionStr = this.constructor.name + ': ';
21
- // assumes that all properties are flags or operands
22
- for (const prop of Object.getOwnPropertyNames(this)){
23
- instructionStr += `${prop}:${this[prop].toString()}, `;
24
- }
25
- return instructionStr;
26
- }
27
- // Default deserialization which uses Class.opcode and Class.wireFormat.
28
- static fromBuffer(buf) {
29
- return this.as(this.wireFormat).fromBuffer(buf);
30
- }
31
- // Default serialization which uses Class.opcode and Class.wireFormat.
32
- toBuffer() {
33
- const klass = this.constructor;
34
- assert(klass.opcode !== undefined && klass.opcode !== null);
35
- assert(klass.wireFormat !== undefined && klass.wireFormat !== null);
36
- return this.as(klass.opcode, klass.wireFormat).toBuffer();
37
- }
38
- /**
39
- * Returns a new instruction instance that can be serialized with the given opcode and wire format.
40
- * @param opcode The opcode of the instruction.
41
- * @param wireFormat The wire format of the instruction.
42
- * @returns The new instruction instance.
43
- */ as(opcode, wireFormat) {
44
- return Object.defineProperty(this, 'toBuffer', {
45
- value: ()=>{
46
- return serializeAs(wireFormat, opcode, this);
47
- },
48
- enumerable: false
49
- });
50
- }
51
- /**
52
- * Returns a new instruction class that can be deserialized with the given opcode and wire format.
53
- * @param opcode The opcode of the instruction.
54
- * @param wireFormat The wire format of the instruction.
55
- * @returns The new instruction class.
56
- */ static as(wireFormat) {
57
- return Object.assign(this, {
58
- fromBuffer: (buf)=>{
59
- const res = deserialize(buf, wireFormat);
60
- const args = res.slice(1); // Remove opcode.
61
- return new this(...args);
62
- }
63
- });
64
- }
65
- /**
66
- * Returns the base gas cost for the instruction.
67
- * @returns The base gas cost.
68
- */ baseGasCost(indirectOperandsCount, relativeOperandsCount) {
69
- return sumGas(getBaseGasCost(this.opcode), computeAddressingCost(indirectOperandsCount, relativeOperandsCount));
70
- }
71
- /**
72
- * Computes the dynamic gas cost for the instruction
73
- * @param dynMultiplier - The multiplier for the dynamic gas cost.
74
- * @returns The dynamic gas cost.
75
- */ dynamicGasCost(dynMultiplier = 0) {
76
- return mulGas(getDynamicGasCost(this.opcode), dynMultiplier);
77
- }
78
- /**
79
- * Returns the stringified type of the instruction.
80
- * Instruction sub-classes should have a static `type` property.
81
- */ get type() {
82
- const type = 'type' in this.constructor && this.constructor.type;
83
- assert(!!type, `Instruction class ${this.constructor.name} does not have a static 'type' property defined.`);
84
- return type;
85
- }
86
- /**
87
- * Returns the opcode of the instruction.
88
- * Instruction sub-classes should have a static `opcode` property.
89
- */ get opcode() {
90
- const opcode = 'opcode' in this.constructor ? this.constructor.opcode : undefined;
91
- assert(opcode !== undefined, `Instruction class ${this.constructor.name} does not have a static 'opcode' property defined.`);
92
- assert(Opcode[opcode] !== undefined, `Invalid opcode ${opcode} for instruction class ${this.constructor.name}.`);
93
- return opcode;
94
- }
95
- }
@@ -1,19 +0,0 @@
1
- import { OperandType } from '../serialization/instruction_serialization.js';
2
- import { Instruction } from './instruction.js';
3
- /** Wire format that informs deserialization for instructions with three operands. */
4
- export declare const ThreeOperandWireFormat8: OperandType[];
5
- export declare const ThreeOperandWireFormat16: OperandType[];
6
- /**
7
- * Covers (de)serialization for an instruction with:
8
- * indirect, inTag, and three operands.
9
- */
10
- export declare abstract class ThreeOperandInstruction extends Instruction {
11
- protected indirect: number;
12
- protected aOffset: number;
13
- protected bOffset: number;
14
- protected dstOffset: number;
15
- static readonly wireFormat8: OperandType[];
16
- static readonly wireFormat16: OperandType[];
17
- constructor(indirect: number, aOffset: number, bOffset: number, dstOffset: number);
18
- }
19
- //# sourceMappingURL=instruction_impl.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"instruction_impl.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/instruction_impl.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qFAAqF;AACrF,eAAO,MAAM,uBAAuB,eAMnC,CAAC;AACF,eAAO,MAAM,wBAAwB,eAMpC,CAAC;AAEF;;;GAGG;AACH,8BAAsB,uBAAwB,SAAQ,WAAW;IAK7D,SAAS,CAAC,QAAQ,EAAE,MAAM;IAC1B,SAAS,CAAC,OAAO,EAAE,MAAM;IACzB,SAAS,CAAC,OAAO,EAAE,MAAM;IACzB,SAAS,CAAC,SAAS,EAAE,MAAM;IAP7B,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,CAA2B;IACrE,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAA4B;gBAG3D,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM;CAI9B"}
@@ -1,30 +0,0 @@
1
- import { OperandType } from '../serialization/instruction_serialization.js';
2
- import { Instruction } from './instruction.js';
3
- /** Wire format that informs deserialization for instructions with three operands. */ export const ThreeOperandWireFormat8 = [
4
- OperandType.UINT8,
5
- OperandType.UINT8,
6
- OperandType.UINT8,
7
- OperandType.UINT8,
8
- OperandType.UINT8
9
- ];
10
- export const ThreeOperandWireFormat16 = [
11
- OperandType.UINT8,
12
- OperandType.UINT8,
13
- OperandType.UINT16,
14
- OperandType.UINT16,
15
- OperandType.UINT16
16
- ];
17
- /**
18
- * Covers (de)serialization for an instruction with:
19
- * indirect, inTag, and three operands.
20
- */ export class ThreeOperandInstruction extends Instruction {
21
- indirect;
22
- aOffset;
23
- bOffset;
24
- dstOffset;
25
- static wireFormat8 = ThreeOperandWireFormat8;
26
- static wireFormat16 = ThreeOperandWireFormat16;
27
- constructor(indirect, aOffset, bOffset, dstOffset){
28
- super(), this.indirect = indirect, this.aOffset = aOffset, this.bOffset = bOffset, this.dstOffset = dstOffset;
29
- }
30
- }
@@ -1,74 +0,0 @@
1
- import type { AvmContext } from '../avm_context.js';
2
- import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
3
- import { Instruction } from './instruction.js';
4
- export declare class Set extends Instruction {
5
- private indirect;
6
- private dstOffset;
7
- private inTag;
8
- private value;
9
- static readonly type: string;
10
- static readonly opcode: Opcode;
11
- static readonly wireFormat8: OperandType[];
12
- static readonly wireFormat16: OperandType[];
13
- static readonly wireFormat32: OperandType[];
14
- static readonly wireFormat64: OperandType[];
15
- static readonly wireFormat128: OperandType[];
16
- static readonly wireFormatFF: OperandType[];
17
- constructor(indirect: number, dstOffset: number, inTag: number, value: bigint | number);
18
- execute(context: AvmContext): Promise<void>;
19
- }
20
- export declare class Cast extends Instruction {
21
- private indirect;
22
- private srcOffset;
23
- private dstOffset;
24
- private dstTag;
25
- static readonly type: string;
26
- static readonly opcode = Opcode.CAST_8;
27
- static readonly wireFormat8: OperandType[];
28
- static readonly wireFormat16: OperandType[];
29
- constructor(indirect: number, srcOffset: number, dstOffset: number, dstTag: number);
30
- execute(context: AvmContext): Promise<void>;
31
- }
32
- export declare class Mov extends Instruction {
33
- private indirect;
34
- private srcOffset;
35
- private dstOffset;
36
- static readonly type: string;
37
- static readonly opcode: Opcode;
38
- static readonly wireFormat8: OperandType[];
39
- static readonly wireFormat16: OperandType[];
40
- constructor(indirect: number, srcOffset: number, dstOffset: number);
41
- execute(context: AvmContext): Promise<void>;
42
- }
43
- export declare class CalldataCopy extends Instruction {
44
- private indirect;
45
- private copySizeOffset;
46
- private cdStartOffset;
47
- private dstOffset;
48
- static readonly type: string;
49
- static readonly opcode: Opcode;
50
- static readonly wireFormat: OperandType[];
51
- constructor(indirect: number, copySizeOffset: number, cdStartOffset: number, dstOffset: number);
52
- execute(context: AvmContext): Promise<void>;
53
- }
54
- export declare class ReturndataSize extends Instruction {
55
- private indirect;
56
- private dstOffset;
57
- static readonly type: string;
58
- static readonly opcode: Opcode;
59
- static readonly wireFormat: OperandType[];
60
- constructor(indirect: number, dstOffset: number);
61
- execute(context: AvmContext): Promise<void>;
62
- }
63
- export declare class ReturndataCopy extends Instruction {
64
- private indirect;
65
- private copySizeOffset;
66
- private rdStartOffset;
67
- private dstOffset;
68
- static readonly type: string;
69
- static readonly opcode: Opcode;
70
- static readonly wireFormat: OperandType[];
71
- constructor(indirect: number, copySizeOffset: number, rdStartOffset: number, dstOffset: number);
72
- execute(context: AvmContext): Promise<void>;
73
- }
74
- //# sourceMappingURL=memory.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/memory.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,GAAI,SAAQ,WAAW;IAiDhC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,KAAK;IACb,OAAO,CAAC,KAAK;IAnDf,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IAErC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAgB;IAE9C,gBAAuB,WAAW,EAAE,WAAW,EAAE,CAM/C;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;IACF,gBAAuB,aAAa,EAAE,WAAW,EAAE,CAMjD;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GAAG,MAAM;IAOnB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAezD;AAED,qBAAa,IAAK,SAAQ,WAAW;IAoBjC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,MAAM;IAtBhB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAU;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,iBAAiB;IAEvC,MAAM,CAAC,QAAQ,CAAC,WAAW,gBAMzB;IACF,MAAM,CAAC,QAAQ,CAAC,YAAY,gBAM1B;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM;IAKX,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAiBzD;AAED,qBAAa,GAAI,SAAQ,WAAW;IAmBhC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IApBnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IAErC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAgB;IAE9C,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,CAKxC;IACF,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAKzC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAazD;AAED,qBAAa,YAAa,SAAQ,WAAW;IAazC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IAfnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAkB;IAC9C,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAuB;IAErD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAMvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAuBzD;AAED,qBAAa,cAAe,SAAQ,WAAW;IAO3C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IAPnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAoB;IAChD,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAyB;IAEvD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAA8D;gBAG7F,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAazD;AAED,qBAAa,cAAe,SAAQ,WAAW;IAa3C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IAfnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAoB;IAChD,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAyB;IAEvD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAMvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAuBzD"}
@@ -1,257 +0,0 @@
1
- import { Fr } from '@aztec/foundation/fields';
2
- import { strict as assert } from 'assert';
3
- import { Field, TaggedMemory, TypeTag, Uint32 } from '../avm_memory_types.js';
4
- import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
5
- import { Addressing } from './addressing_mode.js';
6
- import { Instruction } from './instruction.js';
7
- export class Set extends Instruction {
8
- indirect;
9
- dstOffset;
10
- inTag;
11
- value;
12
- static type = 'SET';
13
- // Required for gas.
14
- static opcode = Opcode.SET_8;
15
- static wireFormat8 = [
16
- OperandType.UINT8,
17
- OperandType.UINT8,
18
- OperandType.UINT8,
19
- OperandType.TAG,
20
- OperandType.UINT8
21
- ];
22
- static wireFormat16 = [
23
- OperandType.UINT8,
24
- OperandType.UINT8,
25
- OperandType.UINT16,
26
- OperandType.TAG,
27
- OperandType.UINT16
28
- ];
29
- static wireFormat32 = [
30
- OperandType.UINT8,
31
- OperandType.UINT8,
32
- OperandType.UINT16,
33
- OperandType.TAG,
34
- OperandType.UINT32
35
- ];
36
- static wireFormat64 = [
37
- OperandType.UINT8,
38
- OperandType.UINT8,
39
- OperandType.UINT16,
40
- OperandType.TAG,
41
- OperandType.UINT64
42
- ];
43
- static wireFormat128 = [
44
- OperandType.UINT8,
45
- OperandType.UINT8,
46
- OperandType.UINT16,
47
- OperandType.TAG,
48
- OperandType.UINT128
49
- ];
50
- static wireFormatFF = [
51
- OperandType.UINT8,
52
- OperandType.UINT8,
53
- OperandType.UINT16,
54
- OperandType.TAG,
55
- OperandType.FF
56
- ];
57
- constructor(indirect, dstOffset, inTag, value){
58
- super(), this.indirect = indirect, this.dstOffset = dstOffset, this.inTag = inTag, this.value = value;
59
- assert(this.value >= 0, `Value ${this.value} is negative`);
60
- assert(this.value < Fr.MODULUS, `Value ${this.value} is larger than Fr.MODULUS`);
61
- }
62
- async execute(context) {
63
- // Constructor ensured that this.inTag is a valid tag
64
- const res = TaggedMemory.buildFromTagTruncating(this.value, this.inTag);
65
- const memory = context.machineState.memory;
66
- const addressing = Addressing.fromWire(this.indirect);
67
- context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
68
- const operands = [
69
- this.dstOffset
70
- ];
71
- const [dstOffset] = addressing.resolve(operands, memory);
72
- memory.set(dstOffset, res);
73
- }
74
- }
75
- export class Cast extends Instruction {
76
- indirect;
77
- srcOffset;
78
- dstOffset;
79
- dstTag;
80
- static type = 'CAST';
81
- static opcode = Opcode.CAST_8;
82
- static wireFormat8 = [
83
- OperandType.UINT8,
84
- OperandType.UINT8,
85
- OperandType.UINT8,
86
- OperandType.UINT8,
87
- OperandType.TAG
88
- ];
89
- static wireFormat16 = [
90
- OperandType.UINT8,
91
- OperandType.UINT8,
92
- OperandType.UINT16,
93
- OperandType.UINT16,
94
- OperandType.TAG
95
- ];
96
- constructor(indirect, srcOffset, dstOffset, dstTag){
97
- super(), this.indirect = indirect, this.srcOffset = srcOffset, this.dstOffset = dstOffset, this.dstTag = dstTag;
98
- }
99
- async execute(context) {
100
- const memory = context.machineState.memory;
101
- const addressing = Addressing.fromWire(this.indirect);
102
- context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
103
- const operands = [
104
- this.srcOffset,
105
- this.dstOffset
106
- ];
107
- const [srcOffset, dstOffset] = addressing.resolve(operands, memory);
108
- const a = memory.get(srcOffset);
109
- // Constructor ensured that this.dstTag is a valid tag
110
- const casted = TaggedMemory.buildFromTagTruncating(a.toBigInt(), this.dstTag);
111
- memory.set(dstOffset, casted);
112
- }
113
- }
114
- export class Mov extends Instruction {
115
- indirect;
116
- srcOffset;
117
- dstOffset;
118
- static type = 'MOV';
119
- // FIXME: This is needed for gas.
120
- static opcode = Opcode.MOV_8;
121
- static wireFormat8 = [
122
- OperandType.UINT8,
123
- OperandType.UINT8,
124
- OperandType.UINT8,
125
- OperandType.UINT8
126
- ];
127
- static wireFormat16 = [
128
- OperandType.UINT8,
129
- OperandType.UINT8,
130
- OperandType.UINT16,
131
- OperandType.UINT16
132
- ];
133
- constructor(indirect, srcOffset, dstOffset){
134
- super(), this.indirect = indirect, this.srcOffset = srcOffset, this.dstOffset = dstOffset;
135
- }
136
- async execute(context) {
137
- const memory = context.machineState.memory;
138
- const addressing = Addressing.fromWire(this.indirect);
139
- context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
140
- const operands = [
141
- this.srcOffset,
142
- this.dstOffset
143
- ];
144
- const [srcOffset, dstOffset] = addressing.resolve(operands, memory);
145
- const a = memory.get(srcOffset);
146
- memory.set(dstOffset, a);
147
- }
148
- }
149
- export class CalldataCopy extends Instruction {
150
- indirect;
151
- copySizeOffset;
152
- cdStartOffset;
153
- dstOffset;
154
- static type = 'CALLDATACOPY';
155
- static opcode = Opcode.CALLDATACOPY;
156
- // Informs (de)serialization. See Instruction.deserialize.
157
- static wireFormat = [
158
- OperandType.UINT8,
159
- OperandType.UINT8,
160
- OperandType.UINT16,
161
- OperandType.UINT16,
162
- OperandType.UINT16
163
- ];
164
- constructor(indirect, copySizeOffset, cdStartOffset, dstOffset){
165
- super(), this.indirect = indirect, this.copySizeOffset = copySizeOffset, this.cdStartOffset = cdStartOffset, this.dstOffset = dstOffset;
166
- }
167
- async execute(context) {
168
- const memory = context.machineState.memory;
169
- const addressing = Addressing.fromWire(this.indirect);
170
- context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
171
- const operands = [
172
- this.copySizeOffset,
173
- this.cdStartOffset,
174
- this.dstOffset
175
- ];
176
- const [copySizeOffset, cdStartOffset, dstOffset] = addressing.resolve(operands, memory);
177
- memory.checkTags(TypeTag.UINT32, cdStartOffset, copySizeOffset);
178
- const cdStart = memory.get(cdStartOffset).toNumber();
179
- const copySize = memory.get(copySizeOffset).toNumber();
180
- context.machineState.consumeGas(this.dynamicGasCost(copySize));
181
- // Values which are out-of-range of the calldata array will be set with Field(0);
182
- const slice = context.environment.calldata.slice(cdStart, cdStart + copySize).map((f)=>new Field(f));
183
- // slice has size = MIN(copySize, calldata.length - cdStart) as TS truncates out-of-range portion
184
- const transformedData = [
185
- ...slice,
186
- ...Array(copySize - slice.length).fill(new Field(0))
187
- ];
188
- memory.setSlice(dstOffset, transformedData);
189
- }
190
- }
191
- export class ReturndataSize extends Instruction {
192
- indirect;
193
- dstOffset;
194
- static type = 'RETURNDATASIZE';
195
- static opcode = Opcode.RETURNDATASIZE;
196
- // Informs (de)serialization. See Instruction.deserialize.
197
- static wireFormat = [
198
- OperandType.UINT8,
199
- OperandType.UINT8,
200
- OperandType.UINT16
201
- ];
202
- constructor(indirect, dstOffset){
203
- super(), this.indirect = indirect, this.dstOffset = dstOffset;
204
- }
205
- async execute(context) {
206
- const memory = context.machineState.memory;
207
- const addressing = Addressing.fromWire(this.indirect);
208
- context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
209
- const operands = [
210
- this.dstOffset
211
- ];
212
- const [dstOffset] = addressing.resolve(operands, memory);
213
- memory.set(dstOffset, new Uint32(context.machineState.nestedReturndata.length));
214
- }
215
- }
216
- export class ReturndataCopy extends Instruction {
217
- indirect;
218
- copySizeOffset;
219
- rdStartOffset;
220
- dstOffset;
221
- static type = 'RETURNDATACOPY';
222
- static opcode = Opcode.RETURNDATACOPY;
223
- // Informs (de)serialization. See Instruction.deserialize.
224
- static wireFormat = [
225
- OperandType.UINT8,
226
- OperandType.UINT8,
227
- OperandType.UINT16,
228
- OperandType.UINT16,
229
- OperandType.UINT16
230
- ];
231
- constructor(indirect, copySizeOffset, rdStartOffset, dstOffset){
232
- super(), this.indirect = indirect, this.copySizeOffset = copySizeOffset, this.rdStartOffset = rdStartOffset, this.dstOffset = dstOffset;
233
- }
234
- async execute(context) {
235
- const memory = context.machineState.memory;
236
- const addressing = Addressing.fromWire(this.indirect);
237
- context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
238
- const operands = [
239
- this.copySizeOffset,
240
- this.rdStartOffset,
241
- this.dstOffset
242
- ];
243
- const [copySizeOffset, rdStartOffset, dstOffset] = addressing.resolve(operands, memory);
244
- memory.checkTags(TypeTag.UINT32, rdStartOffset, copySizeOffset);
245
- const copySize = memory.get(copySizeOffset).toNumber();
246
- const rdStart = memory.get(rdStartOffset).toNumber();
247
- context.machineState.consumeGas(this.dynamicGasCost(copySize));
248
- // Values which are out-of-range of the returndata array will be set with Field(0);
249
- const slice = context.machineState.nestedReturndata.slice(rdStart, rdStart + copySize).map((f)=>new Field(f));
250
- // slice has size = MIN(copySize, returndata.length - rdStart) as TS truncates out-of-range portion
251
- const transformedData = [
252
- ...slice,
253
- ...Array(copySize - slice.length).fill(new Field(0))
254
- ];
255
- memory.setSlice(dstOffset, transformedData);
256
- }
257
- }
@@ -1,18 +0,0 @@
1
- import type { AvmContext } from '../avm_context.js';
2
- import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
3
- import { Instruction } from './instruction.js';
4
- export declare class DebugLog extends Instruction {
5
- private indirect;
6
- private levelOffset;
7
- private messageOffset;
8
- private fieldsOffset;
9
- private fieldsSizeOffset;
10
- private messageSize;
11
- static type: string;
12
- static readonly opcode: Opcode;
13
- static readonly logger: import("@aztec/foundation/log").Logger;
14
- static readonly wireFormat: OperandType[];
15
- constructor(indirect: number, levelOffset: number, messageOffset: number, fieldsOffset: number, fieldsSizeOffset: number, messageSize: number);
16
- execute(context: AvmContext): Promise<void>;
17
- }
18
- //# sourceMappingURL=misc.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"misc.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/misc.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,QAAS,SAAQ,WAAW;IAiBrC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,WAAW;IArBrB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAc;IACjC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAmB;IACjD,MAAM,CAAC,QAAQ,CAAC,MAAM,yCAA2C;IAGjE,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAQvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM;IAKhB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAkEzD"}
@@ -1,73 +0,0 @@
1
- import { LogLevels, applyStringFormatting, createLogger } from '@aztec/foundation/log';
2
- import { TypeTag } from '../avm_memory_types.js';
3
- import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
4
- import { Addressing } from './addressing_mode.js';
5
- import { Instruction } from './instruction.js';
6
- export class DebugLog extends Instruction {
7
- indirect;
8
- levelOffset;
9
- messageOffset;
10
- fieldsOffset;
11
- fieldsSizeOffset;
12
- messageSize;
13
- static type = 'DEBUGLOG';
14
- static opcode = Opcode.DEBUGLOG;
15
- static logger = createLogger('simulator:avm:debug_log');
16
- // Informs (de)serialization. See Instruction.deserialize.
17
- static wireFormat = [
18
- OperandType.UINT8,
19
- OperandType.UINT8,
20
- OperandType.UINT16,
21
- OperandType.UINT16,
22
- OperandType.UINT16,
23
- OperandType.UINT16,
24
- OperandType.UINT16
25
- ];
26
- constructor(indirect, levelOffset, messageOffset, fieldsOffset, fieldsSizeOffset, messageSize){
27
- super(), this.indirect = indirect, this.levelOffset = levelOffset, this.messageOffset = messageOffset, this.fieldsOffset = fieldsOffset, this.fieldsSizeOffset = fieldsSizeOffset, this.messageSize = messageSize;
28
- }
29
- async execute(context) {
30
- const memory = context.machineState.memory;
31
- const addressing = Addressing.fromWire(this.indirect);
32
- context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
33
- const operands = [
34
- this.levelOffset,
35
- this.messageOffset,
36
- this.fieldsOffset,
37
- this.fieldsSizeOffset
38
- ];
39
- const [levelOffset, messageOffset, fieldsOffset, fieldsSizeOffset] = addressing.resolve(operands, memory);
40
- // DebugLog is a no-op except when doing client-initiated simulation.
41
- // Note that we still do address resolution and basic tag-checking (above)
42
- // To avoid a special-case in the witness generator and circuit.
43
- if (context.environment.clientInitiatedSimulation) {
44
- memory.checkTag(TypeTag.UINT8, levelOffset);
45
- const levelNumber = memory.get(levelOffset).toNumber();
46
- memory.checkTag(TypeTag.UINT32, fieldsSizeOffset);
47
- const fieldsSize = memory.get(fieldsSizeOffset).toNumber();
48
- const memoryReads = 1 /* level */ + 1 /* fieldsSize */ + this.messageSize /* message */ + fieldsSize; /* fields */
49
- if (context.persistableState.getDebugLogMemoryReads() + memoryReads > context.environment.maxDebugLogMemoryReads) {
50
- // Regular error on purpose: this is not a recoverable error.
51
- throw new Error(`Max debug log memory reads exceeded: ${context.persistableState.getDebugLogMemoryReads() + memoryReads} > ${context.environment.maxDebugLogMemoryReads}`);
52
- }
53
- context.persistableState.writeDebugLogMemoryReads(memoryReads);
54
- const rawMessage = memory.getSlice(messageOffset, this.messageSize);
55
- const fields = memory.getSlice(fieldsOffset, fieldsSize);
56
- memory.checkTagsRange(TypeTag.UINT8, messageOffset, this.messageSize);
57
- memory.checkTagsRange(TypeTag.FIELD, fieldsOffset, fieldsSize);
58
- // Interpret str<N> = [u8; N] to string.
59
- const messageAsStr = rawMessage.map((field)=>String.fromCharCode(field.toNumber())).join('');
60
- if (!LogLevels[levelNumber]) {
61
- // Regular error on purpose: this is not a recoverable error.
62
- throw new Error(`Invalid debug log level: ${levelNumber}`);
63
- }
64
- const level = LogLevels[levelNumber];
65
- context.persistableState.writeDebugLog(context.environment.address, level, messageAsStr, fields.map((field)=>field.toFr()));
66
- // Skips string formatting if the level is disabled.
67
- if (DebugLog.logger.isLevelEnabled(level)) {
68
- const formattedStr = applyStringFormatting(messageAsStr, fields.map((field)=>field.toFr()));
69
- DebugLog.logger[level](formattedStr);
70
- }
71
- }
72
- }
73
- }