@aztec/simulator 6.0.0-nightly.20260604 → 6.0.0-nightly.20260721
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/client.d.ts +1 -3
- package/dest/client.d.ts.map +1 -1
- package/dest/client.js +0 -2
- package/dest/private/circuit_recording/circuit_recorder.d.ts +36 -23
- package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/circuit_recorder.js +65 -69
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts +7 -19
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -1
- package/dest/private/circuit_recording/file_circuit_recorder.js +38 -42
- package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +1 -1
- package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -1
- package/dest/private/circuit_recording/simulator_recorder_wrapper.js +11 -14
- 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 +1 -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 +1 -1
- 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 +1 -34
- package/dest/public/avm_simulator.d.ts +28 -0
- package/dest/public/avm_simulator.d.ts.map +1 -0
- package/dest/public/avm_simulator.js +4 -0
- package/dest/public/avm_simulator_pool.d.ts +45 -0
- package/dest/public/avm_simulator_pool.d.ts.map +1 -0
- package/dest/public/avm_simulator_pool.js +197 -0
- package/dest/public/cdb/generated/api_types.d.ts +171 -0
- package/dest/public/cdb/generated/api_types.d.ts.map +1 -0
- package/dest/public/cdb/generated/api_types.js +314 -0
- package/dest/public/cdb/generated/server.d.ts +26 -0
- package/dest/public/cdb/generated/server.d.ts.map +1 -0
- package/dest/public/cdb/generated/server.js +135 -0
- package/dest/public/cdb_ipc_server.d.ts +33 -0
- package/dest/public/cdb_ipc_server.d.ts.map +1 -0
- package/dest/public/cdb_ipc_server.js +153 -0
- package/dest/public/fixtures/amm_test.js +2 -2
- package/dest/public/fixtures/bulk_test.js +2 -2
- package/dest/public/fixtures/custom_bytecode_tester.d.ts +1 -1
- package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -1
- package/dest/public/fixtures/custom_bytecode_tester.js +2 -2
- package/dest/public/fixtures/index.d.ts +2 -4
- package/dest/public/fixtures/index.d.ts.map +1 -1
- package/dest/public/fixtures/index.js +1 -3
- package/dest/public/fixtures/public_processor_test_env.d.ts +30 -0
- package/dest/public/fixtures/public_processor_test_env.d.ts.map +1 -0
- package/dest/public/fixtures/public_processor_test_env.js +73 -0
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +11 -7
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +33 -43
- package/dest/public/fixtures/simple_contract_data_source.js +1 -1
- package/dest/public/fixtures/token_test.js +3 -3
- 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 +5 -3
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +11 -4
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -1
- package/dest/public/fuzzing/avm_fuzzer_simulator.js +24 -10
- package/dest/public/fuzzing/avm_simulator_bin.js +4 -4
- package/dest/public/index.d.ts +5 -2
- package/dest/public/index.d.ts.map +1 -1
- package/dest/public/index.js +2 -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 +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 +8 -4
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +18 -14
- package/dest/public/public_tx_simulator/dumping_public_tx_simulator.d.ts +17 -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} +10 -23
- package/dest/public/public_tx_simulator/factories.d.ts +8 -8
- package/dest/public/public_tx_simulator/factories.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/factories.js +8 -8
- package/dest/public/public_tx_simulator/index.d.ts +4 -6
- 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 +42 -75
- 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 -323
- package/dest/public/public_tx_simulator/public_tx_simulator_base.d.ts +24 -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 +31 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +5 -5
- package/dest/public/test_executor_metrics.d.ts +1 -6
- package/dest/public/test_executor_metrics.d.ts.map +1 -1
- package/dest/public/test_executor_metrics.js +0 -22
- package/package.json +22 -19
- package/src/client.ts +0 -2
- package/src/private/circuit_recording/circuit_recorder.ts +84 -78
- package/src/private/circuit_recording/file_circuit_recorder.ts +38 -48
- package/src/private/circuit_recording/simulator_recorder_wrapper.ts +9 -15
- package/src/public/avm/{fixtures → testing}/base_avm_simulation_tester.ts +1 -1
- package/src/public/avm/{fixtures → testing}/utils.ts +1 -40
- package/src/public/avm_simulator.ts +29 -0
- package/src/public/avm_simulator_pool.ts +226 -0
- package/src/public/cdb/generated/api_types.ts +457 -0
- package/src/public/cdb/generated/server.ts +109 -0
- package/src/public/cdb_ipc_server.ts +197 -0
- package/src/public/fixtures/amm_test.ts +2 -2
- package/src/public/fixtures/bulk_test.ts +2 -2
- package/src/public/fixtures/custom_bytecode_tester.ts +2 -2
- package/src/public/fixtures/index.ts +1 -3
- package/src/public/fixtures/public_processor_test_env.ts +88 -0
- package/src/public/fixtures/public_tx_simulation_tester.ts +41 -55
- package/src/public/fixtures/simple_contract_data_source.ts +1 -1
- package/src/public/fixtures/token_test.ts +3 -3
- package/src/public/fixtures/utils.ts +6 -11
- package/src/public/fuzzing/avm_fuzzer_simulator.ts +25 -10
- package/src/public/fuzzing/avm_simulator_bin.ts +3 -5
- package/src/public/index.ts +7 -3
- package/src/public/public_db_sources.ts +1 -1
- package/src/public/public_processor/guarded_merkle_tree.ts +5 -2
- package/src/public/public_processor/public_processor.ts +24 -17
- package/src/public/public_tx_simulator/{dumping_cpp_public_tx_simulator.ts → dumping_public_tx_simulator.ts} +15 -31
- package/src/public/public_tx_simulator/factories.ts +27 -10
- package/src/public/public_tx_simulator/index.ts +6 -5
- package/src/public/public_tx_simulator/public_tx_simulator.ts +139 -480
- package/src/public/public_tx_simulator/public_tx_simulator_base.ts +37 -0
- package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +5 -5
- package/src/public/test_executor_metrics.ts +0 -24
- 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 -64
- 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 -21
- package/dest/public/avm/opcodes/contract.d.ts.map +0 -1
- package/dest/public/avm/opcodes/contract.js +0 -69
- 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 -17
- package/dest/public/avm/opcodes/ec_add.d.ts.map +0 -1
- package/dest/public/avm/opcodes/ec_add.js +0 -79
- 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 -14
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +0 -1
- package/dest/public/fixtures/custom_bytecode_tests.js +0 -234
- 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 -1645
- 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/contract_provider_for_cpp.d.ts +0 -19
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +0 -1
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +0 -99
- 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 -135
- 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 -298
- 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 -101
- 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 -76
- 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 -86
- 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 -366
- package/src/public/fixtures/minimal_public_tx.ts +0 -26
- package/src/public/fixtures/opcode_spammer.ts +0 -1713
- package/src/public/hinting_db_sources.ts +0 -610
- package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +0 -125
- 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 -482
- 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,74 +0,0 @@
|
|
|
1
|
-
import type { AvmContext } from '../avm_context.js';
|
|
2
|
-
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
3
|
-
import { Instruction } from './instruction.js';
|
|
4
|
-
export declare class Set extends Instruction {
|
|
5
|
-
private addressingMode;
|
|
6
|
-
private dstOffset;
|
|
7
|
-
private inTag;
|
|
8
|
-
private value;
|
|
9
|
-
static readonly type: string;
|
|
10
|
-
static readonly opcode: Opcode;
|
|
11
|
-
static readonly wireFormat8: OperandType[];
|
|
12
|
-
static readonly wireFormat16: OperandType[];
|
|
13
|
-
static readonly wireFormat32: OperandType[];
|
|
14
|
-
static readonly wireFormat64: OperandType[];
|
|
15
|
-
static readonly wireFormat128: OperandType[];
|
|
16
|
-
static readonly wireFormatFF: OperandType[];
|
|
17
|
-
constructor(addressingMode: number, dstOffset: number, inTag: number, value: bigint | number);
|
|
18
|
-
execute(context: AvmContext): Promise<void>;
|
|
19
|
-
}
|
|
20
|
-
export declare class Cast extends Instruction {
|
|
21
|
-
private addressingMode;
|
|
22
|
-
private srcOffset;
|
|
23
|
-
private dstOffset;
|
|
24
|
-
private dstTag;
|
|
25
|
-
static readonly type: string;
|
|
26
|
-
static readonly opcode = Opcode.CAST_8;
|
|
27
|
-
static readonly wireFormat8: OperandType[];
|
|
28
|
-
static readonly wireFormat16: OperandType[];
|
|
29
|
-
constructor(addressingMode: number, srcOffset: number, dstOffset: number, dstTag: number);
|
|
30
|
-
execute(context: AvmContext): Promise<void>;
|
|
31
|
-
}
|
|
32
|
-
export declare class Mov extends Instruction {
|
|
33
|
-
private addressingMode;
|
|
34
|
-
private srcOffset;
|
|
35
|
-
private dstOffset;
|
|
36
|
-
static readonly type: string;
|
|
37
|
-
static readonly opcode: Opcode;
|
|
38
|
-
static readonly wireFormat8: OperandType[];
|
|
39
|
-
static readonly wireFormat16: OperandType[];
|
|
40
|
-
constructor(addressingMode: number, srcOffset: number, dstOffset: number);
|
|
41
|
-
execute(context: AvmContext): Promise<void>;
|
|
42
|
-
}
|
|
43
|
-
export declare class CalldataCopy extends Instruction {
|
|
44
|
-
private addressingMode;
|
|
45
|
-
private copySizeOffset;
|
|
46
|
-
private cdStartOffset;
|
|
47
|
-
private dstOffset;
|
|
48
|
-
static readonly type: string;
|
|
49
|
-
static readonly opcode: Opcode;
|
|
50
|
-
static readonly wireFormat: OperandType[];
|
|
51
|
-
constructor(addressingMode: number, copySizeOffset: number, cdStartOffset: number, dstOffset: number);
|
|
52
|
-
execute(context: AvmContext): Promise<void>;
|
|
53
|
-
}
|
|
54
|
-
export declare class ReturndataSize extends Instruction {
|
|
55
|
-
private addressingMode;
|
|
56
|
-
private dstOffset;
|
|
57
|
-
static readonly type: string;
|
|
58
|
-
static readonly opcode: Opcode;
|
|
59
|
-
static readonly wireFormat: OperandType[];
|
|
60
|
-
constructor(addressingMode: number, dstOffset: number);
|
|
61
|
-
execute(context: AvmContext): Promise<void>;
|
|
62
|
-
}
|
|
63
|
-
export declare class ReturndataCopy extends Instruction {
|
|
64
|
-
private addressingMode;
|
|
65
|
-
private copySizeOffset;
|
|
66
|
-
private rdStartOffset;
|
|
67
|
-
private dstOffset;
|
|
68
|
-
static readonly type: string;
|
|
69
|
-
static readonly opcode: Opcode;
|
|
70
|
-
static readonly wireFormat: OperandType[];
|
|
71
|
-
constructor(addressingMode: number, copySizeOffset: number, rdStartOffset: number, dstOffset: number);
|
|
72
|
-
execute(context: AvmContext): Promise<void>;
|
|
73
|
-
}
|
|
74
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWVtb3J5LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi8uLi9zcmMvcHVibGljL2F2bS9vcGNvZGVzL21lbW9yeS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFJQSxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVwRCxPQUFPLEVBQUUsTUFBTSxFQUFFLFdBQVcsRUFBRSxNQUFNLCtDQUErQyxDQUFDO0FBRXBGLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUUvQyxxQkFBYSxHQUFJLFNBQVEsV0FBVztJQWlEaEMsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLEtBQUs7SUFDYixPQUFPLENBQUMsS0FBSztJQW5EZixNQUFNLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRSxNQUFNLENBQVM7SUFFckMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFnQjtJQUU5QyxnQkFBdUIsV0FBVyxFQUFFLFdBQVcsRUFBRSxDQU0vQztJQUNGLGdCQUF1QixZQUFZLEVBQUUsV0FBVyxFQUFFLENBTWhEO0lBQ0YsZ0JBQXVCLFlBQVksRUFBRSxXQUFXLEVBQUUsQ0FNaEQ7SUFDRixnQkFBdUIsWUFBWSxFQUFFLFdBQVcsRUFBRSxDQU1oRDtJQUNGLGdCQUF1QixhQUFhLEVBQUUsV0FBVyxFQUFFLENBTWpEO0lBQ0YsZ0JBQXVCLFlBQVksRUFBRSxXQUFXLEVBQUUsQ0FNaEQ7SUFFRixZQUNVLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLEtBQUssRUFBRSxNQUFNLEVBQ2IsS0FBSyxFQUFFLE1BQU0sR0FBRyxNQUFNLEVBSy9CO0lBRVksT0FBTyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQWN2RDtDQUNGO0FBRUQscUJBQWEsSUFBSyxTQUFRLFdBQVc7SUFvQmpDLE9BQU8sQ0FBQyxjQUFjO0lBQ3RCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxNQUFNO0lBdEJoQixNQUFNLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRSxNQUFNLENBQVU7SUFDdEMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxNQUFNLGlCQUFpQjtJQUV2QyxNQUFNLENBQUMsUUFBUSxDQUFDLFdBQVcsZ0JBTXpCO0lBQ0YsTUFBTSxDQUFDLFFBQVEsQ0FBQyxZQUFZLGdCQU0xQjtJQUVGLFlBQ1UsY0FBYyxFQUFFLE1BQU0sRUFDdEIsU0FBUyxFQUFFLE1BQU0sRUFDakIsU0FBUyxFQUFFLE1BQU0sRUFDakIsTUFBTSxFQUFFLE1BQU0sRUFHdkI7SUFFWSxPQUFPLENBQUMsT0FBTyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBZ0J2RDtDQUNGO0FBRUQscUJBQWEsR0FBSSxTQUFRLFdBQVc7SUFtQmhDLE9BQU8sQ0FBQyxjQUFjO0lBQ3RCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxTQUFTO0lBcEJuQixNQUFNLENBQUMsUUFBUSxDQUFDLElBQUksRUFBRSxNQUFNLENBQVM7SUFFckMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFnQjtJQUU5QyxNQUFNLENBQUMsUUFBUSxDQUFDLFdBQVcsRUFBRSxXQUFXLEVBQUUsQ0FLeEM7SUFDRixNQUFNLENBQUMsUUFBUSxDQUFDLFlBQVksRUFBRSxXQUFXLEVBQUUsQ0FLekM7SUFFRixZQUNVLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLFNBQVMsRUFBRSxNQUFNLEVBQ2pCLFNBQVMsRUFBRSxNQUFNLEVBRzFCO0lBRVksT0FBTyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVl2RDtDQUNGO0FBRUQscUJBQWEsWUFBYSxTQUFRLFdBQVc7SUFhekMsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLGFBQWE7SUFDckIsT0FBTyxDQUFDLFNBQVM7SUFmbkIsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFrQjtJQUM5QyxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQXVCO0lBRXJELE1BQU0sQ0FBQyxRQUFRLENBQUMsVUFBVSxFQUFFLFdBQVcsRUFBRSxDQU12QztJQUVGLFlBQ1UsY0FBYyxFQUFFLE1BQU0sRUFDdEIsY0FBYyxFQUFFLE1BQU0sRUFDdEIsYUFBYSxFQUFFLE1BQU0sRUFDckIsU0FBUyxFQUFFLE1BQU0sRUFHMUI7SUFFWSxPQUFPLENBQUMsT0FBTyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBc0J2RDtDQUNGO0FBRUQscUJBQWEsY0FBZSxTQUFRLFdBQVc7SUFPM0MsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLFNBQVM7SUFQbkIsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFvQjtJQUNoRCxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQXlCO0lBRXZELE1BQU0sQ0FBQyxRQUFRLENBQUMsVUFBVSxFQUFFLFdBQVcsRUFBRSxDQUE4RDtJQUV2RyxZQUNVLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLFNBQVMsRUFBRSxNQUFNLEVBRzFCO0lBRVksT0FBTyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVl2RDtDQUNGO0FBRUQscUJBQWEsY0FBZSxTQUFRLFdBQVc7SUFhM0MsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLGNBQWM7SUFDdEIsT0FBTyxDQUFDLGFBQWE7SUFDckIsT0FBTyxDQUFDLFNBQVM7SUFmbkIsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFvQjtJQUNoRCxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQXlCO0lBRXZELE1BQU0sQ0FBQyxRQUFRLENBQUMsVUFBVSxFQUFFLFdBQVcsRUFBRSxDQU12QztJQUVGLFlBQ1UsY0FBYyxFQUFFLE1BQU0sRUFDdEIsY0FBYyxFQUFFLE1BQU0sRUFDdEIsYUFBYSxFQUFFLE1BQU0sRUFDckIsU0FBUyxFQUFFLE1BQU0sRUFHMUI7SUFFWSxPQUFPLENBQUMsT0FBTyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBc0J2RDtDQUNGIn0=
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/memory.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,GAAI,SAAQ,WAAW;IAiDhC,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,KAAK;IACb,OAAO,CAAC,KAAK;IAnDf,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IAErC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAgB;IAE9C,gBAAuB,WAAW,EAAE,WAAW,EAAE,CAM/C;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;IACF,gBAAuB,aAAa,EAAE,WAAW,EAAE,CAMjD;IACF,gBAAuB,YAAY,EAAE,WAAW,EAAE,CAMhD;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM,GAAG,MAAM,EAK/B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAcvD;CACF;AAED,qBAAa,IAAK,SAAQ,WAAW;IAoBjC,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,MAAM;IAtBhB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAU;IACtC,MAAM,CAAC,QAAQ,CAAC,MAAM,iBAAiB;IAEvC,MAAM,CAAC,QAAQ,CAAC,WAAW,gBAMzB;IACF,MAAM,CAAC,QAAQ,CAAC,YAAY,gBAM1B;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,MAAM,EAGvB;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAgBvD;CACF;AAED,qBAAa,GAAI,SAAQ,WAAW;IAmBhC,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IApBnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IAErC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAgB;IAE9C,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,CAKxC;IACF,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAKzC;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EAG1B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAYvD;CACF;AAED,qBAAa,YAAa,SAAQ,WAAW;IAazC,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IAfnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAkB;IAC9C,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAuB;IAErD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAMvC;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,EAG1B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAsBvD;CACF;AAED,qBAAa,cAAe,SAAQ,WAAW;IAO3C,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,SAAS;IAPnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAoB;IAChD,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAyB;IAEvD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAA8D;IAEvG,YACU,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EAG1B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAYvD;CACF;AAED,qBAAa,cAAe,SAAQ,WAAW;IAa3C,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IAfnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAoB;IAChD,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAyB;IAEvD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAMvC;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,EAG1B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAsBvD;CACF"}
|
|
@@ -1,257 +0,0 @@
|
|
|
1
|
-
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import { strict as assert } from 'assert';
|
|
3
|
-
import { Field, TaggedMemory, TypeTag, Uint32 } from '../avm_memory_types.js';
|
|
4
|
-
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
5
|
-
import { Addressing } from './addressing_mode.js';
|
|
6
|
-
import { Instruction } from './instruction.js';
|
|
7
|
-
export class Set extends Instruction {
|
|
8
|
-
addressingMode;
|
|
9
|
-
dstOffset;
|
|
10
|
-
inTag;
|
|
11
|
-
value;
|
|
12
|
-
static type = 'SET';
|
|
13
|
-
// Required for gas.
|
|
14
|
-
static opcode = Opcode.SET_8;
|
|
15
|
-
static wireFormat8 = [
|
|
16
|
-
OperandType.UINT8,
|
|
17
|
-
OperandType.UINT8,
|
|
18
|
-
OperandType.UINT8,
|
|
19
|
-
OperandType.TAG,
|
|
20
|
-
OperandType.UINT8
|
|
21
|
-
];
|
|
22
|
-
static wireFormat16 = [
|
|
23
|
-
OperandType.UINT8,
|
|
24
|
-
OperandType.UINT8,
|
|
25
|
-
OperandType.UINT16,
|
|
26
|
-
OperandType.TAG,
|
|
27
|
-
OperandType.UINT16
|
|
28
|
-
];
|
|
29
|
-
static wireFormat32 = [
|
|
30
|
-
OperandType.UINT8,
|
|
31
|
-
OperandType.UINT8,
|
|
32
|
-
OperandType.UINT16,
|
|
33
|
-
OperandType.TAG,
|
|
34
|
-
OperandType.UINT32
|
|
35
|
-
];
|
|
36
|
-
static wireFormat64 = [
|
|
37
|
-
OperandType.UINT8,
|
|
38
|
-
OperandType.UINT8,
|
|
39
|
-
OperandType.UINT16,
|
|
40
|
-
OperandType.TAG,
|
|
41
|
-
OperandType.UINT64
|
|
42
|
-
];
|
|
43
|
-
static wireFormat128 = [
|
|
44
|
-
OperandType.UINT8,
|
|
45
|
-
OperandType.UINT8,
|
|
46
|
-
OperandType.UINT16,
|
|
47
|
-
OperandType.TAG,
|
|
48
|
-
OperandType.UINT128
|
|
49
|
-
];
|
|
50
|
-
static wireFormatFF = [
|
|
51
|
-
OperandType.UINT8,
|
|
52
|
-
OperandType.UINT8,
|
|
53
|
-
OperandType.UINT16,
|
|
54
|
-
OperandType.TAG,
|
|
55
|
-
OperandType.FF
|
|
56
|
-
];
|
|
57
|
-
constructor(addressingMode, dstOffset, inTag, value){
|
|
58
|
-
super(), this.addressingMode = addressingMode, this.dstOffset = dstOffset, this.inTag = inTag, this.value = value;
|
|
59
|
-
assert(this.value >= 0, `Value ${this.value} is negative`);
|
|
60
|
-
assert(this.value < Fr.MODULUS, `Value ${this.value} is larger than Fr.MODULUS`);
|
|
61
|
-
}
|
|
62
|
-
async execute(context) {
|
|
63
|
-
// Constructor ensured that this.inTag is a valid tag
|
|
64
|
-
const res = TaggedMemory.buildFromTagTruncating(this.value, this.inTag);
|
|
65
|
-
const memory = context.machineState.memory;
|
|
66
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
67
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
68
|
-
const operands = [
|
|
69
|
-
this.dstOffset
|
|
70
|
-
];
|
|
71
|
-
const [dstOffset] = addressing.resolve(operands, memory);
|
|
72
|
-
memory.set(dstOffset, res);
|
|
73
|
-
}
|
|
74
|
-
}
|
|
75
|
-
export class Cast extends Instruction {
|
|
76
|
-
addressingMode;
|
|
77
|
-
srcOffset;
|
|
78
|
-
dstOffset;
|
|
79
|
-
dstTag;
|
|
80
|
-
static type = 'CAST';
|
|
81
|
-
static opcode = Opcode.CAST_8;
|
|
82
|
-
static wireFormat8 = [
|
|
83
|
-
OperandType.UINT8,
|
|
84
|
-
OperandType.UINT8,
|
|
85
|
-
OperandType.UINT8,
|
|
86
|
-
OperandType.UINT8,
|
|
87
|
-
OperandType.TAG
|
|
88
|
-
];
|
|
89
|
-
static wireFormat16 = [
|
|
90
|
-
OperandType.UINT8,
|
|
91
|
-
OperandType.UINT8,
|
|
92
|
-
OperandType.UINT16,
|
|
93
|
-
OperandType.UINT16,
|
|
94
|
-
OperandType.TAG
|
|
95
|
-
];
|
|
96
|
-
constructor(addressingMode, srcOffset, dstOffset, dstTag){
|
|
97
|
-
super(), this.addressingMode = addressingMode, this.srcOffset = srcOffset, this.dstOffset = dstOffset, this.dstTag = dstTag;
|
|
98
|
-
}
|
|
99
|
-
async execute(context) {
|
|
100
|
-
const memory = context.machineState.memory;
|
|
101
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
102
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
103
|
-
const operands = [
|
|
104
|
-
this.srcOffset,
|
|
105
|
-
this.dstOffset
|
|
106
|
-
];
|
|
107
|
-
const [srcOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
108
|
-
const a = memory.get(srcOffset);
|
|
109
|
-
// Constructor ensured that this.dstTag is a valid tag
|
|
110
|
-
const casted = TaggedMemory.buildFromTagTruncating(a.toBigInt(), this.dstTag);
|
|
111
|
-
memory.set(dstOffset, casted);
|
|
112
|
-
}
|
|
113
|
-
}
|
|
114
|
-
export class Mov extends Instruction {
|
|
115
|
-
addressingMode;
|
|
116
|
-
srcOffset;
|
|
117
|
-
dstOffset;
|
|
118
|
-
static type = 'MOV';
|
|
119
|
-
// FIXME: This is needed for gas.
|
|
120
|
-
static opcode = Opcode.MOV_8;
|
|
121
|
-
static wireFormat8 = [
|
|
122
|
-
OperandType.UINT8,
|
|
123
|
-
OperandType.UINT8,
|
|
124
|
-
OperandType.UINT8,
|
|
125
|
-
OperandType.UINT8
|
|
126
|
-
];
|
|
127
|
-
static wireFormat16 = [
|
|
128
|
-
OperandType.UINT8,
|
|
129
|
-
OperandType.UINT8,
|
|
130
|
-
OperandType.UINT16,
|
|
131
|
-
OperandType.UINT16
|
|
132
|
-
];
|
|
133
|
-
constructor(addressingMode, srcOffset, dstOffset){
|
|
134
|
-
super(), this.addressingMode = addressingMode, this.srcOffset = srcOffset, this.dstOffset = dstOffset;
|
|
135
|
-
}
|
|
136
|
-
async execute(context) {
|
|
137
|
-
const memory = context.machineState.memory;
|
|
138
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
139
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
140
|
-
const operands = [
|
|
141
|
-
this.srcOffset,
|
|
142
|
-
this.dstOffset
|
|
143
|
-
];
|
|
144
|
-
const [srcOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
145
|
-
const a = memory.get(srcOffset);
|
|
146
|
-
memory.set(dstOffset, a);
|
|
147
|
-
}
|
|
148
|
-
}
|
|
149
|
-
export class CalldataCopy extends Instruction {
|
|
150
|
-
addressingMode;
|
|
151
|
-
copySizeOffset;
|
|
152
|
-
cdStartOffset;
|
|
153
|
-
dstOffset;
|
|
154
|
-
static type = 'CALLDATACOPY';
|
|
155
|
-
static opcode = Opcode.CALLDATACOPY;
|
|
156
|
-
// Informs (de)serialization. See Instruction.deserialize.
|
|
157
|
-
static wireFormat = [
|
|
158
|
-
OperandType.UINT8,
|
|
159
|
-
OperandType.UINT8,
|
|
160
|
-
OperandType.UINT16,
|
|
161
|
-
OperandType.UINT16,
|
|
162
|
-
OperandType.UINT16
|
|
163
|
-
];
|
|
164
|
-
constructor(addressingMode, copySizeOffset, cdStartOffset, dstOffset){
|
|
165
|
-
super(), this.addressingMode = addressingMode, this.copySizeOffset = copySizeOffset, this.cdStartOffset = cdStartOffset, this.dstOffset = dstOffset;
|
|
166
|
-
}
|
|
167
|
-
async execute(context) {
|
|
168
|
-
const memory = context.machineState.memory;
|
|
169
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
170
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
171
|
-
const operands = [
|
|
172
|
-
this.copySizeOffset,
|
|
173
|
-
this.cdStartOffset,
|
|
174
|
-
this.dstOffset
|
|
175
|
-
];
|
|
176
|
-
const [copySizeOffset, cdStartOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
177
|
-
memory.checkTags(TypeTag.UINT32, cdStartOffset, copySizeOffset);
|
|
178
|
-
const cdStart = memory.get(cdStartOffset).toNumber();
|
|
179
|
-
const copySize = memory.get(copySizeOffset).toNumber();
|
|
180
|
-
context.machineState.consumeGas(this.dynamicGasCost(copySize));
|
|
181
|
-
// Values which are out-of-range of the calldata array will be set with Field(0);
|
|
182
|
-
const slice = context.environment.calldata.slice(cdStart, cdStart + copySize).map((f)=>new Field(f));
|
|
183
|
-
// slice has size = MIN(copySize, calldata.length - cdStart) as TS truncates out-of-range portion
|
|
184
|
-
const transformedData = [
|
|
185
|
-
...slice,
|
|
186
|
-
...Array(copySize - slice.length).fill(new Field(0))
|
|
187
|
-
];
|
|
188
|
-
memory.setSlice(dstOffset, transformedData);
|
|
189
|
-
}
|
|
190
|
-
}
|
|
191
|
-
export class ReturndataSize extends Instruction {
|
|
192
|
-
addressingMode;
|
|
193
|
-
dstOffset;
|
|
194
|
-
static type = 'RETURNDATASIZE';
|
|
195
|
-
static opcode = Opcode.RETURNDATASIZE;
|
|
196
|
-
// Informs (de)serialization. See Instruction.deserialize.
|
|
197
|
-
static wireFormat = [
|
|
198
|
-
OperandType.UINT8,
|
|
199
|
-
OperandType.UINT8,
|
|
200
|
-
OperandType.UINT16
|
|
201
|
-
];
|
|
202
|
-
constructor(addressingMode, dstOffset){
|
|
203
|
-
super(), this.addressingMode = addressingMode, this.dstOffset = dstOffset;
|
|
204
|
-
}
|
|
205
|
-
async execute(context) {
|
|
206
|
-
const memory = context.machineState.memory;
|
|
207
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
208
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
209
|
-
const operands = [
|
|
210
|
-
this.dstOffset
|
|
211
|
-
];
|
|
212
|
-
const [dstOffset] = addressing.resolve(operands, memory);
|
|
213
|
-
memory.set(dstOffset, new Uint32(context.machineState.nestedReturndata.length()));
|
|
214
|
-
}
|
|
215
|
-
}
|
|
216
|
-
export class ReturndataCopy extends Instruction {
|
|
217
|
-
addressingMode;
|
|
218
|
-
copySizeOffset;
|
|
219
|
-
rdStartOffset;
|
|
220
|
-
dstOffset;
|
|
221
|
-
static type = 'RETURNDATACOPY';
|
|
222
|
-
static opcode = Opcode.RETURNDATACOPY;
|
|
223
|
-
// Informs (de)serialization. See Instruction.deserialize.
|
|
224
|
-
static wireFormat = [
|
|
225
|
-
OperandType.UINT8,
|
|
226
|
-
OperandType.UINT8,
|
|
227
|
-
OperandType.UINT16,
|
|
228
|
-
OperandType.UINT16,
|
|
229
|
-
OperandType.UINT16
|
|
230
|
-
];
|
|
231
|
-
constructor(addressingMode, copySizeOffset, rdStartOffset, dstOffset){
|
|
232
|
-
super(), this.addressingMode = addressingMode, this.copySizeOffset = copySizeOffset, this.rdStartOffset = rdStartOffset, this.dstOffset = dstOffset;
|
|
233
|
-
}
|
|
234
|
-
async execute(context) {
|
|
235
|
-
const memory = context.machineState.memory;
|
|
236
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
237
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
238
|
-
const operands = [
|
|
239
|
-
this.copySizeOffset,
|
|
240
|
-
this.rdStartOffset,
|
|
241
|
-
this.dstOffset
|
|
242
|
-
];
|
|
243
|
-
const [copySizeOffset, rdStartOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
244
|
-
memory.checkTags(TypeTag.UINT32, rdStartOffset, copySizeOffset);
|
|
245
|
-
const copySize = memory.get(copySizeOffset).toNumber();
|
|
246
|
-
const rdStart = memory.get(rdStartOffset).toNumber();
|
|
247
|
-
context.machineState.consumeGas(this.dynamicGasCost(copySize));
|
|
248
|
-
// Values which are out-of-range of the returndata array will be set with Field(0);
|
|
249
|
-
const slice = context.machineState.nestedReturndata.slice(rdStart, rdStart + copySize).map((f)=>new Field(f));
|
|
250
|
-
// slice has size = MIN(copySize, returndata.length - rdStart) as TS truncates out-of-range portion
|
|
251
|
-
const transformedData = [
|
|
252
|
-
...slice,
|
|
253
|
-
...Array(copySize - slice.length).fill(new Field(0))
|
|
254
|
-
];
|
|
255
|
-
memory.setSlice(dstOffset, transformedData);
|
|
256
|
-
}
|
|
257
|
-
}
|
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
import type { AvmContext } from '../avm_context.js';
|
|
2
|
-
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
3
|
-
import { Instruction } from './instruction.js';
|
|
4
|
-
export declare class DebugLog extends Instruction {
|
|
5
|
-
private addressingMode;
|
|
6
|
-
private levelOffset;
|
|
7
|
-
private messageOffset;
|
|
8
|
-
private fieldsOffset;
|
|
9
|
-
private fieldsSizeOffset;
|
|
10
|
-
private messageSize;
|
|
11
|
-
static type: string;
|
|
12
|
-
static readonly opcode: Opcode;
|
|
13
|
-
static readonly logger: import("@aztec/foundation/log").Logger;
|
|
14
|
-
static readonly wireFormat: OperandType[];
|
|
15
|
-
constructor(addressingMode: number, levelOffset: number, messageOffset: number, fieldsOffset: number, fieldsSizeOffset: number, messageSize: number);
|
|
16
|
-
execute(context: AvmContext): Promise<void>;
|
|
17
|
-
}
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoibWlzYy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vb3Bjb2Rlcy9taXNjLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRXBELE9BQU8sRUFBRSxNQUFNLEVBQUUsV0FBVyxFQUFFLE1BQU0sK0NBQStDLENBQUM7QUFFcEYsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRS9DLHFCQUFhLFFBQVMsU0FBUSxXQUFXO0lBaUJyQyxPQUFPLENBQUMsY0FBYztJQUN0QixPQUFPLENBQUMsV0FBVztJQUNuQixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMsZ0JBQWdCO0lBQ3hCLE9BQU8sQ0FBQyxXQUFXO0lBckJyQixNQUFNLENBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBYztJQUNqQyxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQW1CO0lBQ2pELE1BQU0sQ0FBQyxRQUFRLENBQUMsTUFBTSx5Q0FBMkM7SUFHakUsTUFBTSxDQUFDLFFBQVEsQ0FBQyxVQUFVLEVBQUUsV0FBVyxFQUFFLENBUXZDO0lBRUYsWUFDVSxjQUFjLEVBQUUsTUFBTSxFQUN0QixXQUFXLEVBQUUsTUFBTSxFQUNuQixhQUFhLEVBQUUsTUFBTSxFQUNyQixZQUFZLEVBQUUsTUFBTSxFQUNwQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLFdBQVcsRUFBRSxNQUFNLEVBRzVCO0lBRVksT0FBTyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQWlFdkQ7Q0FDRiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"misc.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/misc.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,QAAS,SAAQ,WAAW;IAiBrC,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,WAAW;IArBrB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAc;IACjC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAmB;IACjD,MAAM,CAAC,QAAQ,CAAC,MAAM,yCAA2C;IAGjE,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAQvC;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,MAAM,EACnB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM,EAG5B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAiEvD;CACF"}
|
|
@@ -1,73 +0,0 @@
|
|
|
1
|
-
import { LogLevels, applyStringFormatting, createLogger } from '@aztec/foundation/log';
|
|
2
|
-
import { TypeTag } from '../avm_memory_types.js';
|
|
3
|
-
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
4
|
-
import { Addressing } from './addressing_mode.js';
|
|
5
|
-
import { Instruction } from './instruction.js';
|
|
6
|
-
export class DebugLog extends Instruction {
|
|
7
|
-
addressingMode;
|
|
8
|
-
levelOffset;
|
|
9
|
-
messageOffset;
|
|
10
|
-
fieldsOffset;
|
|
11
|
-
fieldsSizeOffset;
|
|
12
|
-
messageSize;
|
|
13
|
-
static type = 'DEBUGLOG';
|
|
14
|
-
static opcode = Opcode.DEBUGLOG;
|
|
15
|
-
static logger = createLogger('simulator:avm:debug_log');
|
|
16
|
-
// Informs (de)serialization. See Instruction.deserialize.
|
|
17
|
-
static wireFormat = [
|
|
18
|
-
OperandType.UINT8,
|
|
19
|
-
OperandType.UINT8,
|
|
20
|
-
OperandType.UINT16,
|
|
21
|
-
OperandType.UINT16,
|
|
22
|
-
OperandType.UINT16,
|
|
23
|
-
OperandType.UINT16,
|
|
24
|
-
OperandType.UINT16
|
|
25
|
-
];
|
|
26
|
-
constructor(addressingMode, levelOffset, messageOffset, fieldsOffset, fieldsSizeOffset, messageSize){
|
|
27
|
-
super(), this.addressingMode = addressingMode, this.levelOffset = levelOffset, this.messageOffset = messageOffset, this.fieldsOffset = fieldsOffset, this.fieldsSizeOffset = fieldsSizeOffset, this.messageSize = messageSize;
|
|
28
|
-
}
|
|
29
|
-
async execute(context) {
|
|
30
|
-
const memory = context.machineState.memory;
|
|
31
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
32
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
33
|
-
const operands = [
|
|
34
|
-
this.levelOffset,
|
|
35
|
-
this.messageOffset,
|
|
36
|
-
this.fieldsOffset,
|
|
37
|
-
this.fieldsSizeOffset
|
|
38
|
-
];
|
|
39
|
-
const [levelOffset, messageOffset, fieldsOffset, fieldsSizeOffset] = addressing.resolve(operands, memory);
|
|
40
|
-
// DebugLog is a no-op except unless the config is set to collect debug logs.
|
|
41
|
-
// Note that we still do address resolution and basic tag-checking (above)
|
|
42
|
-
// To avoid a special-case in the witness generator and circuit.
|
|
43
|
-
if (context.environment.config.collectDebugLogs) {
|
|
44
|
-
memory.checkTag(TypeTag.UINT8, levelOffset);
|
|
45
|
-
const levelNumber = memory.get(levelOffset).toNumber();
|
|
46
|
-
memory.checkTag(TypeTag.UINT32, fieldsSizeOffset);
|
|
47
|
-
const fieldsSize = memory.get(fieldsSizeOffset).toNumber();
|
|
48
|
-
const memoryReads = 1 /* level */ + 1 /* fieldsSize */ + this.messageSize /* message */ + fieldsSize; /* fields */
|
|
49
|
-
if (context.persistableState.getDebugLogMemoryReads() + memoryReads > context.environment.config.collectionLimits.maxDebugLogMemoryReads) {
|
|
50
|
-
// Regular error on purpose: this is not a recoverable error.
|
|
51
|
-
throw new Error(`Max debug log memory reads exceeded: ${context.persistableState.getDebugLogMemoryReads() + memoryReads} > ${context.environment.config.collectionLimits.maxDebugLogMemoryReads}`);
|
|
52
|
-
}
|
|
53
|
-
context.persistableState.writeDebugLogMemoryReads(memoryReads);
|
|
54
|
-
const rawMessage = memory.getSlice(messageOffset, this.messageSize);
|
|
55
|
-
const fields = memory.getSlice(fieldsOffset, fieldsSize);
|
|
56
|
-
memory.checkTagsRange(TypeTag.UINT8, messageOffset, this.messageSize);
|
|
57
|
-
memory.checkTagsRange(TypeTag.FIELD, fieldsOffset, fieldsSize);
|
|
58
|
-
// Interpret str<N> = [u8; N] to string.
|
|
59
|
-
const messageAsStr = rawMessage.map((field)=>String.fromCharCode(field.toNumber())).join('');
|
|
60
|
-
if (!LogLevels[levelNumber]) {
|
|
61
|
-
// Regular error on purpose: this is not a recoverable error.
|
|
62
|
-
throw new Error(`Invalid debug log level: ${levelNumber}`);
|
|
63
|
-
}
|
|
64
|
-
const level = LogLevels[levelNumber];
|
|
65
|
-
context.persistableState.writeDebugLog(context.environment.address, level, messageAsStr, fields.map((field)=>field.toFr()));
|
|
66
|
-
// Skips string formatting if the level is disabled.
|
|
67
|
-
if (DebugLog.logger.isLevelEnabled(level)) {
|
|
68
|
-
const formattedStr = applyStringFormatting(messageAsStr, fields.map((field)=>field.toFr()));
|
|
69
|
-
DebugLog.logger[level](formattedStr);
|
|
70
|
-
}
|
|
71
|
-
}
|
|
72
|
-
}
|
|
73
|
-
}
|
|
@@ -1,25 +0,0 @@
|
|
|
1
|
-
import type { AvmContext } from '../avm_context.js';
|
|
2
|
-
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
3
|
-
import { Instruction } from './instruction.js';
|
|
4
|
-
export declare class SStore extends Instruction {
|
|
5
|
-
private addressingMode;
|
|
6
|
-
private srcOffset;
|
|
7
|
-
private slotOffset;
|
|
8
|
-
static readonly type: string;
|
|
9
|
-
static readonly opcode = Opcode.SSTORE;
|
|
10
|
-
static readonly wireFormat: OperandType[];
|
|
11
|
-
constructor(addressingMode: number, srcOffset: number, slotOffset: number);
|
|
12
|
-
execute(context: AvmContext): Promise<void>;
|
|
13
|
-
}
|
|
14
|
-
export declare class SLoad extends Instruction {
|
|
15
|
-
private addressingMode;
|
|
16
|
-
private slotOffset;
|
|
17
|
-
private contractAddressOffset;
|
|
18
|
-
private dstOffset;
|
|
19
|
-
static readonly type: string;
|
|
20
|
-
static readonly opcode = Opcode.SLOAD;
|
|
21
|
-
static readonly wireFormat: OperandType[];
|
|
22
|
-
constructor(addressingMode: number, slotOffset: number, contractAddressOffset: number, dstOffset: number);
|
|
23
|
-
execute(context: AvmContext): Promise<void>;
|
|
24
|
-
}
|
|
25
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RvcmFnZS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vb3Bjb2Rlcy9zdG9yYWdlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBR3BELE9BQU8sRUFBRSxNQUFNLEVBQUUsV0FBVyxFQUFFLE1BQU0sK0NBQStDLENBQUM7QUFFcEYsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRS9DLHFCQUFhLE1BQU8sU0FBUSxXQUFXO0lBWW5DLE9BQU8sQ0FBQyxjQUFjO0lBQ3RCLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxVQUFVO0lBYnBCLE1BQU0sQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBWTtJQUN4QyxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0saUJBQWlCO0lBRXZDLGdCQUF1QixVQUFVLEVBQUUsV0FBVyxFQUFFLENBSzlDO0lBRUYsWUFDVSxjQUFjLEVBQUUsTUFBTSxFQUN0QixTQUFTLEVBQUUsTUFBTSxFQUNqQixVQUFVLEVBQUUsTUFBTSxFQUczQjtJQUVZLE9BQU8sQ0FBQyxPQUFPLEVBQUUsVUFBVSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0EwQnZEO0NBQ0Y7QUFFRCxxQkFBYSxLQUFNLFNBQVEsV0FBVztJQWFsQyxPQUFPLENBQUMsY0FBYztJQUN0QixPQUFPLENBQUMsVUFBVTtJQUNsQixPQUFPLENBQUMscUJBQXFCO0lBQzdCLE9BQU8sQ0FBQyxTQUFTO0lBZm5CLE1BQU0sQ0FBQyxRQUFRLENBQUMsSUFBSSxFQUFFLE1BQU0sQ0FBVztJQUN2QyxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0sZ0JBQWdCO0lBRXRDLGdCQUF1QixVQUFVLEVBQUUsV0FBVyxFQUFFLENBTTlDO0lBRUYsWUFDVSxjQUFjLEVBQUUsTUFBTSxFQUN0QixVQUFVLEVBQUUsTUFBTSxFQUNsQixxQkFBcUIsRUFBRSxNQUFNLEVBQzdCLFNBQVMsRUFBRSxNQUFNLEVBRzFCO0lBRVksT0FBTyxDQUFDLE9BQU8sRUFBRSxVQUFVLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQWlCdkQ7Q0FDRiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"storage.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/storage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,MAAO,SAAQ,WAAW;IAYnC,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,UAAU;IAbpB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAY;IACxC,MAAM,CAAC,QAAQ,CAAC,MAAM,iBAAiB;IAEvC,gBAAuB,UAAU,EAAE,WAAW,EAAE,CAK9C;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAG3B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CA0BvD;CACF;AAED,qBAAa,KAAM,SAAQ,WAAW;IAalC,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,qBAAqB;IAC7B,OAAO,CAAC,SAAS;IAfnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAW;IACvC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAEtC,gBAAuB,UAAU,EAAE,WAAW,EAAE,CAM9C;IAEF,YACU,cAAc,EAAE,MAAM,EACtB,UAAU,EAAE,MAAM,EAClB,qBAAqB,EAAE,MAAM,EAC7B,SAAS,EAAE,MAAM,EAG1B;IAEY,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAiBvD;CACF"}
|
|
@@ -1,78 +0,0 @@
|
|
|
1
|
-
import { Field, TypeTag } from '../avm_memory_types.js';
|
|
2
|
-
import { StaticCallAlterationError } from '../errors.js';
|
|
3
|
-
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
4
|
-
import { Addressing } from './addressing_mode.js';
|
|
5
|
-
import { Instruction } from './instruction.js';
|
|
6
|
-
export class SStore extends Instruction {
|
|
7
|
-
addressingMode;
|
|
8
|
-
srcOffset;
|
|
9
|
-
slotOffset;
|
|
10
|
-
static type = 'SSTORE';
|
|
11
|
-
static opcode = Opcode.SSTORE;
|
|
12
|
-
// Informs (de)serialization. See Instruction.deserialize.
|
|
13
|
-
static wireFormat = [
|
|
14
|
-
OperandType.UINT8,
|
|
15
|
-
OperandType.UINT8,
|
|
16
|
-
OperandType.UINT16,
|
|
17
|
-
OperandType.UINT16
|
|
18
|
-
];
|
|
19
|
-
constructor(addressingMode, srcOffset, slotOffset){
|
|
20
|
-
super(), this.addressingMode = addressingMode, this.srcOffset = srcOffset, this.slotOffset = slotOffset;
|
|
21
|
-
}
|
|
22
|
-
async execute(context) {
|
|
23
|
-
if (context.environment.isStaticCall) {
|
|
24
|
-
throw new StaticCallAlterationError();
|
|
25
|
-
}
|
|
26
|
-
const memory = context.machineState.memory;
|
|
27
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
28
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
29
|
-
const operands = [
|
|
30
|
-
this.srcOffset,
|
|
31
|
-
this.slotOffset
|
|
32
|
-
];
|
|
33
|
-
const [srcOffset, slotOffset] = addressing.resolve(operands, memory);
|
|
34
|
-
// We read before tag checking since it's needed for gas cost calculation
|
|
35
|
-
const slot = memory.get(slotOffset).toFr();
|
|
36
|
-
context.machineState.consumeGas(this.dynamicGasCost(Number(context.persistableState.isStorageCold(context.environment.address, slot))));
|
|
37
|
-
memory.checkTag(TypeTag.FIELD, slotOffset);
|
|
38
|
-
memory.checkTag(TypeTag.FIELD, srcOffset);
|
|
39
|
-
const value = memory.get(srcOffset).toFr();
|
|
40
|
-
await context.persistableState.writeStorage(context.environment.address, slot, value);
|
|
41
|
-
}
|
|
42
|
-
}
|
|
43
|
-
export class SLoad extends Instruction {
|
|
44
|
-
addressingMode;
|
|
45
|
-
slotOffset;
|
|
46
|
-
contractAddressOffset;
|
|
47
|
-
dstOffset;
|
|
48
|
-
static type = 'SLOAD';
|
|
49
|
-
static opcode = Opcode.SLOAD;
|
|
50
|
-
// Informs (de)serialization. See Instruction.deserialize.
|
|
51
|
-
static wireFormat = [
|
|
52
|
-
OperandType.UINT8,
|
|
53
|
-
OperandType.UINT8,
|
|
54
|
-
OperandType.UINT16,
|
|
55
|
-
OperandType.UINT16,
|
|
56
|
-
OperandType.UINT16
|
|
57
|
-
];
|
|
58
|
-
constructor(addressingMode, slotOffset, contractAddressOffset, dstOffset){
|
|
59
|
-
super(), this.addressingMode = addressingMode, this.slotOffset = slotOffset, this.contractAddressOffset = contractAddressOffset, this.dstOffset = dstOffset;
|
|
60
|
-
}
|
|
61
|
-
async execute(context) {
|
|
62
|
-
const memory = context.machineState.memory;
|
|
63
|
-
const addressing = Addressing.fromWire(this.addressingMode);
|
|
64
|
-
context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
|
|
65
|
-
const operands = [
|
|
66
|
-
this.slotOffset,
|
|
67
|
-
this.contractAddressOffset,
|
|
68
|
-
this.dstOffset
|
|
69
|
-
];
|
|
70
|
-
const [slotOffset, contractAddressOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
71
|
-
memory.checkTag(TypeTag.FIELD, slotOffset);
|
|
72
|
-
memory.checkTag(TypeTag.FIELD, contractAddressOffset);
|
|
73
|
-
const slot = memory.get(slotOffset).toFr();
|
|
74
|
-
const contractAddress = memory.get(contractAddressOffset).toAztecAddress();
|
|
75
|
-
const value = await context.persistableState.readStorage(contractAddress, slot);
|
|
76
|
-
memory.set(dstOffset, new Field(value));
|
|
77
|
-
}
|
|
78
|
-
}
|
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
import type { Fr } from '@aztec/foundation/curves/bn254';
|
|
2
|
-
import type { AvmContext } from './avm_context.js';
|
|
3
|
-
import { type AvmExecutionError, AvmRevertReason } from './errors.js';
|
|
4
|
-
/**
|
|
5
|
-
* Create a "revert reason" error for an exceptional halt.
|
|
6
|
-
*
|
|
7
|
-
* @param haltingError - the lower-level error causing the exceptional halt
|
|
8
|
-
* @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
|
|
9
|
-
*/
|
|
10
|
-
export declare function revertReasonFromExceptionalHalt(haltingError: AvmExecutionError, context: AvmContext): Promise<AvmRevertReason>;
|
|
11
|
-
/**
|
|
12
|
-
* Create a "revert reason" error for an explicit revert (a root cause).
|
|
13
|
-
*
|
|
14
|
-
* @param revertData - output data of the explicit REVERT instruction
|
|
15
|
-
* @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
|
|
16
|
-
*/
|
|
17
|
-
export declare function revertReasonFromExplicitRevert(revertData: Fr[], context: AvmContext): Promise<AvmRevertReason>;
|
|
18
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmV2ZXJ0X3JlYXNvbi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vcmV2ZXJ0X3JlYXNvbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUV6RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUNuRCxPQUFPLEVBQUUsS0FBSyxpQkFBaUIsRUFBRSxlQUFlLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFpQ3RFOzs7OztHQUtHO0FBQ0gsd0JBQXNCLCtCQUErQixDQUNuRCxZQUFZLEVBQUUsaUJBQWlCLEVBQy9CLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0FFMUI7QUFFRDs7Ozs7R0FLRztBQUNILHdCQUFzQiw4QkFBOEIsQ0FBQyxVQUFVLEVBQUUsRUFBRSxFQUFFLEVBQUUsT0FBTyxFQUFFLFVBQVUsR0FBRyxPQUFPLENBQUMsZUFBZSxDQUFDLENBRXBIIn0=
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"revert_reason.d.ts","sourceRoot":"","sources":["../../../src/public/avm/revert_reason.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,KAAK,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAiCtE;;;;;GAKG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,iBAAiB,EAC/B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,eAAe,CAAC,CAE1B;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,CAEpH"}
|
|
@@ -1,39 +0,0 @@
|
|
|
1
|
-
import { AvmRevertReason } from './errors.js';
|
|
2
|
-
async function createRevertReason(message, revertData, context) {
|
|
3
|
-
// We drop the returnPc information.
|
|
4
|
-
const internalCallStack = context.machineState.internalCallStack.map((entry)=>entry.callPc);
|
|
5
|
-
// If we are reverting due to the same error that we have been tracking, we use the nested error as the cause.
|
|
6
|
-
let nestedError = undefined;
|
|
7
|
-
const revertDataEquals = (a, b)=>a.length === b.length && a.every((v, i)=>v.equals(b[i]));
|
|
8
|
-
if (context.machineState.collectedRevertInfo && revertDataEquals(context.machineState.collectedRevertInfo.revertDataRepresentative, revertData)) {
|
|
9
|
-
nestedError = context.machineState.collectedRevertInfo.recursiveRevertReason;
|
|
10
|
-
message = context.machineState.collectedRevertInfo.recursiveRevertReason.message;
|
|
11
|
-
}
|
|
12
|
-
const { functionSelector, functionName } = await context.persistableState.getPublicFunctionSelectorAndName(context.environment);
|
|
13
|
-
return new AvmRevertReason(message, /*failingFunction=*/ {
|
|
14
|
-
contractAddress: context.environment.address,
|
|
15
|
-
functionSelector,
|
|
16
|
-
functionName
|
|
17
|
-
}, /*noirCallStack=*/ [
|
|
18
|
-
...internalCallStack,
|
|
19
|
-
context.machineState.pc
|
|
20
|
-
].map((pc)=>`0.${pc}`), /*options=*/ {
|
|
21
|
-
cause: nestedError
|
|
22
|
-
});
|
|
23
|
-
}
|
|
24
|
-
/**
|
|
25
|
-
* Create a "revert reason" error for an exceptional halt.
|
|
26
|
-
*
|
|
27
|
-
* @param haltingError - the lower-level error causing the exceptional halt
|
|
28
|
-
* @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
|
|
29
|
-
*/ export async function revertReasonFromExceptionalHalt(haltingError, context) {
|
|
30
|
-
return await createRevertReason(haltingError.message, [], context);
|
|
31
|
-
}
|
|
32
|
-
/**
|
|
33
|
-
* Create a "revert reason" error for an explicit revert (a root cause).
|
|
34
|
-
*
|
|
35
|
-
* @param revertData - output data of the explicit REVERT instruction
|
|
36
|
-
* @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
|
|
37
|
-
*/ export async function revertReasonFromExplicitRevert(revertData, context) {
|
|
38
|
-
return await createRevertReason('Assertion failed: ', revertData, context);
|
|
39
|
-
}
|
|
@@ -1,26 +0,0 @@
|
|
|
1
|
-
export declare class BufferCursor {
|
|
2
|
-
private _buffer;
|
|
3
|
-
private _position;
|
|
4
|
-
constructor(_buffer: Buffer, _position?: number);
|
|
5
|
-
position(): number;
|
|
6
|
-
buffer(): Buffer;
|
|
7
|
-
eof(): boolean;
|
|
8
|
-
bufferAtPosition(): Buffer;
|
|
9
|
-
advance(n: number): void;
|
|
10
|
-
peekUint8(): number;
|
|
11
|
-
readUint8(): number;
|
|
12
|
-
readUint16LE(): number;
|
|
13
|
-
readUint16BE(): number;
|
|
14
|
-
readUint32LE(): number;
|
|
15
|
-
readUint32BE(): number;
|
|
16
|
-
readBigInt64LE(): bigint;
|
|
17
|
-
readBigInt64BE(): bigint;
|
|
18
|
-
writeUint8(v: number): number;
|
|
19
|
-
writeUint16LE(v: number): number;
|
|
20
|
-
writeUint16BE(v: number): number;
|
|
21
|
-
writeUint32LE(v: number): number;
|
|
22
|
-
writeUint32BE(v: number): number;
|
|
23
|
-
writeBigInt64LE(v: bigint): number;
|
|
24
|
-
writeBigInt64BE(v: bigint): number;
|
|
25
|
-
}
|
|
26
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVmZmVyX2N1cnNvci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vLi4vc3JjL3B1YmxpYy9hdm0vc2VyaWFsaXphdGlvbi9idWZmZXJfY3Vyc29yLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUdBLHFCQUFhLFlBQVk7SUFFckIsT0FBTyxDQUFDLE9BQU87SUFDZixPQUFPLENBQUMsU0FBUztJQUZuQixZQUNVLE9BQU8sRUFBRSxNQUFNLEVBQ2YsU0FBUyxHQUFFLE1BQVUsRUFDM0I7SUFFRyxRQUFRLElBQUksTUFBTSxDQUV4QjtJQUVNLE1BQU0sSUFBSSxNQUFNLENBRXRCO0lBRU0sR0FBRyxJQUFJLE9BQU8sQ0FFcEI7SUFFTSxnQkFBZ0IsSUFBSSxNQUFNLENBRWhDO0lBRU0sT0FBTyxDQUFDLENBQUMsRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUU5QjtJQUVNLFNBQVMsSUFBSSxNQUFNLENBR3pCO0lBRU0sU0FBUyxJQUFJLE1BQU0sQ0FJekI7SUFFTSxZQUFZLElBQUksTUFBTSxDQUk1QjtJQUVNLFlBQVksSUFBSSxNQUFNLENBSTVCO0lBRU0sWUFBWSxJQUFJLE1BQU0sQ0FJNUI7SUFFTSxZQUFZLElBQUksTUFBTSxDQUk1QjtJQUVNLGNBQWMsSUFBSSxNQUFNLENBSTlCO0lBRU0sY0FBYyxJQUFJLE1BQU0sQ0FJOUI7SUFFTSxVQUFVLENBQUMsQ0FBQyxFQUFFLE1BQU0sVUFJMUI7SUFFTSxhQUFhLENBQUMsQ0FBQyxFQUFFLE1BQU0sVUFJN0I7SUFFTSxhQUFhLENBQUMsQ0FBQyxFQUFFLE1BQU0sVUFJN0I7SUFFTSxhQUFhLENBQUMsQ0FBQyxFQUFFLE1BQU0sVUFJN0I7SUFFTSxhQUFhLENBQUMsQ0FBQyxFQUFFLE1BQU0sVUFJN0I7SUFFTSxlQUFlLENBQUMsQ0FBQyxFQUFFLE1BQU0sVUFJL0I7SUFFTSxlQUFlLENBQUMsQ0FBQyxFQUFFLE1BQU0sVUFJL0I7Q0FDRiJ9
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"buffer_cursor.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/serialization/buffer_cursor.ts"],"names":[],"mappings":"AAGA,qBAAa,YAAY;IAErB,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,SAAS;IAFnB,YACU,OAAO,EAAE,MAAM,EACf,SAAS,GAAE,MAAU,EAC3B;IAEG,QAAQ,IAAI,MAAM,CAExB;IAEM,MAAM,IAAI,MAAM,CAEtB;IAEM,GAAG,IAAI,OAAO,CAEpB;IAEM,gBAAgB,IAAI,MAAM,CAEhC;IAEM,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAE9B;IAEM,SAAS,IAAI,MAAM,CAGzB;IAEM,SAAS,IAAI,MAAM,CAIzB;IAEM,YAAY,IAAI,MAAM,CAI5B;IAEM,YAAY,IAAI,MAAM,CAI5B;IAEM,YAAY,IAAI,MAAM,CAI5B;IAEM,YAAY,IAAI,MAAM,CAI5B;IAEM,cAAc,IAAI,MAAM,CAI9B;IAEM,cAAc,IAAI,MAAM,CAI9B;IAEM,UAAU,CAAC,CAAC,EAAE,MAAM,UAI1B;IAEM,aAAa,CAAC,CAAC,EAAE,MAAM,UAI7B;IAEM,aAAa,CAAC,CAAC,EAAE,MAAM,UAI7B;IAEM,aAAa,CAAC,CAAC,EAAE,MAAM,UAI7B;IAEM,aAAa,CAAC,CAAC,EAAE,MAAM,UAI7B;IAEM,eAAe,CAAC,CAAC,EAAE,MAAM,UAI/B;IAEM,eAAe,CAAC,CAAC,EAAE,MAAM,UAI/B;CACF"}
|