@aztec/simulator 0.0.1-commit.b6e433891 → 0.0.1-commit.b9865e97
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/dest/private/acvm_wasm.d.ts +1 -1
- package/dest/private/acvm_wasm.d.ts.map +1 -1
- package/dest/private/acvm_wasm.js +3 -1
- package/dest/public/avm/testing/account_proof_fetcher.d.ts +2 -0
- package/dest/public/avm/testing/account_proof_fetcher.d.ts.map +1 -0
- package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.d.ts +2 -1
- package/dest/public/avm/testing/base_avm_simulation_tester.d.ts.map +1 -0
- package/dest/public/avm/{fixtures → testing}/base_avm_simulation_tester.js +17 -2
- package/dest/public/avm/testing/utils.d.ts +32 -0
- package/dest/public/avm/testing/utils.d.ts.map +1 -0
- package/dest/public/avm/{fixtures → testing}/utils.js +3 -33
- package/dest/public/contracts_db_checkpoint.d.ts +2 -2
- package/dest/public/contracts_db_checkpoint.d.ts.map +1 -1
- package/dest/public/contracts_db_checkpoint.js +1 -1
- package/dest/public/fixtures/bulk_test.d.ts +1 -1
- package/dest/public/fixtures/bulk_test.d.ts.map +1 -1
- package/dest/public/fixtures/bulk_test.js +31 -4
- package/dest/public/fixtures/index.d.ts +1 -4
- package/dest/public/fixtures/index.d.ts.map +1 -1
- package/dest/public/fixtures/index.js +0 -3
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +3 -3
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +9 -10
- package/dest/public/fixtures/simple_contract_data_source.js +1 -1
- package/dest/public/fixtures/utils.d.ts +1 -1
- package/dest/public/fixtures/utils.d.ts.map +1 -1
- package/dest/public/fixtures/utils.js +14 -15
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +6 -4
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
- package/dest/public/fuzzing/avm_fuzzer_simulator.js +12 -7
- package/dest/public/fuzzing/avm_simulator_bin.js +4 -4
- 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 +6 -3
- package/dest/public/public_db_sources.d.ts.map +1 -1
- package/dest/public/public_db_sources.js +16 -10
- package/dest/public/public_processor/guarded_merkle_tree.d.ts +4 -3
- package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -1
- package/dest/public/public_processor/guarded_merkle_tree.js +3 -0
- package/dest/public/public_processor/public_processor.d.ts +4 -3
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +60 -35
- package/dest/public/public_processor/public_processor_metrics.d.ts +4 -1
- package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor_metrics.js +8 -0
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +1 -1
- 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 +3 -2
- package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +23 -0
- package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.js → dumping_public_tx_simulator.js} +2 -2
- package/dest/public/public_tx_simulator/factories.d.ts +6 -6
- package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/factories.js +6 -6
- package/dest/public/public_tx_simulator/index.d.ts +3 -5
- package/dest/public/public_tx_simulator/index.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/index.js +2 -4
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +41 -70
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.js +98 -319
- package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +22 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_base.js +28 -0
- package/package.json +17 -17
- package/src/private/acvm_wasm.ts +4 -1
- package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +22 -2
- package/src/public/avm/{fixtures → testing}/utils.ts +3 -39
- package/src/public/contracts_db_checkpoint.ts +1 -1
- package/src/public/fixtures/bulk_test.ts +29 -4
- package/src/public/fixtures/index.ts +0 -3
- package/src/public/fixtures/public_tx_simulation_tester.ts +10 -18
- package/src/public/fixtures/simple_contract_data_source.ts +1 -1
- package/src/public/fixtures/utils.ts +21 -18
- package/src/public/fuzzing/avm_fuzzer_simulator.ts +15 -18
- package/src/public/fuzzing/avm_simulator_bin.ts +3 -5
- package/src/public/index.ts +3 -3
- package/src/public/public_db_sources.ts +21 -14
- package/src/public/public_processor/guarded_merkle_tree.ts +5 -2
- package/src/public/public_processor/public_processor.ts +78 -42
- package/src/public/public_processor/public_processor_metrics.ts +12 -0
- package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +3 -2
- package/src/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.ts → dumping_public_tx_simulator.ts} +2 -2
- package/src/public/public_tx_simulator/factories.ts +6 -6
- package/src/public/public_tx_simulator/index.ts +2 -4
- package/src/public/public_tx_simulator/public_tx_simulator.ts +150 -476
- package/src/public/public_tx_simulator/public_tx_simulator_base.ts +35 -0
- package/dest/public/avm/avm_context.d.ts +0 -41
- package/dest/public/avm/avm_context.d.ts.map +0 -1
- package/dest/public/avm/avm_context.js +0 -44
- package/dest/public/avm/avm_contract_call_result.d.ts +0 -32
- package/dest/public/avm/avm_contract_call_result.d.ts.map +0 -1
- package/dest/public/avm/avm_contract_call_result.js +0 -54
- package/dest/public/avm/avm_execution_environment.d.ts +0 -24
- package/dest/public/avm/avm_execution_environment.d.ts.map +0 -1
- package/dest/public/avm/avm_execution_environment.js +0 -33
- package/dest/public/avm/avm_gas.d.ts +0 -44
- package/dest/public/avm/avm_gas.d.ts.map +0 -1
- package/dest/public/avm/avm_gas.js +0 -195
- package/dest/public/avm/avm_machine_state.d.ts +0 -98
- package/dest/public/avm/avm_machine_state.d.ts.map +0 -1
- package/dest/public/avm/avm_machine_state.js +0 -110
- package/dest/public/avm/avm_memory_types.d.ts +0 -275
- package/dest/public/avm/avm_memory_types.d.ts.map +0 -1
- package/dest/public/avm/avm_memory_types.js +0 -354
- package/dest/public/avm/avm_simulator.d.ts +0 -41
- package/dest/public/avm/avm_simulator.d.ts.map +0 -1
- package/dest/public/avm/avm_simulator.js +0 -192
- package/dest/public/avm/avm_simulator_interface.d.ts +0 -9
- package/dest/public/avm/avm_simulator_interface.d.ts.map +0 -1
- package/dest/public/avm/avm_simulator_interface.js +0 -3
- package/dest/public/avm/calldata.d.ts +0 -51
- package/dest/public/avm/calldata.d.ts.map +0 -1
- package/dest/public/avm/calldata.js +0 -63
- package/dest/public/avm/errors.d.ts +0 -104
- package/dest/public/avm/errors.d.ts.map +0 -1
- package/dest/public/avm/errors.js +0 -141
- package/dest/public/avm/fixtures/account_proof_fetcher.d.ts +0 -2
- package/dest/public/avm/fixtures/account_proof_fetcher.d.ts.map +0 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +0 -22
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.js +0 -84
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
- package/dest/public/avm/fixtures/initializers.d.ts +0 -42
- package/dest/public/avm/fixtures/initializers.d.ts.map +0 -1
- package/dest/public/avm/fixtures/initializers.js +0 -45
- package/dest/public/avm/fixtures/utils.d.ts +0 -39
- package/dest/public/avm/fixtures/utils.d.ts.map +0 -1
- package/dest/public/avm/index.d.ts +0 -2
- package/dest/public/avm/index.d.ts.map +0 -1
- package/dest/public/avm/index.js +0 -1
- package/dest/public/avm/opcodes/accrued_substate.d.ts +0 -74
- package/dest/public/avm/opcodes/accrued_substate.d.ts.map +0 -1
- package/dest/public/avm/opcodes/accrued_substate.js +0 -254
- package/dest/public/avm/opcodes/addressing_mode.d.ts +0 -31
- package/dest/public/avm/opcodes/addressing_mode.d.ts.map +0 -1
- package/dest/public/avm/opcodes/addressing_mode.js +0 -94
- package/dest/public/avm/opcodes/arithmetic.d.ts +0 -49
- package/dest/public/avm/opcodes/arithmetic.d.ts.map +0 -1
- package/dest/public/avm/opcodes/arithmetic.js +0 -97
- package/dest/public/avm/opcodes/bitwise.d.ts +0 -42
- package/dest/public/avm/opcodes/bitwise.d.ts.map +0 -1
- package/dest/public/avm/opcodes/bitwise.js +0 -99
- package/dest/public/avm/opcodes/comparators.d.ts +0 -25
- package/dest/public/avm/opcodes/comparators.d.ts.map +0 -1
- package/dest/public/avm/opcodes/comparators.js +0 -43
- package/dest/public/avm/opcodes/contract.d.ts +0 -20
- package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
- package/dest/public/avm/opcodes/contract.js +0 -65
- package/dest/public/avm/opcodes/control_flow.d.ts +0 -41
- package/dest/public/avm/opcodes/control_flow.d.ts.map +0 -1
- package/dest/public/avm/opcodes/control_flow.js +0 -107
- package/dest/public/avm/opcodes/conversion.d.ts +0 -18
- package/dest/public/avm/opcodes/conversion.d.ts.map +0 -1
- package/dest/public/avm/opcodes/conversion.js +0 -333
- package/dest/public/avm/opcodes/ec_add.d.ts +0 -19
- package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
- package/dest/public/avm/opcodes/ec_add.js +0 -93
- package/dest/public/avm/opcodes/environment_getters.d.ts +0 -28
- package/dest/public/avm/opcodes/environment_getters.d.ts.map +0 -1
- package/dest/public/avm/opcodes/environment_getters.js +0 -77
- package/dest/public/avm/opcodes/external_calls.d.ts +0 -59
- package/dest/public/avm/opcodes/external_calls.d.ts.map +0 -1
- package/dest/public/avm/opcodes/external_calls.js +0 -210
- package/dest/public/avm/opcodes/hashing.d.ts +0 -36
- package/dest/public/avm/opcodes/hashing.d.ts.map +0 -1
- package/dest/public/avm/opcodes/hashing.js +0 -119
- package/dest/public/avm/opcodes/index.d.ts +0 -16
- package/dest/public/avm/opcodes/index.d.ts.map +0 -1
- package/dest/public/avm/opcodes/index.js +0 -15
- package/dest/public/avm/opcodes/instruction.d.ts +0 -74
- package/dest/public/avm/opcodes/instruction.d.ts.map +0 -1
- package/dest/public/avm/opcodes/instruction.js +0 -95
- package/dest/public/avm/opcodes/instruction_impl.d.ts +0 -19
- package/dest/public/avm/opcodes/instruction_impl.d.ts.map +0 -1
- package/dest/public/avm/opcodes/instruction_impl.js +0 -30
- package/dest/public/avm/opcodes/memory.d.ts +0 -74
- package/dest/public/avm/opcodes/memory.d.ts.map +0 -1
- package/dest/public/avm/opcodes/memory.js +0 -257
- package/dest/public/avm/opcodes/misc.d.ts +0 -18
- package/dest/public/avm/opcodes/misc.d.ts.map +0 -1
- package/dest/public/avm/opcodes/misc.js +0 -73
- package/dest/public/avm/opcodes/storage.d.ts +0 -25
- package/dest/public/avm/opcodes/storage.d.ts.map +0 -1
- package/dest/public/avm/opcodes/storage.js +0 -78
- package/dest/public/avm/revert_reason.d.ts +0 -18
- package/dest/public/avm/revert_reason.d.ts.map +0 -1
- package/dest/public/avm/revert_reason.js +0 -39
- package/dest/public/avm/serialization/buffer_cursor.d.ts +0 -26
- package/dest/public/avm/serialization/buffer_cursor.d.ts.map +0 -1
- package/dest/public/avm/serialization/buffer_cursor.js +0 -99
- package/dest/public/avm/serialization/bytecode_serialization.d.ts +0 -17
- package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +0 -1
- package/dest/public/avm/serialization/bytecode_serialization.js +0 -336
- package/dest/public/avm/serialization/instruction_serialization.d.ts +0 -114
- package/dest/public/avm/serialization/instruction_serialization.d.ts.map +0 -1
- package/dest/public/avm/serialization/instruction_serialization.js +0 -261
- package/dest/public/avm/test_utils.d.ts +0 -15
- package/dest/public/avm/test_utils.d.ts.map +0 -1
- package/dest/public/avm/test_utils.js +0 -44
- package/dest/public/debug_fn_name.d.ts +0 -18
- package/dest/public/debug_fn_name.d.ts.map +0 -1
- package/dest/public/debug_fn_name.js +0 -37
- package/dest/public/fixtures/custom_bytecode_tests.d.ts +0 -12
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
- package/dest/public/fixtures/custom_bytecode_tests.js +0 -174
- package/dest/public/fixtures/minimal_public_tx.d.ts +0 -4
- package/dest/public/fixtures/minimal_public_tx.d.ts.map +0 -1
- package/dest/public/fixtures/minimal_public_tx.js +0 -19
- package/dest/public/fixtures/opcode_spammer.d.ts +0 -122
- package/dest/public/fixtures/opcode_spammer.d.ts.map +0 -1
- package/dest/public/fixtures/opcode_spammer.js +0 -1653
- package/dest/public/hinting_db_sources.d.ts +0 -80
- package/dest/public/hinting_db_sources.d.ts.map +0 -1
- package/dest/public/hinting_db_sources.js +0 -356
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +0 -53
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +0 -131
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +0 -42
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +0 -86
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +0 -30
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +0 -171
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +0 -23
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +0 -31
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +0 -51
- package/dest/public/public_tx_simulator/public_tx_context.d.ts +0 -131
- package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/public_tx_context.js +0 -300
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +0 -21
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +0 -415
- package/dest/public/side_effect_trace.d.ts +0 -87
- package/dest/public/side_effect_trace.d.ts.map +0 -1
- package/dest/public/side_effect_trace.js +0 -199
- package/dest/public/side_effect_trace_interface.d.ts +0 -22
- package/dest/public/side_effect_trace_interface.d.ts.map +0 -1
- package/dest/public/side_effect_trace_interface.js +0 -1
- package/dest/public/state_manager/index.d.ts +0 -2
- package/dest/public/state_manager/index.d.ts.map +0 -1
- package/dest/public/state_manager/index.js +0 -1
- package/dest/public/state_manager/nullifiers.d.ts +0 -61
- package/dest/public/state_manager/nullifiers.d.ts.map +0 -1
- package/dest/public/state_manager/nullifiers.js +0 -92
- package/dest/public/state_manager/public_storage.d.ts +0 -66
- package/dest/public/state_manager/public_storage.d.ts.map +0 -1
- package/dest/public/state_manager/public_storage.js +0 -145
- package/dest/public/state_manager/state_manager.d.ts +0 -170
- package/dest/public/state_manager/state_manager.d.ts.map +0 -1
- package/dest/public/state_manager/state_manager.js +0 -402
- package/src/public/avm/avm_context.ts +0 -61
- package/src/public/avm/avm_contract_call_result.ts +0 -69
- package/src/public/avm/avm_execution_environment.ts +0 -51
- package/src/public/avm/avm_gas.ts +0 -183
- package/src/public/avm/avm_machine_state.ts +0 -170
- package/src/public/avm/avm_memory_types.ts +0 -440
- package/src/public/avm/avm_simulator.ts +0 -279
- package/src/public/avm/avm_simulator_interface.ts +0 -8
- package/src/public/avm/calldata.ts +0 -100
- package/src/public/avm/errors.ts +0 -177
- package/src/public/avm/fixtures/avm_simulation_tester.ts +0 -122
- package/src/public/avm/fixtures/initializers.ts +0 -103
- package/src/public/avm/index.ts +0 -1
- package/src/public/avm/opcodes/accrued_substate.ts +0 -285
- package/src/public/avm/opcodes/addressing_mode.ts +0 -111
- package/src/public/avm/opcodes/arithmetic.ts +0 -129
- package/src/public/avm/opcodes/bitwise.ts +0 -113
- package/src/public/avm/opcodes/comparators.ts +0 -55
- package/src/public/avm/opcodes/contract.ts +0 -72
- package/src/public/avm/opcodes/control_flow.ts +0 -123
- package/src/public/avm/opcodes/conversion.ts +0 -104
- package/src/public/avm/opcodes/ec_add.ts +0 -105
- package/src/public/avm/opcodes/environment_getters.ts +0 -87
- package/src/public/avm/opcodes/external_calls.ts +0 -262
- package/src/public/avm/opcodes/hashing.ts +0 -151
- package/src/public/avm/opcodes/index.ts +0 -15
- package/src/public/avm/opcodes/instruction.ts +0 -136
- package/src/public/avm/opcodes/instruction_impl.ts +0 -36
- package/src/public/avm/opcodes/memory.ts +0 -293
- package/src/public/avm/opcodes/misc.ts +0 -102
- package/src/public/avm/opcodes/storage.ts +0 -95
- package/src/public/avm/revert_reason.ts +0 -58
- package/src/public/avm/serialization/buffer_cursor.ts +0 -118
- package/src/public/avm/serialization/bytecode_serialization.ts +0 -215
- package/src/public/avm/serialization/instruction_serialization.ts +0 -249
- package/src/public/avm/test_utils.ts +0 -64
- package/src/public/debug_fn_name.ts +0 -52
- package/src/public/fixtures/custom_bytecode_tests.ts +0 -228
- package/src/public/fixtures/minimal_public_tx.ts +0 -26
- package/src/public/fixtures/opcode_spammer.ts +0 -1717
- package/src/public/hinting_db_sources.ts +0 -609
- package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +0 -210
- package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +0 -134
- package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +0 -239
- package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +0 -105
- package/src/public/public_tx_simulator/public_tx_context.ts +0 -484
- package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +0 -63
- package/src/public/side_effect_trace.ts +0 -293
- package/src/public/side_effect_trace_interface.ts +0 -28
- package/src/public/state_manager/index.ts +0 -1
- package/src/public/state_manager/nullifiers.ts +0 -103
- package/src/public/state_manager/public_storage.ts +0 -174
- package/src/public/state_manager/state_manager.ts +0 -569
- /package/dest/public/avm/{fixtures → testing}/account_proof_fetcher.js +0 -0
- /package/src/public/avm/{fixtures → testing}/account_proof.json +0 -0
- /package/src/public/avm/{fixtures → testing}/account_proof_fetcher.ts +0 -0
|
@@ -1,110 +0,0 @@
|
|
|
1
|
-
import { TaggedMemory } from './avm_memory_types.js';
|
|
2
|
-
import { ReturnDataArray } from './calldata.js';
|
|
3
|
-
import { OutOfGasError } from './errors.js';
|
|
4
|
-
/**
|
|
5
|
-
* Avm state modified on an instruction-per-instruction basis.
|
|
6
|
-
*/ export class AvmMachineState {
|
|
7
|
-
/** gas remaining of the gas allocated for a contract call */ l2GasLeft;
|
|
8
|
-
daGasLeft;
|
|
9
|
-
/** program counter, byte based */ pc = 0;
|
|
10
|
-
/** program counter of the next instruction, byte based */ nextPc = 0;
|
|
11
|
-
/** return/revertdata of the last nested call. */ nestedReturndata = new ReturnDataArray([]);
|
|
12
|
-
/** Tracks whether the last external call was successful */ nestedCallSuccess = false;
|
|
13
|
-
/**
|
|
14
|
-
* Used to track the call stack and revert data of nested calls.
|
|
15
|
-
* This is used to provide a more detailed revert reason when a contract call reverts.
|
|
16
|
-
* It is only a heuristic and may not always provide the correct revert reason.
|
|
17
|
-
*/ collectedRevertInfo;
|
|
18
|
-
/**
|
|
19
|
-
* On INTERNALCALL, internal call stack is pushed to with the current pc and the return pc.
|
|
20
|
-
* On INTERNALRETURN, value is popped from the internal call stack and assigned to the return pc.
|
|
21
|
-
*/ internalCallStack = [];
|
|
22
|
-
/** Memory accessible to user code */ memory = new TaggedMemory();
|
|
23
|
-
/**
|
|
24
|
-
* Signals that execution should end.
|
|
25
|
-
* AvmContext execution continues executing instructions until the machine state signals "halted"
|
|
26
|
-
*/ halted = false;
|
|
27
|
-
/** Signals that execution has reverted normally (this does not cover exceptional halts) */ reverted = false;
|
|
28
|
-
/** Output data must NOT be modified once it is set */ output = new ReturnDataArray([]);
|
|
29
|
-
// Metrics only - not needed for execution
|
|
30
|
-
/** instruction counter, including nested calls */ instrCounter = 0;
|
|
31
|
-
constructor(gasLeftOrL2GasLeft, daGasLeft){
|
|
32
|
-
if (typeof gasLeftOrL2GasLeft === 'object') {
|
|
33
|
-
({ l2Gas: this.l2GasLeft, daGas: this.daGasLeft } = gasLeftOrL2GasLeft);
|
|
34
|
-
} else {
|
|
35
|
-
this.l2GasLeft = gasLeftOrL2GasLeft;
|
|
36
|
-
this.daGasLeft = daGasLeft;
|
|
37
|
-
}
|
|
38
|
-
}
|
|
39
|
-
get gasLeft() {
|
|
40
|
-
return {
|
|
41
|
-
l2Gas: this.l2GasLeft,
|
|
42
|
-
daGas: this.daGasLeft
|
|
43
|
-
};
|
|
44
|
-
}
|
|
45
|
-
static fromState(state) {
|
|
46
|
-
return new AvmMachineState(state.l2GasLeft, state.daGasLeft);
|
|
47
|
-
}
|
|
48
|
-
/**
|
|
49
|
-
* Consumes the given gas.
|
|
50
|
-
* Should any of the gas dimensions get depleted, it sets all gas left to zero and triggers
|
|
51
|
-
* an exceptional halt by throwing an OutOfGasError.
|
|
52
|
-
*/ consumeGas(gasCost) {
|
|
53
|
-
// Assert there is enough gas on every dimension.
|
|
54
|
-
const outOfL2Gas = this.l2GasLeft - (gasCost.l2Gas ?? 0) < 0;
|
|
55
|
-
const outOfDaGas = this.daGasLeft - (gasCost.daGas ?? 0) < 0;
|
|
56
|
-
// If not, trigger an exceptional halt.
|
|
57
|
-
if (outOfL2Gas || outOfDaGas) {
|
|
58
|
-
this.exceptionalHalt();
|
|
59
|
-
const dimensions = [];
|
|
60
|
-
if (outOfL2Gas) {
|
|
61
|
-
dimensions.push('l2Gas');
|
|
62
|
-
}
|
|
63
|
-
if (outOfDaGas) {
|
|
64
|
-
dimensions.push('daGas');
|
|
65
|
-
}
|
|
66
|
-
throw new OutOfGasError(dimensions);
|
|
67
|
-
}
|
|
68
|
-
// Otherwise, charge the corresponding gas
|
|
69
|
-
this.l2GasLeft -= gasCost.l2Gas ?? 0;
|
|
70
|
-
this.daGasLeft -= gasCost.daGas ?? 0;
|
|
71
|
-
}
|
|
72
|
-
/** Increases the gas left by the amounts specified. */ refundGas(gasRefund) {
|
|
73
|
-
this.l2GasLeft += gasRefund.l2Gas ?? 0;
|
|
74
|
-
this.daGasLeft += gasRefund.daGas ?? 0;
|
|
75
|
-
}
|
|
76
|
-
/**
|
|
77
|
-
* Halt as successful
|
|
78
|
-
* Output data must NOT be modified once it is set
|
|
79
|
-
* @param output
|
|
80
|
-
*/ return(output) {
|
|
81
|
-
this.halted = true;
|
|
82
|
-
this.output = output;
|
|
83
|
-
}
|
|
84
|
-
/**
|
|
85
|
-
* Halt as reverted
|
|
86
|
-
* Output data must NOT be modified once it is set
|
|
87
|
-
* @param output
|
|
88
|
-
*/ revert(output) {
|
|
89
|
-
this.halted = true;
|
|
90
|
-
this.reverted = true;
|
|
91
|
-
this.output = output;
|
|
92
|
-
}
|
|
93
|
-
getHalted() {
|
|
94
|
-
return this.halted;
|
|
95
|
-
}
|
|
96
|
-
getReverted() {
|
|
97
|
-
return this.reverted;
|
|
98
|
-
}
|
|
99
|
-
getOutput() {
|
|
100
|
-
return this.output;
|
|
101
|
-
}
|
|
102
|
-
/**
|
|
103
|
-
* Flag an exceptional halt. Clears gas left and sets the reverted flag. No output data.
|
|
104
|
-
*/ exceptionalHalt() {
|
|
105
|
-
this.l2GasLeft = 0;
|
|
106
|
-
this.daGasLeft = 0;
|
|
107
|
-
this.reverted = true;
|
|
108
|
-
this.halted = true;
|
|
109
|
-
}
|
|
110
|
-
}
|
|
@@ -1,275 +0,0 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import { type Logger } from '@aztec/foundation/log';
|
|
3
|
-
import type { FunctionsOf } from '@aztec/foundation/types';
|
|
4
|
-
import { AztecAddress } from '@aztec/stdlib/aztec-address';
|
|
5
|
-
/** MemoryValue gathers the common operations for all memory types. */
|
|
6
|
-
export declare abstract class MemoryValue {
|
|
7
|
-
abstract add(rhs: MemoryValue): MemoryValue;
|
|
8
|
-
abstract sub(rhs: MemoryValue): MemoryValue;
|
|
9
|
-
abstract mul(rhs: MemoryValue): MemoryValue;
|
|
10
|
-
abstract div(rhs: MemoryValue): MemoryValue;
|
|
11
|
-
abstract equals(rhs: MemoryValue): boolean;
|
|
12
|
-
abstract lt(rhs: MemoryValue): boolean;
|
|
13
|
-
abstract build(n: bigint): MemoryValue;
|
|
14
|
-
abstract toBigInt(): bigint;
|
|
15
|
-
getTag(): TypeTag;
|
|
16
|
-
abstract toBuffer(): Buffer;
|
|
17
|
-
toFr(): Fr;
|
|
18
|
-
toAztecAddress(): AztecAddress;
|
|
19
|
-
toNumber(): number;
|
|
20
|
-
toString(): string;
|
|
21
|
-
}
|
|
22
|
-
/** IntegralValue gathers the common operations for all integral memory types. */
|
|
23
|
-
export declare abstract class IntegralValue extends MemoryValue {
|
|
24
|
-
abstract shl(rhs: IntegralValue): IntegralValue;
|
|
25
|
-
abstract shr(rhs: IntegralValue): IntegralValue;
|
|
26
|
-
abstract and(rhs: IntegralValue): IntegralValue;
|
|
27
|
-
abstract or(rhs: IntegralValue): IntegralValue;
|
|
28
|
-
abstract xor(rhs: IntegralValue): IntegralValue;
|
|
29
|
-
abstract not(): IntegralValue;
|
|
30
|
-
}
|
|
31
|
-
declare const Uint1_base: {
|
|
32
|
-
new (n: number | bigint): {
|
|
33
|
-
readonly n: bigint;
|
|
34
|
-
build(n: bigint): /*elided*/ any;
|
|
35
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
36
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
37
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
38
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
39
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
40
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
41
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
42
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
43
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
44
|
-
not(): /*elided*/ any;
|
|
45
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
46
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
47
|
-
toBigInt(): bigint;
|
|
48
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
49
|
-
getTag(): TypeTag;
|
|
50
|
-
toFr(): Fr;
|
|
51
|
-
toAztecAddress(): AztecAddress;
|
|
52
|
-
toNumber(): number;
|
|
53
|
-
toString(): string;
|
|
54
|
-
};
|
|
55
|
-
readonly bits: number;
|
|
56
|
-
readonly mod: bigint;
|
|
57
|
-
readonly bitmask: bigint;
|
|
58
|
-
};
|
|
59
|
-
export declare class Uint1 extends Uint1_base {
|
|
60
|
-
}
|
|
61
|
-
declare const Uint8_base: {
|
|
62
|
-
new (n: number | bigint): {
|
|
63
|
-
readonly n: bigint;
|
|
64
|
-
build(n: bigint): /*elided*/ any;
|
|
65
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
66
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
67
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
68
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
69
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
70
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
71
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
72
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
73
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
74
|
-
not(): /*elided*/ any;
|
|
75
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
76
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
77
|
-
toBigInt(): bigint;
|
|
78
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
79
|
-
getTag(): TypeTag;
|
|
80
|
-
toFr(): Fr;
|
|
81
|
-
toAztecAddress(): AztecAddress;
|
|
82
|
-
toNumber(): number;
|
|
83
|
-
toString(): string;
|
|
84
|
-
};
|
|
85
|
-
readonly bits: number;
|
|
86
|
-
readonly mod: bigint;
|
|
87
|
-
readonly bitmask: bigint;
|
|
88
|
-
};
|
|
89
|
-
export declare class Uint8 extends Uint8_base {
|
|
90
|
-
}
|
|
91
|
-
declare const Uint16_base: {
|
|
92
|
-
new (n: number | bigint): {
|
|
93
|
-
readonly n: bigint;
|
|
94
|
-
build(n: bigint): /*elided*/ any;
|
|
95
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
96
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
97
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
98
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
99
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
100
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
101
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
102
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
103
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
104
|
-
not(): /*elided*/ any;
|
|
105
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
106
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
107
|
-
toBigInt(): bigint;
|
|
108
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
109
|
-
getTag(): TypeTag;
|
|
110
|
-
toFr(): Fr;
|
|
111
|
-
toAztecAddress(): AztecAddress;
|
|
112
|
-
toNumber(): number;
|
|
113
|
-
toString(): string;
|
|
114
|
-
};
|
|
115
|
-
readonly bits: number;
|
|
116
|
-
readonly mod: bigint;
|
|
117
|
-
readonly bitmask: bigint;
|
|
118
|
-
};
|
|
119
|
-
export declare class Uint16 extends Uint16_base {
|
|
120
|
-
}
|
|
121
|
-
declare const Uint32_base: {
|
|
122
|
-
new (n: number | bigint): {
|
|
123
|
-
readonly n: bigint;
|
|
124
|
-
build(n: bigint): /*elided*/ any;
|
|
125
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
126
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
127
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
128
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
129
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
130
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
131
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
132
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
133
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
134
|
-
not(): /*elided*/ any;
|
|
135
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
136
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
137
|
-
toBigInt(): bigint;
|
|
138
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
139
|
-
getTag(): TypeTag;
|
|
140
|
-
toFr(): Fr;
|
|
141
|
-
toAztecAddress(): AztecAddress;
|
|
142
|
-
toNumber(): number;
|
|
143
|
-
toString(): string;
|
|
144
|
-
};
|
|
145
|
-
readonly bits: number;
|
|
146
|
-
readonly mod: bigint;
|
|
147
|
-
readonly bitmask: bigint;
|
|
148
|
-
};
|
|
149
|
-
export declare class Uint32 extends Uint32_base {
|
|
150
|
-
}
|
|
151
|
-
declare const Uint64_base: {
|
|
152
|
-
new (n: number | bigint): {
|
|
153
|
-
readonly n: bigint;
|
|
154
|
-
build(n: bigint): /*elided*/ any;
|
|
155
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
156
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
157
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
158
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
159
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
160
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
161
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
162
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
163
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
164
|
-
not(): /*elided*/ any;
|
|
165
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
166
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
167
|
-
toBigInt(): bigint;
|
|
168
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
169
|
-
getTag(): TypeTag;
|
|
170
|
-
toFr(): Fr;
|
|
171
|
-
toAztecAddress(): AztecAddress;
|
|
172
|
-
toNumber(): number;
|
|
173
|
-
toString(): string;
|
|
174
|
-
};
|
|
175
|
-
readonly bits: number;
|
|
176
|
-
readonly mod: bigint;
|
|
177
|
-
readonly bitmask: bigint;
|
|
178
|
-
};
|
|
179
|
-
export declare class Uint64 extends Uint64_base {
|
|
180
|
-
}
|
|
181
|
-
declare const Uint128_base: {
|
|
182
|
-
new (n: number | bigint): {
|
|
183
|
-
readonly n: bigint;
|
|
184
|
-
build(n: bigint): /*elided*/ any;
|
|
185
|
-
add(rhs: /*elided*/ any): /*elided*/ any;
|
|
186
|
-
sub(rhs: /*elided*/ any): /*elided*/ any;
|
|
187
|
-
mul(rhs: /*elided*/ any): /*elided*/ any;
|
|
188
|
-
div(rhs: /*elided*/ any): /*elided*/ any;
|
|
189
|
-
shr(rhs: /*elided*/ any): /*elided*/ any;
|
|
190
|
-
shl(rhs: /*elided*/ any): /*elided*/ any;
|
|
191
|
-
and(rhs: /*elided*/ any): /*elided*/ any;
|
|
192
|
-
or(rhs: /*elided*/ any): /*elided*/ any;
|
|
193
|
-
xor(rhs: /*elided*/ any): /*elided*/ any;
|
|
194
|
-
not(): /*elided*/ any;
|
|
195
|
-
equals(rhs: /*elided*/ any): boolean;
|
|
196
|
-
lt(rhs: /*elided*/ any): boolean;
|
|
197
|
-
toBigInt(): bigint;
|
|
198
|
-
toBuffer(): Buffer<ArrayBufferLike>;
|
|
199
|
-
getTag(): TypeTag;
|
|
200
|
-
toFr(): Fr;
|
|
201
|
-
toAztecAddress(): AztecAddress;
|
|
202
|
-
toNumber(): number;
|
|
203
|
-
toString(): string;
|
|
204
|
-
};
|
|
205
|
-
readonly bits: number;
|
|
206
|
-
readonly mod: bigint;
|
|
207
|
-
readonly bitmask: bigint;
|
|
208
|
-
};
|
|
209
|
-
export declare class Uint128 extends Uint128_base {
|
|
210
|
-
}
|
|
211
|
-
export declare class Field extends MemoryValue {
|
|
212
|
-
static readonly MODULUS: bigint;
|
|
213
|
-
private readonly rep;
|
|
214
|
-
constructor(v: number | bigint | Fr | Buffer);
|
|
215
|
-
build(n: bigint): Field;
|
|
216
|
-
add(rhs: Field): Field;
|
|
217
|
-
sub(rhs: Field): Field;
|
|
218
|
-
mul(rhs: Field): Field;
|
|
219
|
-
div(rhs: Field): Field;
|
|
220
|
-
fdiv(rhs: Field): Field;
|
|
221
|
-
equals(rhs: Field): boolean;
|
|
222
|
-
lt(rhs: Field): boolean;
|
|
223
|
-
toBigInt(): bigint;
|
|
224
|
-
toBuffer(): Buffer;
|
|
225
|
-
}
|
|
226
|
-
export declare enum TypeTag {
|
|
227
|
-
FIELD = 0,
|
|
228
|
-
UINT1 = 1,
|
|
229
|
-
UINT8 = 2,
|
|
230
|
-
UINT16 = 3,
|
|
231
|
-
UINT32 = 4,
|
|
232
|
-
UINT64 = 5,
|
|
233
|
-
UINT128 = 6,
|
|
234
|
-
INVALID = 7
|
|
235
|
-
}
|
|
236
|
-
export type TaggedMemoryInterface = FunctionsOf<TaggedMemory>;
|
|
237
|
-
export declare class TaggedMemory implements TaggedMemoryInterface {
|
|
238
|
-
static readonly log: Logger;
|
|
239
|
-
static readonly TRACK_MEMORY_ACCESSES: boolean;
|
|
240
|
-
static readonly MAX_MEMORY_SIZE: number;
|
|
241
|
-
private _mem;
|
|
242
|
-
constructor();
|
|
243
|
-
getMaxMemorySize(): number;
|
|
244
|
-
get(offset: number): MemoryValue;
|
|
245
|
-
getAs<T>(offset: number): T;
|
|
246
|
-
getSlice(offset: number, size: number): MemoryValue[];
|
|
247
|
-
getSliceAs<T>(offset: number, size: number): T[];
|
|
248
|
-
getSliceTags(offset: number, size: number): TypeTag[];
|
|
249
|
-
set(offset: number, v: MemoryValue): void;
|
|
250
|
-
setSlice(offset: number, slice: MemoryValue[]): void;
|
|
251
|
-
getTag(offset: number): TypeTag;
|
|
252
|
-
/**
|
|
253
|
-
* Check that the memory at the given offset matches the specified tag.
|
|
254
|
-
*/
|
|
255
|
-
checkTag(tag: TypeTag, offset: number): void;
|
|
256
|
-
static isValidMemoryAddressTag(tag: TypeTag): tag is TypeTag.UINT32;
|
|
257
|
-
static checkIsIntegralTag(tag: TypeTag): void;
|
|
258
|
-
static checkIsValidTag(tagNumber: number): void;
|
|
259
|
-
/**
|
|
260
|
-
* Check tags for memory at all of the specified offsets.
|
|
261
|
-
*/
|
|
262
|
-
checkTags(tag: TypeTag, ...offsets: number[]): void;
|
|
263
|
-
/**
|
|
264
|
-
* Check that all tags at the given offsets are the same.
|
|
265
|
-
*/
|
|
266
|
-
checkTagsAreSame(offset0: number, offset1: number): void;
|
|
267
|
-
/**
|
|
268
|
-
* Check tags for all memory in the specified range.
|
|
269
|
-
*/
|
|
270
|
-
checkTagsRange(tag: TypeTag, startOffset: number, size: number): void;
|
|
271
|
-
static getTag(v: MemoryValue | undefined): TypeTag;
|
|
272
|
-
static buildFromTagTruncating(v: bigint | number, tag: TypeTag): MemoryValue;
|
|
273
|
-
}
|
|
274
|
-
export {};
|
|
275
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21lbW9yeV90eXBlcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vYXZtX21lbW9yeV90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFVQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLEtBQUssTUFBTSxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzNELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQU0zRCxzRUFBc0U7QUFDdEUsOEJBQXNCLFdBQVc7SUFDL0IsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxXQUFXLEdBQUcsV0FBVyxDQUFDO0lBQ25ELFNBQWdCLEdBQUcsQ0FBQyxHQUFHLEVBQUUsV0FBVyxHQUFHLFdBQVcsQ0FBQztJQUNuRCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLFdBQVcsR0FBRyxXQUFXLENBQUM7SUFDbkQsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxXQUFXLEdBQUcsV0FBVyxDQUFDO0lBRW5ELFNBQWdCLE1BQU0sQ0FBQyxHQUFHLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FBQztJQUNsRCxTQUFnQixFQUFFLENBQUMsR0FBRyxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUM7SUFHOUMsU0FBZ0IsS0FBSyxDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsV0FBVyxDQUFDO0lBRzlDLFNBQWdCLFFBQVEsSUFBSSxNQUFNLENBQUM7SUFDNUIsTUFBTSxJQUFJLE9BQU8sQ0FFdkI7SUFHRCxTQUFnQixRQUFRLElBQUksTUFBTSxDQUFDO0lBRzVCLElBQUksSUFBSSxFQUFFLENBRWhCO0lBRU0sY0FBYyxJQUFJLFlBQVksQ0FFcEM7SUFHTSxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxpRkFBaUY7QUFDakYsOEJBQXNCLGFBQWMsU0FBUSxXQUFXO0lBQ3JELFNBQWdCLEdBQUcsQ0FBQyxHQUFHLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQztJQUN2RCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUM7SUFDdkQsU0FBZ0IsR0FBRyxDQUFDLEdBQUcsRUFBRSxhQUFhLEdBQUcsYUFBYSxDQUFDO0lBQ3ZELFNBQWdCLEVBQUUsQ0FBQyxHQUFHLEVBQUUsYUFBYSxHQUFHLGFBQWEsQ0FBQztJQUN0RCxTQUFnQixHQUFHLENBQUMsR0FBRyxFQUFFLGFBQWEsR0FBRyxhQUFhLENBQUM7SUFDdkQsU0FBZ0IsR0FBRyxJQUFJLGFBQWEsQ0FBQztDQUN0Qzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFtR0QscUJBQWEsS0FBTSxTQUFRLFVBQThCO0NBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQzVELHFCQUFhLEtBQU0sU0FBUSxVQUE4QjtDQUFHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUM1RCxxQkFBYSxNQUFPLFNBQVEsV0FBK0I7Q0FBRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFDOUQscUJBQWEsTUFBTyxTQUFRLFdBQStCO0NBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBQzlELHFCQUFhLE1BQU8sU0FBUSxXQUErQjtDQUFHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUM5RCxxQkFBYSxPQUFRLFNBQVEsWUFBZ0M7Q0FBRztBQUVoRSxxQkFBYSxLQUFNLFNBQVEsV0FBVztJQUNwQyxnQkFBdUIsT0FBTyxFQUFFLE1BQU0sQ0FBYztJQUNwRCxPQUFPLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBSztJQUV6QixZQUFZLENBQUMsRUFBRSxNQUFNLEdBQUcsTUFBTSxHQUFHLEVBQUUsR0FBRyxNQUFNLEVBRzNDO0lBRU0sS0FBSyxDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsS0FBSyxDQUU3QjtJQUVNLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FFNUI7SUFFTSxHQUFHLENBQUMsR0FBRyxFQUFFLEtBQUssR0FBRyxLQUFLLENBRTVCO0lBRU0sR0FBRyxDQUFDLEdBQUcsRUFBRSxLQUFLLEdBQUcsS0FBSyxDQUU1QjtJQUdNLEdBQUcsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLEtBQUssQ0FFNUI7SUFHTSxJQUFJLENBQUMsR0FBRyxFQUFFLEtBQUssR0FBRyxLQUFLLENBRTdCO0lBRU0sTUFBTSxDQUFDLEdBQUcsRUFBRSxLQUFLLEdBQUcsT0FBTyxDQUVqQztJQUVNLEVBQUUsQ0FBQyxHQUFHLEVBQUUsS0FBSyxHQUFHLE9BQU8sQ0FFN0I7SUFFTSxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUVNLFFBQVEsSUFBSSxNQUFNLENBRXhCO0NBQ0Y7QUFFRCxvQkFBWSxPQUFPO0lBQ2pCLEtBQUssSUFBYTtJQUNsQixLQUFLLElBQWE7SUFDbEIsS0FBSyxJQUFhO0lBQ2xCLE1BQU0sSUFBYztJQUNwQixNQUFNLElBQWM7SUFDcEIsTUFBTSxJQUFjO0lBQ3BCLE9BQU8sSUFBZTtJQUN0QixPQUFPLElBQW1CO0NBQzNCO0FBR0QsTUFBTSxNQUFNLHFCQUFxQixHQUFHLFdBQVcsQ0FBQyxZQUFZLENBQUMsQ0FBQztBQUU5RCxxQkFBYSxZQUFhLFlBQVcscUJBQXFCO0lBQ3hELE1BQU0sQ0FBQyxRQUFRLENBQUMsR0FBRyxFQUFFLE1BQU0sQ0FBd0M7SUFHbkUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxxQkFBcUIsVUFBbUM7SUFLeEUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxlQUFlLFNBQXFCO0lBQ3BELE9BQU8sQ0FBQyxJQUFJLENBQTJCO0lBRXZDLGNBRUM7SUFFTSxnQkFBZ0IsSUFBSSxNQUFNLENBRWhDO0lBRU0sR0FBRyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsV0FBVyxDQUV0QztJQUVNLEtBQUssQ0FBQyxDQUFDLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxDQUFDLENBU2pDO0lBRU0sUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxXQUFXLEVBQUUsQ0FlM0Q7SUFFTSxVQUFVLENBQUMsQ0FBQyxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLE1BQU0sR0FBRyxDQUFDLEVBQUUsQ0FFdEQ7SUFFTSxZQUFZLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsTUFBTSxHQUFHLE9BQU8sRUFBRSxDQUUzRDtJQUVNLEdBQUcsQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLENBQUMsRUFBRSxXQUFXLFFBSXhDO0lBRU0sUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFLFdBQVcsRUFBRSxRQVduRDtJQUVNLE1BQU0sQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FHckM7SUFFRDs7T0FFRztJQUNJLFFBQVEsQ0FBQyxHQUFHLEVBQUUsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLFFBSzNDO0lBRUQsT0FBYyx1QkFBdUIsQ0FBQyxHQUFHLEVBQUUsT0FBTyx5QkFFakQ7SUFFRCxPQUFjLGtCQUFrQixDQUFDLEdBQUcsRUFBRSxPQUFPLFFBSTVDO0lBRUQsT0FBYyxlQUFlLENBQUMsU0FBUyxFQUFFLE1BQU0sUUFJOUM7SUFFRDs7T0FFRztJQUNJLFNBQVMsQ0FBQyxHQUFHLEVBQUUsT0FBTyxFQUFFLEdBQUcsT0FBTyxFQUFFLE1BQU0sRUFBRSxRQUlsRDtJQUVEOztPQUVHO0lBQ0ksZ0JBQWdCLENBQUMsT0FBTyxFQUFFLE1BQU0sRUFBRSxPQUFPLEVBQUUsTUFBTSxRQUd2RDtJQUVEOztPQUVHO0lBQ0ksY0FBYyxDQUFDLEdBQUcsRUFBRSxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sRUFBRSxJQUFJLEVBQUUsTUFBTSxRQVFwRTtJQUVELE9BQWMsTUFBTSxDQUFDLENBQUMsRUFBRSxXQUFXLEdBQUcsU0FBUyxHQUFHLE9BQU8sQ0FNeEQ7SUFHRCxPQUFjLHNCQUFzQixDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsTUFBTSxFQUFFLEdBQUcsRUFBRSxPQUFPLEdBQUcsV0FBVyxDQW9CbEY7Q0FDRiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_memory_types.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAM3D,sEAAsE;AACtE,8BAAsB,WAAW;IAC/B,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IACnD,SAAgB,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW,CAAC;IAEnD,SAAgB,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC;IAClD,SAAgB,EAAE,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC;IAG9C,SAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAG9C,SAAgB,QAAQ,IAAI,MAAM,CAAC;IAC5B,MAAM,IAAI,OAAO,CAEvB;IAGD,SAAgB,QAAQ,IAAI,MAAM,CAAC;IAG5B,IAAI,IAAI,EAAE,CAEhB;IAEM,cAAc,IAAI,YAAY,CAEpC;IAGM,QAAQ,IAAI,MAAM,CAExB;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,iFAAiF;AACjF,8BAAsB,aAAc,SAAQ,WAAW;IACrD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,EAAE,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACtD,SAAgB,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa,CAAC;IACvD,SAAgB,GAAG,IAAI,aAAa,CAAC;CACtC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmGD,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,OAAQ,SAAQ,YAAgC;CAAG;AAEhE,qBAAa,KAAM,SAAQ,WAAW;IACpC,gBAAuB,OAAO,EAAE,MAAM,CAAc;IACpD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAK;IAEzB,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE,GAAG,MAAM,EAG3C;IAEM,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK,CAE7B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAEM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAGM,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE5B;IAGM,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAE7B;IAEM,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAEjC;IAEM,EAAE,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO,CAE7B;IAEM,QAAQ,IAAI,MAAM,CAExB;IAEM,QAAQ,IAAI,MAAM,CAExB;CACF;AAED,oBAAY,OAAO;IACjB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,OAAO,IAAe;IACtB,OAAO,IAAmB;CAC3B;AAGD,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;AAE9D,qBAAa,YAAa,YAAW,qBAAqB;IACxD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAwC;IAGnE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,UAAmC;IAKxE,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAqB;IACpD,OAAO,CAAC,IAAI,CAA2B;IAEvC,cAEC;IAEM,gBAAgB,IAAI,MAAM,CAEhC;IAEM,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAEtC;IAEM,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,CASjC;IAEM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,CAe3D;IAEM,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE,CAEtD;IAEM,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAE3D;IAEM,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW,QAIxC;IAEM,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAWnD;IAEM,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAGrC;IAED;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAK3C;IAED,OAAc,uBAAuB,CAAC,GAAG,EAAE,OAAO,yBAEjD;IAED,OAAc,kBAAkB,CAAC,GAAG,EAAE,OAAO,QAI5C;IAED,OAAc,eAAe,CAAC,SAAS,EAAE,MAAM,QAI9C;IAED;;OAEG;IACI,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,QAIlD;IAED;;OAEG;IACI,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,QAGvD;IAED;;OAEG;IACI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAQpE;IAED,OAAc,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO,CAMxD;IAGD,OAAc,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW,CAoBlF;CACF"}
|