@aztec/simulator 0.0.1-commit.29c6b1a3 → 0.0.1-commit.2c85e299c

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 (130) 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 +7 -5
  14. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +3 -2
  15. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  16. package/dest/private/circuit_recording/file_circuit_recorder.js +2 -2
  17. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
  18. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  19. package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
  20. package/dest/private/factory.d.ts +3 -3
  21. package/dest/private/factory.d.ts.map +1 -1
  22. package/dest/private/factory.js +7 -4
  23. package/dest/public/avm/avm_gas.js +3 -3
  24. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +2 -0
  25. package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +1 -0
  26. package/dest/public/avm/fixtures/account_proof_fetcher.js +152 -0
  27. package/dest/public/avm/opcodes/accrued_substate.d.ts +2 -2
  28. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  29. package/dest/public/avm/opcodes/accrued_substate.js +3 -4
  30. package/dest/public/avm/serialization/bytecode_serialization.js +3 -3
  31. package/dest/public/avm/serialization/instruction_serialization.d.ts +2 -2
  32. package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -1
  33. package/dest/public/avm/serialization/instruction_serialization.js +1 -1
  34. package/dest/public/executor_metrics.d.ts +1 -1
  35. package/dest/public/executor_metrics.d.ts.map +1 -1
  36. package/dest/public/executor_metrics.js +7 -2
  37. package/dest/public/fixtures/amm_test.js +2 -2
  38. package/dest/public/fixtures/opcode_spammer.d.ts +1 -1
  39. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -1
  40. package/dest/public/fixtures/opcode_spammer.js +6 -6
  41. package/dest/public/fixtures/public_tx_simulation_tester.d.ts +6 -5
  42. package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
  43. package/dest/public/fixtures/public_tx_simulation_tester.js +36 -9
  44. package/dest/public/fixtures/utils.d.ts +2 -2
  45. package/dest/public/fixtures/utils.d.ts.map +1 -1
  46. package/dest/public/fixtures/utils.js +6 -6
  47. package/dest/public/hinting_db_sources.d.ts +2 -2
  48. package/dest/public/hinting_db_sources.d.ts.map +1 -1
  49. package/dest/public/hinting_db_sources.js +1 -1
  50. package/dest/public/public_db_sources.d.ts +4 -3
  51. package/dest/public/public_db_sources.d.ts.map +1 -1
  52. package/dest/public/public_db_sources.js +4 -4
  53. package/dest/public/public_processor/guarded_merkle_tree.d.ts +2 -2
  54. package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
  55. package/dest/public/public_processor/guarded_merkle_tree.js +1 -1
  56. package/dest/public/public_processor/public_processor.d.ts +8 -4
  57. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  58. package/dest/public/public_processor/public_processor.js +50 -35
  59. package/dest/public/public_processor/public_processor_metrics.d.ts +2 -2
  60. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  61. package/dest/public/public_processor/public_processor_metrics.js +20 -4
  62. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +3 -2
  63. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
  64. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +2 -2
  65. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +5 -5
  66. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
  67. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +10 -11
  68. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +4 -4
  69. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -1
  70. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +7 -7
  71. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +4 -4
  72. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -1
  73. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +6 -6
  74. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +3 -2
  75. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -1
  76. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +2 -2
  77. package/dest/public/public_tx_simulator/factories.d.ts +3 -2
  78. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
  79. package/dest/public/public_tx_simulator/factories.js +4 -4
  80. package/dest/public/public_tx_simulator/public_tx_context.d.ts +4 -3
  81. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  82. package/dest/public/public_tx_simulator/public_tx_context.js +8 -8
  83. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +4 -3
  84. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  85. package/dest/public/public_tx_simulator/public_tx_simulator.js +7 -5
  86. package/dest/public/side_effect_trace.d.ts +4 -4
  87. package/dest/public/side_effect_trace.d.ts.map +1 -1
  88. package/dest/public/side_effect_trace.js +3 -3
  89. package/dest/public/state_manager/state_manager.d.ts +4 -4
  90. package/dest/public/state_manager/state_manager.d.ts.map +1 -1
  91. package/dest/public/state_manager/state_manager.js +5 -5
  92. package/dest/public/test_executor_metrics.d.ts +8 -2
  93. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  94. package/dest/public/test_executor_metrics.js +24 -2
  95. package/package.json +16 -16
  96. package/src/private/acvm/acvm.ts +4 -3
  97. package/src/private/acvm_native.ts +11 -5
  98. package/src/private/acvm_wasm.ts +7 -3
  99. package/src/private/circuit_recording/circuit_recorder.ts +7 -5
  100. package/src/private/circuit_recording/file_circuit_recorder.ts +7 -2
  101. package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
  102. package/src/private/factory.ts +7 -4
  103. package/src/public/avm/avm_gas.ts +2 -2
  104. package/src/public/avm/fixtures/account_proof.json +553 -0
  105. package/src/public/avm/fixtures/account_proof_fetcher.ts +166 -0
  106. package/src/public/avm/opcodes/accrued_substate.ts +3 -4
  107. package/src/public/avm/serialization/bytecode_serialization.ts +2 -2
  108. package/src/public/avm/serialization/instruction_serialization.ts +1 -1
  109. package/src/public/executor_metrics.ts +4 -1
  110. package/src/public/fixtures/amm_test.ts +2 -2
  111. package/src/public/fixtures/opcode_spammer.ts +6 -10
  112. package/src/public/fixtures/public_tx_simulation_tester.ts +51 -5
  113. package/src/public/fixtures/utils.ts +6 -5
  114. package/src/public/fuzzing/avm_fuzzer_simulator.ts +1 -1
  115. package/src/public/hinting_db_sources.ts +1 -1
  116. package/src/public/public_db_sources.ts +15 -5
  117. package/src/public/public_processor/guarded_merkle_tree.ts +1 -1
  118. package/src/public/public_processor/public_processor.ts +75 -47
  119. package/src/public/public_processor/public_processor_metrics.ts +10 -4
  120. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +6 -3
  121. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +10 -8
  122. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +7 -5
  123. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +7 -5
  124. package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +3 -1
  125. package/src/public/public_tx_simulator/factories.ts +6 -3
  126. package/src/public/public_tx_simulator/public_tx_context.ts +13 -6
  127. package/src/public/public_tx_simulator/public_tx_simulator.ts +9 -5
  128. package/src/public/side_effect_trace.ts +5 -2
  129. package/src/public/state_manager/state_manager.ts +19 -4
  130. package/src/public/test_executor_metrics.ts +27 -3
@@ -9,7 +9,7 @@ import {
9
9
  } from '@aztec/constants';
10
10
  import { Fr } from '@aztec/foundation/curves/bn254';
11
11
  import { EthAddress } from '@aztec/foundation/eth-address';
12
- import { type LogLevel, createLogger } from '@aztec/foundation/log';
12
+ import { type LogLevel, type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
13
13
  import { PublicDataUpdateRequest } from '@aztec/stdlib/avm';
14
14
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
15
15
  import { computePublicDataTreeLeafSlot } from '@aztec/stdlib/hash';
@@ -61,7 +61,7 @@ export class SideEffectArrayLengths {
61
61
  * Trace side effects for an enqueued public call's execution.
62
62
  */
63
63
  export class SideEffectTrace implements PublicSideEffectTraceInterface {
64
- public log = createLogger('simulator:side_effect_trace');
64
+ public log: Logger;
65
65
 
66
66
  /** The side effect counter increments with every call to the trace. */
67
67
  private sideEffectCounter: number;
@@ -79,6 +79,7 @@ export class SideEffectTrace implements PublicSideEffectTraceInterface {
79
79
  constructor(
80
80
  /** The counter of this trace's first side effect. */
81
81
  public readonly startSideEffectCounter: number = 0,
82
+ bindings?: LoggerBindings,
82
83
  /** Track parent's (or previous kernel's) lengths so the AVM can properly enforce TX-wide limits,
83
84
  * otherwise the public kernel can fail to prove because TX limits are breached.
84
85
  */
@@ -90,11 +91,13 @@ export class SideEffectTrace implements PublicSideEffectTraceInterface {
90
91
  private debugLogMemoryReads: number = 0,
91
92
  ) {
92
93
  this.sideEffectCounter = startSideEffectCounter;
94
+ this.log = createLogger('simulator:side_effect_trace', bindings);
93
95
  }
94
96
 
95
97
  public fork() {
96
98
  return new SideEffectTrace(
97
99
  this.sideEffectCounter,
100
+ this.log.getBindings(),
98
101
  new SideEffectArrayLengths(
99
102
  this.previousSideEffectArrayLengths.publicDataWrites + this.userPublicDataWritesLength,
100
103
  this.previousSideEffectArrayLengths.protocolPublicDataWrites + this.protocolPublicDataWritesLength,
@@ -2,7 +2,7 @@ import { CONTRACT_INSTANCE_REGISTRY_CONTRACT_ADDRESS, MAX_PROTOCOL_CONTRACTS } f
2
2
  import { poseidon2Hash } from '@aztec/foundation/crypto/poseidon';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { jsonStringify } from '@aztec/foundation/json-rpc';
5
- import { type LogLevel, createLogger } from '@aztec/foundation/log';
5
+ import { type LogLevel, type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
6
6
  import { ProtocolContractAddress } from '@aztec/protocol-contracts';
7
7
  import { FunctionSelector } from '@aztec/stdlib/abi';
8
8
  import { AztecAddress } from '@aztec/stdlib/aztec-address';
@@ -42,7 +42,7 @@ import { PublicStorage } from './public_storage.js';
42
42
  * Manages merging of successful/reverted child state into current state.
43
43
  */
44
44
  export class PublicPersistableStateManager {
45
- private readonly log = createLogger('simulator:state_manager');
45
+ private readonly log: Logger;
46
46
 
47
47
  /** Make sure a forked state is never merged twice. */
48
48
  private alreadyMergedIntoParent = false;
@@ -56,7 +56,10 @@ export class PublicPersistableStateManager {
56
56
  private readonly doMerkleOperations: boolean = true,
57
57
  private readonly publicStorage: PublicStorage = new PublicStorage(treesDB),
58
58
  private readonly nullifiers: NullifierManager = new NullifierManager(treesDB),
59
- ) {}
59
+ bindings?: LoggerBindings,
60
+ ) {
61
+ this.log = createLogger('simulator:state_manager', bindings);
62
+ }
60
63
 
61
64
  /**
62
65
  * Create a new state manager
@@ -67,8 +70,19 @@ export class PublicPersistableStateManager {
67
70
  trace: PublicSideEffectTraceInterface,
68
71
  firstNullifier: Fr,
69
72
  timestamp: UInt64,
73
+ bindings?: LoggerBindings,
70
74
  ): PublicPersistableStateManager {
71
- return new PublicPersistableStateManager(treesDB, contractsDB, trace, firstNullifier, timestamp);
75
+ return new PublicPersistableStateManager(
76
+ treesDB,
77
+ contractsDB,
78
+ trace,
79
+ firstNullifier,
80
+ timestamp,
81
+ undefined,
82
+ undefined,
83
+ undefined,
84
+ bindings,
85
+ );
72
86
  }
73
87
 
74
88
  /**
@@ -85,6 +99,7 @@ export class PublicPersistableStateManager {
85
99
  this.doMerkleOperations,
86
100
  this.publicStorage.fork(),
87
101
  this.nullifiers.fork(),
102
+ this.log.getBindings(),
88
103
  );
89
104
  }
90
105
 
@@ -1,5 +1,5 @@
1
1
  import { sum } from '@aztec/foundation/collection';
2
- import { type Logger, createLogger } from '@aztec/foundation/log';
2
+ import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
3
3
  import { Timer } from '@aztec/foundation/timer';
4
4
  import type { RevertCode } from '@aztec/stdlib/avm';
5
5
  import type { GasUsed } from '@aztec/stdlib/gas';
@@ -21,6 +21,7 @@ export interface PublicTxMetrics {
21
21
  totalDurationMs: number;
22
22
  manaUsed: number | undefined;
23
23
  totalInstructionsExecuted: number;
24
+ bytecodeSizes: { contractName: string; sizeBytes: number }[];
24
25
  nonRevertiblePrivateInsertionsUs: number | undefined;
25
26
  revertiblePrivateInsertionsUs: number | undefined;
26
27
  enqueuedCalls: PublicEnqueuedCallMetrics[];
@@ -62,6 +63,7 @@ function createEmptyTxMetrics(): PublicTxMetrics {
62
63
  totalDurationMs: 0,
63
64
  manaUsed: 0,
64
65
  totalInstructionsExecuted: 0,
66
+ bytecodeSizes: [],
65
67
  nonRevertiblePrivateInsertionsUs: undefined,
66
68
  revertiblePrivateInsertionsUs: undefined,
67
69
  enqueuedCalls: [],
@@ -88,8 +90,8 @@ export class TestExecutorMetrics implements ExecutorMetricsInterface {
88
90
  private currentTxLabel: string | undefined;
89
91
  private txTimer: Timer | undefined;
90
92
 
91
- constructor() {
92
- this.logger = createLogger(`simulator:test_executor_metrics`);
93
+ constructor(bindings?: LoggerBindings) {
94
+ this.logger = createLogger(`simulator:test_executor_metrics`, bindings);
93
95
  }
94
96
 
95
97
  startRecordingTxSimulation(txLabel: string) {
@@ -172,6 +174,12 @@ export class TestExecutorMetrics implements ExecutorMetricsInterface {
172
174
  }
173
175
  }
174
176
 
177
+ recordBytecodeSize(txLabel: string, contractName: string, sizeBytes: number) {
178
+ const txMetrics = this.txMetrics.get(txLabel);
179
+ assert(txMetrics, `Cannot record bytecode size for unknown tx label: ${txLabel}`);
180
+ txMetrics.bytecodeSizes.push({ contractName, sizeBytes });
181
+ }
182
+
175
183
  recordProverMetrics(txLabel: string, metrics: Partial<PublicTxMetrics>) {
176
184
  if (!this.txMetrics.has(txLabel)) {
177
185
  this.txMetrics.set(txLabel, createEmptyTxMetrics());
@@ -216,6 +224,15 @@ export class TestExecutorMetrics implements ExecutorMetricsInterface {
216
224
  ) {
217
225
  pretty += `${INDENT0}Total instructions executed: ${fmtNum(txMetrics.totalInstructionsExecuted)}\n`;
218
226
  }
227
+ if (
228
+ (filter === PublicTxMetricsFilter.TOTALS || filter === PublicTxMetricsFilter.ALL) &&
229
+ txMetrics.bytecodeSizes.length > 0
230
+ ) {
231
+ pretty += `${INDENT0}Bytecode sizes:\n`;
232
+ for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes) {
233
+ pretty += `${INDENT1}${contractName}: ${fmtNum(sizeBytes, 'bytes')}\n`;
234
+ }
235
+ }
219
236
  if (filter === PublicTxMetricsFilter.DURATIONS || filter === PublicTxMetricsFilter.ALL) {
220
237
  pretty += `${INDENT0}Private insertions:\n`;
221
238
  pretty += `${INDENT1}Non-revertible: ${fmtNum(txMetrics.nonRevertiblePrivateInsertionsUs! / 1_000, 'ms')}\n`;
@@ -387,6 +404,13 @@ export class TestExecutorMetrics implements ExecutorMetricsInterface {
387
404
  });
388
405
  }
389
406
  }
407
+ for (const { contractName, sizeBytes } of txMetrics.bytecodeSizes) {
408
+ data.push({
409
+ name: `${txLabel}/bytecodeSizeBytes/${contractName}`,
410
+ value: sizeBytes,
411
+ unit: 'bytes',
412
+ });
413
+ }
390
414
  }
391
415
  return JSON.stringify(data, null, indent);
392
416
  }