@aztec/simulator 0.0.1-commit.d431d1c → 0.0.1-commit.dbf9cec

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 (182) hide show
  1. package/README.md +4 -4
  2. package/dest/private/acvm/acvm.d.ts +4 -2
  3. package/dest/private/acvm/acvm.d.ts.map +1 -1
  4. package/dest/private/acvm/acvm.js +4 -3
  5. package/dest/private/acvm_native.d.ts +5 -3
  6. package/dest/private/acvm_native.d.ts.map +1 -1
  7. package/dest/private/acvm_native.js +8 -6
  8. package/dest/private/acvm_wasm.d.ts +4 -3
  9. package/dest/private/acvm_wasm.d.ts.map +1 -1
  10. package/dest/private/acvm_wasm.js +4 -4
  11. package/dest/private/circuit_recording/circuit_recorder.d.ts +4 -3
  12. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  13. package/dest/private/circuit_recording/circuit_recorder.js +5 -3
  14. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +3 -2
  15. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  16. package/dest/private/circuit_recording/file_circuit_recorder.js +2 -2
  17. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
  18. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  19. package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
  20. package/dest/private/factory.d.ts +3 -3
  21. package/dest/private/factory.d.ts.map +1 -1
  22. package/dest/private/factory.js +7 -4
  23. package/dest/public/avm/avm_context.d.ts +3 -3
  24. package/dest/public/avm/avm_context.d.ts.map +1 -1
  25. package/dest/public/avm/avm_contract_call_result.d.ts +6 -6
  26. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  27. package/dest/public/avm/avm_contract_call_result.js +3 -3
  28. package/dest/public/avm/avm_execution_environment.d.ts +6 -5
  29. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  30. package/dest/public/avm/avm_gas.js +3 -3
  31. package/dest/public/avm/avm_machine_state.d.ts +6 -5
  32. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  33. package/dest/public/avm/avm_machine_state.js +3 -2
  34. package/dest/public/avm/avm_memory_types.d.ts +1 -1
  35. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  36. package/dest/public/avm/avm_memory_types.js +3 -0
  37. package/dest/public/avm/avm_simulator.d.ts +3 -2
  38. package/dest/public/avm/avm_simulator.d.ts.map +1 -1
  39. package/dest/public/avm/avm_simulator.js +5 -4
  40. package/dest/public/avm/calldata.d.ts +51 -0
  41. package/dest/public/avm/calldata.d.ts.map +1 -0
  42. package/dest/public/avm/calldata.js +63 -0
  43. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +2 -0
  44. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +1 -0
  45. package/dest/public/avm/fixtures/account_proof_fetcher.js +152 -0
  46. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +1 -1
  47. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  48. package/dest/public/avm/fixtures/avm_simulation_tester.js +3 -2
  49. package/dest/public/avm/fixtures/initializers.d.ts +1 -1
  50. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
  51. package/dest/public/avm/fixtures/initializers.js +2 -1
  52. package/dest/public/avm/opcodes/accrued_substate.d.ts +4 -5
  53. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  54. package/dest/public/avm/opcodes/accrued_substate.js +15 -16
  55. package/dest/public/avm/opcodes/contract.d.ts +1 -1
  56. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  57. package/dest/public/avm/opcodes/contract.js +4 -4
  58. package/dest/public/avm/opcodes/external_calls.d.ts +1 -1
  59. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  60. package/dest/public/avm/opcodes/external_calls.js +7 -7
  61. package/dest/public/avm/opcodes/memory.js +1 -1
  62. package/dest/public/avm/opcodes/storage.d.ts +13 -12
  63. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  64. package/dest/public/avm/opcodes/storage.js +30 -20
  65. package/dest/public/avm/serialization/bytecode_serialization.js +3 -3
  66. package/dest/public/avm/serialization/instruction_serialization.d.ts +2 -2
  67. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -1
  68. package/dest/public/avm/serialization/instruction_serialization.js +1 -1
  69. package/dest/public/debug_fn_name.d.ts +4 -4
  70. package/dest/public/debug_fn_name.d.ts.map +1 -1
  71. package/dest/public/debug_fn_name.js +7 -5
  72. package/dest/public/executor_metrics.d.ts +1 -1
  73. package/dest/public/executor_metrics.d.ts.map +1 -1
  74. package/dest/public/executor_metrics.js +7 -2
  75. package/dest/public/fixtures/amm_test.js +2 -2
  76. package/dest/public/fixtures/opcode_spammer.d.ts +3 -4
  77. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -1
  78. package/dest/public/fixtures/opcode_spammer.js +36 -64
  79. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +1 -1
  80. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  81. package/dest/public/fixtures/public_tx_simulation_tester.js +29 -2
  82. package/dest/public/fixtures/utils.js +4 -4
  83. package/dest/public/fuzzing/avm_simulator_bin.js +7 -4
  84. package/dest/public/hinting_db_sources.d.ts +2 -2
  85. package/dest/public/hinting_db_sources.d.ts.map +1 -1
  86. package/dest/public/hinting_db_sources.js +1 -1
  87. package/dest/public/public_db_sources.d.ts +4 -3
  88. package/dest/public/public_db_sources.d.ts.map +1 -1
  89. package/dest/public/public_db_sources.js +4 -4
  90. package/dest/public/public_processor/guarded_merkle_tree.d.ts +2 -2
  91. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  92. package/dest/public/public_processor/guarded_merkle_tree.js +1 -1
  93. package/dest/public/public_processor/public_processor.d.ts +8 -4
  94. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  95. package/dest/public/public_processor/public_processor.js +24 -11
  96. package/dest/public/public_processor/public_processor_metrics.d.ts +2 -2
  97. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  98. package/dest/public/public_processor/public_processor_metrics.js +20 -4
  99. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +3 -2
  100. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
  101. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +2 -2
  102. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +5 -5
  103. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
  104. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +10 -11
  105. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +4 -4
  106. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -1
  107. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +7 -7
  108. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +4 -4
  109. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -1
  110. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +6 -6
  111. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +3 -2
  112. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -1
  113. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +2 -2
  114. package/dest/public/public_tx_simulator/factories.d.ts +3 -2
  115. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
  116. package/dest/public/public_tx_simulator/factories.js +4 -4
  117. package/dest/public/public_tx_simulator/public_tx_context.d.ts +4 -3
  118. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  119. package/dest/public/public_tx_simulator/public_tx_context.js +8 -8
  120. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +4 -3
  121. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  122. package/dest/public/public_tx_simulator/public_tx_simulator.js +11 -8
  123. package/dest/public/side_effect_trace.d.ts +4 -4
  124. package/dest/public/side_effect_trace.d.ts.map +1 -1
  125. package/dest/public/side_effect_trace.js +3 -3
  126. package/dest/public/state_manager/state_manager.d.ts +10 -4
  127. package/dest/public/state_manager/state_manager.d.ts.map +1 -1
  128. package/dest/public/state_manager/state_manager.js +12 -5
  129. package/dest/public/test_executor_metrics.d.ts +8 -2
  130. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  131. package/dest/public/test_executor_metrics.js +24 -2
  132. package/package.json +16 -16
  133. package/src/private/acvm/acvm.ts +4 -3
  134. package/src/private/acvm_native.ts +11 -5
  135. package/src/private/acvm_wasm.ts +7 -3
  136. package/src/private/circuit_recording/circuit_recorder.ts +5 -3
  137. package/src/private/circuit_recording/file_circuit_recorder.ts +7 -2
  138. package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
  139. package/src/private/factory.ts +7 -4
  140. package/src/public/avm/avm_context.ts +2 -2
  141. package/src/public/avm/avm_contract_call_result.ts +8 -6
  142. package/src/public/avm/avm_execution_environment.ts +9 -4
  143. package/src/public/avm/avm_gas.ts +2 -2
  144. package/src/public/avm/avm_machine_state.ts +6 -5
  145. package/src/public/avm/avm_memory_types.ts +4 -0
  146. package/src/public/avm/avm_simulator.ts +8 -5
  147. package/src/public/avm/calldata.ts +100 -0
  148. package/src/public/avm/fixtures/account_proof.json +553 -0
  149. package/src/public/avm/fixtures/account_proof_fetcher.ts +166 -0
  150. package/src/public/avm/fixtures/avm_simulation_tester.ts +8 -2
  151. package/src/public/avm/fixtures/initializers.ts +2 -1
  152. package/src/public/avm/opcodes/accrued_substate.ts +16 -19
  153. package/src/public/avm/opcodes/contract.ts +1 -4
  154. package/src/public/avm/opcodes/external_calls.ts +8 -7
  155. package/src/public/avm/opcodes/memory.ts +1 -1
  156. package/src/public/avm/opcodes/storage.ts +28 -20
  157. package/src/public/avm/serialization/bytecode_serialization.ts +2 -2
  158. package/src/public/avm/serialization/instruction_serialization.ts +1 -1
  159. package/src/public/debug_fn_name.ts +10 -8
  160. package/src/public/executor_metrics.ts +4 -1
  161. package/src/public/fixtures/amm_test.ts +2 -2
  162. package/src/public/fixtures/opcode_spammer.ts +55 -63
  163. package/src/public/fixtures/public_tx_simulation_tester.ts +34 -3
  164. package/src/public/fixtures/utils.ts +4 -4
  165. package/src/public/fuzzing/avm_fuzzer_simulator.ts +1 -1
  166. package/src/public/fuzzing/avm_simulator_bin.ts +11 -1
  167. package/src/public/hinting_db_sources.ts +1 -1
  168. package/src/public/public_db_sources.ts +15 -5
  169. package/src/public/public_processor/guarded_merkle_tree.ts +1 -1
  170. package/src/public/public_processor/public_processor.ts +42 -20
  171. package/src/public/public_processor/public_processor_metrics.ts +10 -4
  172. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +6 -3
  173. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +10 -8
  174. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +7 -5
  175. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +7 -5
  176. package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +3 -1
  177. package/src/public/public_tx_simulator/factories.ts +6 -3
  178. package/src/public/public_tx_simulator/public_tx_context.ts +13 -6
  179. package/src/public/public_tx_simulator/public_tx_simulator.ts +17 -8
  180. package/src/public/side_effect_trace.ts +5 -2
  181. package/src/public/state_manager/state_manager.ts +27 -4
  182. package/src/public/test_executor_metrics.ts +27 -3
@@ -1,3 +1,4 @@
1
+ import { type LoggerBindings } from '@aztec/foundation/log';
1
2
  import type { RevertCode } from '@aztec/stdlib/avm';
2
3
  import type { GasUsed } from '@aztec/stdlib/gas';
3
4
  import type { ExecutorMetricsInterface } from './executor_metrics_interface.js';
@@ -12,6 +13,10 @@ export interface PublicTxMetrics {
12
13
  totalDurationMs: number;
13
14
  manaUsed: number | undefined;
14
15
  totalInstructionsExecuted: number;
16
+ bytecodeSizes: {
17
+ contractName: string;
18
+ sizeBytes: number;
19
+ }[];
15
20
  nonRevertiblePrivateInsertionsUs: number | undefined;
16
21
  revertiblePrivateInsertionsUs: number | undefined;
17
22
  enqueuedCalls: PublicEnqueuedCallMetrics[];
@@ -40,16 +45,17 @@ export declare class TestExecutorMetrics implements ExecutorMetricsInterface {
40
45
  private txMetrics;
41
46
  private currentTxLabel;
42
47
  private txTimer;
43
- constructor();
48
+ constructor(bindings?: LoggerBindings);
44
49
  startRecordingTxSimulation(txLabel: string): void;
45
50
  stopRecordingTxSimulation(txLabel: string, gasUsed?: GasUsed, revertedCode?: RevertCode): void;
46
51
  recordEnqueuedCallSimulation(fnName: string, durationMs: number, manaUsed: number, totalInstructionsExecuted: number): void;
47
52
  recordEnqueuedCallSimulationFailure(fnName: string, durationMs: number, manaUsed: number, totalInstructionsExecuted: number): void;
48
53
  recordPrivateEffectsInsertion(durationUs: number, type: 'revertible' | 'non-revertible'): void;
54
+ recordBytecodeSize(txLabel: string, contractName: string, sizeBytes: number): void;
49
55
  recordProverMetrics(txLabel: string, metrics: Partial<PublicTxMetrics>): void;
50
56
  prettyPrint(filter?: PublicTxMetricsFilter): void;
51
57
  toPrettyString(filter?: PublicTxMetricsFilter): string;
52
58
  toJSON(indent?: number): string;
53
59
  toGithubActionBenchmarkJSON(indent?: number): string;
54
60
  }
55
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVzdF9leGVjdXRvcl9tZXRyaWNzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHVibGljL3Rlc3RfZXhlY3V0b3JfbWV0cmljcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFHQSxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNwRCxPQUFPLEtBQUssRUFBRSxPQUFPLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUlqRCxPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRWhGLE1BQU0sV0FBVyx5QkFBeUI7SUFDeEMsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUNmLFVBQVUsRUFBRSxNQUFNLENBQUM7SUFDbkIsUUFBUSxFQUFFLE1BQU0sQ0FBQztJQUNqQix5QkFBeUIsRUFBRSxNQUFNLENBQUM7SUFDbEMsUUFBUSxFQUFFLE9BQU8sQ0FBQztDQUNuQjtBQUVELE1BQU0sV0FBVyxlQUFlO0lBRTlCLGVBQWUsRUFBRSxNQUFNLENBQUM7SUFDeEIsUUFBUSxFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDN0IseUJBQXlCLEVBQUUsTUFBTSxDQUFDO0lBQ2xDLGdDQUFnQyxFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDckQsNkJBQTZCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUNsRCxhQUFhLEVBQUUseUJBQXlCLEVBQUUsQ0FBQztJQUMzQyxZQUFZLEVBQUUsVUFBVSxHQUFHLFNBQVMsQ0FBQztJQUVyQyxzQkFBc0IsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQzNDLG1CQUFtQixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDeEMsMkJBQTJCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUVoRCw2QkFBNkIsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ2xELHVCQUF1QixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDNUMsaUJBQWlCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUN0QyxZQUFZLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUNqQyw2QkFBNkIsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ2xELHdDQUF3QyxFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDN0Qsd0JBQXdCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztDQUM5QztBQVdELG9CQUFZLHFCQUFxQjtJQUMvQixHQUFHLElBQUE7SUFDSCxNQUFNLElBQUE7SUFDTixTQUFTLElBQUE7SUFDVCxZQUFZLElBQUE7SUFDWixPQUFPLElBQUE7Q0FDUjtBQTJCRCxxQkFBYSxtQkFBb0IsWUFBVyx3QkFBd0I7O0lBQ2xFLE9BQU8sQ0FBQyxNQUFNLENBQVM7SUFFdkIsT0FBTyxDQUFDLFNBQVMsQ0FBMkM7SUFDNUQsT0FBTyxDQUFDLGNBQWMsQ0FBcUI7SUFDM0MsT0FBTyxDQUFDLE9BQU8sQ0FBb0I7SUFFbkMsY0FFQztJQUVELDBCQUEwQixDQUFDLE9BQU8sRUFBRSxNQUFNLFFBTXpDO0lBRUQseUJBQXlCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxPQUFPLENBQUMsRUFBRSxPQUFPLEVBQUUsWUFBWSxDQUFDLEVBQUUsVUFBVSxRQWdCdEY7SUFFRCw0QkFBNEIsQ0FDMUIsTUFBTSxFQUFFLE1BQU0sRUFDZCxVQUFVLEVBQUUsTUFBTSxFQUNsQixRQUFRLEVBQUUsTUFBTSxFQUNoQix5QkFBeUIsRUFBRSxNQUFNLFFBR2xDO0lBRUQsbUNBQW1DLENBQ2pDLE1BQU0sRUFBRSxNQUFNLEVBQ2QsVUFBVSxFQUFFLE1BQU0sRUFDbEIsUUFBUSxFQUFFLE1BQU0sRUFDaEIseUJBQXlCLEVBQUUsTUFBTSxRQUdsQztJQW9CRCw2QkFBNkIsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxZQUFZLEdBQUcsZ0JBQWdCLFFBZ0J0RjtJQUVELG1CQUFtQixDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsT0FBTyxFQUFFLE9BQU8sQ0FBQyxlQUFlLENBQUMsUUFVckU7SUFFRCxXQUFXLENBQUMsTUFBTSxHQUFFLHFCQUFpRCxRQUVwRTtJQUVELGNBQWMsQ0FBQyxNQUFNLEdBQUUscUJBQWlELFVBK0V2RTtJQTBCRCxNQUFNLENBQUMsTUFBTSxTQUFJLFVBRWhCO0lBRUQsMkJBQTJCLENBQUMsTUFBTSxTQUFJLFVBNEZyQztDQUNGIn0=
61
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVzdF9leGVjdXRvcl9tZXRyaWNzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHVibGljL3Rlc3RfZXhlY3V0b3JfbWV0cmljcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQWUsS0FBSyxjQUFjLEVBQWdCLE1BQU0sdUJBQXVCLENBQUM7QUFFdkYsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFJakQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUVoRixNQUFNLFdBQVcseUJBQXlCO0lBQ3hDLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDZixVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25CLFFBQVEsRUFBRSxNQUFNLENBQUM7SUFDakIseUJBQXlCLEVBQUUsTUFBTSxDQUFDO0lBQ2xDLFFBQVEsRUFBRSxPQUFPLENBQUM7Q0FDbkI7QUFFRCxNQUFNLFdBQVcsZUFBZTtJQUU5QixlQUFlLEVBQUUsTUFBTSxDQUFDO0lBQ3hCLFFBQVEsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQzdCLHlCQUF5QixFQUFFLE1BQU0sQ0FBQztJQUNsQyxhQUFhLEVBQUU7UUFBRSxZQUFZLEVBQUUsTUFBTSxDQUFDO1FBQUMsU0FBUyxFQUFFLE1BQU0sQ0FBQTtLQUFFLEVBQUUsQ0FBQztJQUM3RCxnQ0FBZ0MsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ3JELDZCQUE2QixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDbEQsYUFBYSxFQUFFLHlCQUF5QixFQUFFLENBQUM7SUFDM0MsWUFBWSxFQUFFLFVBQVUsR0FBRyxTQUFTLENBQUM7SUFFckMsc0JBQXNCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUMzQyxtQkFBbUIsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQ3hDLDJCQUEyQixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFFaEQsNkJBQTZCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUNsRCx1QkFBdUIsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQzVDLGlCQUFpQixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDdEMsWUFBWSxFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7SUFDakMsNkJBQTZCLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztJQUNsRCx3Q0FBd0MsRUFBRSxNQUFNLEdBQUcsU0FBUyxDQUFDO0lBQzdELHdCQUF3QixFQUFFLE1BQU0sR0FBRyxTQUFTLENBQUM7Q0FDOUM7QUFXRCxvQkFBWSxxQkFBcUI7SUFDL0IsR0FBRyxJQUFBO0lBQ0gsTUFBTSxJQUFBO0lBQ04sU0FBUyxJQUFBO0lBQ1QsWUFBWSxJQUFBO0lBQ1osT0FBTyxJQUFBO0NBQ1I7QUE0QkQscUJBQWEsbUJBQW9CLFlBQVcsd0JBQXdCOztJQUNsRSxPQUFPLENBQUMsTUFBTSxDQUFTO0lBRXZCLE9BQU8sQ0FBQyxTQUFTLENBQTJDO0lBQzVELE9BQU8sQ0FBQyxjQUFjLENBQXFCO0lBQzNDLE9BQU8sQ0FBQyxPQUFPLENBQW9CO0lBRW5DLFlBQVksUUFBUSxDQUFDLEVBQUUsY0FBYyxFQUVwQztJQUVELDBCQUEwQixDQUFDLE9BQU8sRUFBRSxNQUFNLFFBTXpDO0lBRUQseUJBQXlCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxPQUFPLENBQUMsRUFBRSxPQUFPLEVBQUUsWUFBWSxDQUFDLEVBQUUsVUFBVSxRQWdCdEY7SUFFRCw0QkFBNEIsQ0FDMUIsTUFBTSxFQUFFLE1BQU0sRUFDZCxVQUFVLEVBQUUsTUFBTSxFQUNsQixRQUFRLEVBQUUsTUFBTSxFQUNoQix5QkFBeUIsRUFBRSxNQUFNLFFBR2xDO0lBRUQsbUNBQW1DLENBQ2pDLE1BQU0sRUFBRSxNQUFNLEVBQ2QsVUFBVSxFQUFFLE1BQU0sRUFDbEIsUUFBUSxFQUFFLE1BQU0sRUFDaEIseUJBQXlCLEVBQUUsTUFBTSxRQUdsQztJQW9CRCw2QkFBNkIsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxZQUFZLEdBQUcsZ0JBQWdCLFFBZ0J0RjtJQUVELGtCQUFrQixDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsWUFBWSxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsTUFBTSxRQUkxRTtJQUVELG1CQUFtQixDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsT0FBTyxFQUFFLE9BQU8sQ0FBQyxlQUFlLENBQUMsUUFVckU7SUFFRCxXQUFXLENBQUMsTUFBTSxHQUFFLHFCQUFpRCxRQUVwRTtJQUVELGNBQWMsQ0FBQyxNQUFNLEdBQUUscUJBQWlELFVBd0Z2RTtJQTBCRCxNQUFNLENBQUMsTUFBTSxTQUFJLFVBRWhCO0lBRUQsMkJBQTJCLENBQUMsTUFBTSxTQUFJLFVBbUdyQztDQUNGIn0=
@@ -1 +1 @@
1
- {"version":3,"file":"test_executor_metrics.d.ts","sourceRoot":"","sources":["../../src/public/test_executor_metrics.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAIjD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,yBAAyB,EAAE,MAAM,CAAC;IAClC,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAE9B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,yBAAyB,EAAE,MAAM,CAAC;IAClC,gCAAgC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrD,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,aAAa,EAAE,yBAAyB,EAAE,CAAC;IAC3C,YAAY,EAAE,UAAU,GAAG,SAAS,CAAC;IAErC,sBAAsB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,mBAAmB,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,2BAA2B,EAAE,MAAM,GAAG,SAAS,CAAC;IAEhD,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,uBAAuB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5C,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,wCAAwC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7D,wBAAwB,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9C;AAWD,oBAAY,qBAAqB;IAC/B,GAAG,IAAA;IACH,MAAM,IAAA;IACN,SAAS,IAAA;IACT,YAAY,IAAA;IACZ,OAAO,IAAA;CACR;AA2BD,qBAAa,mBAAoB,YAAW,wBAAwB;;IAClE,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,SAAS,CAA2C;IAC5D,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,OAAO,CAAoB;IAEnC,cAEC;IAED,0BAA0B,CAAC,OAAO,EAAE,MAAM,QAMzC;IAED,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,UAAU,QAgBtF;IAED,4BAA4B,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,QAGlC;IAED,mCAAmC,CACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,QAGlC;IAoBD,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,gBAAgB,QAgBtF;IAED,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC,QAUrE;IAED,WAAW,CAAC,MAAM,GAAE,qBAAiD,QAEpE;IAED,cAAc,CAAC,MAAM,GAAE,qBAAiD,UA+EvE;IA0BD,MAAM,CAAC,MAAM,SAAI,UAEhB;IAED,2BAA2B,CAAC,MAAM,SAAI,UA4FrC;CACF"}
1
+ {"version":3,"file":"test_executor_metrics.d.ts","sourceRoot":"","sources":["../../src/public/test_executor_metrics.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AAEvF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAIjD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,MAAM,WAAW,yBAAyB;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,yBAAyB,EAAE,MAAM,CAAC;IAClC,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAE9B,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,yBAAyB,EAAE,MAAM,CAAC;IAClC,aAAa,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC7D,gCAAgC,EAAE,MAAM,GAAG,SAAS,CAAC;IACrD,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,aAAa,EAAE,yBAAyB,EAAE,CAAC;IAC3C,YAAY,EAAE,UAAU,GAAG,SAAS,CAAC;IAErC,sBAAsB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3C,mBAAmB,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,2BAA2B,EAAE,MAAM,GAAG,SAAS,CAAC;IAEhD,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,uBAAuB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5C,iBAAiB,EAAE,MAAM,GAAG,SAAS,CAAC;IACtC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IACjC,6BAA6B,EAAE,MAAM,GAAG,SAAS,CAAC;IAClD,wCAAwC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7D,wBAAwB,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9C;AAWD,oBAAY,qBAAqB;IAC/B,GAAG,IAAA;IACH,MAAM,IAAA;IACN,SAAS,IAAA;IACT,YAAY,IAAA;IACZ,OAAO,IAAA;CACR;AA4BD,qBAAa,mBAAoB,YAAW,wBAAwB;;IAClE,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,SAAS,CAA2C;IAC5D,OAAO,CAAC,cAAc,CAAqB;IAC3C,OAAO,CAAC,OAAO,CAAoB;IAEnC,YAAY,QAAQ,CAAC,EAAE,cAAc,EAEpC;IAED,0BAA0B,CAAC,OAAO,EAAE,MAAM,QAMzC;IAED,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,UAAU,QAgBtF;IAED,4BAA4B,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,QAGlC;IAED,mCAAmC,CACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,QAGlC;IAoBD,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,gBAAgB,QAgBtF;IAED,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,QAI1E;IAED,mBAAmB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,eAAe,CAAC,QAUrE;IAED,WAAW,CAAC,MAAM,GAAE,qBAAiD,QAEpE;IAED,cAAc,CAAC,MAAM,GAAE,qBAAiD,UAwFvE;IA0BD,MAAM,CAAC,MAAM,SAAI,UAEhB;IAED,2BAA2B,CAAC,MAAM,SAAI,UAmGrC;CACF"}
@@ -24,6 +24,7 @@ function createEmptyTxMetrics() {
24
24
  totalDurationMs: 0,
25
25
  manaUsed: 0,
26
26
  totalInstructionsExecuted: 0,
27
+ bytecodeSizes: [],
27
28
  nonRevertiblePrivateInsertionsUs: undefined,
28
29
  revertiblePrivateInsertionsUs: undefined,
29
30
  enqueuedCalls: [],
@@ -48,8 +49,8 @@ export class TestExecutorMetrics {
48
49
  txMetrics = new Map();
49
50
  currentTxLabel;
50
51
  txTimer;
51
- constructor(){
52
- this.logger = createLogger(`simulator:test_executor_metrics`);
52
+ constructor(bindings){
53
+ this.logger = createLogger(`simulator:test_executor_metrics`, bindings);
53
54
  }
54
55
  startRecordingTxSimulation(txLabel) {
55
56
  assert(!this.currentTxLabel, 'Cannot start recording tx simulation when another is live');
@@ -99,6 +100,14 @@ export class TestExecutorMetrics {
99
100
  txMetrics.nonRevertiblePrivateInsertionsUs = durationUs;
100
101
  }
101
102
  }
103
+ recordBytecodeSize(txLabel, contractName, sizeBytes) {
104
+ const txMetrics = this.txMetrics.get(txLabel);
105
+ assert(txMetrics, `Cannot record bytecode size for unknown tx label: ${txLabel}`);
106
+ txMetrics.bytecodeSizes.push({
107
+ contractName,
108
+ sizeBytes
109
+ });
110
+ }
102
111
  recordProverMetrics(txLabel, metrics) {
103
112
  if (!this.txMetrics.has(txLabel)) {
104
113
  this.txMetrics.set(txLabel, createEmptyTxMetrics());
@@ -132,6 +141,12 @@ export class TestExecutorMetrics {
132
141
  if (filter === 3 || filter === 1 || filter === 0) {
133
142
  pretty += `${INDENT0}Total instructions executed: ${fmtNum(txMetrics.totalInstructionsExecuted)}\n`;
134
143
  }
144
+ if ((filter === 1 || filter === 0) && txMetrics.bytecodeSizes.length > 0) {
145
+ pretty += `${INDENT0}Bytecode sizes:\n`;
146
+ for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes){
147
+ pretty += `${INDENT1}${contractName}: ${fmtNum(sizeBytes, 'bytes')}\n`;
148
+ }
149
+ }
135
150
  if (filter === 2 || filter === 0) {
136
151
  pretty += `${INDENT0}Private insertions:\n`;
137
152
  pretty += `${INDENT1}Non-revertible: ${fmtNum(txMetrics.nonRevertiblePrivateInsertionsUs / 1_000, 'ms')}\n`;
@@ -298,6 +313,13 @@ export class TestExecutorMetrics {
298
313
  });
299
314
  }
300
315
  }
316
+ for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes){
317
+ data.push({
318
+ name: `${txLabel}/bytecodeSizeBytes/${contractName}`,
319
+ value: sizeBytes,
320
+ unit: 'bytes'
321
+ });
322
+ }
301
323
  }
302
324
  return JSON.stringify(data, null, indent);
303
325
  }
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/simulator",
3
- "version": "0.0.1-commit.d431d1c",
3
+ "version": "0.0.1-commit.dbf9cec",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  "./server": "./dest/server.js",
@@ -64,26 +64,26 @@
64
64
  ]
65
65
  },
66
66
  "dependencies": {
67
- "@aztec/constants": "0.0.1-commit.d431d1c",
68
- "@aztec/foundation": "0.0.1-commit.d431d1c",
69
- "@aztec/native": "0.0.1-commit.d431d1c",
70
- "@aztec/noir-acvm_js": "0.0.1-commit.d431d1c",
71
- "@aztec/noir-noirc_abi": "0.0.1-commit.d431d1c",
72
- "@aztec/noir-protocol-circuits-types": "0.0.1-commit.d431d1c",
73
- "@aztec/noir-types": "0.0.1-commit.d431d1c",
74
- "@aztec/protocol-contracts": "0.0.1-commit.d431d1c",
75
- "@aztec/stdlib": "0.0.1-commit.d431d1c",
76
- "@aztec/telemetry-client": "0.0.1-commit.d431d1c",
77
- "@aztec/world-state": "0.0.1-commit.d431d1c",
67
+ "@aztec/constants": "0.0.1-commit.dbf9cec",
68
+ "@aztec/foundation": "0.0.1-commit.dbf9cec",
69
+ "@aztec/native": "0.0.1-commit.dbf9cec",
70
+ "@aztec/noir-acvm_js": "0.0.1-commit.dbf9cec",
71
+ "@aztec/noir-noirc_abi": "0.0.1-commit.dbf9cec",
72
+ "@aztec/noir-protocol-circuits-types": "0.0.1-commit.dbf9cec",
73
+ "@aztec/noir-types": "0.0.1-commit.dbf9cec",
74
+ "@aztec/protocol-contracts": "0.0.1-commit.dbf9cec",
75
+ "@aztec/stdlib": "0.0.1-commit.dbf9cec",
76
+ "@aztec/telemetry-client": "0.0.1-commit.dbf9cec",
77
+ "@aztec/world-state": "0.0.1-commit.dbf9cec",
78
78
  "lodash.clonedeep": "^4.5.0",
79
79
  "lodash.merge": "^4.6.2",
80
80
  "tslib": "^2.4.0"
81
81
  },
82
82
  "devDependencies": {
83
- "@aztec/kv-store": "0.0.1-commit.d431d1c",
84
- "@aztec/merkle-tree": "0.0.1-commit.d431d1c",
85
- "@aztec/noir-contracts.js": "0.0.1-commit.d431d1c",
86
- "@aztec/noir-test-contracts.js": "0.0.1-commit.d431d1c",
83
+ "@aztec/kv-store": "0.0.1-commit.dbf9cec",
84
+ "@aztec/merkle-tree": "0.0.1-commit.dbf9cec",
85
+ "@aztec/noir-contracts.js": "0.0.1-commit.dbf9cec",
86
+ "@aztec/noir-test-contracts.js": "0.0.1-commit.dbf9cec",
87
87
  "@jest/globals": "^30.0.0",
88
88
  "@types/jest": "^30.0.0",
89
89
  "@types/lodash.clonedeep": "^4.5.7",
@@ -1,4 +1,4 @@
1
- import { createLogger } from '@aztec/foundation/log';
1
+ import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
2
2
  import {
3
3
  type ExecutionError,
4
4
  type ForeignCallInput,
@@ -37,6 +37,7 @@ export interface ACIRExecutionResult {
37
37
  * @param acir - The ACIR circuit bytecode to execute.
38
38
  * @param initialWitness - The initial witness map defining all of the inputs to `circuit`.
39
39
  * @param callback - A callback to process any foreign calls from the circuit.
40
+ * @param logger - Optional logger for ACVM execution logs.
40
41
  * @returns The solved witness calculated by executing the circuit on the provided inputs, as well as the return
41
42
  * witness indices as specified by the circuit.
42
43
  */
@@ -44,9 +45,9 @@ export async function acvm(
44
45
  acir: Buffer,
45
46
  initialWitness: ACVMWitness,
46
47
  callback: ACIRCallback,
48
+ loggerOrBindings?: Logger | LoggerBindings,
47
49
  ): Promise<ACIRExecutionResult> {
48
- const logger = createLogger('simulator:acvm');
49
-
50
+ const logger = resolveLogger('simulator:acvm', loggerOrBindings);
50
51
  const solvedAndReturnWitness = await executeCircuitWithReturnWitness(
51
52
  acir,
52
53
  initialWitness,
@@ -1,5 +1,5 @@
1
1
  import { runInDirectory } from '@aztec/foundation/fs';
2
- import { createLogger } from '@aztec/foundation/log';
2
+ import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
3
3
  import { Timer } from '@aztec/foundation/timer';
4
4
  import type { ForeignCallHandler, WitnessMap } from '@aztec/noir-acvm_js';
5
5
  import type { FunctionArtifactWithContractName } from '@aztec/stdlib/abi';
@@ -12,8 +12,6 @@ import type { ACIRCallback, ACIRExecutionResult } from './acvm/acvm.js';
12
12
  import type { ACVMWitness } from './acvm/acvm_types.js';
13
13
  import type { CircuitSimulator } from './circuit_simulator.js';
14
14
 
15
- const logger = createLogger('simulator:acvm-native');
16
-
17
15
  export enum ACVM_RESULT {
18
16
  SUCCESS,
19
17
  FAILURE,
@@ -64,7 +62,9 @@ export async function executeNativeCircuit(
64
62
  workingDirectory: string,
65
63
  pathToAcvm: string,
66
64
  outputFilename?: string,
65
+ loggerOrBindings?: Logger | LoggerBindings,
67
66
  ): Promise<ACVMResult> {
67
+ const logger = resolveLogger('simulator:acvm-native', loggerOrBindings);
68
68
  const bytecodeFilename = 'bytecode';
69
69
  const witnessFilename = 'input_witness.toml';
70
70
 
@@ -145,11 +145,16 @@ export async function executeNativeCircuit(
145
145
  }
146
146
 
147
147
  export class NativeACVMSimulator implements CircuitSimulator {
148
+ private logger: Logger;
149
+
148
150
  constructor(
149
151
  private workingDirectory: string,
150
152
  private pathToAcvm: string,
151
153
  private witnessFilename?: string,
152
- ) {}
154
+ loggerOrBindings?: Logger | LoggerBindings,
155
+ ) {
156
+ this.logger = resolveLogger('simulator:acvm-native', loggerOrBindings);
157
+ }
153
158
 
154
159
  async executeProtocolCircuit(
155
160
  input: ACVMWitness,
@@ -172,6 +177,7 @@ export class NativeACVMSimulator implements CircuitSimulator {
172
177
  directory,
173
178
  this.pathToAcvm,
174
179
  this.witnessFilename,
180
+ this.logger,
175
181
  );
176
182
 
177
183
  if (result.status == ACVM_RESULT.FAILURE) {
@@ -181,7 +187,7 @@ export class NativeACVMSimulator implements CircuitSimulator {
181
187
  return result;
182
188
  };
183
189
 
184
- return await runInDirectory(this.workingDirectory, operation, false, logger);
190
+ return await runInDirectory(this.workingDirectory, operation, false, this.logger);
185
191
  }
186
192
 
187
193
  executeUserCircuit(
@@ -1,4 +1,4 @@
1
- import { createLogger } from '@aztec/foundation/log';
1
+ import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
2
2
  import { Timer } from '@aztec/foundation/timer';
3
3
  import initACVM, { type ExecutionError, type ForeignCallHandler, executeCircuit } from '@aztec/noir-acvm_js';
4
4
  import initAbi from '@aztec/noir-noirc_abi';
@@ -11,7 +11,11 @@ import type { ACVMSuccess } from './acvm_native.js';
11
11
  import { type CircuitSimulator, enrichNoirError } from './circuit_simulator.js';
12
12
 
13
13
  export class WASMSimulator implements CircuitSimulator {
14
- constructor(protected log = createLogger('wasm-simulator')) {}
14
+ protected log: Logger;
15
+
16
+ constructor(loggerOrBindings?: Logger | LoggerBindings) {
17
+ this.log = resolveLogger('wasm-simulator', loggerOrBindings);
18
+ }
15
19
 
16
20
  async init(): Promise<void> {
17
21
  // If these are available, then we are in the
@@ -67,6 +71,6 @@ export class WASMSimulator implements CircuitSimulator {
67
71
  callback: ACIRCallback,
68
72
  ): Promise<ACIRExecutionResult> {
69
73
  await this.init();
70
- return acvm(artifact.bytecode, input, callback);
74
+ return acvm(artifact.bytecode, input, callback, this.log.createChild('acvm'));
71
75
  }
72
76
  }
@@ -1,5 +1,5 @@
1
1
  import { sha512 } from '@aztec/foundation/crypto/sha512';
2
- import { createLogger } from '@aztec/foundation/log';
2
+ import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
3
3
  import { Timer } from '@aztec/foundation/timer';
4
4
  import type { ForeignCallHandler, ForeignCallInput, ForeignCallOutput } from '@aztec/noir-acvm_js';
5
5
 
@@ -89,14 +89,16 @@ export class CircuitRecording {
89
89
  * ```
90
90
  */
91
91
  export class CircuitRecorder {
92
- protected readonly logger = createLogger('simulator:acvm:recording');
92
+ protected readonly logger: Logger;
93
93
 
94
94
  protected recording?: CircuitRecording;
95
95
 
96
96
  private stackDepth: number = 0;
97
97
  private newCircuit: boolean = true;
98
98
 
99
- protected constructor() {}
99
+ protected constructor(loggerOrBindings?: Logger | LoggerBindings) {
100
+ this.logger = resolveLogger('simulator:acvm:recording', loggerOrBindings);
101
+ }
100
102
 
101
103
  /**
102
104
  * Initializes a new circuit recording session.
@@ -1,3 +1,5 @@
1
+ import type { Logger } from '@aztec/foundation/log';
2
+
1
3
  import fs from 'fs/promises';
2
4
  import path from 'path';
3
5
 
@@ -7,8 +9,11 @@ import { CircuitRecorder, type CircuitRecording } from './circuit_recorder.js';
7
9
  export class FileCircuitRecorder extends CircuitRecorder {
8
10
  declare recording?: CircuitRecording & { filePath: string; isFirstCall: boolean };
9
11
 
10
- constructor(private readonly recordDir: string) {
11
- super();
12
+ constructor(
13
+ private readonly recordDir: string,
14
+ logger?: Logger,
15
+ ) {
16
+ super(logger);
12
17
  }
13
18
 
14
19
  override async start(
@@ -1,11 +1,13 @@
1
+ import type { Logger } from '@aztec/foundation/log';
2
+
1
3
  import { CircuitRecorder } from './circuit_recorder.js';
2
4
 
3
- /*
5
+ /**
4
6
  * In memory circuit recorder uses the default implementation. This is kept
5
- * while we decide the fate of the FileCircuitRecorder
7
+ * while we decide the fate of the FileCircuitRecorder.
6
8
  */
7
9
  export class MemoryCircuitRecorder extends CircuitRecorder {
8
- constructor() {
9
- super();
10
+ constructor(logger?: Logger) {
11
+ super(logger);
10
12
  }
11
13
  }
@@ -1,4 +1,4 @@
1
- import { type Logger, createLogger } from '@aztec/foundation/log';
1
+ import { type Logger, type LoggerBindings, resolveLogger } from '@aztec/foundation/log';
2
2
 
3
3
  import { promises as fs } from 'fs';
4
4
 
@@ -21,18 +21,21 @@ export function getSimulatorConfigFromEnv() {
21
21
 
22
22
  export async function createSimulator(
23
23
  config: SimulatorConfig,
24
- logger: Logger = createLogger('simulator'),
24
+ loggerOrBindings?: Logger | LoggerBindings,
25
25
  ): Promise<CircuitSimulator> {
26
+ const logger = resolveLogger('simulator', loggerOrBindings);
26
27
  if (config.acvmBinaryPath && config.acvmWorkingDirectory) {
27
28
  try {
28
29
  await fs.access(config.acvmBinaryPath, fs.constants.R_OK);
29
30
  await fs.mkdir(config.acvmWorkingDirectory, { recursive: true });
30
31
  logger.info(`Using native ACVM at ${config.acvmBinaryPath} and working directory ${config.acvmWorkingDirectory}`);
31
- return new NativeACVMSimulator(config.acvmWorkingDirectory, config.acvmBinaryPath);
32
+ const acvmLogger = logger.createChild('acvm-native');
33
+ return new NativeACVMSimulator(config.acvmWorkingDirectory, config.acvmBinaryPath, undefined, acvmLogger);
32
34
  } catch {
33
35
  logger.warn(`Failed to access ACVM at ${config.acvmBinaryPath}, falling back to WASM`);
34
36
  }
35
37
  }
36
38
  logger.info('Using WASM ACVM simulation');
37
- return new WASMSimulator();
39
+ const wasmLogger = logger.createChild('wasm');
40
+ return new WASMSimulator(wasmLogger);
38
41
  }
@@ -1,4 +1,3 @@
1
- import type { Fr } from '@aztec/foundation/curves/bn254';
2
1
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
3
2
 
4
3
  import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
@@ -6,6 +5,7 @@ import type { AvmExecutionEnvironment } from './avm_execution_environment.js';
6
5
  import { type Gas, gasToGasLeft } from './avm_gas.js';
7
6
  import { AvmMachineState } from './avm_machine_state.js';
8
7
  import type { AvmSimulatorInterface } from './avm_simulator_interface.js';
8
+ import type { CallData } from './calldata.js';
9
9
 
10
10
  /**
11
11
  * An execution context includes the information necessary to initiate AVM
@@ -45,7 +45,7 @@ export class AvmContext {
45
45
  */
46
46
  public async createNestedContractCallContext(
47
47
  address: AztecAddress,
48
- calldata: Fr[],
48
+ calldata: CallData,
49
49
  allocatedGas: Gas,
50
50
  callType: 'CALL' | 'STATICCALL',
51
51
  ): Promise<AvmContext> {
@@ -1,4 +1,3 @@
1
- import type { Fr } from '@aztec/foundation/curves/bn254';
2
1
  import type { SimulationError } from '@aztec/stdlib/errors';
3
2
  import { Gas } from '@aztec/stdlib/gas';
4
3
 
@@ -6,6 +5,7 @@ import { inspect } from 'util';
6
5
 
7
6
  import { createSimulationError } from '../../common/errors.js';
8
7
  import type { Gas as AvmGas } from './avm_gas.js';
8
+ import type { ReturnData } from './calldata.js';
9
9
  import type { AvmRevertReason } from './errors.js';
10
10
 
11
11
  /**
@@ -14,14 +14,14 @@ import type { AvmRevertReason } from './errors.js';
14
14
  export class AvmContractCallResult {
15
15
  constructor(
16
16
  public reverted: boolean,
17
- public output: Fr[],
17
+ public output: ReturnData,
18
18
  public gasLeft: AvmGas,
19
19
  public revertReason?: AvmRevertReason,
20
20
  public totalInstructions: number = 0, // including nested calls
21
21
  ) {}
22
22
 
23
23
  toString(): string {
24
- let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(
24
+ let resultsStr = `reverted: ${this.reverted}, output: ${this.output.bestEffortReadAll(10)}${this.output.length() > 10 ? ' ...' : ''}, gasLeft: ${inspect(
25
25
  this.gasLeft,
26
26
  )}, totalInstructions: ${this.totalInstructions}`;
27
27
  if (this.revertReason) {
@@ -31,7 +31,9 @@ export class AvmContractCallResult {
31
31
  }
32
32
 
33
33
  finalize(): AvmFinalizedCallResult {
34
- const revertReason = this.revertReason ? createSimulationError(this.revertReason, this.output) : undefined;
34
+ const revertReason = this.revertReason
35
+ ? createSimulationError(this.revertReason, this.output.bestEffortReadAll())
36
+ : undefined;
35
37
  return new AvmFinalizedCallResult(
36
38
  this.reverted,
37
39
  this.output,
@@ -49,14 +51,14 @@ export class AvmContractCallResult {
49
51
  export class AvmFinalizedCallResult {
50
52
  constructor(
51
53
  public reverted: boolean,
52
- public output: Fr[],
54
+ public output: ReturnData,
53
55
  public gasLeft: Gas,
54
56
  public revertReason?: SimulationError,
55
57
  public totalInstructions: number = 0, // including nested calls
56
58
  ) {}
57
59
 
58
60
  toString(): string {
59
- let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(
61
+ let resultsStr = `reverted: ${this.reverted}, output: ${this.output.bestEffortReadAll(10)}${this.output.length() > 10 ? ' ...' : ''}, gasLeft: ${inspect(
60
62
  this.gasLeft,
61
63
  )}, totalInstructions: ${this.totalInstructions}`;
62
64
  if (this.revertReason) {
@@ -3,6 +3,8 @@ import type { PublicSimulatorConfig } from '@aztec/stdlib/avm';
3
3
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
4
  import type { GlobalVariables } from '@aztec/stdlib/tx';
5
5
 
6
+ import type { CallData } from './calldata.js';
7
+
6
8
  /**
7
9
  * Contains variables that remain constant during AVM execution
8
10
  * These variables are provided by the public kernel circuit
@@ -15,13 +17,13 @@ export class AvmExecutionEnvironment {
15
17
  public readonly transactionFee: Fr,
16
18
  public readonly globals: GlobalVariables,
17
19
  public readonly isStaticCall: boolean,
18
- public readonly calldata: Fr[],
20
+ public readonly calldata: CallData,
19
21
  public readonly config: PublicSimulatorConfig,
20
22
  ) {}
21
23
 
22
24
  private deriveEnvironmentForNestedCallInternal(
23
25
  targetAddress: AztecAddress,
24
- calldata: Fr[],
26
+ calldata: CallData,
25
27
  isStaticCall: boolean,
26
28
  ): AvmExecutionEnvironment {
27
29
  return new AvmExecutionEnvironment(
@@ -36,11 +38,14 @@ export class AvmExecutionEnvironment {
36
38
  );
37
39
  }
38
40
 
39
- public deriveEnvironmentForNestedCall(targetAddress: AztecAddress, calldata: Fr[]): AvmExecutionEnvironment {
41
+ public deriveEnvironmentForNestedCall(targetAddress: AztecAddress, calldata: CallData): AvmExecutionEnvironment {
40
42
  return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ false);
41
43
  }
42
44
 
43
- public deriveEnvironmentForNestedStaticCall(targetAddress: AztecAddress, calldata: Fr[]): AvmExecutionEnvironment {
45
+ public deriveEnvironmentForNestedStaticCall(
46
+ targetAddress: AztecAddress,
47
+ calldata: CallData,
48
+ ): AvmExecutionEnvironment {
44
49
  return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ true);
45
50
  }
46
51
  }
@@ -110,7 +110,7 @@ const BASE_GAS_COSTS: Record<Opcode, Gas> = {
110
110
  [Opcode.NULLIFIEREXISTS]: makeCost(c.AVM_NULLIFIEREXISTS_BASE_L2_GAS, 0),
111
111
  [Opcode.EMITNULLIFIER]: makeCost(c.AVM_EMITNULLIFIER_BASE_L2_GAS, c.AVM_EMITNULLIFIER_BASE_DA_GAS),
112
112
  [Opcode.L1TOL2MSGEXISTS]: makeCost(c.AVM_L1TOL2MSGEXISTS_BASE_L2_GAS, 0),
113
- [Opcode.EMITUNENCRYPTEDLOG]: makeCost(c.AVM_EMITUNENCRYPTEDLOG_BASE_L2_GAS, c.AVM_EMITUNENCRYPTEDLOG_BASE_DA_GAS),
113
+ [Opcode.EMITPUBLICLOG]: makeCost(c.AVM_EMITPUBLICLOG_BASE_L2_GAS, c.AVM_EMITPUBLICLOG_BASE_DA_GAS),
114
114
  [Opcode.SENDL2TOL1MSG]: makeCost(c.AVM_SENDL2TOL1MSG_BASE_L2_GAS, c.AVM_SENDL2TOL1MSG_BASE_DA_GAS),
115
115
  [Opcode.GETCONTRACTINSTANCE]: makeCost(c.AVM_GETCONTRACTINSTANCE_BASE_L2_GAS, 0),
116
116
  [Opcode.CALL]: makeCost(c.AVM_CALL_BASE_L2_GAS, 0),
@@ -130,7 +130,7 @@ const DYNAMIC_GAS_COSTS = new Map<Opcode, Gas>([
130
130
  [Opcode.CALLDATACOPY, makeCost(c.AVM_CALLDATACOPY_DYN_L2_GAS, 0)],
131
131
  [Opcode.RETURNDATACOPY, makeCost(c.AVM_RETURNDATACOPY_DYN_L2_GAS, 0)],
132
132
  // TODO: Call and static call based on bytecode length
133
- [Opcode.EMITUNENCRYPTEDLOG, makeCost(c.AVM_EMITUNENCRYPTEDLOG_DYN_L2_GAS, c.AVM_EMITUNENCRYPTEDLOG_DYN_DA_GAS)],
133
+ [Opcode.EMITPUBLICLOG, makeCost(c.AVM_EMITPUBLICLOG_DYN_L2_GAS, c.AVM_EMITPUBLICLOG_DYN_DA_GAS)],
134
134
  [Opcode.TORADIXBE, makeCost(c.AVM_TORADIXBE_DYN_L2_GAS, 0)],
135
135
  [Opcode.AND_8, makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)],
136
136
  [Opcode.AND_16, makeCost(c.AVM_BITWISE_DYN_L2_GAS, 0)],
@@ -2,6 +2,7 @@ import type { Fr } from '@aztec/foundation/curves/bn254';
2
2
 
3
3
  import type { Gas } from './avm_gas.js';
4
4
  import { TaggedMemory } from './avm_memory_types.js';
5
+ import { type ReturnData, ReturnDataArray } from './calldata.js';
5
6
  import { type AvmRevertReason, OutOfGasError } from './errors.js';
6
7
 
7
8
  /**
@@ -39,7 +40,7 @@ export class AvmMachineState {
39
40
  /** program counter of the next instruction, byte based */
40
41
  public nextPc: number = 0;
41
42
  /** return/revertdata of the last nested call. */
42
- public nestedReturndata: Fr[] = [];
43
+ public nestedReturndata: ReturnData = new ReturnDataArray([]);
43
44
  /** Tracks whether the last external call was successful */
44
45
  public nestedCallSuccess: boolean = false;
45
46
  /**
@@ -66,7 +67,7 @@ export class AvmMachineState {
66
67
  /** Signals that execution has reverted normally (this does not cover exceptional halts) */
67
68
  private reverted: boolean = false;
68
69
  /** Output data must NOT be modified once it is set */
69
- private output: Fr[] = [];
70
+ private output: ReturnData = new ReturnDataArray([]);
70
71
 
71
72
  // Metrics only - not needed for execution
72
73
  /** instruction counter, including nested calls */
@@ -129,7 +130,7 @@ export class AvmMachineState {
129
130
  * Output data must NOT be modified once it is set
130
131
  * @param output
131
132
  */
132
- public return(output: Fr[]) {
133
+ public return(output: ReturnData) {
133
134
  this.halted = true;
134
135
  this.output = output;
135
136
  }
@@ -139,7 +140,7 @@ export class AvmMachineState {
139
140
  * Output data must NOT be modified once it is set
140
141
  * @param output
141
142
  */
142
- public revert(output: Fr[]) {
143
+ public revert(output: ReturnData) {
143
144
  this.halted = true;
144
145
  this.reverted = true;
145
146
  this.output = output;
@@ -153,7 +154,7 @@ export class AvmMachineState {
153
154
  return this.reverted;
154
155
  }
155
156
 
156
- public getOutput(): Fr[] {
157
+ public getOutput(): ReturnData {
157
158
  return this.output;
158
159
  }
159
160
 
@@ -369,6 +369,10 @@ export class TaggedMemory implements TaggedMemoryInterface {
369
369
  * Check tags for all memory in the specified range.
370
370
  */
371
371
  public checkTagsRange(tag: TypeTag, startOffset: number, size: number) {
372
+ if (startOffset + size > TaggedMemory.MAX_MEMORY_SIZE) {
373
+ throw new MemorySliceOutOfRangeError(startOffset, size);
374
+ }
375
+
372
376
  for (let offset = startOffset; offset < startOffset + size; offset++) {
373
377
  this.checkTag(tag, offset);
374
378
  }
@@ -15,6 +15,7 @@ import { AvmExecutionEnvironment } from './avm_execution_environment.js';
15
15
  import type { Gas } from './avm_gas.js';
16
16
  import { AvmMachineState } from './avm_machine_state.js';
17
17
  import type { AvmSimulatorInterface } from './avm_simulator_interface.js';
18
+ import { type CallData, ReturnDataArray } from './calldata.js';
18
19
  import { AvmRevertReason, InvalidProgramCounterError } from './errors.js';
19
20
  import type { Instruction } from './opcodes/instruction.js';
20
21
  import { revertReasonFromExceptionalHalt, revertReasonFromExplicitRevert } from './revert_reason.js';
@@ -49,7 +50,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
49
50
  // This will be used by the CALL opcode to create a new simulator. It is required to
50
51
  // avoid a dependency cycle.
51
52
  context.provideSimulator = AvmSimulator.build;
52
- this.log = createLogger(`simulator:avm(calldata[0]: ${context.environment.calldata[0]})`);
53
+ this.log = createLogger(`simulator:avm(calldata[0]: ${context.environment.calldata.read(0)})`);
53
54
  // Turn on tallying if explicitly enabled or if trace logging
54
55
  if (enableTallying || this.log.isLevelEnabled('trace')) {
55
56
  this.tallyPrintFunction = this.printOpcodeTallies;
@@ -74,7 +75,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
74
75
  transactionFee: Fr,
75
76
  globals: GlobalVariables,
76
77
  isStaticCall: boolean,
77
- calldata: Fr[],
78
+ calldata: CallData,
78
79
  allocatedGas: Gas,
79
80
  config: PublicSimulatorConfig,
80
81
  ) {
@@ -183,7 +184,9 @@ export class AvmSimulator implements AvmSimulatorInterface {
183
184
 
184
185
  const output = machineState.getOutput();
185
186
  const reverted = machineState.getReverted();
186
- const revertReason = reverted ? await revertReasonFromExplicitRevert(output, this.context) : undefined;
187
+ const revertReason = reverted
188
+ ? await revertReasonFromExplicitRevert(output.bestEffortReadAll(), this.context)
189
+ : undefined;
187
190
  const results = new AvmContractCallResult(
188
191
  reverted,
189
192
  output,
@@ -220,7 +223,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
220
223
  // Note: "exceptional halts" cannot return data, hence [].
221
224
  const results = new AvmContractCallResult(
222
225
  /*reverted=*/ true,
223
- /*output=*/ [],
226
+ /*output=*/ new ReturnDataArray([]),
224
227
  noGasLeft,
225
228
  revertReason,
226
229
  machineState.instrCounter,
@@ -250,7 +253,7 @@ export class AvmSimulator implements AvmSimulatorInterface {
250
253
  this.log.warn(message);
251
254
  return new AvmContractCallResult(
252
255
  /*reverted=*/ true,
253
- /*output=*/ [],
256
+ /*output=*/ new ReturnDataArray([]),
254
257
  /*gasLeft=*/ { l2Gas: 0, daGas: 0 }, // consumes all allocated gas
255
258
  revertReason,
256
259
  );