@aztec/simulator 0.0.1-commit.d3ec352c → 0.0.1-commit.f295ac2
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 +8 -2
- package/dest/common/errors.d.ts.map +1 -1
- package/dest/private/acvm/deserialize.d.ts +2 -2
- package/dest/private/acvm/deserialize.d.ts.map +1 -1
- package/dest/private/acvm/deserialize.js +1 -1
- package/dest/private/acvm/serialize.d.ts +2 -2
- package/dest/private/acvm/serialize.d.ts.map +1 -1
- package/dest/private/acvm/serialize.js +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 +16 -15
- package/dest/public/avm/avm_context.d.ts +2 -2
- package/dest/public/avm/avm_context.d.ts.map +1 -1
- package/dest/public/avm/avm_contract_call_result.d.ts +2 -2
- package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
- package/dest/public/avm/avm_execution_environment.d.ts +2 -2
- package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
- package/dest/public/avm/avm_execution_environment.js +1 -1
- package/dest/public/avm/avm_gas.d.ts +1 -1
- package/dest/public/avm/avm_gas.d.ts.map +1 -1
- package/dest/public/avm/avm_machine_state.d.ts +2 -2
- package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
- package/dest/public/avm/avm_memory_types.d.ts +2 -2
- package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
- package/dest/public/avm/avm_memory_types.js +1 -1
- package/dest/public/avm/avm_simulator.d.ts +2 -2
- package/dest/public/avm/avm_simulator.d.ts.map +1 -1
- package/dest/public/avm/avm_simulator.js +1 -1
- package/dest/public/avm/errors.d.ts +2 -2
- package/dest/public/avm/errors.d.ts.map +1 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.js +1 -1
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +2 -2
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
- package/dest/public/avm/fixtures/base_avm_simulation_tester.js +1 -1
- package/dest/public/avm/fixtures/initializers.d.ts +2 -2
- package/dest/public/avm/fixtures/initializers.d.ts.map +1 -1
- package/dest/public/avm/fixtures/initializers.js +1 -1
- package/dest/public/avm/fixtures/utils.d.ts +2 -2
- package/dest/public/avm/fixtures/utils.d.ts.map +1 -1
- package/dest/public/avm/fixtures/utils.js +1 -1
- 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 +10 -8
- package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
- package/dest/public/avm/opcodes/arithmetic.js +12 -2
- 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 +4 -4
- 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 +17 -8
- 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 +21 -16
- 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 +25 -25
- 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 +7 -7
- package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
- package/dest/public/avm/opcodes/storage.js +9 -9
- package/dest/public/avm/revert_reason.d.ts +2 -2
- package/dest/public/avm/revert_reason.d.ts.map +1 -1
- package/dest/public/avm/serialization/instruction_serialization.js +1 -1
- package/dest/public/avm/test_utils.d.ts +2 -2
- package/dest/public/avm/test_utils.d.ts.map +1 -1
- package/dest/public/avm/test_utils.js +1 -1
- package/dest/public/contracts_db_checkpoint.d.ts +2 -2
- package/dest/public/contracts_db_checkpoint.d.ts.map +1 -1
- package/dest/public/db_interfaces.d.ts +2 -2
- package/dest/public/db_interfaces.d.ts.map +1 -1
- package/dest/public/debug_fn_name.d.ts +2 -2
- package/dest/public/debug_fn_name.d.ts.map +1 -1
- package/dest/public/debug_fn_name.js +10 -3
- 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/amm_test.js +2 -2
- 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 +5 -69
- package/dest/public/fixtures/custom_bytecode_tester.d.ts +28 -6
- package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
- package/dest/public/fixtures/custom_bytecode_tester.js +36 -12
- package/dest/public/fixtures/custom_bytecode_tests.d.ts +11 -8
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -1
- package/dest/public/fixtures/custom_bytecode_tests.js +83 -18
- package/dest/public/fixtures/index.d.ts +4 -2
- package/dest/public/fixtures/index.d.ts.map +1 -1
- package/dest/public/fixtures/index.js +3 -1
- package/dest/public/fixtures/minimal_public_tx.d.ts +2 -7
- package/dest/public/fixtures/minimal_public_tx.d.ts.map +1 -1
- package/dest/public/fixtures/minimal_public_tx.js +4 -14
- package/dest/public/fixtures/opcode_spammer.d.ts +123 -0
- package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -0
- package/dest/public/fixtures/opcode_spammer.js +1681 -0
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +15 -2
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +36 -8
- package/dest/public/fixtures/simple_contract_data_source.d.ts +2 -2
- package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -1
- package/dest/public/fixtures/token_test.js +1 -1
- package/dest/public/fixtures/utils.d.ts +2 -2
- package/dest/public/fixtures/utils.d.ts.map +1 -1
- package/dest/public/fixtures/utils.js +4 -3
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +60 -0
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
- package/dest/public/fuzzing/avm_fuzzer_simulator.js +171 -0
- package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
- package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
- package/dest/public/fuzzing/avm_simulator_bin.js +115 -0
- package/dest/public/hinting_db_sources.d.ts +3 -2
- package/dest/public/hinting_db_sources.d.ts.map +1 -1
- package/dest/public/hinting_db_sources.js +7 -2
- package/dest/public/index.d.ts +2 -2
- package/dest/public/index.d.ts.map +1 -1
- package/dest/public/index.js +1 -1
- package/dest/public/public_db_sources.d.ts +2 -2
- package/dest/public/public_db_sources.d.ts.map +1 -1
- package/dest/public/public_db_sources.js +1 -1
- package/dest/public/public_processor/guarded_merkle_tree.d.ts +2 -1
- package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
- package/dest/public/public_processor/guarded_merkle_tree.js +5 -0
- package/dest/public/public_processor/public_processor.d.ts +3 -3
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +425 -32
- 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/contract_provider_for_cpp.d.ts +1 -13
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +18 -53
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +16 -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 +42 -3
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +1 -1
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +7 -6
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +22 -0
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +52 -0
- package/dest/public/public_tx_simulator/factories.d.ts +13 -0
- package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/factories.js +28 -0
- package/dest/public/public_tx_simulator/index.d.ts +3 -1
- package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/index.js +2 -0
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +3 -3
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_context.d.ts +2 -2
- package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_context.js +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +5 -4
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.js +10 -6
- package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +24 -1
- package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +2 -2
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +395 -19
- package/dest/public/side_effect_trace.d.ts +3 -2
- package/dest/public/side_effect_trace.d.ts.map +1 -1
- package/dest/public/side_effect_trace.js +1 -1
- package/dest/public/side_effect_trace_interface.d.ts +2 -2
- package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
- package/dest/public/state_manager/nullifiers.d.ts +2 -2
- package/dest/public/state_manager/nullifiers.d.ts.map +1 -1
- package/dest/public/state_manager/public_storage.d.ts +2 -2
- package/dest/public/state_manager/public_storage.d.ts.map +1 -1
- package/dest/public/state_manager/public_storage.js +1 -1
- package/dest/public/state_manager/state_manager.d.ts +2 -2
- package/dest/public/state_manager/state_manager.d.ts.map +1 -1
- package/dest/public/state_manager/state_manager.js +3 -3
- package/package.json +18 -18
- package/src/common/errors.ts +1 -1
- package/src/private/acvm/deserialize.ts +1 -1
- package/src/private/acvm/serialize.ts +1 -1
- package/src/private/circuit_recording/circuit_recorder.ts +17 -16
- package/src/public/avm/avm_context.ts +1 -1
- package/src/public/avm/avm_contract_call_result.ts +1 -1
- package/src/public/avm/avm_execution_environment.ts +1 -1
- package/src/public/avm/avm_gas.ts +3 -3
- package/src/public/avm/avm_machine_state.ts +1 -1
- package/src/public/avm/avm_memory_types.ts +1 -1
- package/src/public/avm/avm_simulator.ts +1 -1
- package/src/public/avm/errors.ts +1 -1
- package/src/public/avm/fixtures/avm_simulation_tester.ts +1 -1
- package/src/public/avm/fixtures/base_avm_simulation_tester.ts +1 -1
- package/src/public/avm/fixtures/initializers.ts +1 -1
- package/src/public/avm/fixtures/utils.ts +1 -1
- package/src/public/avm/opcodes/accrued_substate.ts +15 -15
- package/src/public/avm/opcodes/arithmetic.ts +14 -2
- 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 +3 -3
- 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 +15 -6
- 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 +16 -10
- package/src/public/avm/opcodes/instruction_impl.ts +2 -2
- package/src/public/avm/opcodes/memory.ts +19 -19
- package/src/public/avm/opcodes/misc.ts +2 -2
- package/src/public/avm/opcodes/storage.ts +7 -7
- package/src/public/avm/revert_reason.ts +1 -1
- package/src/public/avm/serialization/instruction_serialization.ts +1 -1
- package/src/public/avm/test_utils.ts +1 -1
- package/src/public/contracts_db_checkpoint.ts +1 -1
- package/src/public/db_interfaces.ts +1 -1
- package/src/public/debug_fn_name.ts +11 -4
- package/src/public/executor_metrics.ts +7 -34
- package/src/public/fixtures/amm_test.ts +2 -2
- package/src/public/fixtures/bulk_test.ts +9 -9
- package/src/public/fixtures/custom_bytecode_tester.ts +53 -19
- package/src/public/fixtures/custom_bytecode_tests.ts +111 -18
- package/src/public/fixtures/index.ts +7 -1
- package/src/public/fixtures/minimal_public_tx.ts +6 -15
- package/src/public/fixtures/opcode_spammer.ts +1725 -0
- package/src/public/fixtures/public_tx_simulation_tester.ts +40 -6
- package/src/public/fixtures/simple_contract_data_source.ts +1 -1
- package/src/public/fixtures/token_test.ts +1 -1
- package/src/public/fixtures/utils.ts +2 -3
- package/src/public/fuzzing/avm_fuzzer_simulator.ts +288 -0
- package/src/public/fuzzing/avm_simulator_bin.ts +165 -0
- package/src/public/hinting_db_sources.ts +6 -2
- package/src/public/index.ts +2 -0
- package/src/public/public_db_sources.ts +1 -1
- package/src/public/public_processor/guarded_merkle_tree.ts +4 -0
- package/src/public/public_processor/public_processor.ts +31 -14
- package/src/public/public_processor/public_processor_metrics.ts +11 -45
- package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +19 -60
- package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +56 -3
- package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +1 -1
- package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +7 -10
- package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +81 -0
- package/src/public/public_tx_simulator/factories.ts +41 -0
- package/src/public/public_tx_simulator/index.ts +2 -0
- package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +1 -1
- package/src/public/public_tx_simulator/public_tx_context.ts +1 -1
- package/src/public/public_tx_simulator/public_tx_simulator.ts +18 -5
- package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +23 -0
- package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +1 -1
- package/src/public/side_effect_trace.ts +1 -1
- package/src/public/side_effect_trace_interface.ts +1 -1
- package/src/public/state_manager/nullifiers.ts +1 -1
- package/src/public/state_manager/public_storage.ts +1 -1
- package/src/public/state_manager/state_manager.ts +4 -18
|
@@ -15,7 +15,7 @@ import { ThreeOperandInstruction } from './instruction_impl.js';
|
|
|
15
15
|
export abstract class ThreeOperandArithmeticInstruction extends ThreeOperandInstruction {
|
|
16
16
|
public async execute(context: AvmContext): Promise<void> {
|
|
17
17
|
const memory = context.machineState.memory;
|
|
18
|
-
const addressing = Addressing.fromWire(this.
|
|
18
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
19
19
|
|
|
20
20
|
context.machineState.consumeGas(
|
|
21
21
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -88,7 +88,9 @@ export class FieldDiv extends ThreeOperandArithmeticInstruction {
|
|
|
88
88
|
static readonly opcode = Opcode.FDIV_8; // FIXME: needed for gas.
|
|
89
89
|
|
|
90
90
|
protected compute(a: Field, b: Field): Field {
|
|
91
|
-
|
|
91
|
+
if (b.toBigInt() === 0n) {
|
|
92
|
+
throw new ArithmeticError('Division by zero');
|
|
93
|
+
}
|
|
92
94
|
return a.fdiv(b);
|
|
93
95
|
}
|
|
94
96
|
|
|
@@ -105,6 +107,11 @@ export class Shl extends ThreeOperandArithmeticInstruction {
|
|
|
105
107
|
protected override compute(a: IntegralValue, b: IntegralValue): IntegralValue {
|
|
106
108
|
return a.shl(b);
|
|
107
109
|
}
|
|
110
|
+
|
|
111
|
+
protected override checkTags(memory: TaggedMemoryInterface, aOffset: number, bOffset: number) {
|
|
112
|
+
memory.checkTagsAreSame(aOffset, bOffset);
|
|
113
|
+
TaggedMemory.checkIsIntegralTag(memory.getTag(aOffset)); // Follows that bOffset tag is also of integral type
|
|
114
|
+
}
|
|
108
115
|
}
|
|
109
116
|
|
|
110
117
|
export class Shr extends ThreeOperandArithmeticInstruction {
|
|
@@ -114,4 +121,9 @@ export class Shr extends ThreeOperandArithmeticInstruction {
|
|
|
114
121
|
protected override compute(a: IntegralValue, b: IntegralValue): IntegralValue {
|
|
115
122
|
return a.shr(b);
|
|
116
123
|
}
|
|
124
|
+
|
|
125
|
+
protected override checkTags(memory: TaggedMemoryInterface, aOffset: number, bOffset: number) {
|
|
126
|
+
memory.checkTagsAreSame(aOffset, bOffset);
|
|
127
|
+
TaggedMemory.checkIsIntegralTag(memory.getTag(aOffset)); // Follows that bOffset tag is also of integral type
|
|
128
|
+
}
|
|
117
129
|
}
|
|
@@ -9,7 +9,7 @@ import { ThreeOperandInstruction } from './instruction_impl.js';
|
|
|
9
9
|
abstract class ThreeOperandBitwiseInstruction extends ThreeOperandInstruction {
|
|
10
10
|
public async execute(context: AvmContext): Promise<void> {
|
|
11
11
|
const memory = context.machineState.memory;
|
|
12
|
-
const addressing = Addressing.fromWire(this.
|
|
12
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
13
13
|
|
|
14
14
|
context.machineState.consumeGas(
|
|
15
15
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -87,7 +87,7 @@ export class Not extends Instruction {
|
|
|
87
87
|
static readonly wireFormat16 = [OperandType.UINT8, OperandType.UINT8, OperandType.UINT16, OperandType.UINT16];
|
|
88
88
|
|
|
89
89
|
constructor(
|
|
90
|
-
private
|
|
90
|
+
private addressingMode: number,
|
|
91
91
|
private srcOffset: number,
|
|
92
92
|
private dstOffset: number,
|
|
93
93
|
) {
|
|
@@ -96,7 +96,7 @@ export class Not extends Instruction {
|
|
|
96
96
|
|
|
97
97
|
public async execute(context: AvmContext): Promise<void> {
|
|
98
98
|
const memory = context.machineState.memory;
|
|
99
|
-
const addressing = Addressing.fromWire(this.
|
|
99
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
100
100
|
|
|
101
101
|
context.machineState.consumeGas(
|
|
102
102
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -7,7 +7,7 @@ import { ThreeOperandInstruction } from './instruction_impl.js';
|
|
|
7
7
|
abstract class ComparatorInstruction extends ThreeOperandInstruction {
|
|
8
8
|
public async execute(context: AvmContext): Promise<void> {
|
|
9
9
|
const memory = context.machineState.memory;
|
|
10
|
-
const addressing = Addressing.fromWire(this.
|
|
10
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
11
11
|
|
|
12
12
|
context.machineState.consumeGas(
|
|
13
13
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -17,14 +17,14 @@ export class GetContractInstance extends Instruction {
|
|
|
17
17
|
// Informs (de)serialization. See Instruction.deserialize.
|
|
18
18
|
static readonly wireFormat: OperandType[] = [
|
|
19
19
|
OperandType.UINT8, // opcode
|
|
20
|
-
OperandType.UINT8, //
|
|
20
|
+
OperandType.UINT8, // addressing_mode bits
|
|
21
21
|
OperandType.UINT16, // addressOffset
|
|
22
22
|
OperandType.UINT16, // dstOffset
|
|
23
23
|
OperandType.UINT8, // member enum (immediate)
|
|
24
24
|
];
|
|
25
25
|
|
|
26
26
|
constructor(
|
|
27
|
-
private
|
|
27
|
+
private addressingMode: number,
|
|
28
28
|
private addressOffset: number,
|
|
29
29
|
private dstOffset: number,
|
|
30
30
|
private memberEnum: number,
|
|
@@ -34,7 +34,7 @@ export class GetContractInstance extends Instruction {
|
|
|
34
34
|
|
|
35
35
|
async execute(context: AvmContext): Promise<void> {
|
|
36
36
|
const memory = context.machineState.memory;
|
|
37
|
-
const addressing = Addressing.fromWire(this.
|
|
37
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
38
38
|
|
|
39
39
|
context.machineState.consumeGas(
|
|
40
40
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -39,7 +39,7 @@ export class JumpI extends Instruction {
|
|
|
39
39
|
];
|
|
40
40
|
|
|
41
41
|
constructor(
|
|
42
|
-
private
|
|
42
|
+
private addressingMode: number,
|
|
43
43
|
private condOffset: number,
|
|
44
44
|
private loc: number,
|
|
45
45
|
) {
|
|
@@ -48,7 +48,7 @@ export class JumpI extends Instruction {
|
|
|
48
48
|
|
|
49
49
|
public async execute(context: AvmContext): Promise<void> {
|
|
50
50
|
const memory = context.machineState.memory;
|
|
51
|
-
const addressing = Addressing.fromWire(this.
|
|
51
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
52
52
|
|
|
53
53
|
context.machineState.consumeGas(
|
|
54
54
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -12,7 +12,7 @@ export class ToRadixBE extends Instruction {
|
|
|
12
12
|
// Informs (de)serialization. See Instruction.deserialize.
|
|
13
13
|
static readonly wireFormat: OperandType[] = [
|
|
14
14
|
OperandType.UINT8, // Opcode
|
|
15
|
-
OperandType.UINT16, //
|
|
15
|
+
OperandType.UINT16, // addressing_mode
|
|
16
16
|
OperandType.UINT16, // src memory address
|
|
17
17
|
OperandType.UINT16, // radix memory address
|
|
18
18
|
OperandType.UINT16, // number of limbs address
|
|
@@ -21,7 +21,7 @@ export class ToRadixBE extends Instruction {
|
|
|
21
21
|
];
|
|
22
22
|
|
|
23
23
|
constructor(
|
|
24
|
-
private
|
|
24
|
+
private addressingMode: number,
|
|
25
25
|
private srcOffset: number,
|
|
26
26
|
private radixOffset: number,
|
|
27
27
|
private numLimbsOffset: number,
|
|
@@ -33,7 +33,7 @@ export class ToRadixBE extends Instruction {
|
|
|
33
33
|
|
|
34
34
|
public async execute(context: AvmContext): Promise<void> {
|
|
35
35
|
const memory = context.machineState.memory;
|
|
36
|
-
const addressing = Addressing.fromWire(this.
|
|
36
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
37
37
|
|
|
38
38
|
context.machineState.consumeGas(
|
|
39
39
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { Grumpkin } from '@aztec/foundation/crypto';
|
|
2
|
-
import { Point } from '@aztec/foundation/
|
|
1
|
+
import { Grumpkin } from '@aztec/foundation/crypto/grumpkin';
|
|
2
|
+
import { Point } from '@aztec/foundation/curves/grumpkin';
|
|
3
3
|
|
|
4
4
|
import type { AvmContext } from '../avm_context.js';
|
|
5
5
|
import { Field, TypeTag, Uint1 } from '../avm_memory_types.js';
|
|
@@ -26,7 +26,7 @@ export class EcAdd extends Instruction {
|
|
|
26
26
|
];
|
|
27
27
|
|
|
28
28
|
constructor(
|
|
29
|
-
private
|
|
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.
|
|
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
|
-
|
|
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
|
|
@@ -13,8 +13,8 @@ export enum EnvironmentVariable {
|
|
|
13
13
|
VERSION,
|
|
14
14
|
BLOCKNUMBER,
|
|
15
15
|
TIMESTAMP,
|
|
16
|
-
|
|
17
|
-
|
|
16
|
+
MINFEEPERL2GAS,
|
|
17
|
+
MINFEEPERDAGAS,
|
|
18
18
|
ISSTATICCALL,
|
|
19
19
|
L2GASLEFT,
|
|
20
20
|
DAGASLEFT,
|
|
@@ -36,9 +36,9 @@ function getValue(varEnum: EnvironmentVariable, ctx: AvmContext) {
|
|
|
36
36
|
return new Uint32(ctx.environment.globals.blockNumber);
|
|
37
37
|
case EnvironmentVariable.TIMESTAMP:
|
|
38
38
|
return new Uint64(ctx.environment.globals.timestamp);
|
|
39
|
-
case EnvironmentVariable.
|
|
39
|
+
case EnvironmentVariable.MINFEEPERL2GAS:
|
|
40
40
|
return new Uint128(ctx.environment.globals.gasFees.feePerL2Gas);
|
|
41
|
-
case EnvironmentVariable.
|
|
41
|
+
case EnvironmentVariable.MINFEEPERDAGAS:
|
|
42
42
|
return new Uint128(ctx.environment.globals.gasFees.feePerDaGas);
|
|
43
43
|
case EnvironmentVariable.ISSTATICCALL:
|
|
44
44
|
return new Uint1(ctx.environment.isStaticCall ? 1 : 0);
|
|
@@ -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, //
|
|
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
|
|
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.
|
|
74
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
75
75
|
|
|
76
76
|
context.machineState.consumeGas(
|
|
77
77
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -9,7 +9,7 @@ abstract class ExternalCall extends Instruction {
|
|
|
9
9
|
// Informs (de)serialization. See Instruction.deserialize.
|
|
10
10
|
static readonly wireFormat: OperandType[] = [
|
|
11
11
|
OperandType.UINT8,
|
|
12
|
-
OperandType.UINT16, //
|
|
12
|
+
OperandType.UINT16, // addressing_mode
|
|
13
13
|
OperandType.UINT16, // L2 gas offset
|
|
14
14
|
OperandType.UINT16, // DA gas offset
|
|
15
15
|
OperandType.UINT16, // Address offset
|
|
@@ -18,7 +18,7 @@ abstract class ExternalCall extends Instruction {
|
|
|
18
18
|
];
|
|
19
19
|
|
|
20
20
|
constructor(
|
|
21
|
-
private
|
|
21
|
+
private addressingMode: number,
|
|
22
22
|
private l2GasOffset: number,
|
|
23
23
|
private daGasOffset: number,
|
|
24
24
|
private addrOffset: number,
|
|
@@ -30,7 +30,7 @@ abstract class ExternalCall extends Instruction {
|
|
|
30
30
|
|
|
31
31
|
public async execute(context: AvmContext) {
|
|
32
32
|
const memory = context.machineState.memory;
|
|
33
|
-
const addressing = Addressing.fromWire(this.
|
|
33
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
34
34
|
|
|
35
35
|
context.machineState.consumeGas(
|
|
36
36
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -45,6 +45,7 @@ abstract class ExternalCall extends Instruction {
|
|
|
45
45
|
memory.checkTag(TypeTag.UINT32, argsSizeOffset);
|
|
46
46
|
|
|
47
47
|
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.
|
|
48
49
|
const calldata = memory.getSlice(argsOffset, calldataSize).map(f => f.toFr());
|
|
49
50
|
|
|
50
51
|
const callAddress = memory.getAs<Field>(addrOffset);
|
|
@@ -136,7 +137,7 @@ export class SuccessCopy extends Instruction {
|
|
|
136
137
|
];
|
|
137
138
|
|
|
138
139
|
constructor(
|
|
139
|
-
private
|
|
140
|
+
private addressingMode: number,
|
|
140
141
|
private dstOffset: number,
|
|
141
142
|
) {
|
|
142
143
|
super();
|
|
@@ -144,7 +145,7 @@ export class SuccessCopy extends Instruction {
|
|
|
144
145
|
|
|
145
146
|
public async execute(context: AvmContext): Promise<void> {
|
|
146
147
|
const memory = context.machineState.memory;
|
|
147
|
-
const addressing = Addressing.fromWire(this.
|
|
148
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
148
149
|
|
|
149
150
|
context.machineState.consumeGas(
|
|
150
151
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -173,7 +174,7 @@ export class Return extends Instruction {
|
|
|
173
174
|
];
|
|
174
175
|
|
|
175
176
|
constructor(
|
|
176
|
-
private
|
|
177
|
+
private addressingMode: number,
|
|
177
178
|
private returnSizeOffset: number,
|
|
178
179
|
private returnOffset: number,
|
|
179
180
|
) {
|
|
@@ -182,7 +183,7 @@ export class Return extends Instruction {
|
|
|
182
183
|
|
|
183
184
|
public async execute(context: AvmContext): Promise<void> {
|
|
184
185
|
const memory = context.machineState.memory;
|
|
185
|
-
const addressing = Addressing.fromWire(this.
|
|
186
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
186
187
|
|
|
187
188
|
context.machineState.consumeGas(
|
|
188
189
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -222,7 +223,7 @@ export class Revert extends Instruction {
|
|
|
222
223
|
];
|
|
223
224
|
|
|
224
225
|
constructor(
|
|
225
|
-
private
|
|
226
|
+
private addressingMode: number,
|
|
226
227
|
private retSizeOffset: number,
|
|
227
228
|
private returnOffset: number,
|
|
228
229
|
) {
|
|
@@ -231,7 +232,7 @@ export class Revert extends Instruction {
|
|
|
231
232
|
|
|
232
233
|
public async execute(context: AvmContext): Promise<void> {
|
|
233
234
|
const memory = context.machineState.memory;
|
|
234
|
-
const addressing = Addressing.fromWire(this.
|
|
235
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
235
236
|
|
|
236
237
|
context.machineState.consumeGas(
|
|
237
238
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -1,4 +1,6 @@
|
|
|
1
|
-
import { keccakf1600
|
|
1
|
+
import { keccakf1600 } from '@aztec/foundation/crypto/keccak';
|
|
2
|
+
import { poseidon2Permutation } from '@aztec/foundation/crypto/poseidon';
|
|
3
|
+
import { sha256Compression } from '@aztec/foundation/crypto/sha256';
|
|
2
4
|
|
|
3
5
|
import type { AvmContext } from '../avm_context.js';
|
|
4
6
|
import { Field, TypeTag, Uint32, Uint64 } from '../avm_memory_types.js';
|
|
@@ -20,7 +22,7 @@ export class Poseidon2 extends Instruction {
|
|
|
20
22
|
];
|
|
21
23
|
|
|
22
24
|
constructor(
|
|
23
|
-
private
|
|
25
|
+
private addressingMode: number,
|
|
24
26
|
private inputStateOffset: number,
|
|
25
27
|
private outputStateOffset: number,
|
|
26
28
|
) {
|
|
@@ -29,7 +31,7 @@ export class Poseidon2 extends Instruction {
|
|
|
29
31
|
|
|
30
32
|
public async execute(context: AvmContext): Promise<void> {
|
|
31
33
|
const memory = context.machineState.memory;
|
|
32
|
-
const addressing = Addressing.fromWire(this.
|
|
34
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
33
35
|
|
|
34
36
|
context.machineState.consumeGas(
|
|
35
37
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -63,7 +65,7 @@ export class KeccakF1600 extends Instruction {
|
|
|
63
65
|
];
|
|
64
66
|
|
|
65
67
|
constructor(
|
|
66
|
-
private
|
|
68
|
+
private addressingMode: number,
|
|
67
69
|
private dstOffset: number,
|
|
68
70
|
private inputOffset: number,
|
|
69
71
|
) {
|
|
@@ -74,7 +76,7 @@ export class KeccakF1600 extends Instruction {
|
|
|
74
76
|
public async execute(context: AvmContext): Promise<void> {
|
|
75
77
|
const inputSize = 25;
|
|
76
78
|
const memory = context.machineState.memory;
|
|
77
|
-
const addressing = Addressing.fromWire(this.
|
|
79
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
78
80
|
|
|
79
81
|
context.machineState.consumeGas(
|
|
80
82
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -107,7 +109,7 @@ export class Sha256Compression extends Instruction {
|
|
|
107
109
|
];
|
|
108
110
|
|
|
109
111
|
constructor(
|
|
110
|
-
private
|
|
112
|
+
private addressingMode: number,
|
|
111
113
|
private outputOffset: number,
|
|
112
114
|
private stateOffset: number,
|
|
113
115
|
private inputsOffset: number,
|
|
@@ -120,7 +122,7 @@ export class Sha256Compression extends Instruction {
|
|
|
120
122
|
const INPUTS_SIZE = 16;
|
|
121
123
|
|
|
122
124
|
const memory = context.machineState.memory;
|
|
123
|
-
const addressing = Addressing.fromWire(this.
|
|
125
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
124
126
|
|
|
125
127
|
context.machineState.consumeGas(
|
|
126
128
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -130,13 +132,17 @@ export class Sha256Compression extends Instruction {
|
|
|
130
132
|
const [outputOffset, stateOffset, inputsOffset] = addressing.resolve(operands, memory);
|
|
131
133
|
|
|
132
134
|
// Note: size of output is same as size of state
|
|
133
|
-
const inputs =
|
|
134
|
-
const state =
|
|
135
|
+
const inputs = memory.getSlice(inputsOffset, INPUTS_SIZE).map(word => word.toBigInt());
|
|
136
|
+
const state = memory.getSlice(stateOffset, STATE_SIZE).map(word => word.toBigInt());
|
|
135
137
|
|
|
136
138
|
memory.checkTagsRange(TypeTag.UINT32, inputsOffset, INPUTS_SIZE);
|
|
137
139
|
memory.checkTagsRange(TypeTag.UINT32, stateOffset, STATE_SIZE);
|
|
138
140
|
|
|
139
|
-
|
|
141
|
+
// At this point both state and inputs are Uint32Array-compatible
|
|
142
|
+
const inputsArray = new Uint32Array(inputs.map(i => Number(i)));
|
|
143
|
+
const stateArray = new Uint32Array(state.map(i => Number(i)));
|
|
144
|
+
|
|
145
|
+
const output = sha256Compression(stateArray, inputsArray);
|
|
140
146
|
|
|
141
147
|
// Conversion required from Uint32Array to Uint32[] (can't map directly, need `...`)
|
|
142
148
|
const res = [...output].map(word => new Uint32(word));
|
|
@@ -19,14 +19,14 @@ export const ThreeOperandWireFormat16 = [
|
|
|
19
19
|
|
|
20
20
|
/**
|
|
21
21
|
* Covers (de)serialization for an instruction with:
|
|
22
|
-
*
|
|
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
|
|
29
|
+
protected addressingMode: number,
|
|
30
30
|
protected aOffset: number,
|
|
31
31
|
protected bOffset: number,
|
|
32
32
|
protected dstOffset: number,
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/
|
|
1
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
2
|
|
|
3
3
|
import { strict as assert } from 'assert';
|
|
4
4
|
|
|
@@ -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()),
|
|
@@ -15,7 +15,7 @@ abstract class BaseStorageInstruction extends Instruction {
|
|
|
15
15
|
];
|
|
16
16
|
|
|
17
17
|
constructor(
|
|
18
|
-
protected
|
|
18
|
+
protected addressingMode: number,
|
|
19
19
|
protected aOffset: number,
|
|
20
20
|
protected bOffset: number,
|
|
21
21
|
) {
|
|
@@ -27,8 +27,8 @@ export class SStore extends BaseStorageInstruction {
|
|
|
27
27
|
static readonly type: string = 'SSTORE';
|
|
28
28
|
static readonly opcode = Opcode.SSTORE;
|
|
29
29
|
|
|
30
|
-
constructor(
|
|
31
|
-
super(
|
|
30
|
+
constructor(addressingMode: number, srcOffset: number, slotOffset: number) {
|
|
31
|
+
super(addressingMode, srcOffset, slotOffset);
|
|
32
32
|
}
|
|
33
33
|
|
|
34
34
|
public async execute(context: AvmContext): Promise<void> {
|
|
@@ -37,7 +37,7 @@ export class SStore extends BaseStorageInstruction {
|
|
|
37
37
|
}
|
|
38
38
|
|
|
39
39
|
const memory = context.machineState.memory;
|
|
40
|
-
const addressing = Addressing.fromWire(this.
|
|
40
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
41
41
|
|
|
42
42
|
context.machineState.consumeGas(
|
|
43
43
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
@@ -64,13 +64,13 @@ export class SLoad extends BaseStorageInstruction {
|
|
|
64
64
|
static readonly type: string = 'SLOAD';
|
|
65
65
|
static readonly opcode = Opcode.SLOAD;
|
|
66
66
|
|
|
67
|
-
constructor(
|
|
68
|
-
super(
|
|
67
|
+
constructor(addressingMode: number, slotOffset: number, dstOffset: number) {
|
|
68
|
+
super(addressingMode, slotOffset, dstOffset);
|
|
69
69
|
}
|
|
70
70
|
|
|
71
71
|
public async execute(context: AvmContext): Promise<void> {
|
|
72
72
|
const memory = context.machineState.memory;
|
|
73
|
-
const addressing = Addressing.fromWire(this.
|
|
73
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
74
74
|
|
|
75
75
|
context.machineState.consumeGas(
|
|
76
76
|
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|