@aztec/simulator 0.0.1-commit.c7c42ec → 0.0.1-commit.d1f2d6c
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.
- package/README.md +2 -0
- package/dest/common/errors.d.ts +7 -1
- package/dest/common/errors.d.ts.map +1 -1
- package/dest/private/circuit_recording/circuit_recorder.d.ts +1 -1
- package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/circuit_recorder.js +15 -14
- package/dest/public/avm/avm_memory_types.d.ts +1 -1
- package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
- package/dest/public/avm/avm_memory_types.js +3 -0
- package/dest/public/avm/opcodes/accrued_substate.d.ts +15 -15
- package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
- package/dest/public/avm/opcodes/accrued_substate.js +29 -29
- package/dest/public/avm/opcodes/arithmetic.d.ts +8 -8
- package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
- package/dest/public/avm/opcodes/arithmetic.js +1 -1
- package/dest/public/avm/opcodes/bitwise.d.ts +7 -7
- package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
- package/dest/public/avm/opcodes/bitwise.js +5 -5
- package/dest/public/avm/opcodes/comparators.d.ts +4 -4
- package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
- package/dest/public/avm/opcodes/comparators.js +1 -1
- package/dest/public/avm/opcodes/contract.d.ts +3 -3
- package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
- package/dest/public/avm/opcodes/contract.js +8 -8
- package/dest/public/avm/opcodes/control_flow.d.ts +3 -3
- package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
- package/dest/public/avm/opcodes/control_flow.js +4 -4
- package/dest/public/avm/opcodes/conversion.d.ts +3 -3
- package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
- package/dest/public/avm/opcodes/conversion.js +4 -4
- package/dest/public/avm/opcodes/ec_add.d.ts +4 -4
- package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
- package/dest/public/avm/opcodes/ec_add.js +15 -6
- package/dest/public/avm/opcodes/environment_getters.d.ts +5 -5
- package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
- package/dest/public/avm/opcodes/environment_getters.js +6 -6
- package/dest/public/avm/opcodes/external_calls.d.ts +9 -9
- package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
- package/dest/public/avm/opcodes/external_calls.js +17 -16
- package/dest/public/avm/opcodes/hashing.d.ts +8 -8
- package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
- package/dest/public/avm/opcodes/hashing.js +12 -12
- package/dest/public/avm/opcodes/instruction_impl.d.ts +4 -4
- package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
- package/dest/public/avm/opcodes/instruction_impl.js +4 -4
- package/dest/public/avm/opcodes/memory.d.ts +14 -14
- package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
- package/dest/public/avm/opcodes/memory.js +24 -24
- package/dest/public/avm/opcodes/misc.d.ts +3 -3
- package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
- package/dest/public/avm/opcodes/misc.js +4 -4
- package/dest/public/avm/opcodes/storage.d.ts +16 -15
- package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
- package/dest/public/avm/opcodes/storage.js +34 -24
- package/dest/public/executor_metrics.d.ts +1 -1
- package/dest/public/executor_metrics.d.ts.map +1 -1
- package/dest/public/executor_metrics.js +8 -34
- package/dest/public/fixtures/bulk_test.d.ts +3 -3
- package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
- package/dest/public/fixtures/bulk_test.js +1 -17
- package/dest/public/fixtures/custom_bytecode_tests.d.ts +11 -11
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -1
- package/dest/public/fixtures/custom_bytecode_tests.js +18 -18
- package/dest/public/fixtures/minimal_public_tx.js +2 -2
- package/dest/public/fixtures/opcode_spammer.d.ts +1 -1
- package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -1
- package/dest/public/fixtures/opcode_spammer.js +92 -80
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +21 -7
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
- package/dest/public/fuzzing/avm_fuzzer_simulator.js +42 -10
- package/dest/public/fuzzing/avm_simulator_bin.js +29 -11
- package/dest/public/hinting_db_sources.js +3 -1
- package/dest/public/public_processor/guarded_merkle_tree.js +3 -1
- package/dest/public/public_processor/public_processor.d.ts +2 -2
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +402 -21
- package/dest/public/public_processor/public_processor_metrics.d.ts +1 -1
- package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor_metrics.js +12 -45
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +1 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +2 -1
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +4 -3
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.js +5 -3
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +395 -19
- package/dest/public/side_effect_trace.d.ts +2 -1
- package/dest/public/side_effect_trace.d.ts.map +1 -1
- package/dest/public/state_manager/state_manager.d.ts +1 -1
- package/dest/public/state_manager/state_manager.d.ts.map +1 -1
- package/dest/public/state_manager/state_manager.js +2 -2
- package/package.json +17 -17
- package/src/private/circuit_recording/circuit_recorder.ts +16 -15
- package/src/public/avm/avm_memory_types.ts +4 -0
- package/src/public/avm/opcodes/accrued_substate.ts +15 -15
- package/src/public/avm/opcodes/arithmetic.ts +1 -1
- package/src/public/avm/opcodes/bitwise.ts +3 -3
- package/src/public/avm/opcodes/comparators.ts +1 -1
- package/src/public/avm/opcodes/contract.ts +4 -7
- package/src/public/avm/opcodes/control_flow.ts +2 -2
- package/src/public/avm/opcodes/conversion.ts +3 -3
- package/src/public/avm/opcodes/ec_add.ts +13 -4
- package/src/public/avm/opcodes/environment_getters.ts +7 -7
- package/src/public/avm/opcodes/external_calls.ts +10 -9
- package/src/public/avm/opcodes/hashing.ts +6 -6
- package/src/public/avm/opcodes/instruction_impl.ts +2 -2
- package/src/public/avm/opcodes/memory.ts +18 -18
- package/src/public/avm/opcodes/misc.ts +2 -2
- package/src/public/avm/opcodes/storage.ts +30 -22
- package/src/public/executor_metrics.ts +7 -34
- package/src/public/fixtures/bulk_test.ts +2 -2
- package/src/public/fixtures/custom_bytecode_tests.ts +27 -18
- package/src/public/fixtures/minimal_public_tx.ts +2 -2
- package/src/public/fixtures/opcode_spammer.ts +197 -81
- package/src/public/fuzzing/avm_fuzzer_simulator.ts +60 -12
- package/src/public/fuzzing/avm_simulator_bin.ts +43 -8
- package/src/public/public_processor/public_processor.ts +3 -2
- package/src/public/public_processor/public_processor_metrics.ts +11 -45
- package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +9 -1
- package/src/public/public_tx_simulator/public_tx_simulator.ts +4 -2
- package/src/public/state_manager/state_manager.ts +2 -16
|
@@ -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, //
|
|
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, //
|
|
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, //
|
|
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, //
|
|
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, //
|
|
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, //
|
|
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
|
|
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.
|
|
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
|
|
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.
|
|
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
|
|
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.
|
|
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
|
|
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.
|
|
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
|
|
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.
|
|
236
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
237
237
|
|
|
238
238
|
context.machineState.consumeGas(
|
|
239
239
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -259,7 +259,7 @@ export class ReturndataCopy extends Instruction {
|
|
|
259
259
|
];
|
|
260
260
|
|
|
261
261
|
constructor(
|
|
262
|
-
private
|
|
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.
|
|
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
|
|
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.
|
|
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
|
-
|
|
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
|
-
|
|
19
|
-
|
|
20
|
-
|
|
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.
|
|
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.
|
|
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
|
|
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(
|
|
68
|
-
|
|
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.
|
|
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.
|
|
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
|
|
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
|
}
|
|
@@ -7,7 +7,6 @@ import {
|
|
|
7
7
|
type TelemetryClient,
|
|
8
8
|
type Tracer,
|
|
9
9
|
type UpDownCounter,
|
|
10
|
-
ValueType,
|
|
11
10
|
} from '@aztec/telemetry-client';
|
|
12
11
|
|
|
13
12
|
import type { ExecutorMetricsInterface } from './executor_metrics_interface.js';
|
|
@@ -26,45 +25,19 @@ export class ExecutorMetrics implements ExecutorMetricsInterface {
|
|
|
26
25
|
this.tracer = client.getTracer(name);
|
|
27
26
|
const meter = client.getMeter(name);
|
|
28
27
|
|
|
29
|
-
this.fnCount = meter.createUpDownCounter(Metrics.PUBLIC_EXECUTOR_SIMULATION_COUNT
|
|
30
|
-
description: 'Number of functions executed',
|
|
31
|
-
});
|
|
28
|
+
this.fnCount = meter.createUpDownCounter(Metrics.PUBLIC_EXECUTOR_SIMULATION_COUNT);
|
|
32
29
|
|
|
33
|
-
this.fnDuration = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_DURATION
|
|
34
|
-
description: 'How long it takes to execute a function',
|
|
35
|
-
unit: 'ms',
|
|
36
|
-
valueType: ValueType.INT,
|
|
37
|
-
});
|
|
30
|
+
this.fnDuration = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_DURATION);
|
|
38
31
|
|
|
39
|
-
this.manaPerSecond = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_MANA_PER_SECOND
|
|
40
|
-
description: 'Mana used per second',
|
|
41
|
-
unit: 'mana/s',
|
|
42
|
-
valueType: ValueType.INT,
|
|
43
|
-
});
|
|
32
|
+
this.manaPerSecond = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_MANA_PER_SECOND);
|
|
44
33
|
|
|
45
|
-
this.manaUsed = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_MANA_USED
|
|
46
|
-
description: 'Total mana used',
|
|
47
|
-
unit: 'mana',
|
|
48
|
-
valueType: ValueType.INT,
|
|
49
|
-
});
|
|
34
|
+
this.manaUsed = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_MANA_USED);
|
|
50
35
|
|
|
51
|
-
this.totalInstructionsExecuted = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_TOTAL_INSTRUCTIONS
|
|
52
|
-
description: 'Total number of instructions executed',
|
|
53
|
-
unit: '#instructions',
|
|
54
|
-
valueType: ValueType.INT,
|
|
55
|
-
});
|
|
36
|
+
this.totalInstructionsExecuted = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_TOTAL_INSTRUCTIONS);
|
|
56
37
|
|
|
57
|
-
this.txHashing = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_TX_HASHING
|
|
58
|
-
description: 'Tx hashing time',
|
|
59
|
-
unit: 'ms',
|
|
60
|
-
valueType: ValueType.INT,
|
|
61
|
-
});
|
|
38
|
+
this.txHashing = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_TX_HASHING);
|
|
62
39
|
|
|
63
|
-
this.privateEffectsInsertions = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_PRIVATE_EFFECTS_INSERTION
|
|
64
|
-
description: 'Private effects insertion time',
|
|
65
|
-
unit: 'us',
|
|
66
|
-
valueType: ValueType.INT,
|
|
67
|
-
});
|
|
40
|
+
this.privateEffectsInsertions = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_PRIVATE_EFFECTS_INSERTION);
|
|
68
41
|
}
|
|
69
42
|
|
|
70
43
|
startRecordingTxSimulation(_txLabel: string) {
|
|
@@ -118,7 +118,7 @@ export async function megaBulkTest(
|
|
|
118
118
|
const argsField2 = [5, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
119
119
|
const argsField3 = [7, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
120
120
|
const argsField4 = [9, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
121
|
-
const argsField5 = [11, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
121
|
+
//const argsField5 = [11, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
122
122
|
//const argsField6 = [13, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
123
123
|
//const argsField7 = [15, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
124
124
|
//const argsField8 = [17, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
|
|
@@ -144,7 +144,7 @@ export async function megaBulkTest(
|
|
|
144
144
|
{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField2) },
|
|
145
145
|
{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField3) },
|
|
146
146
|
{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField4) },
|
|
147
|
-
{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField5) },
|
|
147
|
+
//{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField5) },
|
|
148
148
|
//{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField6) },
|
|
149
149
|
//{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField7) },
|
|
150
150
|
//{ address: avmTestContract.address, fnName: 'bulk_testing', args: genArgs(argsField8) },
|
|
@@ -23,8 +23,8 @@ export async function addressingWithBaseTagIssueTest(isIndirect: boolean, tester
|
|
|
23
23
|
]);
|
|
24
24
|
|
|
25
25
|
const bytecode = encodeToBytecode([
|
|
26
|
-
new CalldataCopy(/*
|
|
27
|
-
new Return(/*
|
|
26
|
+
new CalldataCopy(/*addressing_mode=*/ addressingMode.toWire(), /*copySize=*/ 1, /*cdOffset=*/ 0, /*dstOffset=*/ 0),
|
|
27
|
+
new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
|
|
28
28
|
]);
|
|
29
29
|
|
|
30
30
|
const txLabel = isIndirect ? 'AddressingWithBaseTagInvalidIndirect' : 'AddressingWithBaseTagInvalidDirect';
|
|
@@ -44,11 +44,14 @@ export async function addressingWithIndirectTagIssueTest(tester: PublicTxSimulat
|
|
|
44
44
|
|
|
45
45
|
const bytecode = encodeToBytecode([
|
|
46
46
|
// Set a U64 value at offset 0 - this has the wrong tag for an address (should be U32)
|
|
47
|
-
new Set(/*
|
|
47
|
+
new Set(/*addressing_mode=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT64, /*value=*/ 100n).as(
|
|
48
|
+
Opcode.SET_64,
|
|
49
|
+
Set.wireFormat64,
|
|
50
|
+
),
|
|
48
51
|
// Try to use indirect addressing: read from offset 0, which contains a U64 value
|
|
49
52
|
// This should fail because U64 is not a valid address tag (must be U32)
|
|
50
|
-
new CalldataCopy(/*
|
|
51
|
-
new Return(/*
|
|
53
|
+
new CalldataCopy(/*addressing_mode=*/ addressingMode.toWire(), /*copySize=*/ 1, /*cdOffset=*/ 0, /*dstOffset=*/ 1),
|
|
54
|
+
new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
|
|
52
55
|
]);
|
|
53
56
|
|
|
54
57
|
const txLabel = 'AddressingWithIndirectTagInvalid';
|
|
@@ -69,14 +72,17 @@ export async function addressingWithIndirectThenRelativeTagIssueTest(tester: Pub
|
|
|
69
72
|
|
|
70
73
|
const bytecode = encodeToBytecode([
|
|
71
74
|
// Set a U32 value 10 at offset 1 - this will be used as an indirect address
|
|
72
|
-
new Set(/*
|
|
75
|
+
new Set(/*addressing_mode=*/ 0, /*dstOffset=*/ 1, TypeTag.UINT32, /*value=*/ 10).as(
|
|
76
|
+
Opcode.SET_32,
|
|
77
|
+
Set.wireFormat32,
|
|
78
|
+
),
|
|
73
79
|
// ADD_16: first operand uses indirect addressing (reads from offset 1, gets value 10, uses as address - succeeds)
|
|
74
80
|
// second operand uses relative addressing (tries to read base from offset 0, but offset 0 has wrong tag - fails)
|
|
75
|
-
new Add(/*
|
|
81
|
+
new Add(/*addressing_mode=*/ addressingMode.toWire(), /*aOffset=*/ 1, /*bOffset=*/ 2, /*dstOffset=*/ 3).as(
|
|
76
82
|
Opcode.ADD_16,
|
|
77
83
|
Add.wireFormat16,
|
|
78
84
|
),
|
|
79
|
-
new Return(/*
|
|
85
|
+
new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
|
|
80
86
|
]);
|
|
81
87
|
|
|
82
88
|
const txLabel = 'AddressingWithIndirectThenRelativeTagInvalid';
|
|
@@ -100,15 +106,15 @@ export async function addressingWithRelativeOverflowAndIndirectTagIssueTest(test
|
|
|
100
106
|
|
|
101
107
|
const bytecode = encodeToBytecode([
|
|
102
108
|
// Set UINT32_MAX at offset 0 as base address - this will cause overflow when adding relative offset 1
|
|
103
|
-
new Set(/*
|
|
109
|
+
new Set(/*addressing_mode=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ UINT32_MAX).as(
|
|
104
110
|
Opcode.SET_32,
|
|
105
111
|
Set.wireFormat32,
|
|
106
112
|
),
|
|
107
|
-
new Add(/*
|
|
113
|
+
new Add(/*addressing_mode=*/ addressingMode.toWire(), /*aOffset=*/ 1, /*bOffset=*/ 2, /*dstOffset=*/ 3).as(
|
|
108
114
|
Opcode.ADD_8,
|
|
109
115
|
Add.wireFormat8,
|
|
110
116
|
),
|
|
111
|
-
new Return(/*
|
|
117
|
+
new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
|
|
112
118
|
]);
|
|
113
119
|
|
|
114
120
|
const txLabel = 'AddressingWithRelativeOverflowAndIndirectTagInvalid';
|
|
@@ -118,7 +124,7 @@ export async function addressingWithRelativeOverflowAndIndirectTagIssueTest(test
|
|
|
118
124
|
export async function pcOutOfRangeTest(tester: PublicTxSimulationTester) {
|
|
119
125
|
const bytecode = encodeToBytecode([
|
|
120
126
|
new Jump(/*jumpOffset=*/ 123), // Jump to out-of-range pc offset.
|
|
121
|
-
new Return(/*
|
|
127
|
+
new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
|
|
122
128
|
]);
|
|
123
129
|
|
|
124
130
|
const txLabel = 'PcOutOfRange';
|
|
@@ -127,14 +133,14 @@ export async function pcOutOfRangeTest(tester: PublicTxSimulationTester) {
|
|
|
127
133
|
|
|
128
134
|
export async function invalidOpcodeTest(tester: PublicTxSimulationTester) {
|
|
129
135
|
let bytecode = encodeToBytecode([
|
|
130
|
-
new Set(/*
|
|
136
|
+
new Set(/*addressing_mode=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8),
|
|
131
137
|
]);
|
|
132
138
|
|
|
133
139
|
const offsetReturnOpcodeByte = bytecode.length;
|
|
134
140
|
|
|
135
141
|
bytecode = Buffer.concat([
|
|
136
142
|
bytecode,
|
|
137
|
-
encodeToBytecode([new Return(/*
|
|
143
|
+
encodeToBytecode([new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0)]),
|
|
138
144
|
]);
|
|
139
145
|
|
|
140
146
|
// Manipulate the Return opcode to make the opcode invalid (out of range).
|
|
@@ -157,7 +163,7 @@ export async function invalidByteTest(tester: PublicTxSimulationTester) {
|
|
|
157
163
|
// Truncate the last instruction in the bytecode.
|
|
158
164
|
export async function instructionTruncatedTest(tester: PublicTxSimulationTester) {
|
|
159
165
|
let bytecode = encodeToBytecode([
|
|
160
|
-
new Set(/*
|
|
166
|
+
new Set(/*addressing_mode=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8),
|
|
161
167
|
]);
|
|
162
168
|
|
|
163
169
|
// Truncate the bytecode.
|
|
@@ -170,8 +176,8 @@ export async function instructionTruncatedTest(tester: PublicTxSimulationTester)
|
|
|
170
176
|
// Invalid tag value byte in an instruction.
|
|
171
177
|
export async function invalidTagValueTest(tester: PublicTxSimulationTester) {
|
|
172
178
|
const bytecode = encodeToBytecode([
|
|
173
|
-
new Set(/*
|
|
174
|
-
new Return(/*
|
|
179
|
+
new Set(/*addressing_mode=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8),
|
|
180
|
+
new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0),
|
|
175
181
|
]);
|
|
176
182
|
|
|
177
183
|
const tagOffset = getTagOffsetInInstruction(Set.wireFormat8);
|
|
@@ -186,7 +192,10 @@ export async function invalidTagValueTest(tester: PublicTxSimulationTester) {
|
|
|
186
192
|
export async function invalidTagValueAndInstructionTruncatedTest(tester: PublicTxSimulationTester) {
|
|
187
193
|
let bytecode = encodeToBytecode([
|
|
188
194
|
// Important: value argument must be a bigint otherwise a type error will be thrown.
|
|
189
|
-
new Set(/*
|
|
195
|
+
new Set(/*addressing_mode=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT128, /*value=*/ 0n).as(
|
|
196
|
+
Opcode.SET_128,
|
|
197
|
+
Set.wireFormat128,
|
|
198
|
+
),
|
|
190
199
|
]);
|
|
191
200
|
|
|
192
201
|
// Truncate the bytecode.
|
|
@@ -12,8 +12,8 @@ export async function executeAvmMinimalPublicTx(tester: PublicTxSimulationTester
|
|
|
12
12
|
const minimalBytecode = encodeToBytecode([
|
|
13
13
|
new Set(/*indirect*/ 0, /*dstOffset*/ 0, TypeTag.UINT32, /*value*/ 1).as(Opcode.SET_8, Set.wireFormat8),
|
|
14
14
|
new Set(/*indirect*/ 0, /*dstOffset*/ 1, TypeTag.UINT32, /*value*/ 2).as(Opcode.SET_8, Set.wireFormat8),
|
|
15
|
-
new Add(/*
|
|
16
|
-
new Return(/*
|
|
15
|
+
new Add(/*addressing_mode=*/ 0, /*aOffset=*/ 0, /*bOffset=*/ 1, /*dstOffset=*/ 2).as(Opcode.ADD_8, Add.wireFormat8),
|
|
16
|
+
new Return(/*addressing_mode=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 2),
|
|
17
17
|
]);
|
|
18
18
|
|
|
19
19
|
const result = await deployAndExecuteCustomBytecode(minimalBytecode, tester, 'MinimalTx', 'AvmMinimalContract');
|