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

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 (248) hide show
  1. package/dest/client.d.ts +1 -1
  2. package/dest/common/errors.d.ts +1 -7
  3. package/dest/common/errors.d.ts.map +1 -1
  4. package/dest/common/index.d.ts +1 -1
  5. package/dest/common/stats/index.d.ts +1 -1
  6. package/dest/common/stats/stats.d.ts +1 -1
  7. package/dest/private/acvm/acvm.d.ts +1 -1
  8. package/dest/private/acvm/acvm_types.d.ts +1 -1
  9. package/dest/private/acvm/deserialize.d.ts +1 -1
  10. package/dest/private/acvm/index.d.ts +1 -1
  11. package/dest/private/acvm/serialize.d.ts +1 -1
  12. package/dest/private/acvm_native.d.ts +1 -1
  13. package/dest/private/acvm_native.d.ts.map +1 -1
  14. package/dest/private/acvm_wasm.d.ts +1 -1
  15. package/dest/private/acvm_wasm.d.ts.map +1 -1
  16. package/dest/private/acvm_wasm_with_blobs.d.ts +1 -1
  17. package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -1
  18. package/dest/private/circuit_recording/circuit_recorder.d.ts +1 -1
  19. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  20. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +1 -1
  21. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  22. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +1 -1
  23. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  24. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
  25. package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
  26. package/dest/private/circuit_simulator.d.ts +1 -1
  27. package/dest/private/factory.d.ts +1 -1
  28. package/dest/public/avm/avm_context.d.ts +1 -1
  29. package/dest/public/avm/avm_context.d.ts.map +1 -1
  30. package/dest/public/avm/avm_contract_call_result.d.ts +1 -1
  31. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  32. package/dest/public/avm/avm_execution_environment.d.ts +4 -4
  33. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  34. package/dest/public/avm/avm_execution_environment.js +4 -7
  35. package/dest/public/avm/avm_gas.d.ts +2 -2
  36. package/dest/public/avm/avm_gas.d.ts.map +1 -1
  37. package/dest/public/avm/avm_machine_state.d.ts +1 -1
  38. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  39. package/dest/public/avm/avm_memory_types.d.ts +13 -13
  40. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  41. package/dest/public/avm/avm_simulator.d.ts +3 -2
  42. package/dest/public/avm/avm_simulator.d.ts.map +1 -1
  43. package/dest/public/avm/avm_simulator.js +7 -6
  44. package/dest/public/avm/avm_simulator_interface.d.ts +1 -1
  45. package/dest/public/avm/errors.d.ts +7 -1
  46. package/dest/public/avm/errors.d.ts.map +1 -1
  47. package/dest/public/avm/errors.js +14 -2
  48. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +1 -1
  49. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  50. package/dest/public/avm/fixtures/avm_simulation_tester.js +11 -2
  51. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +1 -1
  52. package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
  53. package/dest/public/avm/fixtures/initializers.d.ts +1 -2
  54. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
  55. package/dest/public/avm/fixtures/initializers.js +6 -4
  56. package/dest/public/avm/fixtures/utils.d.ts +3 -2
  57. package/dest/public/avm/fixtures/utils.d.ts.map +1 -1
  58. package/dest/public/avm/fixtures/utils.js +2 -1
  59. package/dest/public/avm/index.d.ts +1 -1
  60. package/dest/public/avm/opcodes/accrued_substate.d.ts +1 -1
  61. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  62. package/dest/public/avm/opcodes/addressing_mode.d.ts +1 -1
  63. package/dest/public/avm/opcodes/addressing_mode.d.ts.map +1 -1
  64. package/dest/public/avm/opcodes/addressing_mode.js +2 -2
  65. package/dest/public/avm/opcodes/arithmetic.d.ts +8 -8
  66. package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
  67. package/dest/public/avm/opcodes/bitwise.d.ts +5 -5
  68. package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
  69. package/dest/public/avm/opcodes/comparators.d.ts +4 -4
  70. package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
  71. package/dest/public/avm/opcodes/contract.d.ts +1 -1
  72. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  73. package/dest/public/avm/opcodes/control_flow.d.ts +1 -1
  74. package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
  75. package/dest/public/avm/opcodes/conversion.d.ts +1 -1
  76. package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
  77. package/dest/public/avm/opcodes/ec_add.d.ts +2 -2
  78. package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
  79. package/dest/public/avm/opcodes/environment_getters.d.ts +1 -1
  80. package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
  81. package/dest/public/avm/opcodes/external_calls.d.ts +1 -1
  82. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  83. package/dest/public/avm/opcodes/hashing.d.ts +2 -2
  84. package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
  85. package/dest/public/avm/opcodes/index.d.ts +1 -1
  86. package/dest/public/avm/opcodes/instruction.d.ts +2 -2
  87. package/dest/public/avm/opcodes/instruction.d.ts.map +1 -1
  88. package/dest/public/avm/opcodes/instruction_impl.d.ts +1 -1
  89. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
  90. package/dest/public/avm/opcodes/memory.d.ts +2 -2
  91. package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
  92. package/dest/public/avm/opcodes/misc.d.ts +1 -1
  93. package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
  94. package/dest/public/avm/opcodes/misc.js +4 -4
  95. package/dest/public/avm/opcodes/storage.d.ts +3 -3
  96. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  97. package/dest/public/avm/revert_reason.d.ts +1 -1
  98. package/dest/public/avm/revert_reason.d.ts.map +1 -1
  99. package/dest/public/avm/revert_reason.js +3 -2
  100. package/dest/public/avm/serialization/buffer_cursor.d.ts +1 -1
  101. package/dest/public/avm/serialization/buffer_cursor.d.ts.map +1 -1
  102. package/dest/public/avm/serialization/bytecode_serialization.d.ts +1 -1
  103. package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -1
  104. package/dest/public/avm/serialization/bytecode_serialization.js +9 -6
  105. package/dest/public/avm/serialization/instruction_serialization.d.ts +1 -1
  106. package/dest/public/avm/test_utils.d.ts +1 -1
  107. package/dest/public/contracts_db_checkpoint.d.ts +16 -0
  108. package/dest/public/contracts_db_checkpoint.d.ts.map +1 -0
  109. package/dest/public/contracts_db_checkpoint.js +30 -0
  110. package/dest/public/db_interfaces.d.ts +13 -1
  111. package/dest/public/db_interfaces.d.ts.map +1 -1
  112. package/dest/public/debug_fn_name.d.ts +14 -1
  113. package/dest/public/debug_fn_name.d.ts.map +1 -1
  114. package/dest/public/debug_fn_name.js +19 -0
  115. package/dest/public/executor_metrics.d.ts +3 -2
  116. package/dest/public/executor_metrics.d.ts.map +1 -1
  117. package/dest/public/executor_metrics.js +1 -1
  118. package/dest/public/executor_metrics_interface.d.ts +3 -2
  119. package/dest/public/executor_metrics_interface.d.ts.map +1 -1
  120. package/dest/public/fixtures/amm_test.d.ts +1 -1
  121. package/dest/public/fixtures/bulk_test.d.ts +1 -1
  122. package/dest/public/fixtures/custom_bytecode_tester.d.ts +2 -2
  123. package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
  124. package/dest/public/fixtures/custom_bytecode_tests.d.ts +1 -1
  125. package/dest/public/fixtures/index.d.ts +1 -1
  126. package/dest/public/fixtures/minimal_public_tx.d.ts +2 -3
  127. package/dest/public/fixtures/minimal_public_tx.d.ts.map +1 -1
  128. package/dest/public/fixtures/minimal_public_tx.js +2 -2
  129. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +10 -5
  130. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  131. package/dest/public/fixtures/public_tx_simulation_tester.js +26 -13
  132. package/dest/public/fixtures/simple_contract_data_source.d.ts +4 -3
  133. package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -1
  134. package/dest/public/fixtures/simple_contract_data_source.js +4 -4
  135. package/dest/public/fixtures/token_test.d.ts +6 -2
  136. package/dest/public/fixtures/token_test.d.ts.map +1 -1
  137. package/dest/public/fixtures/token_test.js +12 -11
  138. package/dest/public/fixtures/utils.d.ts +1 -1
  139. package/dest/public/hinting_db_sources.d.ts +12 -3
  140. package/dest/public/hinting_db_sources.d.ts.map +1 -1
  141. package/dest/public/hinting_db_sources.js +64 -11
  142. package/dest/public/index.d.ts +3 -2
  143. package/dest/public/index.d.ts.map +1 -1
  144. package/dest/public/index.js +1 -1
  145. package/dest/public/public_db_sources.d.ts +21 -62
  146. package/dest/public/public_db_sources.d.ts.map +1 -1
  147. package/dest/public/public_db_sources.js +73 -130
  148. package/dest/public/public_errors.d.ts +1 -1
  149. package/dest/public/public_errors.d.ts.map +1 -1
  150. package/dest/public/public_processor/guarded_merkle_tree.d.ts +5 -4
  151. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  152. package/dest/public/public_processor/public_processor.d.ts +11 -18
  153. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  154. package/dest/public/public_processor/public_processor.js +34 -35
  155. package/dest/public/public_processor/public_processor_metrics.d.ts +1 -1
  156. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  157. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +30 -0
  158. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -0
  159. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +133 -0
  160. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +19 -22
  161. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
  162. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +54 -50
  163. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +42 -0
  164. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -0
  165. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +86 -0
  166. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +30 -0
  167. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -0
  168. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +170 -0
  169. package/dest/public/public_tx_simulator/index.d.ts +3 -1
  170. package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
  171. package/dest/public/public_tx_simulator/index.js +1 -0
  172. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +13 -6
  173. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +1 -1
  174. package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +5 -5
  175. package/dest/public/public_tx_simulator/public_tx_context.d.ts +5 -2
  176. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  177. package/dest/public/public_tx_simulator/public_tx_context.js +12 -4
  178. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +10 -30
  179. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  180. package/dest/public/public_tx_simulator/public_tx_simulator.js +106 -125
  181. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +2 -2
  182. package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -1
  183. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +3 -3
  184. package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +1 -1
  185. package/dest/public/side_effect_errors.d.ts +1 -1
  186. package/dest/public/side_effect_errors.d.ts.map +1 -1
  187. package/dest/public/side_effect_trace.d.ts +1 -2
  188. package/dest/public/side_effect_trace.d.ts.map +1 -1
  189. package/dest/public/side_effect_trace_interface.d.ts +2 -3
  190. package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
  191. package/dest/public/state_manager/index.d.ts +1 -1
  192. package/dest/public/state_manager/nullifiers.d.ts +1 -1
  193. package/dest/public/state_manager/nullifiers.d.ts.map +1 -1
  194. package/dest/public/state_manager/public_storage.d.ts +1 -1
  195. package/dest/public/state_manager/public_storage.d.ts.map +1 -1
  196. package/dest/public/state_manager/state_manager.d.ts +8 -10
  197. package/dest/public/state_manager/state_manager.d.ts.map +1 -1
  198. package/dest/public/state_manager/state_manager.js +9 -5
  199. package/dest/public/test_executor_metrics.d.ts +4 -3
  200. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  201. package/dest/public/test_executor_metrics.js +5 -4
  202. package/dest/public/unique_class_ids.d.ts +1 -1
  203. package/dest/public/unique_class_ids.d.ts.map +1 -1
  204. package/dest/public/utils.d.ts +1 -1
  205. package/dest/server.d.ts +1 -1
  206. package/dest/testing.d.ts +1 -1
  207. package/package.json +21 -20
  208. package/src/public/avm/avm_execution_environment.ts +3 -5
  209. package/src/public/avm/avm_simulator.ts +10 -8
  210. package/src/public/avm/errors.ts +16 -2
  211. package/src/public/avm/fixtures/avm_simulation_tester.ts +9 -1
  212. package/src/public/avm/fixtures/initializers.ts +7 -9
  213. package/src/public/avm/fixtures/utils.ts +2 -1
  214. package/src/public/avm/opcodes/addressing_mode.ts +2 -2
  215. package/src/public/avm/opcodes/misc.ts +4 -4
  216. package/src/public/avm/revert_reason.ts +5 -2
  217. package/src/public/avm/serialization/bytecode_serialization.ts +17 -6
  218. package/src/public/contracts_db_checkpoint.ts +41 -0
  219. package/src/public/db_interfaces.ts +15 -0
  220. package/src/public/debug_fn_name.ts +25 -0
  221. package/src/public/executor_metrics.ts +2 -1
  222. package/src/public/executor_metrics_interface.ts +2 -1
  223. package/src/public/fixtures/custom_bytecode_tester.ts +1 -1
  224. package/src/public/fixtures/minimal_public_tx.ts +3 -4
  225. package/src/public/fixtures/public_tx_simulation_tester.ts +45 -15
  226. package/src/public/fixtures/simple_contract_data_source.ts +7 -8
  227. package/src/public/fixtures/token_test.ts +17 -9
  228. package/src/public/hinting_db_sources.ts +106 -8
  229. package/src/public/index.ts +4 -4
  230. package/src/public/public_db_sources.ts +92 -171
  231. package/src/public/public_processor/guarded_merkle_tree.ts +4 -3
  232. package/src/public/public_processor/public_processor.ts +57 -47
  233. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +162 -0
  234. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +84 -57
  235. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +132 -0
  236. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +240 -0
  237. package/src/public/public_tx_simulator/index.ts +2 -0
  238. package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +9 -13
  239. package/src/public/public_tx_simulator/public_tx_context.ts +8 -2
  240. package/src/public/public_tx_simulator/public_tx_simulator.ts +148 -191
  241. package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +1 -2
  242. package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +2 -2
  243. package/src/public/state_manager/state_manager.ts +12 -12
  244. package/src/public/test_executor_metrics.ts +7 -5
  245. package/dest/public/tx_contract_cache.d.ts +0 -41
  246. package/dest/public/tx_contract_cache.d.ts.map +0 -1
  247. package/dest/public/tx_contract_cache.js +0 -49
  248. package/src/public/tx_contract_cache.ts +0 -69
@@ -1 +1 @@
1
- {"version":3,"file":"public_tx_context.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_context.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAGL,sBAAsB,EAEtB,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,GAAG,EAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAGL,8BAA8B,EAI/B,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EACL,KAAK,eAAe,EACpB,iBAAiB,EACjB,6BAA6B,EAE7B,KAAK,EAAE,EACP,gBAAgB,EAChB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAK1B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AAGlF;;GAEG;AACH,qBAAa,eAAe;aAeR,MAAM,EAAE,MAAM;aACd,KAAK,EAAE,iBAAiB;IACxC,OAAO,CAAC,QAAQ,CAAC,kBAAkB;IACnC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,4BAA4B;IAC7C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;aACrB,uCAAuC,EAAE,8BAA8B;aACvE,oCAAoC,EAAE,8BAA8B;aACpE,QAAQ,EAAE,YAAY;IACtC,OAAO,CAAC,QAAQ,CAAC,KAAK;IA9BxB,OAAO,CAAC,GAAG,CAAS;IAGpB,OAAO,CAAC,eAAe,CAAoB;IAEpC,eAAe,EAAE,GAAG,CAAe;IAG1C,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,UAAU,CAA6B;IAExC,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;IACjD,OAAO;WAsBa,MAAM,CACxB,OAAO,EAAE,aAAa,EACtB,WAAW,EAAE,0BAA0B,EACvC,EAAE,EAAE,EAAE,EACN,eAAe,EAAE,eAAe,EAChC,iBAAiB,EAAE,iBAAiB,EACpC,kBAAkB,EAAE,OAAO,EAC3B,QAAQ,EAAE,EAAE;IA4Cd;;;;OAIG;IACH,IAAI;IAKJ;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,GAAE,eAAe,GAAG,SAAqB,EAAE,OAAO,SAAK;IAqBnG;;;OAGG;IACH,kBAAkB,IAAI,UAAU;IAKhC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO;IAW1C;;OAEG;IACH,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,GAAG,6BAA6B,EAAE;IAWjF;;OAEG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,GAAG;IAU/C;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG;IAQ5C;;;OAGG;IACH,eAAe,IAAI,GAAG;IAItB;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG;IAOvB;;;OAGG;IACH,sBAAsB,IAAI,GAAG;IAK7B;;;OAGG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,EAAE;IAQ9C;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAa/B;;OAEG;IACU,8BAA8B,IAAI,OAAO,CAAC,sBAAsB,CAAC;CAwH/E;AAED;;;;;;;;;GASG;AACH,cAAM,iBAAiB;IAKT,OAAO,CAAC,QAAQ,CAAC,cAAc;IAJ3C,OAAO,CAAC,GAAG,CAAS;IAEpB,OAAO,CAAC,2BAA2B,CAA4C;gBAElD,cAAc,EAAE,6BAA6B;IAIpE,IAAI;IAMV,qBAAqB;IAIrB,QAAQ;IAIF,gBAAgB;IAQhB,kBAAkB;CAOzB"}
1
+ {"version":3,"file":"public_tx_context.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_context.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAGL,sBAAsB,EAEtB,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAA6B,KAAK,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,GAAG,EAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAGL,8BAA8B,EAI/B,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EACL,KAAK,eAAe,EACpB,iBAAiB,EACjB,6BAA6B,EAE7B,KAAK,EAAE,EACP,gBAAgB,EAChB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAK1B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AAGlF;;GAEG;AACH,qBAAa,eAAe;aAeR,MAAM,EAAE,MAAM;aACd,KAAK,EAAE,iBAAiB;IACxC,OAAO,CAAC,QAAQ,CAAC,kBAAkB;IACnC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,4BAA4B;IAC7C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;aACrB,mCAAmC,EAAE,sBAAsB;aAC3D,gCAAgC,EAAE,sBAAsB;aACxD,uCAAuC,EAAE,8BAA8B;aACvE,oCAAoC,EAAE,8BAA8B;aACpE,QAAQ,EAAE,YAAY;IACtC,OAAO,CAAC,QAAQ,CAAC,KAAK;IAhCxB,OAAO,CAAC,GAAG,CAAS;IAGpB,OAAO,CAAC,eAAe,CAAoB;IAEpC,eAAe,EAAE,GAAG,CAAe;IAG1C,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,UAAU,CAA6B;IAExC,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;IACjD,OAAO,eAsBN;IAED,OAAoB,MAAM,CACxB,OAAO,EAAE,aAAa,EACtB,WAAW,EAAE,0BAA0B,EACvC,EAAE,EAAE,EAAE,EACN,eAAe,EAAE,eAAe,EAChC,iBAAiB,EAAE,iBAAiB,EACpC,QAAQ,EAAE,EAAE,4BA8Cb;IAED;;;;OAIG;IACH,IAAI,SAGH;IAED;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,GAAE,eAAe,GAAG,SAAqB,EAAE,OAAO,SAAK,QAmBlG;IAED;;;OAGG;IACH,kBAAkB,IAAI,UAAU,CAG/B;IAED;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CASzC;IAED;;OAEG;IACH,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,GAAG,6BAA6B,EAAE,CAShF;IAED;;OAEG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,GAAG,CAQ9C;IAED;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,QAM3C;IAED;;;OAGG;IACH,eAAe,IAAI,GAAG,CAErB;IAED;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG,CAKtB;IAED;;;OAGG;IACH,sBAAsB,IAAI,GAAG,CAG5B;IAED;;;OAGG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,EAAE,CAM7C;IAED;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAa/B;;OAEG;IACU,8BAA8B,IAAI,OAAO,CAAC,sBAAsB,CAAC,CAuH7E;CACF;AAED;;;;;;;;;GASG;AACH,cAAM,iBAAiB;IAKT,OAAO,CAAC,QAAQ,CAAC,cAAc;IAJ3C,OAAO,CAAC,GAAG,CAAS;IAEpB,OAAO,CAAC,2BAA2B,CAA4C;IAE/E,YAA6B,cAAc,EAAE,6BAA6B,EAEzE;IAEK,IAAI,kBAIT;IAED,qBAAqB,kCAEpB;IAED,QAAQ,YAEP;IAEK,gBAAgB,kBAMrB;IAEK,kBAAkB,kBAMvB;CACF"}
@@ -3,6 +3,7 @@ import { padArrayEnd } from '@aztec/foundation/collection';
3
3
  import { Fr } from '@aztec/foundation/fields';
4
4
  import { createLogger } from '@aztec/foundation/log';
5
5
  import { AvmAccumulatedData, AvmAccumulatedDataArrayLengths, AvmCircuitPublicInputs, PublicDataWrite, RevertCode } from '@aztec/stdlib/avm';
6
+ import { AllContractDeploymentData } from '@aztec/stdlib/contract';
6
7
  import { computeEffectiveGasFees, computeTransactionFee } from '@aztec/stdlib/fees';
7
8
  import { Gas } from '@aztec/stdlib/gas';
8
9
  import { PrivateToAvmAccumulatedData, PrivateToAvmAccumulatedDataArrayLengths, PublicCallRequest, PublicCallRequestArrayLengths, countAccumulatedItems } from '@aztec/stdlib/kernel';
@@ -31,6 +32,8 @@ import { getCallRequestsWithCalldataByPhase } from '../utils.js';
31
32
  setupCallRequests;
32
33
  appLogicCallRequests;
33
34
  teardownCallRequests;
35
+ nonRevertibleContractDeploymentData;
36
+ revertibleContractDeploymentData;
34
37
  nonRevertibleAccumulatedDataFromPrivate;
35
38
  revertibleAccumulatedDataFromPrivate;
36
39
  feePayer;
@@ -41,7 +44,7 @@ import { getCallRequestsWithCalldataByPhase } from '../utils.js';
41
44
  /* Entire transaction execution is done. */ halted;
42
45
  /* Where did reverts happen (if at all)? */ revertCode;
43
46
  /* What caused a revert (if one occurred)? */ revertReason;
44
- constructor(txHash, state, startTreeSnapshots, globalVariables, protocolContracts, proverId, gasSettings, gasUsedByPrivate, gasAllocatedToPublic, gasAllocatedToPublicTeardown, setupCallRequests, appLogicCallRequests, teardownCallRequests, nonRevertibleAccumulatedDataFromPrivate, revertibleAccumulatedDataFromPrivate, feePayer, trace){
47
+ constructor(txHash, state, startTreeSnapshots, globalVariables, protocolContracts, proverId, gasSettings, gasUsedByPrivate, gasAllocatedToPublic, gasAllocatedToPublicTeardown, setupCallRequests, appLogicCallRequests, teardownCallRequests, nonRevertibleContractDeploymentData, revertibleContractDeploymentData, nonRevertibleAccumulatedDataFromPrivate, revertibleAccumulatedDataFromPrivate, feePayer, trace){
45
48
  this.txHash = txHash;
46
49
  this.state = state;
47
50
  this.startTreeSnapshots = startTreeSnapshots;
@@ -55,6 +58,8 @@ import { getCallRequestsWithCalldataByPhase } from '../utils.js';
55
58
  this.setupCallRequests = setupCallRequests;
56
59
  this.appLogicCallRequests = appLogicCallRequests;
57
60
  this.teardownCallRequests = teardownCallRequests;
61
+ this.nonRevertibleContractDeploymentData = nonRevertibleContractDeploymentData;
62
+ this.revertibleContractDeploymentData = revertibleContractDeploymentData;
58
63
  this.nonRevertibleAccumulatedDataFromPrivate = nonRevertibleAccumulatedDataFromPrivate;
59
64
  this.revertibleAccumulatedDataFromPrivate = revertibleAccumulatedDataFromPrivate;
60
65
  this.feePayer = feePayer;
@@ -65,17 +70,20 @@ import { getCallRequestsWithCalldataByPhase } from '../utils.js';
65
70
  this.revertCode = RevertCode.OK;
66
71
  this.log = createLogger(`simulator:public_tx_context`);
67
72
  }
68
- static async create(treesDB, contractsDB, tx, globalVariables, protocolContracts, doMerkleOperations, proverId) {
73
+ static async create(treesDB, contractsDB, tx, globalVariables, protocolContracts, proverId) {
74
+ const contractDeploymentData = AllContractDeploymentData.fromTx(tx);
75
+ const nonRevertibleContractDeploymentData = contractDeploymentData.getNonRevertibleContractDeploymentData();
76
+ const revertibleContractDeploymentData = contractDeploymentData.getRevertibleContractDeploymentData();
69
77
  const nonRevertibleAccumulatedDataFromPrivate = tx.data.forPublic.nonRevertibleAccumulatedData;
70
78
  const trace = new SideEffectTrace();
71
79
  const firstNullifier = nonRevertibleAccumulatedDataFromPrivate.nullifiers[0];
72
80
  // Transaction level state manager that will be forked for revertible phases.
73
- const txStateManager = PublicPersistableStateManager.create(treesDB, contractsDB, trace, doMerkleOperations, firstNullifier, globalVariables.timestamp);
81
+ const txStateManager = PublicPersistableStateManager.create(treesDB, contractsDB, trace, firstNullifier, globalVariables.timestamp);
74
82
  const gasSettings = tx.data.constants.txContext.gasSettings;
75
83
  const gasUsedByPrivate = tx.data.gasUsed;
76
84
  const gasAllocatedToPublic = gasSettings.gasLimits.sub(gasUsedByPrivate);
77
85
  const gasAllocatedToPublicTeardown = gasSettings.teardownGasLimits;
78
- return new PublicTxContext(tx.getTxHash(), new PhaseStateManager(txStateManager), await txStateManager.getTreeSnapshots(), globalVariables, protocolContracts, proverId, gasSettings, gasUsedByPrivate, gasAllocatedToPublic, gasAllocatedToPublicTeardown, getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.SETUP), getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.APP_LOGIC), getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.TEARDOWN), tx.data.forPublic.nonRevertibleAccumulatedData, tx.data.forPublic.revertibleAccumulatedData, tx.data.feePayer, trace);
86
+ return new PublicTxContext(tx.getTxHash(), new PhaseStateManager(txStateManager), await txStateManager.getTreeSnapshots(), globalVariables, protocolContracts, proverId, gasSettings, gasUsedByPrivate, gasAllocatedToPublic, gasAllocatedToPublicTeardown, getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.SETUP), getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.APP_LOGIC), getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.TEARDOWN), nonRevertibleContractDeploymentData, revertibleContractDeploymentData, tx.data.forPublic.nonRevertibleAccumulatedData, tx.data.forPublic.revertibleAccumulatedData, tx.data.feePayer, trace);
79
87
  }
80
88
  /**
81
89
  * Signal that the entire transaction execution is done.
@@ -1,9 +1,8 @@
1
1
  import { Fr } from '@aztec/foundation/fields';
2
2
  import { type Logger } from '@aztec/foundation/log';
3
- import { type AvmProvingRequest, type RevertCode } from '@aztec/stdlib/avm';
3
+ import { PublicSimulatorConfig, PublicTxResult } from '@aztec/stdlib/avm';
4
4
  import { SimulationError } from '@aztec/stdlib/errors';
5
- import type { Gas, GasUsed } from '@aztec/stdlib/gas';
6
- import type { DebugLog } from '@aztec/stdlib/logs';
5
+ import { Gas } from '@aztec/stdlib/gas';
7
6
  import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
8
7
  import { type GlobalVariables, NestedProcessReturnValues, PublicCallRequestWithCalldata, Tx, TxExecutionPhase } from '@aztec/stdlib/tx';
9
8
  import type { AvmFinalizedCallResult } from '../avm/avm_contract_call_result.js';
@@ -11,37 +10,21 @@ import { type PublicContractsDB } from '../public_db_sources.js';
11
10
  import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
12
11
  import { PublicTxContext } from './public_tx_context.js';
13
12
  import type { PublicTxSimulatorInterface } from './public_tx_simulator_interface.js';
14
- export type ProcessedPhase = {
13
+ /** Only used internally. */
14
+ type ProcessedPhase = {
15
15
  phase: TxExecutionPhase;
16
16
  durationMs?: number;
17
17
  returnValues: NestedProcessReturnValues[];
18
18
  reverted: boolean;
19
19
  revertReason?: SimulationError;
20
20
  };
21
- export type PublicTxResult = {
22
- avmProvingRequest: AvmProvingRequest;
23
- /** Gas used during the execution of this tx */
24
- gasUsed: GasUsed;
25
- revertCode: RevertCode;
26
- /** Revert reason, if any */
27
- revertReason?: SimulationError;
28
- processedPhases: ProcessedPhase[];
29
- logs: DebugLog[];
30
- };
31
- export type PublicTxSimulatorConfig = {
32
- proverId: Fr;
33
- doMerkleOperations: boolean;
34
- skipFeeEnforcement: boolean;
35
- clientInitiatedSimulation: boolean;
36
- maxDebugLogMemoryReads: number;
37
- };
38
21
  export declare class PublicTxSimulator implements PublicTxSimulatorInterface {
39
22
  protected merkleTree: MerkleTreeWriteOperations;
40
23
  protected contractsDB: PublicContractsDB;
41
24
  protected globalVariables: GlobalVariables;
42
25
  protected log: Logger;
43
- private config;
44
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, config?: Partial<PublicTxSimulatorConfig>);
26
+ protected readonly config: PublicSimulatorConfig;
27
+ constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, config?: Partial<PublicSimulatorConfig>);
45
28
  /**
46
29
  * Simulate a transaction's public portion including all of its phases.
47
30
  * @param tx - The transaction to simulate.
@@ -80,7 +63,7 @@ export declare class PublicTxSimulator implements PublicTxSimulatorInterface {
80
63
  /**
81
64
  * Insert the non-revertible accumulated data from private into the public state.
82
65
  */
83
- protected insertNonRevertiblesFromPrivate(context: PublicTxContext, tx: Tx): Promise<void>;
66
+ protected insertNonRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
84
67
  /**
85
68
  * Insert the revertible accumulated data from private into the public state.
86
69
  * Throws TxSimRevertibleInsertionsRevert if there is some checked error during revertible insertions.
@@ -90,11 +73,8 @@ export declare class PublicTxSimulator implements PublicTxSimulatorInterface {
90
73
  * - NoteHashLimitReachedError
91
74
  * - L2ToL1MessageLimitReachedError
92
75
  */
93
- protected insertRevertiblesFromPrivate(context: PublicTxContext, tx: Tx): Promise<void>;
76
+ protected insertRevertiblesFromPrivate(context: PublicTxContext): Promise<void>;
94
77
  private payFee;
95
- /**
96
- * Generate the proving request for the AVM circuit.
97
- */
98
- private static generateProvingRequest;
99
78
  }
100
- //# sourceMappingURL=public_tx_simulator.d.ts.map
79
+ export {};
80
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3R4X3NpbXVsYXRvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9wdWJsaWNfdHhfc2ltdWxhdG9yL3B1YmxpY190eF9zaW11bGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUdsRSxPQUFPLEVBQWdDLHFCQUFxQixFQUFFLGNBQWMsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3hHLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN2RCxPQUFPLEVBQUUsR0FBRyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDeEMsT0FBTyxLQUFLLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNyRSxPQUFPLEVBQ0wsS0FBSyxlQUFlLEVBQ3BCLHlCQUF5QixFQUN6Qiw2QkFBNkIsRUFDN0IsRUFBRSxFQUNGLGdCQUFnQixFQUNqQixNQUFNLGtCQUFrQixDQUFDO0FBSTFCLE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFJakYsT0FBTyxFQUFFLEtBQUssaUJBQWlCLEVBQWlCLE1BQU0seUJBQXlCLENBQUM7QUFPaEYsT0FBTyxLQUFLLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RixPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQXFDckYsNEJBQTRCO0FBQzVCLEtBQUssY0FBYyxHQUFHO0lBQ3BCLEtBQUssRUFBRSxnQkFBZ0IsQ0FBQztJQUN4QixVQUFVLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDcEIsWUFBWSxFQUFFLHlCQUF5QixFQUFFLENBQUM7SUFDMUMsUUFBUSxFQUFFLE9BQU8sQ0FBQztJQUNsQixZQUFZLENBQUMsRUFBRSxlQUFlLENBQUM7Q0FDaEMsQ0FBQztBQUVGLHFCQUFhLGlCQUFrQixZQUFXLDBCQUEwQjtJQUtoRSxTQUFTLENBQUMsVUFBVSxFQUFFLHlCQUF5QjtJQUMvQyxTQUFTLENBQUMsV0FBVyxFQUFFLGlCQUFpQjtJQUN4QyxTQUFTLENBQUMsZUFBZSxFQUFFLGVBQWU7SUFONUMsU0FBUyxDQUFDLEdBQUcsRUFBRSxNQUFNLENBQUM7SUFDdEIsU0FBUyxDQUFDLFFBQVEsQ0FBQyxNQUFNLEVBQUUscUJBQXFCLENBQUM7SUFFakQsWUFDWSxVQUFVLEVBQUUseUJBQXlCLEVBQ3JDLFdBQVcsRUFBRSxpQkFBaUIsRUFDOUIsZUFBZSxFQUFFLGVBQWUsRUFDMUMsTUFBTSxDQUFDLEVBQUUsT0FBTyxDQUFDLHFCQUFxQixDQUFDLEVBSXhDO0lBRUQ7Ozs7T0FJRztJQUNVLFFBQVEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0ErSHJEO0lBRUQsU0FBUyxDQUFDLGFBQWEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxxQ0FFN0I7SUFFRDs7OztPQUlHO0lBQ0gsVUFBZ0IsYUFBYSxDQUFDLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxPQUFPLEVBQUUsZUFBZSxHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FtQ3hHO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsVUFBZ0Isb0JBQW9CLENBQ2xDLEtBQUssRUFBRSxnQkFBZ0IsRUFDdkIsT0FBTyxFQUFFLGVBQWUsRUFDeEIsV0FBVyxFQUFFLDZCQUE2QixHQUN6QyxPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0EyQmpDO0lBRUQ7Ozs7Ozs7Ozs7OztPQVlHO0lBQ0gsVUFBZ0IsNEJBQTRCLENBQzFDLFlBQVksRUFBRSw2QkFBNkIsRUFDM0MsRUFBRSxPQUFPLEVBQUUsUUFBUSxFQUFFLEVBQUUsNkJBQTZCLEVBQ3BELFlBQVksRUFBRSxHQUFHLEVBQ2pCLGNBQWMsRUFBRSxFQUFFLEVBQ2xCLE1BQU0sRUFBRSxNQUFNLEdBQ2IsT0FBTyxDQUFDLHNCQUFzQixDQUFDLENBcUJqQztJQUVEOztPQUVHO0lBQ0gsVUFBZ0IsK0JBQStCLENBQUMsT0FBTyxFQUFFLGVBQWUsaUJBeUJ2RTtJQUVEOzs7Ozs7OztPQVFHO0lBQ0gsVUFBZ0IsNEJBQTRCLENBQUMsT0FBTyxFQUFFLGVBQWUsaUJBMEVwRTtZQUVhLE1BQU07Q0FtQ3JCIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAGlE,OAAO,EAIL,KAAK,iBAAiB,EAEtB,KAAK,UAAU,EAChB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAEnD,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EACL,KAAK,eAAe,EACpB,yBAAyB,EACzB,6BAA6B,EAC7B,EAAE,EACF,gBAAgB,EACjB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAIjF,OAAO,EAAE,KAAK,iBAAiB,EAAiB,MAAM,yBAAyB,CAAC;AAOhF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAErF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,gBAAgB,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,yBAAyB,EAAE,CAAC;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,+CAA+C;IAC/C,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,UAAU,CAAC;IACvB,4BAA4B;IAC5B,YAAY,CAAC,EAAE,eAAe,CAAC;IAC/B,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,IAAI,EAAE,QAAQ,EAAE,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,EAAE,EAAE,CAAC;IACb,kBAAkB,EAAE,OAAO,CAAC;IAC5B,kBAAkB,EAAE,OAAO,CAAC;IAC5B,yBAAyB,EAAE,OAAO,CAAC;IACnC,sBAAsB,EAAE,MAAM,CAAC;CAChC,CAAC;AAqCF,qBAAa,iBAAkB,YAAW,0BAA0B;IAKhE,SAAS,CAAC,UAAU,EAAE,yBAAyB;IAC/C,SAAS,CAAC,WAAW,EAAE,iBAAiB;IACxC,SAAS,CAAC,eAAe,EAAE,eAAe;IAN5C,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,MAAM,CAA0B;gBAG5B,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAC1C,MAAM,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC;IAY3C;;;;OAIG;IACU,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;IAqItD,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE;IAI9B;;;;OAIG;cACa,aAAa,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC;IAqCzG;;;;;;OAMG;cACa,oBAAoB,CAClC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC;IA6BlC;;;;;;;;;;;;OAYG;cACa,4BAA4B,CAC1C,YAAY,EAAE,6BAA6B,EAC3C,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,6BAA6B,EACpD,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC;IAwBlC;;OAEG;cACa,+BAA+B,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,EAAE;IA0BhF;;;;;;;;OAQG;cACa,4BAA4B,CAAC,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE,EAAE;YA0E/D,MAAM;IA+BpB;;OAEG;IACH,OAAO,CAAC,MAAM,CAAC,sBAAsB;CAStC"}
1
+ {"version":3,"file":"public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAGlE,OAAO,EAAgC,qBAAqB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxG,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AACxC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EACL,KAAK,eAAe,EACpB,yBAAyB,EACzB,6BAA6B,EAC7B,EAAE,EACF,gBAAgB,EACjB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAIjF,OAAO,EAAE,KAAK,iBAAiB,EAAiB,MAAM,yBAAyB,CAAC;AAOhF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAqCrF,4BAA4B;AAC5B,KAAK,cAAc,GAAG;IACpB,KAAK,EAAE,gBAAgB,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,yBAAyB,EAAE,CAAC;IAC1C,QAAQ,EAAE,OAAO,CAAC;IAClB,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,qBAAa,iBAAkB,YAAW,0BAA0B;IAKhE,SAAS,CAAC,UAAU,EAAE,yBAAyB;IAC/C,SAAS,CAAC,WAAW,EAAE,iBAAiB;IACxC,SAAS,CAAC,eAAe,EAAE,eAAe;IAN5C,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC;IACtB,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IAEjD,YACY,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAC1C,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EAIxC;IAED;;;;OAIG;IACU,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CA+HrD;IAED,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,EAAE,qCAE7B;IAED;;;;OAIG;IACH,UAAgB,aAAa,CAAC,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,CAmCxG;IAED;;;;;;OAMG;IACH,UAAgB,oBAAoB,CAClC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC,CA2BjC;IAED;;;;;;;;;;;;OAYG;IACH,UAAgB,4BAA4B,CAC1C,YAAY,EAAE,6BAA6B,EAC3C,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,6BAA6B,EACpD,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC,CAqBjC;IAED;;OAEG;IACH,UAAgB,+BAA+B,CAAC,OAAO,EAAE,eAAe,iBAyBvE;IAED;;;;;;;;OAQG;IACH,UAAgB,4BAA4B,CAAC,OAAO,EAAE,eAAe,iBA0EpE;YAEa,MAAM;CAmCrB"}
@@ -1,11 +1,9 @@
1
- import { AVM_MAX_PROCESSABLE_L2_GAS, DEFAULT_MAX_DEBUG_LOG_MEMORY_READS } from '@aztec/constants';
2
- import { Fr } from '@aztec/foundation/fields';
1
+ import { AVM_MAX_PROCESSABLE_L2_GAS } from '@aztec/constants';
3
2
  import { createLogger } from '@aztec/foundation/log';
4
3
  import { ProtocolContractAddress, ProtocolContractsList } from '@aztec/protocol-contracts';
5
4
  import { computeFeePayerBalanceStorageSlot } from '@aztec/protocol-contracts/fee-juice';
6
- import { AvmCircuitInputs, AvmExecutionHints, AvmTxHint } from '@aztec/stdlib/avm';
5
+ import { AvmExecutionHints, AvmTxHint, PublicSimulatorConfig, PublicTxResult } from '@aztec/stdlib/avm';
7
6
  import { SimulationError } from '@aztec/stdlib/errors';
8
- import { ProvingRequestType } from '@aztec/stdlib/proofs';
9
7
  import { NestedProcessReturnValues, TxExecutionPhase } from '@aztec/stdlib/tx';
10
8
  import { strict as assert } from 'assert';
11
9
  import { AvmSimulator } from '../avm/index.js';
@@ -52,13 +50,7 @@ export class PublicTxSimulator {
52
50
  this.merkleTree = merkleTree;
53
51
  this.contractsDB = contractsDB;
54
52
  this.globalVariables = globalVariables;
55
- this.config = {
56
- proverId: config?.proverId ?? Fr.ZERO,
57
- doMerkleOperations: config?.doMerkleOperations ?? false,
58
- skipFeeEnforcement: config?.skipFeeEnforcement ?? false,
59
- clientInitiatedSimulation: config?.clientInitiatedSimulation ?? false,
60
- maxDebugLogMemoryReads: config?.maxDebugLogMemoryReads ?? DEFAULT_MAX_DEBUG_LOG_MEMORY_READS
61
- };
53
+ this.config = PublicSimulatorConfig.from(config ?? {});
62
54
  this.log = createLogger(`simulator:public_tx_simulator`);
63
55
  }
64
56
  /**
@@ -66,107 +58,96 @@ export class PublicTxSimulator {
66
58
  * @param tx - The transaction to simulate.
67
59
  * @returns The result of the transaction's public execution.
68
60
  */ async simulate(tx) {
69
- try {
70
- const txHash = this.computeTxHash(tx);
71
- this.log.debug(`Simulating ${tx.publicFunctionCalldata.length} public calls for tx ${txHash}`, {
72
- txHash
73
- });
74
- // Create hinting DBs.
75
- const hints = new AvmExecutionHints(this.globalVariables, AvmTxHint.fromTx(tx, this.globalVariables.gasFees), ProtocolContractsList);
76
- const hintingMerkleTree = await HintingMerkleWriteOperations.create(this.merkleTree, hints);
77
- const hintingTreesDB = new PublicTreesDB(hintingMerkleTree);
78
- const hintingContractsDB = new HintingPublicContractsDB(this.contractsDB, hints);
79
- const context = await PublicTxContext.create(hintingTreesDB, hintingContractsDB, tx, this.globalVariables, ProtocolContractsList, this.config.doMerkleOperations, this.config.proverId);
80
- // This will throw if there is a nullifier collision.
61
+ const txHash = this.computeTxHash(tx);
62
+ this.log.debug(`Simulating ${tx.publicFunctionCalldata.length} public calls for tx ${txHash}`, {
63
+ txHash
64
+ });
65
+ // Create hinting DBs.
66
+ const hints = new AvmExecutionHints(this.globalVariables, AvmTxHint.fromTx(tx, this.globalVariables.gasFees), ProtocolContractsList);
67
+ const hintingMerkleTree = await HintingMerkleWriteOperations.create(this.merkleTree, hints);
68
+ const hintingTreesDB = new PublicTreesDB(hintingMerkleTree);
69
+ const hintingContractsDB = new HintingPublicContractsDB(this.contractsDB, hints);
70
+ const context = await PublicTxContext.create(hintingTreesDB, hintingContractsDB, tx, this.globalVariables, ProtocolContractsList, this.config.proverId);
71
+ // This will throw if there is a nullifier collision.
72
+ // In that case the transaction will be thrown out.
73
+ await this.insertNonRevertiblesFromPrivate(context);
74
+ const processedPhases = [];
75
+ if (context.hasPhase(TxExecutionPhase.SETUP)) {
76
+ // This will throw if the setup phase reverts.
81
77
  // In that case the transaction will be thrown out.
82
- await this.insertNonRevertiblesFromPrivate(context, tx);
83
- const processedPhases = [];
84
- if (context.hasPhase(TxExecutionPhase.SETUP)) {
85
- // This will throw if the setup phase reverts.
86
- // In that case the transaction will be thrown out.
87
- const setupResult = await this.simulatePhase(TxExecutionPhase.SETUP, context);
88
- if (setupResult.reverted) {
89
- throw new Error(`Setup phase reverted! The transaction will be thrown out. ${setupResult.revertReason?.message}`);
90
- }
91
- processedPhases.push(setupResult);
78
+ const setupResult = await this.simulatePhase(TxExecutionPhase.SETUP, context);
79
+ if (setupResult.reverted) {
80
+ throw new Error(`[SETUP] UNRECOVERABLE ERROR! The transaction will be thrown out. ${setupResult.revertReason?.message}`);
92
81
  }
93
- // The checkpoint we should go back to if anything from now on reverts.
94
- await context.state.fork();
95
- try {
96
- // This will throw if there is a nullifier collision or other insertion error (limit reached).
97
- await this.insertRevertiblesFromPrivate(context, tx);
98
- // Only proceed with app logic if there was no revert during revertible insertion.
99
- if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
100
- const appLogicResult = await this.simulatePhase(TxExecutionPhase.APP_LOGIC, context);
101
- processedPhases.push(appLogicResult);
102
- if (appLogicResult.reverted) {
103
- throw new TxSimAppLogicRevert();
104
- }
105
- }
106
- } catch (e) {
107
- if (e instanceof TxSimRevertibleInsertionsRevert || e instanceof TxSimAppLogicRevert) {
108
- // We revert to the post-setup state.
109
- await context.state.discardForkedState();
110
- // But we also create a new fork so that the teardown phase can transparently
111
- // commit or rollback at the end of teardown.
112
- await context.state.fork();
113
- } else {
114
- // Unchecked/unknown error - re-throw as-is
115
- throw e;
82
+ processedPhases.push(setupResult);
83
+ }
84
+ // The checkpoint we should go back to if anything from now on reverts.
85
+ await context.state.fork();
86
+ hintingContractsDB.createCheckpoint();
87
+ try {
88
+ // This will throw if there is a nullifier collision or other insertion error (limit reached).
89
+ await this.insertRevertiblesFromPrivate(context);
90
+ // Only proceed with app logic if there was no revert during revertible insertion.
91
+ if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
92
+ const appLogicResult = await this.simulatePhase(TxExecutionPhase.APP_LOGIC, context);
93
+ processedPhases.push(appLogicResult);
94
+ if (appLogicResult.reverted) {
95
+ throw new TxSimAppLogicRevert();
116
96
  }
117
97
  }
118
- try {
119
- if (context.hasPhase(TxExecutionPhase.TEARDOWN)) {
120
- const teardownResult = await this.simulatePhase(TxExecutionPhase.TEARDOWN, context);
121
- processedPhases.push(teardownResult);
122
- if (teardownResult.reverted) {
123
- throw new TxSimTeardownRevert();
124
- }
125
- }
126
- // We commit the forked state and we are done.
127
- await context.state.mergeForkedState();
128
- } catch (e) {
129
- if (e instanceof TxSimTeardownRevert) {
130
- // We revert to the post-setup state and we are done.
131
- await context.state.discardForkedState();
132
- } else {
133
- // Unchecked/unknown error - re-throw as-is
134
- throw e;
98
+ } catch (e) {
99
+ if (e instanceof TxSimRevertibleInsertionsRevert || e instanceof TxSimAppLogicRevert) {
100
+ // We revert to the post-setup state.
101
+ await context.state.discardForkedState();
102
+ hintingContractsDB.revertCheckpoint();
103
+ // But we also create a new fork so that the teardown phase can transparently
104
+ // commit or rollback at the end of teardown.
105
+ await context.state.fork();
106
+ hintingContractsDB.createCheckpoint();
107
+ } else {
108
+ // Unchecked/unknown error - re-throw as-is
109
+ throw e;
110
+ }
111
+ }
112
+ try {
113
+ if (context.hasPhase(TxExecutionPhase.TEARDOWN)) {
114
+ const teardownResult = await this.simulatePhase(TxExecutionPhase.TEARDOWN, context);
115
+ processedPhases.push(teardownResult);
116
+ if (teardownResult.reverted) {
117
+ throw new TxSimTeardownRevert();
135
118
  }
136
119
  }
137
- context.halt();
138
- // Such transactions should be filtered by GasTxValidator.
139
- assert(context.getActualGasUsed().l2Gas <= AVM_MAX_PROCESSABLE_L2_GAS, `Transaction consumes ${context.getActualGasUsed().l2Gas} L2 gas, which exceeds the AVM maximum processable gas of ${AVM_MAX_PROCESSABLE_L2_GAS}`);
140
- await this.payFee(context);
141
- const publicInputs = await context.generateAvmCircuitPublicInputs();
142
- const avmProvingRequest = PublicTxSimulator.generateProvingRequest(publicInputs, hints);
143
- const revertCode = context.getFinalRevertCode();
144
- // Commit contracts from this TX to the block-level cache and clear tx cache
145
- // If the tx reverted, only commit non-revertible contracts
146
- // NOTE: You can't create contracts in public, so this is only relevant for private-created contracts
147
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
148
- // However things should work as they are now because the hinted db would still pick up the new contracts.
149
- this.contractsDB.commitContractsForTx(/*onlyNonRevertibles=*/ !revertCode.isOK());
150
- return {
151
- avmProvingRequest,
152
- gasUsed: {
153
- totalGas: context.getActualGasUsed(),
154
- teardownGas: context.teardownGasUsed,
155
- publicGas: context.getActualPublicGasUsed(),
156
- billedGas: context.getTotalGasUsed()
157
- },
158
- revertCode,
159
- revertReason: context.revertReason,
160
- processedPhases: processedPhases,
161
- logs: context.state.getActiveStateManager().getLogs()
162
- };
163
- } finally{
164
- // Make sure there are no new contracts in the tx-level cache.
165
- // They should either be committed to block-level cache or cleared.
166
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
167
- // However things should work as they are now because the hinted db would still pick up the new contracts.
168
- this.contractsDB.clearContractsForTx();
120
+ // We commit the forked state and we are done.
121
+ await context.state.mergeForkedState();
122
+ hintingContractsDB.commitCheckpoint();
123
+ } catch (e) {
124
+ if (e instanceof TxSimTeardownRevert) {
125
+ // We revert to the post-setup state and we are done.
126
+ await context.state.discardForkedState();
127
+ hintingContractsDB.revertCheckpoint();
128
+ } else {
129
+ // Unchecked/unknown error - re-throw as-is
130
+ throw e;
131
+ }
169
132
  }
133
+ context.halt();
134
+ // Such transactions should be filtered by GasTxValidator.
135
+ assert(context.getActualGasUsed().l2Gas <= AVM_MAX_PROCESSABLE_L2_GAS, `Transaction consumes ${context.getActualGasUsed().l2Gas} L2 gas, which exceeds the AVM maximum processable gas of ${AVM_MAX_PROCESSABLE_L2_GAS}`);
136
+ await this.payFee(context);
137
+ const publicInputs = await context.generateAvmCircuitPublicInputs();
138
+ const revertCode = context.getFinalRevertCode();
139
+ // We only return the app logic phase information, and only 1 per phase.
140
+ const appLogicReturnValues = processedPhases.find(({ phase })=>phase === TxExecutionPhase.APP_LOGIC)?.returnValues ?? [];
141
+ // TODO(fcarreiro): This is a temporary backwards compatibility layer until we migrate to the C++ simulator.
142
+ if (context.revertReason !== undefined) {
143
+ appLogicReturnValues.revertReason = context.revertReason;
144
+ }
145
+ return new PublicTxResult(/*gasUsed=*/ {
146
+ totalGas: context.getActualGasUsed(),
147
+ teardownGas: context.teardownGasUsed,
148
+ publicGas: context.getActualPublicGasUsed(),
149
+ billedGas: context.getTotalGasUsed()
150
+ }, /*revertCode=*/ revertCode, /*callStackMetadata=*/ appLogicReturnValues, /*logs=*/ context.state.getActiveStateManager().getLogs(), /*hints=*/ hints, /*publicInputs=*/ publicInputs);
170
151
  }
171
152
  computeTxHash(tx) {
172
153
  return tx.getTxHash();
@@ -241,13 +222,13 @@ export class PublicTxSimulator {
241
222
  const address = request.contractAddress;
242
223
  const sender = request.msgSender;
243
224
  this.log.debug(`Executing enqueued public call to external function ${fnName}@${address} with ${allocatedGas.l2Gas} allocated L2 gas.`);
244
- const simulator = await AvmSimulator.create(stateManager, address, sender, transactionFee, this.globalVariables, request.isStaticCall, calldata, allocatedGas, this.config.clientInitiatedSimulation, this.config.maxDebugLogMemoryReads);
225
+ const simulator = await AvmSimulator.create(stateManager, address, sender, transactionFee, this.globalVariables, request.isStaticCall, calldata, allocatedGas, this.config);
245
226
  const avmCallResult = await simulator.execute();
246
227
  return avmCallResult.finalize();
247
228
  }
248
229
  /**
249
230
  * Insert the non-revertible accumulated data from private into the public state.
250
- */ async insertNonRevertiblesFromPrivate(context, tx) {
231
+ */ async insertNonRevertiblesFromPrivate(context) {
251
232
  const stateManager = context.state.getActiveStateManager();
252
233
  for (const siloedNullifier of context.nonRevertibleAccumulatedDataFromPrivate.nullifiers.filter((n)=>!n.isEmpty())){
253
234
  await stateManager.writeSiloedNullifier(siloedNullifier);
@@ -262,11 +243,12 @@ export class PublicTxSimulator {
262
243
  stateManager.writeScopedL2ToL1Message(l2ToL1Message);
263
244
  }
264
245
  }
265
- // add new contracts to the contracts db so that their functions may be found and called
266
- // TODO(#6464): Should we allow emitting contracts in the private setup phase?
267
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
268
- // However things should work as they are now because the hinted db would still pick up the new contracts.
269
- await this.contractsDB.addNewNonRevertibleContracts(tx);
246
+ // add new contracts to the contracts db so that their code may be found and called
247
+ // FIXME(fcarreiro): this should conceptually use the hinting contracts db.
248
+ // However, things work as expected because later calls to getters on the hintingContractsDB
249
+ // will pick up the new contracts and will generate the necessary hints.
250
+ // So, a consumer of the hints will always see the new contracts.
251
+ await this.contractsDB.addContracts(context.nonRevertibleContractDeploymentData);
270
252
  }
271
253
  /**
272
254
  * Insert the revertible accumulated data from private into the public state.
@@ -276,7 +258,7 @@ export class PublicTxSimulator {
276
258
  * - NullifierCollisionError
277
259
  * - NoteHashLimitReachedError
278
260
  * - L2ToL1MessageLimitReachedError
279
- */ async insertRevertiblesFromPrivate(context, tx) {
261
+ */ async insertRevertiblesFromPrivate(context) {
280
262
  const stateManager = context.state.getActiveStateManager();
281
263
  try {
282
264
  for (const siloedNullifier of context.revertibleAccumulatedDataFromPrivate.nullifiers.filter((n)=>!n.isEmpty())){
@@ -323,14 +305,19 @@ export class PublicTxSimulator {
323
305
  }
324
306
  }
325
307
  // add new contracts to the contracts db so that their functions may be found and called
326
- // FIXME(fcarreiro): this should conceptually use the hinted contracts db.
327
- // However things should work as they are now because the hinted db would still pick up the new contracts.
328
- await this.contractsDB.addNewRevertibleContracts(tx);
308
+ // FIXME(fcarreiro): this should conceptually use the hinting contracts db.
309
+ // However, things work as expected because later calls to getters on the hintingContractsDB
310
+ // will pick up the new contracts and will generate the necessary hints.
311
+ // So, a consumer of the hints will always see the new contracts.
312
+ await this.contractsDB.addContracts(context.revertibleContractDeploymentData);
329
313
  }
330
314
  async payFee(context) {
331
315
  const txFee = context.getTransactionFee(TxExecutionPhase.TEARDOWN);
332
316
  if (context.feePayer.isZero()) {
333
- this.log.debug(`No one is paying the fee of ${txFee.toBigInt()}`);
317
+ // Real transactions are enforced by private kernel to have nonzero fee payer.
318
+ // Real transactions cannot skip fee enforcement (skipping fee enforcement makes them unprovable).
319
+ assert(this.config.skipFeeEnforcement, 'Fee payer cannot be 0 unless skipping fee enforcement for simulation');
320
+ this.log.debug(`Fee payer is 0. Skipping fee enforcement. No one is paying the fee of ${txFee.toBigInt()}`);
334
321
  return;
335
322
  }
336
323
  const feeJuiceAddress = ProtocolContractAddress.FeeJuice;
@@ -343,17 +330,11 @@ export class PublicTxSimulator {
343
330
  if (currentBalance.lt(txFee)) {
344
331
  // Without "skipFeeEnforcement", such transactions should be filtered by GasTxValidator.
345
332
  assert(this.config.skipFeeEnforcement, `Not enough balance for fee payer to pay for transaction (got ${currentBalance.toBigInt()} needs ${txFee.toBigInt()})`);
333
+ this.log.debug(`Fee payer balance insufficient, but we're skipping fee enforcement`);
334
+ // We still proceed and perform the storage write to minimize deviation from normal execution.
346
335
  currentBalance = txFee;
347
336
  }
348
337
  const updatedBalance = currentBalance.sub(txFee);
349
338
  await stateManager.writeStorage(feeJuiceAddress, balanceSlot, updatedBalance, true);
350
339
  }
351
- /**
352
- * Generate the proving request for the AVM circuit.
353
- */ static generateProvingRequest(publicInputs, hints) {
354
- return {
355
- type: ProvingRequestType.PUBLIC_VM,
356
- inputs: new AvmCircuitInputs(hints, publicInputs)
357
- };
358
- }
359
340
  }
@@ -1,9 +1,9 @@
1
+ import type { PublicTxResult } from '@aztec/stdlib/avm';
1
2
  import type { Tx } from '@aztec/stdlib/tx';
2
- import type { PublicTxResult } from './public_tx_simulator.js';
3
3
  export interface PublicTxSimulatorInterface {
4
4
  simulate(tx: Tx): Promise<PublicTxResult>;
5
5
  }
6
6
  export interface MeasuredPublicTxSimulatorInterface {
7
7
  simulate(tx: Tx, txLabel: string): Promise<PublicTxResult>;
8
8
  }
9
- //# sourceMappingURL=public_tx_simulator_interface.d.ts.map
9
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3R4X3NpbXVsYXRvcl9pbnRlcmZhY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci9wdWJsaWNfdHhfc2ltdWxhdG9yX2ludGVyZmFjZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUUzQyxNQUFNLFdBQVcsMEJBQTBCO0lBQ3pDLFFBQVEsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FBQztDQUMzQztBQUVELE1BQU0sV0FBVyxrQ0FBa0M7SUFDakQsUUFBUSxDQUFDLEVBQUUsRUFBRSxFQUFFLEVBQUUsT0FBTyxFQUFFLE1BQU0sR0FBRyxPQUFPLENBQUMsY0FBYyxDQUFDLENBQUM7Q0FDNUQifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"public_tx_simulator_interface.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator_interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;CAC5D"}
1
+ {"version":3,"file":"public_tx_simulator_interface.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_simulator_interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAE3C,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;CAC5D"}
@@ -1,4 +1,5 @@
1
1
  import type { Fr } from '@aztec/foundation/fields';
2
+ import type { PublicSimulatorConfig } from '@aztec/stdlib/avm';
2
3
  import type { Gas } from '@aztec/stdlib/gas';
3
4
  import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
4
5
  import { type GlobalVariables, PublicCallRequestWithCalldata, TxExecutionPhase } from '@aztec/stdlib/tx';
@@ -8,14 +9,13 @@ import type { PublicContractsDB } from '../public_db_sources.js';
8
9
  import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
9
10
  import { MeasuredPublicTxSimulator } from './measured_public_tx_simulator.js';
10
11
  import { PublicTxContext } from './public_tx_context.js';
11
- import type { PublicTxSimulatorConfig } from './public_tx_simulator.js';
12
12
  /**
13
13
  * A public tx simulator that tracks runtime/production metrics with telemetry.
14
14
  */
15
15
  export declare class TelemetryPublicTxSimulator extends MeasuredPublicTxSimulator {
16
16
  readonly tracer: Tracer;
17
- constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, telemetryClient?: TelemetryClient, config?: Partial<PublicTxSimulatorConfig>);
17
+ constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, telemetryClient?: TelemetryClient, config?: Partial<PublicSimulatorConfig>);
18
18
  protected simulateEnqueuedCall(phase: TxExecutionPhase, context: PublicTxContext, callRequest: PublicCallRequestWithCalldata): Promise<AvmFinalizedCallResult>;
19
19
  protected simulateEnqueuedCallInternal(stateManager: PublicPersistableStateManager, callRequest: PublicCallRequestWithCalldata, allocatedGas: Gas, transactionFee: Fr, fnName: string): Promise<AvmFinalizedCallResult>;
20
20
  }
21
- //# sourceMappingURL=telemetry_public_tx_simulator.d.ts.map
21
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVsZW1ldHJ5X3B1YmxpY190eF9zaW11bGF0b3IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci90ZWxlbWV0cnlfcHVibGljX3R4X3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUNuRCxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQy9ELE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQzdDLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckUsT0FBTyxFQUFFLEtBQUssZUFBZSxFQUFFLDZCQUE2QixFQUFFLGdCQUFnQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDekcsT0FBTyxFQUFjLEtBQUssZUFBZSxFQUFFLEtBQUssTUFBTSxFQUFpQyxNQUFNLHlCQUF5QixDQUFDO0FBRXZILE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFFakYsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSw2QkFBNkIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZGLE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQzlFLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7R0FFRztBQUNILHFCQUFhLDBCQUEyQixTQUFRLHlCQUF5QjtJQUV2RSxTQUFnQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBRS9CLFlBQ0UsVUFBVSxFQUFFLHlCQUF5QixFQUNyQyxXQUFXLEVBQUUsaUJBQWlCLEVBQzlCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGVBQWUsR0FBRSxlQUFzQyxFQUN2RCxNQUFNLENBQUMsRUFBRSxPQUFPLENBQUMscUJBQXFCLENBQUMsRUFLeEM7SUFFRCxVQU15QixvQkFBb0IsQ0FDM0MsS0FBSyxFQUFFLGdCQUFnQixFQUN2QixPQUFPLEVBQUUsZUFBZSxFQUN4QixXQUFXLEVBQUUsNkJBQTZCLEdBQ3pDLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxDQUVqQztJQUVELFVBTXlCLDRCQUE0QixDQUNuRCxZQUFZLEVBQUUsNkJBQTZCLEVBQzNDLFdBQVcsRUFBRSw2QkFBNkIsRUFDMUMsWUFBWSxFQUFFLEdBQUcsRUFDakIsY0FBYyxFQUFFLEVBQUUsRUFDbEIsTUFBTSxFQUFFLE1BQU0sR0FDYixPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FFakM7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"telemetry_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/telemetry_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzG,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AAEvH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAExE;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,yBAAyB;IAEvE,SAAgB,MAAM,EAAE,MAAM,CAAC;gBAG7B,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,eAAe,GAAE,eAAsC,EACvD,MAAM,CAAC,EAAE,OAAO,CAAC,uBAAuB,CAAC;cAalB,oBAAoB,CAC3C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC;cAUT,4BAA4B,CACnD,YAAY,EAAE,6BAA6B,EAC3C,WAAW,EAAE,6BAA6B,EAC1C,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC;CAGnC"}
1
+ {"version":3,"file":"telemetry_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/telemetry_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzG,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AAEvH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,yBAAyB;IAEvE,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,eAAe,GAAE,eAAsC,EACvD,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EAKxC;IAED,UAMyB,oBAAoB,CAC3C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC,CAEjC;IAED,UAMyB,4BAA4B,CACnD,YAAY,EAAE,6BAA6B,EAC3C,WAAW,EAAE,6BAA6B,EAC1C,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC,CAEjC;CACF"}
@@ -41,4 +41,4 @@ export declare class NoteHashIndexOutOfRangeError extends IndexOutOfRangeError {
41
41
  export declare class L1ToL2MessageIndexOutOfRangeError extends IndexOutOfRangeError {
42
42
  constructor(index: number);
43
43
  }
44
- //# sourceMappingURL=side_effect_errors.d.ts.map
44
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2lkZV9lZmZlY3RfZXJyb3JzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHVibGljL3NpZGVfZWZmZWN0X2Vycm9ycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFTQSxPQUFPLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUVqRTs7O0dBR0c7QUFDSCw4QkFBc0IsZUFBZ0IsU0FBUSwyQkFBMkI7SUFDdkUsWUFBWSxPQUFPLEVBQUUsTUFBTSxFQUcxQjtDQUNGO0FBRUQscUJBQWEsMkJBQTRCLFNBQVEsZUFBZTtJQUM5RCxZQUFZLGNBQWMsRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFLE1BQU0sRUFHaEQ7Q0FDRjtBQUVELHFCQUFhLHFDQUFzQyxTQUFRLDJCQUEyQjtJQUNwRixjQUdDO0NBQ0Y7QUFFRCxxQkFBYSwwQkFBMkIsU0FBUSwyQkFBMkI7SUFDekUsY0FHQztDQUNGO0FBRUQscUJBQWEseUJBQTBCLFNBQVEsMkJBQTJCO0lBQ3hFLGNBR0M7Q0FDRjtBQUVELHFCQUFhLDhCQUErQixTQUFRLDJCQUEyQjtJQUM3RSxjQUdDO0NBQ0Y7QUFFRCxxQkFBYSx1QkFBd0IsU0FBUSxlQUFlO0lBQzFELFlBQVksT0FBTyxFQUFFLE1BQU0sRUFHMUI7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCw4QkFBc0IsbUJBQW9CLFNBQVEsS0FBSztJQUNyRCxZQUFZLE9BQU8sRUFBRSxNQUFNLEVBRzFCO0NBQ0Y7QUFFRCxxQkFBYSxvQkFBcUIsU0FBUSxtQkFBbUI7SUFDM0QsWUFBWSxJQUFJLEVBQUUsTUFBTSxFQUFFLEtBQUssRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFLE1BQU0sRUFHckQ7Q0FDRjtBQUVELHFCQUFhLDRCQUE2QixTQUFRLG9CQUFvQjtJQUNwRSxZQUFZLEtBQUssRUFBRSxNQUFNLEVBR3hCO0NBQ0Y7QUFFRCxxQkFBYSxpQ0FBa0MsU0FBUSxvQkFBb0I7SUFDekUsWUFBWSxLQUFLLEVBQUUsTUFBTSxFQUd4QjtDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"side_effect_errors.d.ts","sourceRoot":"","sources":["../../src/public/side_effect_errors.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE;;;GAGG;AACH,8BAAsB,eAAgB,SAAQ,2BAA2B;gBAC3D,OAAO,EAAE,MAAM;CAI5B;AAED,qBAAa,2BAA4B,SAAQ,eAAe;gBAClD,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAIlD;AAED,qBAAa,qCAAsC,SAAQ,2BAA2B;;CAKrF;AAED,qBAAa,0BAA2B,SAAQ,2BAA2B;;CAK1E;AAED,qBAAa,yBAA0B,SAAQ,2BAA2B;;CAKzE;AAED,qBAAa,8BAA+B,SAAQ,2BAA2B;;CAK9E;AAED,qBAAa,uBAAwB,SAAQ,eAAe;gBAC9C,OAAO,EAAE,MAAM;CAI5B;AAED;;;;GAIG;AACH,8BAAsB,mBAAoB,SAAQ,KAAK;gBACzC,OAAO,EAAE,MAAM;CAI5B;AAED,qBAAa,oBAAqB,SAAQ,mBAAmB;gBAC/C,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAIvD;AAED,qBAAa,4BAA6B,SAAQ,oBAAoB;gBACxD,KAAK,EAAE,MAAM;CAI1B;AAED,qBAAa,iCAAkC,SAAQ,oBAAoB;gBAC7D,KAAK,EAAE,MAAM;CAI1B"}
1
+ {"version":3,"file":"side_effect_errors.d.ts","sourceRoot":"","sources":["../../src/public/side_effect_errors.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAEjE;;;GAGG;AACH,8BAAsB,eAAgB,SAAQ,2BAA2B;IACvE,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,qBAAa,2BAA4B,SAAQ,eAAe;IAC9D,YAAY,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAGhD;CACF;AAED,qBAAa,qCAAsC,SAAQ,2BAA2B;IACpF,cAGC;CACF;AAED,qBAAa,0BAA2B,SAAQ,2BAA2B;IACzE,cAGC;CACF;AAED,qBAAa,yBAA0B,SAAQ,2BAA2B;IACxE,cAGC;CACF;AAED,qBAAa,8BAA+B,SAAQ,2BAA2B;IAC7E,cAGC;CACF;AAED,qBAAa,uBAAwB,SAAQ,eAAe;IAC1D,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED;;;;GAIG;AACH,8BAAsB,mBAAoB,SAAQ,KAAK;IACrD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF;AAED,qBAAa,oBAAqB,SAAQ,mBAAmB;IAC3D,YAAY,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAGrD;CACF;AAED,qBAAa,4BAA6B,SAAQ,oBAAoB;IACpE,YAAY,KAAK,EAAE,MAAM,EAGxB;CACF;AAED,qBAAa,iCAAkC,SAAQ,oBAAoB;IACzE,YAAY,KAAK,EAAE,MAAM,EAGxB;CACF"}
@@ -33,7 +33,6 @@ export declare class SideEffectArrayLengths {
33
33
  * Trace side effects for an enqueued public call's execution.
34
34
  */
35
35
  export declare class SideEffectTrace implements PublicSideEffectTraceInterface {
36
- /** The counter of this trace's first side effect. */
37
36
  readonly startSideEffectCounter: number;
38
37
  /** Track parent's (or previous kernel's) lengths so the AVM can properly enforce TX-wide limits,
39
38
  * otherwise the public kernel can fail to prove because TX limits are breached.
@@ -84,4 +83,4 @@ export declare class SideEffectTrace implements PublicSideEffectTraceInterface {
84
83
  traceGetContractClass(contractClassId: Fr, exists: boolean): void;
85
84
  getSideEffects(): SideEffects;
86
85
  }
87
- //# sourceMappingURL=side_effect_trace.d.ts.map
86
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2lkZV9lZmZlY3RfdHJhY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wdWJsaWMvc2lkZV9lZmZlY3RfdHJhY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBVUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxLQUFLLFFBQVEsRUFBZ0IsTUFBTSx1QkFBdUIsQ0FBQztBQUNwRSxPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRSxPQUFPLEVBQUUsUUFBUSxFQUFFLFNBQVMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzNELE9BQU8sRUFBRSxRQUFRLEVBQUUsU0FBUyxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDekQsT0FBTyxFQUFpQixtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBVzdFLE9BQU8sS0FBSyxFQUFFLDhCQUE4QixFQUFFLE1BQU0sa0NBQWtDLENBQUM7QUFDdkYsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRXZEOzs7O0lBSUk7QUFDSixNQUFNLE1BQU0sV0FBVyxHQUFHO0lBQ3hCLGdCQUFnQixFQUFFLHVCQUF1QixFQUFFLENBQUM7SUFDNUMsVUFBVSxFQUFFLFFBQVEsRUFBRSxDQUFDO0lBQ3ZCLFVBQVUsRUFBRSxTQUFTLEVBQUUsQ0FBQztJQUN4QixVQUFVLEVBQUUsbUJBQW1CLEVBQUUsQ0FBQztJQUNsQyxVQUFVLEVBQUUsU0FBUyxFQUFFLENBQUM7Q0FDekIsQ0FBQztBQUVGLHFCQUFhLHNCQUFzQjthQUVmLGdCQUFnQixFQUFFLE1BQU07YUFDeEIsd0JBQXdCLEVBQUUsTUFBTTthQUNoQyxVQUFVLEVBQUUsTUFBTTthQUNsQixVQUFVLEVBQUUsTUFBTTthQUNsQixVQUFVLEVBQUUsTUFBTTthQUNsQixlQUFlLEVBQUUsTUFBTTtJQU56QyxZQUNrQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLHdCQUF3QixFQUFFLE1BQU0sRUFDaEMsVUFBVSxFQUFFLE1BQU0sRUFDbEIsVUFBVSxFQUFFLE1BQU0sRUFDbEIsVUFBVSxFQUFFLE1BQU0sRUFDbEIsZUFBZSxFQUFFLE1BQU0sRUFDckM7SUFFSixNQUFNLENBQUMsS0FBSywyQkFFWDtDQUNGO0FBRUQ7O0dBRUc7QUFDSCxxQkFBYSxlQUFnQixZQUFXLDhCQUE4QjthQWtCbEQsc0JBQXNCLEVBQUUsTUFBTTtJQUM5Qzs7T0FFRztJQUNILE9BQU8sQ0FBQyxRQUFRLENBQUMsOEJBQThCO0lBQy9DLHFFQUFxRTtJQUNyRSxPQUFPLENBQUMsY0FBYztJQUN0QixPQUFPLENBQUMsc0JBQXNCO0lBQzlCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxtQkFBbUI7SUExQnRCLEdBQUcseUNBQStDO0lBRXpELHVFQUF1RTtJQUN2RSxPQUFPLENBQUMsaUJBQWlCLENBQVM7SUFFbEMsT0FBTyxDQUFDLGdCQUFnQixDQUFpQztJQUN6RCxPQUFPLENBQUMsOEJBQThCLENBQWE7SUFDbkQsT0FBTyxDQUFDLDBCQUEwQixDQUFhO0lBQy9DLE9BQU8sQ0FBQyxVQUFVLENBQWtCO0lBQ3BDLE9BQU8sQ0FBQyxVQUFVLENBQW1CO0lBQ3JDLE9BQU8sQ0FBQyxjQUFjLENBQTZCO0lBQ25ELE9BQU8sQ0FBQyxVQUFVLENBQW1CO0lBQ3JDLHNEQUFzRDtJQUN0RCxPQUFPLENBQUMsdUJBQXVCLENBQVM7SUFFeEM7SUFDRSxxREFBcUQ7SUFDckMsc0JBQXNCLEdBQUUsTUFBVTtJQUNsRDs7T0FFRztJQUNjLDhCQUE4QixHQUFFLHNCQUF1RDtJQUN4RyxxRUFBcUU7SUFDN0QsY0FBYyxHQUFFLGNBQXFDLEVBQ3JELHNCQUFzQixHQUFFLEdBQUcsQ0FBQyxNQUFNLENBQWEsRUFDL0MsU0FBUyxHQUFFLFFBQVEsRUFBTyxFQUMxQixtQkFBbUIsR0FBRSxNQUFVLEVBR3hDO0lBRU0sSUFBSSxvQkFpQlY7SUFFTSxLQUFLLENBQUMsV0FBVyxFQUFFLElBQUksRUFBRSxRQUFRLEdBQUUsT0FBZSxRQXlCeEQ7SUFFTSxVQUFVLFdBRWhCO0lBRUQsT0FBTyxDQUFDLDBCQUEwQjtJQUkzQixnQkFBZ0IsV0FFdEI7SUFFWSx1QkFBdUIsQ0FDbEMsZUFBZSxFQUFFLFlBQVksRUFDN0IsSUFBSSxFQUFFLEVBQUUsRUFDUixLQUFLLEVBQUUsRUFBRSxFQUNULGFBQWEsRUFBRSxPQUFPLEdBQ3JCLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FvQ2Y7SUFFRCxPQUFPLENBQUMsd0JBQXdCO0lBSXpCLGFBQWEsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLElBQUksRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUVyRTtJQUVNLGdCQUFnQixDQUFDLFFBQVEsRUFBRSxFQUFFLFFBUW5DO0lBRU0saUJBQWlCLENBQUMsZUFBZSxFQUFFLEVBQUUsUUFTM0M7SUFFTSxxQkFBcUIsQ0FBQyxlQUFlLEVBQUUsWUFBWSxFQUFFLFNBQVMsRUFBRSxFQUFFLEVBQUUsT0FBTyxFQUFFLEVBQUUsUUFTckY7SUFFTSxjQUFjLENBQUMsZUFBZSxFQUFFLFlBQVksRUFBRSxHQUFHLEVBQUUsRUFBRSxFQUFFLFFBYzdEO0lBRU0sYUFBYSxDQUFDLGVBQWUsRUFBRSxZQUFZLEVBQUUsS0FBSyxFQUFFLFFBQVEsRUFBRSxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxFQUFFLEVBQUUsUUFFakc7SUFFTSxZQUFZLGVBRWxCO0lBRU0sc0JBQXNCLFdBRTVCO0lBRU0sd0JBQXdCLENBQUMsV0FBVyxFQUFFLE1BQU0sUUFFbEQ7SUFFTSxxQkFBcUIsQ0FBQyxlQUFlLEVBQUUsRUFBRSxFQUFFLE1BQU0sRUFBRSxPQUFPLFFBV2hFO0lBRU0sY0FBYyxJQUFJLFdBQVcsQ0FRbkM7Q0FDRiJ9
@@ -1 +1 @@
1
- {"version":3,"file":"side_effect_trace.d.ts","sourceRoot":"","sources":["../../src/public/side_effect_trace.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,QAAQ,EAAgB,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAiB,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAW7E,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;;;;IAII;AACJ,MAAM,MAAM,WAAW,GAAG;IACxB,gBAAgB,EAAE,uBAAuB,EAAE,CAAC;IAC5C,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB,CAAC;AAEF,qBAAa,sBAAsB;aAEf,gBAAgB,EAAE,MAAM;aACxB,wBAAwB,EAAE,MAAM;aAChC,UAAU,EAAE,MAAM;aAClB,UAAU,EAAE,MAAM;aAClB,UAAU,EAAE,MAAM;aAClB,eAAe,EAAE,MAAM;gBALvB,gBAAgB,EAAE,MAAM,EACxB,wBAAwB,EAAE,MAAM,EAChC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;IAGzC,MAAM,CAAC,KAAK;CAGb;AAED;;GAEG;AACH,qBAAa,eAAgB,YAAW,8BAA8B;IAiBlE,qDAAqD;aACrC,sBAAsB,EAAE,MAAM;IAC9C;;OAEG;IACH,OAAO,CAAC,QAAQ,CAAC,8BAA8B;IAC/C,qEAAqE;IACrE,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,mBAAmB;IA1BtB,GAAG,yCAA+C;IAEzD,uEAAuE;IACvE,OAAO,CAAC,iBAAiB,CAAS;IAElC,OAAO,CAAC,gBAAgB,CAAiC;IACzD,OAAO,CAAC,8BAA8B,CAAa;IACnD,OAAO,CAAC,0BAA0B,CAAa;IAC/C,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,UAAU,CAAmB;IACrC,OAAO,CAAC,cAAc,CAA6B;IACnD,OAAO,CAAC,UAAU,CAAmB;IACrC,sDAAsD;IACtD,OAAO,CAAC,uBAAuB,CAAS;;IAGtC,qDAAqD;IACrC,sBAAsB,GAAE,MAAU;IAClD;;OAEG;IACc,8BAA8B,GAAE,sBAAuD;IACxG,qEAAqE;IAC7D,cAAc,GAAE,cAAqC,EACrD,sBAAsB,GAAE,GAAG,CAAC,MAAM,CAAa,EAC/C,SAAS,GAAE,QAAQ,EAAO,EAC1B,mBAAmB,GAAE,MAAU;IAKlC,IAAI;IAmBJ,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,GAAE,OAAe;IA2BlD,UAAU;IAIjB,OAAO,CAAC,0BAA0B;IAI3B,gBAAgB;IAIV,uBAAuB,CAClC,eAAe,EAAE,YAAY,EAC7B,IAAI,EAAE,EAAE,EACR,KAAK,EAAE,EAAE,EACT,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC;IAsChB,OAAO,CAAC,wBAAwB;IAIzB,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO;IAI/D,gBAAgB,CAAC,QAAQ,EAAE,EAAE;IAU7B,iBAAiB,CAAC,eAAe,EAAE,EAAE;IAWrC,qBAAqB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;IAW/E,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE;IAgBvD,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;IAI3F,YAAY;IAIZ,sBAAsB;IAItB,wBAAwB,CAAC,WAAW,EAAE,MAAM;IAI5C,qBAAqB,CAAC,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO;IAa1D,cAAc,IAAI,WAAW;CASrC"}
1
+ {"version":3,"file":"side_effect_trace.d.ts","sourceRoot":"","sources":["../../src/public/side_effect_trace.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,QAAQ,EAAgB,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAiB,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAW7E,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AACvF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEvD;;;;IAII;AACJ,MAAM,MAAM,WAAW,GAAG;IACxB,gBAAgB,EAAE,uBAAuB,EAAE,CAAC;IAC5C,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB,CAAC;AAEF,qBAAa,sBAAsB;aAEf,gBAAgB,EAAE,MAAM;aACxB,wBAAwB,EAAE,MAAM;aAChC,UAAU,EAAE,MAAM;aAClB,UAAU,EAAE,MAAM;aAClB,UAAU,EAAE,MAAM;aAClB,eAAe,EAAE,MAAM;IANzC,YACkB,gBAAgB,EAAE,MAAM,EACxB,wBAAwB,EAAE,MAAM,EAChC,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACrC;IAEJ,MAAM,CAAC,KAAK,2BAEX;CACF;AAED;;GAEG;AACH,qBAAa,eAAgB,YAAW,8BAA8B;aAkBlD,sBAAsB,EAAE,MAAM;IAC9C;;OAEG;IACH,OAAO,CAAC,QAAQ,CAAC,8BAA8B;IAC/C,qEAAqE;IACrE,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,mBAAmB;IA1BtB,GAAG,yCAA+C;IAEzD,uEAAuE;IACvE,OAAO,CAAC,iBAAiB,CAAS;IAElC,OAAO,CAAC,gBAAgB,CAAiC;IACzD,OAAO,CAAC,8BAA8B,CAAa;IACnD,OAAO,CAAC,0BAA0B,CAAa;IAC/C,OAAO,CAAC,UAAU,CAAkB;IACpC,OAAO,CAAC,UAAU,CAAmB;IACrC,OAAO,CAAC,cAAc,CAA6B;IACnD,OAAO,CAAC,UAAU,CAAmB;IACrC,sDAAsD;IACtD,OAAO,CAAC,uBAAuB,CAAS;IAExC;IACE,qDAAqD;IACrC,sBAAsB,GAAE,MAAU;IAClD;;OAEG;IACc,8BAA8B,GAAE,sBAAuD;IACxG,qEAAqE;IAC7D,cAAc,GAAE,cAAqC,EACrD,sBAAsB,GAAE,GAAG,CAAC,MAAM,CAAa,EAC/C,SAAS,GAAE,QAAQ,EAAO,EAC1B,mBAAmB,GAAE,MAAU,EAGxC;IAEM,IAAI,oBAiBV;IAEM,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,GAAE,OAAe,QAyBxD;IAEM,UAAU,WAEhB;IAED,OAAO,CAAC,0BAA0B;IAI3B,gBAAgB,WAEtB;IAEY,uBAAuB,CAClC,eAAe,EAAE,YAAY,EAC7B,IAAI,EAAE,EAAE,EACR,KAAK,EAAE,EAAE,EACT,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC,CAoCf;IAED,OAAO,CAAC,wBAAwB;IAIzB,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAErE;IAEM,gBAAgB,CAAC,QAAQ,EAAE,EAAE,QAQnC;IAEM,iBAAiB,CAAC,eAAe,EAAE,EAAE,QAS3C;IAEM,qBAAqB,CAAC,eAAe,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,QASrF;IAEM,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,EAAE,QAc7D;IAEM,aAAa,CAAC,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,QAEjG;IAEM,YAAY,eAElB;IAEM,sBAAsB,WAE5B;IAEM,wBAAwB,CAAC,WAAW,EAAE,MAAM,QAElD;IAEM,qBAAqB,CAAC,eAAe,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,QAWhE;IAEM,cAAc,IAAI,WAAW,CAQnC;CACF"}