@aztec/simulator 0.0.1-commit.96bb3f7 → 0.0.1-commit.9d2bcf6d

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 (209) hide show
  1. package/README.md +2 -0
  2. package/dest/common/errors.d.ts +7 -1
  3. package/dest/common/errors.d.ts.map +1 -1
  4. package/dest/private/acvm/acvm.d.ts +4 -2
  5. package/dest/private/acvm/acvm.d.ts.map +1 -1
  6. package/dest/private/acvm/acvm.js +4 -3
  7. package/dest/private/acvm_native.d.ts +5 -3
  8. package/dest/private/acvm_native.d.ts.map +1 -1
  9. package/dest/private/acvm_native.js +8 -6
  10. package/dest/private/acvm_wasm.d.ts +4 -3
  11. package/dest/private/acvm_wasm.d.ts.map +1 -1
  12. package/dest/private/acvm_wasm.js +4 -4
  13. package/dest/private/circuit_recording/circuit_recorder.d.ts +4 -3
  14. package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
  15. package/dest/private/circuit_recording/circuit_recorder.js +5 -3
  16. package/dest/private/circuit_recording/file_circuit_recorder.d.ts +3 -2
  17. package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
  18. package/dest/private/circuit_recording/file_circuit_recorder.js +2 -2
  19. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +7 -2
  20. package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -1
  21. package/dest/private/circuit_recording/memory_circuit_recorder.js +4 -4
  22. package/dest/private/factory.d.ts +3 -3
  23. package/dest/private/factory.d.ts.map +1 -1
  24. package/dest/private/factory.js +7 -4
  25. package/dest/public/avm/avm_context.d.ts +3 -3
  26. package/dest/public/avm/avm_context.d.ts.map +1 -1
  27. package/dest/public/avm/avm_contract_call_result.d.ts +6 -6
  28. package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
  29. package/dest/public/avm/avm_contract_call_result.js +3 -3
  30. package/dest/public/avm/avm_execution_environment.d.ts +6 -5
  31. package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
  32. package/dest/public/avm/avm_machine_state.d.ts +6 -5
  33. package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
  34. package/dest/public/avm/avm_machine_state.js +3 -2
  35. package/dest/public/avm/avm_memory_types.d.ts +1 -1
  36. package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
  37. package/dest/public/avm/avm_memory_types.js +3 -0
  38. package/dest/public/avm/avm_simulator.d.ts +3 -2
  39. package/dest/public/avm/avm_simulator.d.ts.map +1 -1
  40. package/dest/public/avm/avm_simulator.js +5 -4
  41. package/dest/public/avm/calldata.d.ts +51 -0
  42. package/dest/public/avm/calldata.d.ts.map +1 -0
  43. package/dest/public/avm/calldata.js +63 -0
  44. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +1 -1
  45. package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
  46. package/dest/public/avm/fixtures/avm_simulation_tester.js +3 -2
  47. package/dest/public/avm/fixtures/initializers.d.ts +1 -1
  48. package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
  49. package/dest/public/avm/fixtures/initializers.js +2 -1
  50. package/dest/public/avm/opcodes/accrued_substate.d.ts +16 -17
  51. package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
  52. package/dest/public/avm/opcodes/accrued_substate.js +38 -38
  53. package/dest/public/avm/opcodes/arithmetic.d.ts +8 -8
  54. package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
  55. package/dest/public/avm/opcodes/arithmetic.js +1 -1
  56. package/dest/public/avm/opcodes/bitwise.d.ts +7 -7
  57. package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
  58. package/dest/public/avm/opcodes/bitwise.js +5 -5
  59. package/dest/public/avm/opcodes/comparators.d.ts +4 -4
  60. package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
  61. package/dest/public/avm/opcodes/comparators.js +1 -1
  62. package/dest/public/avm/opcodes/contract.d.ts +3 -3
  63. package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
  64. package/dest/public/avm/opcodes/contract.js +8 -8
  65. package/dest/public/avm/opcodes/control_flow.d.ts +3 -3
  66. package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
  67. package/dest/public/avm/opcodes/control_flow.js +4 -4
  68. package/dest/public/avm/opcodes/conversion.d.ts +3 -3
  69. package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
  70. package/dest/public/avm/opcodes/conversion.js +4 -4
  71. package/dest/public/avm/opcodes/ec_add.d.ts +4 -4
  72. package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
  73. package/dest/public/avm/opcodes/ec_add.js +15 -6
  74. package/dest/public/avm/opcodes/environment_getters.d.ts +3 -3
  75. package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
  76. package/dest/public/avm/opcodes/environment_getters.js +4 -4
  77. package/dest/public/avm/opcodes/external_calls.d.ts +9 -9
  78. package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
  79. package/dest/public/avm/opcodes/external_calls.js +23 -23
  80. package/dest/public/avm/opcodes/hashing.d.ts +8 -8
  81. package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
  82. package/dest/public/avm/opcodes/hashing.js +12 -12
  83. package/dest/public/avm/opcodes/instruction_impl.d.ts +4 -4
  84. package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
  85. package/dest/public/avm/opcodes/instruction_impl.js +4 -4
  86. package/dest/public/avm/opcodes/memory.d.ts +14 -14
  87. package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
  88. package/dest/public/avm/opcodes/memory.js +25 -25
  89. package/dest/public/avm/opcodes/misc.d.ts +3 -3
  90. package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
  91. package/dest/public/avm/opcodes/misc.js +4 -4
  92. package/dest/public/avm/opcodes/storage.d.ts +16 -15
  93. package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
  94. package/dest/public/avm/opcodes/storage.js +34 -24
  95. package/dest/public/debug_fn_name.d.ts +4 -4
  96. package/dest/public/debug_fn_name.d.ts.map +1 -1
  97. package/dest/public/debug_fn_name.js +7 -5
  98. package/dest/public/executor_metrics.d.ts +1 -1
  99. package/dest/public/executor_metrics.d.ts.map +1 -1
  100. package/dest/public/executor_metrics.js +7 -2
  101. package/dest/public/fixtures/bulk_test.d.ts +3 -3
  102. package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
  103. package/dest/public/fixtures/custom_bytecode_tests.d.ts +11 -11
  104. package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -1
  105. package/dest/public/fixtures/custom_bytecode_tests.js +18 -18
  106. package/dest/public/fixtures/minimal_public_tx.js +2 -2
  107. package/dest/public/fixtures/opcode_spammer.d.ts +3 -4
  108. package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -1
  109. package/dest/public/fixtures/opcode_spammer.js +95 -123
  110. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +21 -7
  111. package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
  112. package/dest/public/fuzzing/avm_fuzzer_simulator.js +42 -10
  113. package/dest/public/fuzzing/avm_simulator_bin.js +15 -8
  114. package/dest/public/public_db_sources.d.ts +4 -3
  115. package/dest/public/public_db_sources.d.ts.map +1 -1
  116. package/dest/public/public_db_sources.js +4 -4
  117. package/dest/public/public_processor/public_processor.d.ts +6 -4
  118. package/dest/public/public_processor/public_processor.d.ts.map +1 -1
  119. package/dest/public/public_processor/public_processor.js +11 -6
  120. package/dest/public/public_processor/public_processor_metrics.d.ts +2 -2
  121. package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
  122. package/dest/public/public_processor/public_processor_metrics.js +20 -4
  123. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +3 -2
  124. package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
  125. package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +2 -2
  126. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +5 -5
  127. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
  128. package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +10 -9
  129. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +4 -4
  130. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -1
  131. package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +5 -5
  132. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +4 -4
  133. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -1
  134. package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +6 -6
  135. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +3 -2
  136. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -1
  137. package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +2 -2
  138. package/dest/public/public_tx_simulator/factories.d.ts +3 -2
  139. package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
  140. package/dest/public/public_tx_simulator/factories.js +3 -3
  141. package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +1 -1
  142. package/dest/public/public_tx_simulator/public_tx_context.d.ts +4 -3
  143. package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
  144. package/dest/public/public_tx_simulator/public_tx_context.js +8 -8
  145. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +6 -4
  146. package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
  147. package/dest/public/public_tx_simulator/public_tx_simulator.js +12 -7
  148. package/dest/public/side_effect_trace.d.ts +5 -4
  149. package/dest/public/side_effect_trace.d.ts.map +1 -1
  150. package/dest/public/side_effect_trace.js +3 -3
  151. package/dest/public/state_manager/state_manager.d.ts +10 -4
  152. package/dest/public/state_manager/state_manager.d.ts.map +1 -1
  153. package/dest/public/state_manager/state_manager.js +14 -7
  154. package/dest/public/test_executor_metrics.d.ts +3 -2
  155. package/dest/public/test_executor_metrics.d.ts.map +1 -1
  156. package/dest/public/test_executor_metrics.js +2 -2
  157. package/package.json +17 -17
  158. package/src/private/acvm/acvm.ts +4 -3
  159. package/src/private/acvm_native.ts +11 -5
  160. package/src/private/acvm_wasm.ts +7 -3
  161. package/src/private/circuit_recording/circuit_recorder.ts +5 -3
  162. package/src/private/circuit_recording/file_circuit_recorder.ts +7 -2
  163. package/src/private/circuit_recording/memory_circuit_recorder.ts +6 -4
  164. package/src/private/factory.ts +7 -4
  165. package/src/public/avm/avm_context.ts +2 -2
  166. package/src/public/avm/avm_contract_call_result.ts +8 -6
  167. package/src/public/avm/avm_execution_environment.ts +9 -4
  168. package/src/public/avm/avm_machine_state.ts +6 -5
  169. package/src/public/avm/avm_memory_types.ts +4 -0
  170. package/src/public/avm/avm_simulator.ts +8 -5
  171. package/src/public/avm/calldata.ts +100 -0
  172. package/src/public/avm/fixtures/avm_simulation_tester.ts +8 -2
  173. package/src/public/avm/fixtures/initializers.ts +2 -1
  174. package/src/public/avm/opcodes/accrued_substate.ts +27 -29
  175. package/src/public/avm/opcodes/arithmetic.ts +1 -1
  176. package/src/public/avm/opcodes/bitwise.ts +3 -3
  177. package/src/public/avm/opcodes/comparators.ts +1 -1
  178. package/src/public/avm/opcodes/contract.ts +4 -7
  179. package/src/public/avm/opcodes/control_flow.ts +2 -2
  180. package/src/public/avm/opcodes/conversion.ts +3 -3
  181. package/src/public/avm/opcodes/ec_add.ts +13 -4
  182. package/src/public/avm/opcodes/environment_getters.ts +3 -3
  183. package/src/public/avm/opcodes/external_calls.ts +17 -16
  184. package/src/public/avm/opcodes/hashing.ts +6 -6
  185. package/src/public/avm/opcodes/instruction_impl.ts +2 -2
  186. package/src/public/avm/opcodes/memory.ts +19 -19
  187. package/src/public/avm/opcodes/misc.ts +2 -2
  188. package/src/public/avm/opcodes/storage.ts +30 -22
  189. package/src/public/debug_fn_name.ts +10 -8
  190. package/src/public/executor_metrics.ts +4 -1
  191. package/src/public/fixtures/custom_bytecode_tests.ts +27 -18
  192. package/src/public/fixtures/minimal_public_tx.ts +2 -2
  193. package/src/public/fixtures/opcode_spammer.ts +196 -113
  194. package/src/public/fuzzing/avm_fuzzer_simulator.ts +60 -12
  195. package/src/public/fuzzing/avm_simulator_bin.ts +26 -4
  196. package/src/public/public_db_sources.ts +15 -5
  197. package/src/public/public_processor/public_processor.ts +21 -7
  198. package/src/public/public_processor/public_processor_metrics.ts +10 -4
  199. package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +6 -3
  200. package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +11 -7
  201. package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +6 -4
  202. package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +7 -5
  203. package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +3 -1
  204. package/src/public/public_tx_simulator/factories.ts +4 -2
  205. package/src/public/public_tx_simulator/public_tx_context.ts +13 -6
  206. package/src/public/public_tx_simulator/public_tx_simulator.ts +18 -7
  207. package/src/public/side_effect_trace.ts +5 -2
  208. package/src/public/state_manager/state_manager.ts +29 -20
  209. package/src/public/test_executor_metrics.ts +3 -3
@@ -26,7 +26,7 @@ export class EcAdd extends Instruction {
26
26
  ];
27
27
 
28
28
  constructor(
29
- private indirect: number,
29
+ private addressingMode: number,
30
30
  private p1XOffset: number,
31
31
  private p1YOffset: number,
32
32
  private p1IsInfiniteOffset: number,
@@ -40,7 +40,7 @@ export class EcAdd extends Instruction {
40
40
 
41
41
  public async execute(context: AvmContext): Promise<void> {
42
42
  const memory = context.machineState.memory;
43
- const addressing = Addressing.fromWire(this.indirect);
43
+ const addressing = Addressing.fromWire(this.addressingMode);
44
44
 
45
45
  context.machineState.consumeGas(
46
46
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -79,12 +79,21 @@ export class EcAdd extends Instruction {
79
79
  }
80
80
 
81
81
  let dest;
82
- if (p1IsInfinite) {
82
+ if (p1IsInfinite && p2IsInfinite) {
83
+ dest = Point.ZERO;
84
+ } else if (p1IsInfinite) {
83
85
  dest = p2;
84
86
  } else if (p2IsInfinite) {
85
87
  dest = p1;
86
88
  } else {
87
- dest = await Grumpkin.add(p1, p2);
89
+ // TS<>BB ecc add communication is broken for points that add up to infinity.
90
+ // However, here we know that both points are on the curve, and that none is infinity
91
+ // so we can check for the case where you add p + (-p) = infinity.
92
+ if (p1.x.equals(p2.x) && !p1.y.equals(p2.y)) {
93
+ dest = Point.ZERO;
94
+ } else {
95
+ dest = await Grumpkin.add(p1, p2);
96
+ }
88
97
  }
89
98
 
90
99
  // Important to use setSlice() and not set() in the two following statements as
@@ -56,13 +56,13 @@ export class GetEnvVar extends Instruction {
56
56
  public static readonly opcode: Opcode = Opcode.GETENVVAR_16;
57
57
  static readonly wireFormat16: OperandType[] = [
58
58
  OperandType.UINT8, // opcode
59
- OperandType.UINT8, // indirect
59
+ OperandType.UINT8, // addressing_mode
60
60
  OperandType.UINT16, // dstOffset
61
61
  OperandType.UINT8, // variable enum (immediate)
62
62
  ];
63
63
 
64
64
  constructor(
65
- private indirect: number,
65
+ private addressingMode: number,
66
66
  private dstOffset: number,
67
67
  private varEnum: number,
68
68
  ) {
@@ -71,7 +71,7 @@ export class GetEnvVar extends Instruction {
71
71
 
72
72
  public async execute(context: AvmContext): Promise<void> {
73
73
  const memory = context.machineState.memory;
74
- const addressing = Addressing.fromWire(this.indirect);
74
+ const addressing = Addressing.fromWire(this.addressingMode);
75
75
 
76
76
  context.machineState.consumeGas(
77
77
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -1,6 +1,7 @@
1
1
  import type { AvmContext } from '../avm_context.js';
2
2
  import type { AvmContractCallResult } from '../avm_contract_call_result.js';
3
3
  import { type Field, TypeTag, Uint1 } from '../avm_memory_types.js';
4
+ import { CallDataMemory, ReturnDataMemory } from '../calldata.js';
4
5
  import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
5
6
  import { Addressing } from './addressing_mode.js';
6
7
  import { Instruction } from './instruction.js';
@@ -9,7 +10,7 @@ abstract class ExternalCall extends Instruction {
9
10
  // Informs (de)serialization. See Instruction.deserialize.
10
11
  static readonly wireFormat: OperandType[] = [
11
12
  OperandType.UINT8,
12
- OperandType.UINT16, // Indirect
13
+ OperandType.UINT16, // addressing_mode
13
14
  OperandType.UINT16, // L2 gas offset
14
15
  OperandType.UINT16, // DA gas offset
15
16
  OperandType.UINT16, // Address offset
@@ -18,7 +19,7 @@ abstract class ExternalCall extends Instruction {
18
19
  ];
19
20
 
20
21
  constructor(
21
- private indirect: number,
22
+ private addressingMode: number,
22
23
  private l2GasOffset: number,
23
24
  private daGasOffset: number,
24
25
  private addrOffset: number,
@@ -30,7 +31,7 @@ abstract class ExternalCall extends Instruction {
30
31
 
31
32
  public async execute(context: AvmContext) {
32
33
  const memory = context.machineState.memory;
33
- const addressing = Addressing.fromWire(this.indirect);
34
+ const addressing = Addressing.fromWire(this.addressingMode);
34
35
 
35
36
  context.machineState.consumeGas(
36
37
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -45,8 +46,8 @@ abstract class ExternalCall extends Instruction {
45
46
  memory.checkTag(TypeTag.UINT32, argsSizeOffset);
46
47
 
47
48
  const calldataSize = memory.get(argsSizeOffset).toNumber();
48
- // This is a DOS vector. CalldataSize is chosen by the bytecode, and can be arbitrarily large leading to a OOM here.
49
- const calldata = memory.getSlice(argsOffset, calldataSize).map(f => f.toFr());
49
+
50
+ const calldata = new CallDataMemory(memory, argsOffset, calldataSize);
50
51
 
51
52
  const callAddress = memory.getAs<Field>(addrOffset);
52
53
  // If we are already in a static call, we propagate the environment.
@@ -73,8 +74,8 @@ abstract class ExternalCall extends Instruction {
73
74
  const success = !nestedCallResults.reverted;
74
75
 
75
76
  // Save return/revert data for later.
76
- const fullReturnData = nestedCallResults.output;
77
- context.machineState.nestedReturndata = fullReturnData;
77
+ const returnData = nestedCallResults.output;
78
+ context.machineState.nestedReturndata = returnData;
78
79
 
79
80
  // Track the success status directly
80
81
  context.machineState.nestedCallSuccess = success;
@@ -89,7 +90,7 @@ abstract class ExternalCall extends Instruction {
89
90
  // (in Noir code).
90
91
  if (!success) {
91
92
  context.machineState.collectedRevertInfo = {
92
- revertDataRepresentative: fullReturnData,
93
+ revertDataRepresentative: returnData.bestEffortReadAll(),
93
94
  recursiveRevertReason: nestedCallResults.revertReason!,
94
95
  };
95
96
  }
@@ -137,7 +138,7 @@ export class SuccessCopy extends Instruction {
137
138
  ];
138
139
 
139
140
  constructor(
140
- private indirect: number,
141
+ private addressingMode: number,
141
142
  private dstOffset: number,
142
143
  ) {
143
144
  super();
@@ -145,7 +146,7 @@ export class SuccessCopy extends Instruction {
145
146
 
146
147
  public async execute(context: AvmContext): Promise<void> {
147
148
  const memory = context.machineState.memory;
148
- const addressing = Addressing.fromWire(this.indirect);
149
+ const addressing = Addressing.fromWire(this.addressingMode);
149
150
 
150
151
  context.machineState.consumeGas(
151
152
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -174,7 +175,7 @@ export class Return extends Instruction {
174
175
  ];
175
176
 
176
177
  constructor(
177
- private indirect: number,
178
+ private addressingMode: number,
178
179
  private returnSizeOffset: number,
179
180
  private returnOffset: number,
180
181
  ) {
@@ -183,7 +184,7 @@ export class Return extends Instruction {
183
184
 
184
185
  public async execute(context: AvmContext): Promise<void> {
185
186
  const memory = context.machineState.memory;
186
- const addressing = Addressing.fromWire(this.indirect);
187
+ const addressing = Addressing.fromWire(this.addressingMode);
187
188
 
188
189
  context.machineState.consumeGas(
189
190
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -195,7 +196,7 @@ export class Return extends Instruction {
195
196
  memory.checkTag(TypeTag.UINT32, returnSizeOffset);
196
197
  const returnSize = memory.get(returnSizeOffset).toNumber();
197
198
 
198
- const output = memory.getSlice(returnOffset, returnSize).map(word => word.toFr());
199
+ const output = new ReturnDataMemory(memory, returnOffset, returnSize);
199
200
 
200
201
  context.machineState.return(output);
201
202
  }
@@ -223,7 +224,7 @@ export class Revert extends Instruction {
223
224
  ];
224
225
 
225
226
  constructor(
226
- private indirect: number,
227
+ private addressingMode: number,
227
228
  private retSizeOffset: number,
228
229
  private returnOffset: number,
229
230
  ) {
@@ -232,7 +233,7 @@ export class Revert extends Instruction {
232
233
 
233
234
  public async execute(context: AvmContext): Promise<void> {
234
235
  const memory = context.machineState.memory;
235
- const addressing = Addressing.fromWire(this.indirect);
236
+ const addressing = Addressing.fromWire(this.addressingMode);
236
237
 
237
238
  context.machineState.consumeGas(
238
239
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -243,7 +244,7 @@ export class Revert extends Instruction {
243
244
 
244
245
  memory.checkTag(TypeTag.UINT32, retSizeOffset);
245
246
  const retSize = memory.get(retSizeOffset).toNumber();
246
- const output = memory.getSlice(returnOffset, retSize).map(word => word.toFr());
247
+ const output = new ReturnDataMemory(memory, returnOffset, retSize);
247
248
 
248
249
  context.machineState.revert(output);
249
250
  }
@@ -22,7 +22,7 @@ export class Poseidon2 extends Instruction {
22
22
  ];
23
23
 
24
24
  constructor(
25
- private indirect: number,
25
+ private addressingMode: number,
26
26
  private inputStateOffset: number,
27
27
  private outputStateOffset: number,
28
28
  ) {
@@ -31,7 +31,7 @@ export class Poseidon2 extends Instruction {
31
31
 
32
32
  public async execute(context: AvmContext): Promise<void> {
33
33
  const memory = context.machineState.memory;
34
- const addressing = Addressing.fromWire(this.indirect);
34
+ const addressing = Addressing.fromWire(this.addressingMode);
35
35
 
36
36
  context.machineState.consumeGas(
37
37
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -65,7 +65,7 @@ export class KeccakF1600 extends Instruction {
65
65
  ];
66
66
 
67
67
  constructor(
68
- private indirect: number,
68
+ private addressingMode: number,
69
69
  private dstOffset: number,
70
70
  private inputOffset: number,
71
71
  ) {
@@ -76,7 +76,7 @@ export class KeccakF1600 extends Instruction {
76
76
  public async execute(context: AvmContext): Promise<void> {
77
77
  const inputSize = 25;
78
78
  const memory = context.machineState.memory;
79
- const addressing = Addressing.fromWire(this.indirect);
79
+ const addressing = Addressing.fromWire(this.addressingMode);
80
80
 
81
81
  context.machineState.consumeGas(
82
82
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -109,7 +109,7 @@ export class Sha256Compression extends Instruction {
109
109
  ];
110
110
 
111
111
  constructor(
112
- private indirect: number,
112
+ private addressingMode: number,
113
113
  private outputOffset: number,
114
114
  private stateOffset: number,
115
115
  private inputsOffset: number,
@@ -122,7 +122,7 @@ export class Sha256Compression extends Instruction {
122
122
  const INPUTS_SIZE = 16;
123
123
 
124
124
  const memory = context.machineState.memory;
125
- const addressing = Addressing.fromWire(this.indirect);
125
+ const addressing = Addressing.fromWire(this.addressingMode);
126
126
 
127
127
  context.machineState.consumeGas(
128
128
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -19,14 +19,14 @@ export const ThreeOperandWireFormat16 = [
19
19
 
20
20
  /**
21
21
  * Covers (de)serialization for an instruction with:
22
- * indirect, inTag, and three operands.
22
+ * addressing mode, inTag, and three operands.
23
23
  */
24
24
  export abstract class ThreeOperandInstruction extends Instruction {
25
25
  static readonly wireFormat8: OperandType[] = ThreeOperandWireFormat8;
26
26
  static readonly wireFormat16: OperandType[] = ThreeOperandWireFormat16;
27
27
 
28
28
  constructor(
29
- protected indirect: number,
29
+ protected addressingMode: number,
30
30
  protected aOffset: number,
31
31
  protected bOffset: number,
32
32
  protected dstOffset: number,
@@ -15,49 +15,49 @@ export class Set extends Instruction {
15
15
 
16
16
  public static readonly wireFormat8: OperandType[] = [
17
17
  OperandType.UINT8, // opcode
18
- OperandType.UINT8, // indirect
18
+ OperandType.UINT8, // addressing_mode
19
19
  OperandType.UINT8, // dstOffset
20
20
  OperandType.TAG, // tag
21
21
  OperandType.UINT8, // const (value)
22
22
  ];
23
23
  public static readonly wireFormat16: OperandType[] = [
24
24
  OperandType.UINT8, // opcode
25
- OperandType.UINT8, // indirect
25
+ OperandType.UINT8, // addressing_mode
26
26
  OperandType.UINT16, // dstOffset
27
27
  OperandType.TAG, // tag
28
28
  OperandType.UINT16, // const (value)
29
29
  ];
30
30
  public static readonly wireFormat32: OperandType[] = [
31
31
  OperandType.UINT8, // opcode
32
- OperandType.UINT8, // indirect
32
+ OperandType.UINT8, // addressing_mode
33
33
  OperandType.UINT16, // dstOffset
34
34
  OperandType.TAG, // tag
35
35
  OperandType.UINT32, // const (value)
36
36
  ];
37
37
  public static readonly wireFormat64: OperandType[] = [
38
38
  OperandType.UINT8, // opcode
39
- OperandType.UINT8, // indirect
39
+ OperandType.UINT8, // addressing_mode
40
40
  OperandType.UINT16, // dstOffset
41
41
  OperandType.TAG, // tag
42
42
  OperandType.UINT64, // const (value)
43
43
  ];
44
44
  public static readonly wireFormat128: OperandType[] = [
45
45
  OperandType.UINT8, // opcode
46
- OperandType.UINT8, // indirect
46
+ OperandType.UINT8, // addressing_mode
47
47
  OperandType.UINT16, // dstOffset
48
48
  OperandType.TAG, // tag
49
49
  OperandType.UINT128, // const (value)
50
50
  ];
51
51
  public static readonly wireFormatFF: OperandType[] = [
52
52
  OperandType.UINT8, // opcode
53
- OperandType.UINT8, // indirect
53
+ OperandType.UINT8, // addressing_mode
54
54
  OperandType.UINT16, // dstOffset
55
55
  OperandType.TAG, // tag
56
56
  OperandType.FF, // const (value)
57
57
  ];
58
58
 
59
59
  constructor(
60
- private indirect: number,
60
+ private addressingMode: number,
61
61
  private dstOffset: number,
62
62
  private inTag: number,
63
63
  private value: bigint | number,
@@ -72,7 +72,7 @@ export class Set extends Instruction {
72
72
  const res = TaggedMemory.buildFromTagTruncating(this.value, this.inTag);
73
73
 
74
74
  const memory = context.machineState.memory;
75
- const addressing = Addressing.fromWire(this.indirect);
75
+ const addressing = Addressing.fromWire(this.addressingMode);
76
76
 
77
77
  context.machineState.consumeGas(
78
78
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -104,7 +104,7 @@ export class Cast extends Instruction {
104
104
  ];
105
105
 
106
106
  constructor(
107
- private indirect: number,
107
+ private addressingMode: number,
108
108
  private srcOffset: number,
109
109
  private dstOffset: number,
110
110
  private dstTag: number,
@@ -114,7 +114,7 @@ export class Cast extends Instruction {
114
114
 
115
115
  public async execute(context: AvmContext): Promise<void> {
116
116
  const memory = context.machineState.memory;
117
- const addressing = Addressing.fromWire(this.indirect);
117
+ const addressing = Addressing.fromWire(this.addressingMode);
118
118
 
119
119
  context.machineState.consumeGas(
120
120
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -150,7 +150,7 @@ export class Mov extends Instruction {
150
150
  ];
151
151
 
152
152
  constructor(
153
- private indirect: number,
153
+ private addressingMode: number,
154
154
  private srcOffset: number,
155
155
  private dstOffset: number,
156
156
  ) {
@@ -159,7 +159,7 @@ export class Mov extends Instruction {
159
159
 
160
160
  public async execute(context: AvmContext): Promise<void> {
161
161
  const memory = context.machineState.memory;
162
- const addressing = Addressing.fromWire(this.indirect);
162
+ const addressing = Addressing.fromWire(this.addressingMode);
163
163
 
164
164
  context.machineState.consumeGas(
165
165
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -185,7 +185,7 @@ export class CalldataCopy extends Instruction {
185
185
  ];
186
186
 
187
187
  constructor(
188
- private indirect: number,
188
+ private addressingMode: number,
189
189
  private copySizeOffset: number,
190
190
  private cdStartOffset: number,
191
191
  private dstOffset: number,
@@ -195,7 +195,7 @@ export class CalldataCopy extends Instruction {
195
195
 
196
196
  public async execute(context: AvmContext): Promise<void> {
197
197
  const memory = context.machineState.memory;
198
- const addressing = Addressing.fromWire(this.indirect);
198
+ const addressing = Addressing.fromWire(this.addressingMode);
199
199
 
200
200
  context.machineState.consumeGas(
201
201
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -225,7 +225,7 @@ export class ReturndataSize extends Instruction {
225
225
  static readonly wireFormat: OperandType[] = [OperandType.UINT8, OperandType.UINT8, OperandType.UINT16];
226
226
 
227
227
  constructor(
228
- private indirect: number,
228
+ private addressingMode: number,
229
229
  private dstOffset: number,
230
230
  ) {
231
231
  super();
@@ -233,7 +233,7 @@ export class ReturndataSize extends Instruction {
233
233
 
234
234
  public async execute(context: AvmContext): Promise<void> {
235
235
  const memory = context.machineState.memory;
236
- const addressing = Addressing.fromWire(this.indirect);
236
+ const addressing = Addressing.fromWire(this.addressingMode);
237
237
 
238
238
  context.machineState.consumeGas(
239
239
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -242,7 +242,7 @@ export class ReturndataSize extends Instruction {
242
242
  const operands = [this.dstOffset];
243
243
  const [dstOffset] = addressing.resolve(operands, memory);
244
244
 
245
- memory.set(dstOffset, new Uint32(context.machineState.nestedReturndata.length));
245
+ memory.set(dstOffset, new Uint32(context.machineState.nestedReturndata.length()));
246
246
  }
247
247
  }
248
248
 
@@ -259,7 +259,7 @@ export class ReturndataCopy extends Instruction {
259
259
  ];
260
260
 
261
261
  constructor(
262
- private indirect: number,
262
+ private addressingMode: number,
263
263
  private copySizeOffset: number,
264
264
  private rdStartOffset: number,
265
265
  private dstOffset: number,
@@ -269,7 +269,7 @@ export class ReturndataCopy extends Instruction {
269
269
 
270
270
  public async execute(context: AvmContext): Promise<void> {
271
271
  const memory = context.machineState.memory;
272
- const addressing = Addressing.fromWire(this.indirect);
272
+ const addressing = Addressing.fromWire(this.addressingMode);
273
273
 
274
274
  context.machineState.consumeGas(
275
275
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -23,7 +23,7 @@ export class DebugLog extends Instruction {
23
23
  ];
24
24
 
25
25
  constructor(
26
- private indirect: number,
26
+ private addressingMode: number,
27
27
  private levelOffset: number,
28
28
  private messageOffset: number,
29
29
  private fieldsOffset: number,
@@ -35,7 +35,7 @@ export class DebugLog extends Instruction {
35
35
 
36
36
  public async execute(context: AvmContext): Promise<void> {
37
37
  const memory = context.machineState.memory;
38
- const addressing = Addressing.fromWire(this.indirect);
38
+ const addressing = Addressing.fromWire(this.addressingMode);
39
39
 
40
40
  context.machineState.consumeGas(
41
41
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
@@ -5,7 +5,9 @@ import { Opcode, OperandType } from '../serialization/instruction_serialization.
5
5
  import { Addressing } from './addressing_mode.js';
6
6
  import { Instruction } from './instruction.js';
7
7
 
8
- abstract class BaseStorageInstruction extends Instruction {
8
+ export class SStore extends Instruction {
9
+ static readonly type: string = 'SSTORE';
10
+ static readonly opcode = Opcode.SSTORE;
9
11
  // Informs (de)serialization. See Instruction.deserialize.
10
12
  public static readonly wireFormat: OperandType[] = [
11
13
  OperandType.UINT8,
@@ -15,21 +17,12 @@ abstract class BaseStorageInstruction extends Instruction {
15
17
  ];
16
18
 
17
19
  constructor(
18
- protected indirect: number,
19
- protected aOffset: number,
20
- protected bOffset: number,
20
+ private addressingMode: number,
21
+ private srcOffset: number,
22
+ private slotOffset: number,
21
23
  ) {
22
24
  super();
23
25
  }
24
- }
25
-
26
- export class SStore extends BaseStorageInstruction {
27
- static readonly type: string = 'SSTORE';
28
- static readonly opcode = Opcode.SSTORE;
29
-
30
- constructor(indirect: number, srcOffset: number, slotOffset: number) {
31
- super(indirect, srcOffset, slotOffset);
32
- }
33
26
 
34
27
  public async execute(context: AvmContext): Promise<void> {
35
28
  if (context.environment.isStaticCall) {
@@ -37,13 +30,13 @@ export class SStore extends BaseStorageInstruction {
37
30
  }
38
31
 
39
32
  const memory = context.machineState.memory;
40
- const addressing = Addressing.fromWire(this.indirect);
33
+ const addressing = Addressing.fromWire(this.addressingMode);
41
34
 
42
35
  context.machineState.consumeGas(
43
36
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
44
37
  );
45
38
 
46
- const operands = [this.aOffset, this.bOffset];
39
+ const operands = [this.srcOffset, this.slotOffset];
47
40
  const [srcOffset, slotOffset] = addressing.resolve(operands, memory);
48
41
  // We read before tag checking since it's needed for gas cost calculation
49
42
  const slot = memory.get(slotOffset).toFr();
@@ -60,28 +53,43 @@ export class SStore extends BaseStorageInstruction {
60
53
  }
61
54
  }
62
55
 
63
- export class SLoad extends BaseStorageInstruction {
56
+ export class SLoad extends Instruction {
64
57
  static readonly type: string = 'SLOAD';
65
58
  static readonly opcode = Opcode.SLOAD;
59
+ // Informs (de)serialization. See Instruction.deserialize.
60
+ public static readonly wireFormat: OperandType[] = [
61
+ OperandType.UINT8,
62
+ OperandType.UINT8,
63
+ OperandType.UINT16,
64
+ OperandType.UINT16,
65
+ OperandType.UINT16,
66
+ ];
66
67
 
67
- constructor(indirect: number, slotOffset: number, dstOffset: number) {
68
- super(indirect, slotOffset, dstOffset);
68
+ constructor(
69
+ private addressingMode: number,
70
+ private slotOffset: number,
71
+ private contractAddressOffset: number,
72
+ private dstOffset: number,
73
+ ) {
74
+ super();
69
75
  }
70
76
 
71
77
  public async execute(context: AvmContext): Promise<void> {
72
78
  const memory = context.machineState.memory;
73
- const addressing = Addressing.fromWire(this.indirect);
79
+ const addressing = Addressing.fromWire(this.addressingMode);
74
80
 
75
81
  context.machineState.consumeGas(
76
82
  this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
77
83
  );
78
84
 
79
- const operands = [this.aOffset, this.bOffset];
80
- const [slotOffset, dstOffset] = addressing.resolve(operands, memory);
85
+ const operands = [this.slotOffset, this.contractAddressOffset, this.dstOffset];
86
+ const [slotOffset, contractAddressOffset, dstOffset] = addressing.resolve(operands, memory);
81
87
  memory.checkTag(TypeTag.FIELD, slotOffset);
88
+ memory.checkTag(TypeTag.FIELD, contractAddressOffset);
82
89
 
83
90
  const slot = memory.get(slotOffset).toFr();
84
- const value = await context.persistableState.readStorage(context.environment.address, slot);
91
+ const contractAddress = memory.get(contractAddressOffset).toAztecAddress();
92
+ const value = await context.persistableState.readStorage(contractAddress, slot);
85
93
  memory.set(dstOffset, new Field(value));
86
94
  }
87
95
  }
@@ -1,20 +1,21 @@
1
- import type { Fr } from '@aztec/foundation/curves/bn254';
2
1
  import { FunctionSelector } from '@aztec/stdlib/abi';
3
2
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
3
 
4
+ import type { CallData } from './avm/calldata.js';
5
5
  import type { PublicContractsDBInterface } from './db_interfaces.js';
6
6
 
7
7
  export async function getPublicFunctionDebugName(
8
8
  db: PublicContractsDBInterface,
9
9
  contractAddress: AztecAddress,
10
- calldata: Fr[],
10
+ calldata: CallData,
11
11
  ): Promise<string> {
12
12
  // Public function is dispatched and therefore the target function is passed in the first argument.
13
- if (!calldata[0]) {
13
+ const selectorField = calldata.read(0);
14
+ if (!selectorField) {
14
15
  return `<calldata[0] undefined> (Contract Address: ${contractAddress})`;
15
16
  }
16
- const fallbackName = `<calldata[0]:${calldata[0].toString()}> (Contract Address: ${contractAddress})`;
17
- const selector = FunctionSelector.fromFieldOrUndefined(calldata[0]);
17
+ const fallbackName = `<calldata[0]:${selectorField.toString()}> (Contract Address: ${contractAddress})`;
18
+ const selector = FunctionSelector.fromFieldOrUndefined(selectorField);
18
19
  if (!selector) {
19
20
  return fallbackName;
20
21
  }
@@ -32,13 +33,14 @@ export async function getPublicFunctionDebugName(
32
33
  export async function getPublicFunctionSelectorAndName(
33
34
  db: PublicContractsDBInterface,
34
35
  contractAddress: AztecAddress,
35
- calldata: Fr[],
36
+ calldata: CallData,
36
37
  ): Promise<{ functionSelector?: FunctionSelector; functionName?: string }> {
37
38
  // Public function is dispatched and therefore the target function is passed in the first argument.
38
- if (!calldata[0]) {
39
+ const selectorField = calldata.read(0);
40
+ if (!selectorField) {
39
41
  return {};
40
42
  }
41
- const selector = FunctionSelector.fromFieldOrUndefined(calldata[0]);
43
+ const selector = FunctionSelector.fromFieldOrUndefined(selectorField);
42
44
  if (!selector) {
43
45
  return {};
44
46
  }
@@ -7,6 +7,7 @@ import {
7
7
  type TelemetryClient,
8
8
  type Tracer,
9
9
  type UpDownCounter,
10
+ createUpDownCounterWithDefault,
10
11
  } from '@aztec/telemetry-client';
11
12
 
12
13
  import type { ExecutorMetricsInterface } from './executor_metrics_interface.js';
@@ -25,7 +26,9 @@ export class ExecutorMetrics implements ExecutorMetricsInterface {
25
26
  this.tracer = client.getTracer(name);
26
27
  const meter = client.getMeter(name);
27
28
 
28
- this.fnCount = meter.createUpDownCounter(Metrics.PUBLIC_EXECUTOR_SIMULATION_COUNT);
29
+ this.fnCount = createUpDownCounterWithDefault(meter, Metrics.PUBLIC_EXECUTOR_SIMULATION_COUNT, {
30
+ [Attributes.OK]: [true, false],
31
+ });
29
32
 
30
33
  this.fnDuration = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_DURATION);
31
34