@aztec/simulator 0.0.0-test.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +49 -0
- package/dest/client.d.ts +5 -0
- package/dest/client.d.ts.map +1 -0
- package/dest/client.js +3 -0
- package/dest/common/db_interfaces.d.ts +80 -0
- package/dest/common/db_interfaces.d.ts.map +1 -0
- package/dest/common/db_interfaces.js +1 -0
- package/dest/common/debug_fn_name.d.ts +5 -0
- package/dest/common/debug_fn_name.d.ts.map +1 -0
- package/dest/common/debug_fn_name.js +6 -0
- package/dest/common/errors.d.ts +54 -0
- package/dest/common/errors.d.ts.map +1 -0
- package/dest/common/errors.js +135 -0
- package/dest/common/index.d.ts +4 -0
- package/dest/common/index.d.ts.map +1 -0
- package/dest/common/index.js +3 -0
- package/dest/common/message_load_oracle_inputs.d.ts +15 -0
- package/dest/common/message_load_oracle_inputs.d.ts.map +1 -0
- package/dest/common/message_load_oracle_inputs.js +15 -0
- package/dest/common/stats/index.d.ts +2 -0
- package/dest/common/stats/index.d.ts.map +1 -0
- package/dest/common/stats/index.js +1 -0
- package/dest/common/stats/stats.d.ts +4 -0
- package/dest/common/stats/stats.d.ts.map +1 -0
- package/dest/common/stats/stats.js +10 -0
- package/dest/private/acvm/acvm.d.ts +35 -0
- package/dest/private/acvm/acvm.d.ts.map +1 -0
- package/dest/private/acvm/acvm.js +70 -0
- package/dest/private/acvm/acvm_types.d.ts +10 -0
- package/dest/private/acvm/acvm_types.d.ts.map +1 -0
- package/dest/private/acvm/acvm_types.js +3 -0
- package/dest/private/acvm/deserialize.d.ts +36 -0
- package/dest/private/acvm/deserialize.d.ts.map +1 -0
- package/dest/private/acvm/deserialize.js +42 -0
- package/dest/private/acvm/index.d.ts +6 -0
- package/dest/private/acvm/index.d.ts.map +1 -0
- package/dest/private/acvm/index.js +5 -0
- package/dest/private/acvm/oracle/index.d.ts +14 -0
- package/dest/private/acvm/oracle/index.d.ts.map +1 -0
- package/dest/private/acvm/oracle/index.js +2 -0
- package/dest/private/acvm/oracle/oracle.d.ts +49 -0
- package/dest/private/acvm/oracle/oracle.d.ts.map +1 -0
- package/dest/private/acvm/oracle/oracle.js +263 -0
- package/dest/private/acvm/oracle/typed_oracle.d.ts +83 -0
- package/dest/private/acvm/oracle/typed_oracle.d.ts.map +1 -0
- package/dest/private/acvm/oracle/typed_oracle.js +132 -0
- package/dest/private/acvm/serialize.d.ts +24 -0
- package/dest/private/acvm/serialize.d.ts.map +1 -0
- package/dest/private/acvm/serialize.js +46 -0
- package/dest/private/execution_data_provider.d.ts +261 -0
- package/dest/private/execution_data_provider.d.ts.map +1 -0
- package/dest/private/execution_data_provider.js +14 -0
- package/dest/private/execution_note_cache.d.ts +93 -0
- package/dest/private/execution_note_cache.d.ts.map +1 -0
- package/dest/private/execution_note_cache.js +180 -0
- package/dest/private/hashed_values_cache.d.ts +28 -0
- package/dest/private/hashed_values_cache.d.ts.map +1 -0
- package/dest/private/hashed_values_cache.js +46 -0
- package/dest/private/index.d.ts +13 -0
- package/dest/private/index.d.ts.map +1 -0
- package/dest/private/index.js +12 -0
- package/dest/private/pick_notes.d.ts +85 -0
- package/dest/private/pick_notes.d.ts.map +1 -0
- package/dest/private/pick_notes.js +51 -0
- package/dest/private/private_execution.d.ts +25 -0
- package/dest/private/private_execution.d.ts.map +1 -0
- package/dest/private/private_execution.js +92 -0
- package/dest/private/private_execution_oracle.d.ts +215 -0
- package/dest/private/private_execution_oracle.d.ts.map +1 -0
- package/dest/private/private_execution_oracle.js +382 -0
- package/dest/private/providers/acvm_native.d.ts +40 -0
- package/dest/private/providers/acvm_native.d.ts.map +1 -0
- package/dest/private/providers/acvm_native.js +139 -0
- package/dest/private/providers/acvm_wasm.d.ts +15 -0
- package/dest/private/providers/acvm_wasm.d.ts.map +1 -0
- package/dest/private/providers/acvm_wasm.js +62 -0
- package/dest/private/providers/acvm_wasm_with_blobs.d.ts +19 -0
- package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +1 -0
- package/dest/private/providers/acvm_wasm_with_blobs.js +32 -0
- package/dest/private/providers/factory.d.ts +12 -0
- package/dest/private/providers/factory.d.ts.map +1 -0
- package/dest/private/providers/factory.js +27 -0
- package/dest/private/providers/simulation_provider.d.ts +19 -0
- package/dest/private/providers/simulation_provider.d.ts.map +1 -0
- package/dest/private/providers/simulation_provider.js +24 -0
- package/dest/private/simulator.d.ts +34 -0
- package/dest/private/simulator.d.ts.map +1 -0
- package/dest/private/simulator.js +76 -0
- package/dest/private/unconstrained_execution.d.ts +10 -0
- package/dest/private/unconstrained_execution.d.ts.map +1 -0
- package/dest/private/unconstrained_execution.js +27 -0
- package/dest/private/unconstrained_execution_oracle.d.ts +161 -0
- package/dest/private/unconstrained_execution_oracle.d.ts.map +1 -0
- package/dest/private/unconstrained_execution_oracle.js +258 -0
- package/dest/public/avm/avm_context.d.ts +41 -0
- package/dest/public/avm/avm_context.d.ts.map +1 -0
- package/dest/public/avm/avm_context.js +44 -0
- package/dest/public/avm/avm_contract_call_result.d.ts +30 -0
- package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -0
- package/dest/public/avm/avm_contract_call_result.js +50 -0
- package/dest/public/avm/avm_execution_environment.d.ts +21 -0
- package/dest/public/avm/avm_execution_environment.d.ts.map +1 -0
- package/dest/public/avm/avm_execution_environment.js +31 -0
- package/dest/public/avm/avm_gas.d.ts +60 -0
- package/dest/public/avm/avm_gas.d.ts.map +1 -0
- package/dest/public/avm/avm_gas.js +203 -0
- package/dest/public/avm/avm_machine_state.d.ts +95 -0
- package/dest/public/avm/avm_machine_state.d.ts.map +1 -0
- package/dest/public/avm/avm_machine_state.js +107 -0
- package/dest/public/avm/avm_memory_types.d.ts +264 -0
- package/dest/public/avm/avm_memory_types.d.ts.map +1 -0
- package/dest/public/avm/avm_memory_types.js +340 -0
- package/dest/public/avm/avm_simulator.d.ts +40 -0
- package/dest/public/avm/avm_simulator.d.ts.map +1 -0
- package/dest/public/avm/avm_simulator.js +202 -0
- package/dest/public/avm/bytecode_utils.d.ts +5 -0
- package/dest/public/avm/bytecode_utils.d.ts.map +1 -0
- package/dest/public/avm/bytecode_utils.js +17 -0
- package/dest/public/avm/errors.d.ts +122 -0
- package/dest/public/avm/errors.d.ts.map +1 -0
- package/dest/public/avm/errors.js +179 -0
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +21 -0
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -0
- package/dest/public/avm/fixtures/avm_simulation_tester.js +76 -0
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +36 -0
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -0
- package/dest/public/avm/fixtures/base_avm_simulation_tester.js +83 -0
- package/dest/public/avm/fixtures/index.d.ts +84 -0
- package/dest/public/avm/fixtures/index.d.ts.map +1 -0
- package/dest/public/avm/fixtures/index.js +175 -0
- package/dest/public/avm/fixtures/simple_contract_data_source.d.ts +35 -0
- package/dest/public/avm/fixtures/simple_contract_data_source.d.ts.map +1 -0
- package/dest/public/avm/fixtures/simple_contract_data_source.js +74 -0
- package/dest/public/avm/index.d.ts +4 -0
- package/dest/public/avm/index.d.ts.map +1 -0
- package/dest/public/avm/index.js +3 -0
- package/dest/public/avm/journal/index.d.ts +2 -0
- package/dest/public/avm/journal/index.d.ts.map +1 -0
- package/dest/public/avm/journal/index.js +1 -0
- package/dest/public/avm/journal/journal.d.ts +209 -0
- package/dest/public/avm/journal/journal.d.ts.map +1 -0
- package/dest/public/avm/journal/journal.js +486 -0
- package/dest/public/avm/journal/nullifiers.d.ts +64 -0
- package/dest/public/avm/journal/nullifiers.d.ts.map +1 -0
- package/dest/public/avm/journal/nullifiers.js +97 -0
- package/dest/public/avm/journal/public_storage.d.ts +66 -0
- package/dest/public/avm/journal/public_storage.d.ts.map +1 -0
- package/dest/public/avm/journal/public_storage.js +145 -0
- package/dest/public/avm/opcodes/accrued_substate.d.ts +75 -0
- package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -0
- package/dest/public/avm/opcodes/accrued_substate.js +252 -0
- package/dest/public/avm/opcodes/addressing_mode.d.ts +27 -0
- package/dest/public/avm/opcodes/addressing_mode.d.ts.map +1 -0
- package/dest/public/avm/opcodes/addressing_mode.js +74 -0
- package/dest/public/avm/opcodes/arithmetic.d.ts +37 -0
- package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -0
- package/dest/public/avm/opcodes/arithmetic.js +73 -0
- package/dest/public/avm/opcodes/bitwise.d.ts +50 -0
- package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -0
- package/dest/public/avm/opcodes/bitwise.js +106 -0
- package/dest/public/avm/opcodes/comparators.d.ts +25 -0
- package/dest/public/avm/opcodes/comparators.d.ts.map +1 -0
- package/dest/public/avm/opcodes/comparators.js +43 -0
- package/dest/public/avm/opcodes/contract.d.ts +21 -0
- package/dest/public/avm/opcodes/contract.d.ts.map +1 -0
- package/dest/public/avm/opcodes/contract.js +66 -0
- package/dest/public/avm/opcodes/control_flow.d.ts +41 -0
- package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -0
- package/dest/public/avm/opcodes/control_flow.js +105 -0
- package/dest/public/avm/opcodes/conversion.d.ts +17 -0
- package/dest/public/avm/opcodes/conversion.d.ts.map +1 -0
- package/dest/public/avm/opcodes/conversion.js +69 -0
- package/dest/public/avm/opcodes/ec_add.d.ts +19 -0
- package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -0
- package/dest/public/avm/opcodes/ec_add.js +84 -0
- package/dest/public/avm/opcodes/environment_getters.d.ts +28 -0
- package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -0
- package/dest/public/avm/opcodes/environment_getters.js +79 -0
- package/dest/public/avm/opcodes/external_calls.d.ts +58 -0
- package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -0
- package/dest/public/avm/opcodes/external_calls.js +204 -0
- package/dest/public/avm/opcodes/hashing.d.ts +36 -0
- package/dest/public/avm/opcodes/hashing.d.ts.map +1 -0
- package/dest/public/avm/opcodes/hashing.js +114 -0
- package/dest/public/avm/opcodes/index.d.ts +16 -0
- package/dest/public/avm/opcodes/index.d.ts.map +1 -0
- package/dest/public/avm/opcodes/index.js +15 -0
- package/dest/public/avm/opcodes/instruction.d.ts +70 -0
- package/dest/public/avm/opcodes/instruction.d.ts.map +1 -0
- package/dest/public/avm/opcodes/instruction.js +91 -0
- package/dest/public/avm/opcodes/instruction_impl.d.ts +19 -0
- package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -0
- package/dest/public/avm/opcodes/instruction_impl.js +30 -0
- package/dest/public/avm/opcodes/memory.d.ts +74 -0
- package/dest/public/avm/opcodes/memory.d.ts.map +1 -0
- package/dest/public/avm/opcodes/memory.js +253 -0
- package/dest/public/avm/opcodes/misc.d.ts +17 -0
- package/dest/public/avm/opcodes/misc.d.ts.map +1 -0
- package/dest/public/avm/opcodes/misc.js +48 -0
- package/dest/public/avm/opcodes/storage.d.ts +24 -0
- package/dest/public/avm/opcodes/storage.d.ts.map +1 -0
- package/dest/public/avm/opcodes/storage.js +66 -0
- package/dest/public/avm/serialization/buffer_cursor.d.ts +28 -0
- package/dest/public/avm/serialization/buffer_cursor.d.ts.map +1 -0
- package/dest/public/avm/serialization/buffer_cursor.js +99 -0
- package/dest/public/avm/serialization/bytecode_serialization.d.ts +21 -0
- package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -0
- package/dest/public/avm/serialization/bytecode_serialization.js +332 -0
- package/dest/public/avm/serialization/instruction_serialization.d.ts +105 -0
- package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -0
- package/dest/public/avm/serialization/instruction_serialization.js +226 -0
- package/dest/public/avm/test_utils.d.ts +18 -0
- package/dest/public/avm/test_utils.d.ts.map +1 -0
- package/dest/public/avm/test_utils.js +52 -0
- package/dest/public/bytecode_errors.d.ts +4 -0
- package/dest/public/bytecode_errors.d.ts.map +1 -0
- package/dest/public/bytecode_errors.js +6 -0
- package/dest/public/execution.d.ts +108 -0
- package/dest/public/execution.d.ts.map +1 -0
- package/dest/public/execution.js +9 -0
- package/dest/public/executor_metrics.d.ts +13 -0
- package/dest/public/executor_metrics.d.ts.map +1 -0
- package/dest/public/executor_metrics.js +54 -0
- package/dest/public/fixtures/index.d.ts +3 -0
- package/dest/public/fixtures/index.d.ts.map +1 -0
- package/dest/public/fixtures/index.js +2 -0
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +32 -0
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -0
- package/dest/public/fixtures/public_tx_simulation_tester.js +93 -0
- package/dest/public/fixtures/utils.d.ts +13 -0
- package/dest/public/fixtures/utils.d.ts.map +1 -0
- package/dest/public/fixtures/utils.js +126 -0
- package/dest/public/index.d.ts +10 -0
- package/dest/public/index.d.ts.map +1 -0
- package/dest/public/index.js +8 -0
- package/dest/public/public_db_sources.d.ts +129 -0
- package/dest/public/public_db_sources.d.ts.map +1 -0
- package/dest/public/public_db_sources.js +264 -0
- package/dest/public/public_processor/public_processor.d.ts +74 -0
- package/dest/public/public_processor/public_processor.d.ts.map +1 -0
- package/dest/public/public_processor/public_processor.js +379 -0
- package/dest/public/public_processor/public_processor_metrics.d.ts +27 -0
- package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -0
- package/dest/public/public_processor/public_processor_metrics.js +125 -0
- package/dest/public/public_tx_simulator/public_tx_context.d.ts +137 -0
- package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/public_tx_context.js +320 -0
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +102 -0
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/public_tx_simulator.js +334 -0
- package/dest/public/side_effect_errors.d.ts +4 -0
- package/dest/public/side_effect_errors.d.ts.map +1 -0
- package/dest/public/side_effect_errors.js +6 -0
- package/dest/public/side_effect_trace.d.ts +132 -0
- package/dest/public/side_effect_trace.d.ts.map +1 -0
- package/dest/public/side_effect_trace.js +249 -0
- package/dest/public/side_effect_trace_interface.d.ts +34 -0
- package/dest/public/side_effect_trace_interface.d.ts.map +1 -0
- package/dest/public/side_effect_trace_interface.js +1 -0
- package/dest/public/tx_contract_cache.d.ts +41 -0
- package/dest/public/tx_contract_cache.d.ts.map +1 -0
- package/dest/public/tx_contract_cache.js +49 -0
- package/dest/public/unique_class_ids.d.ts +37 -0
- package/dest/public/unique_class_ids.d.ts.map +1 -0
- package/dest/public/unique_class_ids.js +61 -0
- package/dest/public/utils.d.ts +5 -0
- package/dest/public/utils.d.ts.map +1 -0
- package/dest/public/utils.js +35 -0
- package/dest/server.d.ts +6 -0
- package/dest/server.d.ts.map +1 -0
- package/dest/server.js +4 -0
- package/dest/test/utils.d.ts +13 -0
- package/dest/test/utils.d.ts.map +1 -0
- package/dest/test/utils.js +22 -0
- package/package.json +104 -0
- package/src/client.ts +4 -0
- package/src/common/db_interfaces.ts +94 -0
- package/src/common/debug_fn_name.ts +18 -0
- package/src/common/errors.ts +183 -0
- package/src/common/index.ts +3 -0
- package/src/common/message_load_oracle_inputs.ts +15 -0
- package/src/common/stats/index.ts +1 -0
- package/src/common/stats/stats.ts +20 -0
- package/src/private/acvm/acvm.ts +127 -0
- package/src/private/acvm/acvm_types.ts +11 -0
- package/src/private/acvm/deserialize.ts +52 -0
- package/src/private/acvm/index.ts +5 -0
- package/src/private/acvm/oracle/index.ts +16 -0
- package/src/private/acvm/oracle/oracle.ts +455 -0
- package/src/private/acvm/oracle/typed_oracle.ts +259 -0
- package/src/private/acvm/serialize.ts +60 -0
- package/src/private/execution_data_provider.ts +323 -0
- package/src/private/execution_note_cache.ts +217 -0
- package/src/private/hashed_values_cache.ts +55 -0
- package/src/private/index.ts +16 -0
- package/src/private/pick_notes.ts +141 -0
- package/src/private/private_execution.ts +151 -0
- package/src/private/private_execution_oracle.ts +614 -0
- package/src/private/providers/acvm_native.ts +171 -0
- package/src/private/providers/acvm_wasm.ts +63 -0
- package/src/private/providers/acvm_wasm_with_blobs.ts +50 -0
- package/src/private/providers/factory.ts +38 -0
- package/src/private/providers/simulation_provider.ts +45 -0
- package/src/private/simulator.ts +147 -0
- package/src/private/unconstrained_execution.ts +50 -0
- package/src/private/unconstrained_execution_oracle.ts +373 -0
- package/src/public/avm/avm_context.ts +61 -0
- package/src/public/avm/avm_contract_call_result.ts +55 -0
- package/src/public/avm/avm_execution_environment.ts +39 -0
- package/src/public/avm/avm_gas.ts +195 -0
- package/src/public/avm/avm_machine_state.ts +164 -0
- package/src/public/avm/avm_memory_types.ts +423 -0
- package/src/public/avm/avm_simulator.ts +284 -0
- package/src/public/avm/bytecode_utils.ts +17 -0
- package/src/public/avm/errors.ts +232 -0
- package/src/public/avm/fixtures/avm_simulation_tester.ts +105 -0
- package/src/public/avm/fixtures/base_avm_simulation_tester.ts +109 -0
- package/src/public/avm/fixtures/index.ts +296 -0
- package/src/public/avm/fixtures/simple_contract_data_source.ts +105 -0
- package/src/public/avm/index.ts +3 -0
- package/src/public/avm/journal/index.ts +1 -0
- package/src/public/avm/journal/journal.ts +742 -0
- package/src/public/avm/journal/nullifiers.ts +109 -0
- package/src/public/avm/journal/public_storage.ts +174 -0
- package/src/public/avm/opcodes/.eslintrc.cjs +8 -0
- package/src/public/avm/opcodes/accrued_substate.ts +253 -0
- package/src/public/avm/opcodes/addressing_mode.ts +87 -0
- package/src/public/avm/opcodes/arithmetic.ts +95 -0
- package/src/public/avm/opcodes/bitwise.ts +109 -0
- package/src/public/avm/opcodes/comparators.ts +52 -0
- package/src/public/avm/opcodes/contract.ts +72 -0
- package/src/public/avm/opcodes/control_flow.ts +114 -0
- package/src/public/avm/opcodes/conversion.ts +80 -0
- package/src/public/avm/opcodes/ec_add.ts +93 -0
- package/src/public/avm/opcodes/environment_getters.ts +82 -0
- package/src/public/avm/opcodes/external_calls.ts +228 -0
- package/src/public/avm/opcodes/hashing.ts +125 -0
- package/src/public/avm/opcodes/index.ts +15 -0
- package/src/public/avm/opcodes/instruction.ts +126 -0
- package/src/public/avm/opcodes/instruction_impl.ts +36 -0
- package/src/public/avm/opcodes/memory.ts +254 -0
- package/src/public/avm/opcodes/misc.ts +60 -0
- package/src/public/avm/opcodes/storage.ts +71 -0
- package/src/public/avm/serialization/buffer_cursor.ts +115 -0
- package/src/public/avm/serialization/bytecode_serialization.ts +206 -0
- package/src/public/avm/serialization/instruction_serialization.ts +208 -0
- package/src/public/avm/test_utils.ts +81 -0
- package/src/public/bytecode_errors.ts +6 -0
- package/src/public/execution.ts +140 -0
- package/src/public/executor_metrics.ts +71 -0
- package/src/public/fixtures/index.ts +2 -0
- package/src/public/fixtures/public_tx_simulation_tester.ts +179 -0
- package/src/public/fixtures/utils.ts +199 -0
- package/src/public/index.ts +9 -0
- package/src/public/public_db_sources.ts +369 -0
- package/src/public/public_processor/public_processor.ts +521 -0
- package/src/public/public_processor/public_processor_metrics.ts +154 -0
- package/src/public/public_tx_simulator/public_tx_context.ts +504 -0
- package/src/public/public_tx_simulator/public_tx_simulator.ts +474 -0
- package/src/public/side_effect_errors.ts +6 -0
- package/src/public/side_effect_trace.ts +516 -0
- package/src/public/side_effect_trace_interface.ts +76 -0
- package/src/public/tx_contract_cache.ts +69 -0
- package/src/public/unique_class_ids.ts +80 -0
- package/src/public/utils.ts +32 -0
- package/src/server.ts +5 -0
- package/src/test/utils.ts +36 -0
|
@@ -0,0 +1,253 @@
|
|
|
1
|
+
import { Field, TaggedMemory, TypeTag, Uint32 } from '../avm_memory_types.js';
|
|
2
|
+
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
3
|
+
import { Addressing } from './addressing_mode.js';
|
|
4
|
+
import { Instruction } from './instruction.js';
|
|
5
|
+
export class Set extends Instruction {
|
|
6
|
+
indirect;
|
|
7
|
+
dstOffset;
|
|
8
|
+
inTag;
|
|
9
|
+
value;
|
|
10
|
+
static type = 'SET';
|
|
11
|
+
// Required for gas.
|
|
12
|
+
static opcode = Opcode.SET_8;
|
|
13
|
+
static wireFormat8 = [
|
|
14
|
+
OperandType.UINT8,
|
|
15
|
+
OperandType.UINT8,
|
|
16
|
+
OperandType.UINT8,
|
|
17
|
+
OperandType.UINT8,
|
|
18
|
+
OperandType.UINT8
|
|
19
|
+
];
|
|
20
|
+
static wireFormat16 = [
|
|
21
|
+
OperandType.UINT8,
|
|
22
|
+
OperandType.UINT8,
|
|
23
|
+
OperandType.UINT16,
|
|
24
|
+
OperandType.UINT8,
|
|
25
|
+
OperandType.UINT16
|
|
26
|
+
];
|
|
27
|
+
static wireFormat32 = [
|
|
28
|
+
OperandType.UINT8,
|
|
29
|
+
OperandType.UINT8,
|
|
30
|
+
OperandType.UINT16,
|
|
31
|
+
OperandType.UINT8,
|
|
32
|
+
OperandType.UINT32
|
|
33
|
+
];
|
|
34
|
+
static wireFormat64 = [
|
|
35
|
+
OperandType.UINT8,
|
|
36
|
+
OperandType.UINT8,
|
|
37
|
+
OperandType.UINT16,
|
|
38
|
+
OperandType.UINT8,
|
|
39
|
+
OperandType.UINT64
|
|
40
|
+
];
|
|
41
|
+
static wireFormat128 = [
|
|
42
|
+
OperandType.UINT8,
|
|
43
|
+
OperandType.UINT8,
|
|
44
|
+
OperandType.UINT16,
|
|
45
|
+
OperandType.UINT8,
|
|
46
|
+
OperandType.UINT128
|
|
47
|
+
];
|
|
48
|
+
static wireFormatFF = [
|
|
49
|
+
OperandType.UINT8,
|
|
50
|
+
OperandType.UINT8,
|
|
51
|
+
OperandType.UINT16,
|
|
52
|
+
OperandType.UINT8,
|
|
53
|
+
OperandType.FF
|
|
54
|
+
];
|
|
55
|
+
constructor(indirect, dstOffset, inTag, value){
|
|
56
|
+
super(), this.indirect = indirect, this.dstOffset = dstOffset, this.inTag = inTag, this.value = value;
|
|
57
|
+
TaggedMemory.checkIsValidTag(inTag);
|
|
58
|
+
}
|
|
59
|
+
async execute(context) {
|
|
60
|
+
// Constructor ensured that this.inTag is a valid tag
|
|
61
|
+
const res = TaggedMemory.buildFromTagTruncating(this.value, this.inTag);
|
|
62
|
+
const memory = context.machineState.memory;
|
|
63
|
+
context.machineState.consumeGas(this.gasCost());
|
|
64
|
+
const operands = [
|
|
65
|
+
this.dstOffset
|
|
66
|
+
];
|
|
67
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
68
|
+
const [dstOffset] = addressing.resolve(operands, memory);
|
|
69
|
+
memory.set(dstOffset, res);
|
|
70
|
+
}
|
|
71
|
+
}
|
|
72
|
+
export class Cast extends Instruction {
|
|
73
|
+
indirect;
|
|
74
|
+
srcOffset;
|
|
75
|
+
dstOffset;
|
|
76
|
+
dstTag;
|
|
77
|
+
static type = 'CAST';
|
|
78
|
+
static opcode = Opcode.CAST_8;
|
|
79
|
+
static wireFormat8 = [
|
|
80
|
+
OperandType.UINT8,
|
|
81
|
+
OperandType.UINT8,
|
|
82
|
+
OperandType.UINT8,
|
|
83
|
+
OperandType.UINT8,
|
|
84
|
+
OperandType.UINT8
|
|
85
|
+
];
|
|
86
|
+
static wireFormat16 = [
|
|
87
|
+
OperandType.UINT8,
|
|
88
|
+
OperandType.UINT8,
|
|
89
|
+
OperandType.UINT16,
|
|
90
|
+
OperandType.UINT16,
|
|
91
|
+
OperandType.UINT8
|
|
92
|
+
];
|
|
93
|
+
constructor(indirect, srcOffset, dstOffset, dstTag){
|
|
94
|
+
super(), this.indirect = indirect, this.srcOffset = srcOffset, this.dstOffset = dstOffset, this.dstTag = dstTag;
|
|
95
|
+
TaggedMemory.checkIsValidTag(dstTag);
|
|
96
|
+
}
|
|
97
|
+
async execute(context) {
|
|
98
|
+
const memory = context.machineState.memory;
|
|
99
|
+
context.machineState.consumeGas(this.gasCost());
|
|
100
|
+
const operands = [
|
|
101
|
+
this.srcOffset,
|
|
102
|
+
this.dstOffset
|
|
103
|
+
];
|
|
104
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
105
|
+
const [srcOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
106
|
+
const a = memory.get(srcOffset);
|
|
107
|
+
// Constructor ensured that this.dstTag is a valid tag
|
|
108
|
+
const casted = TaggedMemory.buildFromTagTruncating(a.toBigInt(), this.dstTag);
|
|
109
|
+
memory.set(dstOffset, casted);
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
export class Mov extends Instruction {
|
|
113
|
+
indirect;
|
|
114
|
+
srcOffset;
|
|
115
|
+
dstOffset;
|
|
116
|
+
static type = 'MOV';
|
|
117
|
+
// FIXME: This is needed for gas.
|
|
118
|
+
static opcode = Opcode.MOV_8;
|
|
119
|
+
static wireFormat8 = [
|
|
120
|
+
OperandType.UINT8,
|
|
121
|
+
OperandType.UINT8,
|
|
122
|
+
OperandType.UINT8,
|
|
123
|
+
OperandType.UINT8
|
|
124
|
+
];
|
|
125
|
+
static wireFormat16 = [
|
|
126
|
+
OperandType.UINT8,
|
|
127
|
+
OperandType.UINT8,
|
|
128
|
+
OperandType.UINT16,
|
|
129
|
+
OperandType.UINT16
|
|
130
|
+
];
|
|
131
|
+
constructor(indirect, srcOffset, dstOffset){
|
|
132
|
+
super(), this.indirect = indirect, this.srcOffset = srcOffset, this.dstOffset = dstOffset;
|
|
133
|
+
}
|
|
134
|
+
async execute(context) {
|
|
135
|
+
const memory = context.machineState.memory;
|
|
136
|
+
context.machineState.consumeGas(this.gasCost());
|
|
137
|
+
const operands = [
|
|
138
|
+
this.srcOffset,
|
|
139
|
+
this.dstOffset
|
|
140
|
+
];
|
|
141
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
142
|
+
const [srcOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
143
|
+
const a = memory.get(srcOffset);
|
|
144
|
+
memory.set(dstOffset, a);
|
|
145
|
+
}
|
|
146
|
+
}
|
|
147
|
+
export class CalldataCopy extends Instruction {
|
|
148
|
+
indirect;
|
|
149
|
+
cdStartOffset;
|
|
150
|
+
copySizeOffset;
|
|
151
|
+
dstOffset;
|
|
152
|
+
static type = 'CALLDATACOPY';
|
|
153
|
+
static opcode = Opcode.CALLDATACOPY;
|
|
154
|
+
// Informs (de)serialization. See Instruction.deserialize.
|
|
155
|
+
static wireFormat = [
|
|
156
|
+
OperandType.UINT8,
|
|
157
|
+
OperandType.UINT8,
|
|
158
|
+
OperandType.UINT16,
|
|
159
|
+
OperandType.UINT16,
|
|
160
|
+
OperandType.UINT16
|
|
161
|
+
];
|
|
162
|
+
constructor(indirect, cdStartOffset, copySizeOffset, dstOffset){
|
|
163
|
+
super(), this.indirect = indirect, this.cdStartOffset = cdStartOffset, this.copySizeOffset = copySizeOffset, this.dstOffset = dstOffset;
|
|
164
|
+
}
|
|
165
|
+
async execute(context) {
|
|
166
|
+
const memory = context.machineState.memory;
|
|
167
|
+
const operands = [
|
|
168
|
+
this.cdStartOffset,
|
|
169
|
+
this.copySizeOffset,
|
|
170
|
+
this.dstOffset
|
|
171
|
+
];
|
|
172
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
173
|
+
const [cdStartOffset, copySizeOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
174
|
+
memory.checkTags(TypeTag.UINT32, cdStartOffset, copySizeOffset);
|
|
175
|
+
const cdStart = memory.get(cdStartOffset).toNumber();
|
|
176
|
+
const copySize = memory.get(copySizeOffset).toNumber();
|
|
177
|
+
context.machineState.consumeGas(this.gasCost(copySize));
|
|
178
|
+
// Values which are out-of-range of the calldata array will be set with Field(0);
|
|
179
|
+
const slice = context.environment.calldata.slice(cdStart, cdStart + copySize).map((f)=>new Field(f));
|
|
180
|
+
// slice has size = MIN(copySize, calldata.length - cdStart) as TS truncates out-of-range portion
|
|
181
|
+
const transformedData = [
|
|
182
|
+
...slice,
|
|
183
|
+
...Array(copySize - slice.length).fill(new Field(0))
|
|
184
|
+
];
|
|
185
|
+
memory.setSlice(dstOffset, transformedData);
|
|
186
|
+
}
|
|
187
|
+
}
|
|
188
|
+
export class ReturndataSize extends Instruction {
|
|
189
|
+
indirect;
|
|
190
|
+
dstOffset;
|
|
191
|
+
static type = 'RETURNDATASIZE';
|
|
192
|
+
static opcode = Opcode.RETURNDATASIZE;
|
|
193
|
+
// Informs (de)serialization. See Instruction.deserialize.
|
|
194
|
+
static wireFormat = [
|
|
195
|
+
OperandType.UINT8,
|
|
196
|
+
OperandType.UINT8,
|
|
197
|
+
OperandType.UINT16
|
|
198
|
+
];
|
|
199
|
+
constructor(indirect, dstOffset){
|
|
200
|
+
super(), this.indirect = indirect, this.dstOffset = dstOffset;
|
|
201
|
+
}
|
|
202
|
+
async execute(context) {
|
|
203
|
+
const memory = context.machineState.memory;
|
|
204
|
+
const operands = [
|
|
205
|
+
this.dstOffset
|
|
206
|
+
];
|
|
207
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
208
|
+
const [dstOffset] = addressing.resolve(operands, memory);
|
|
209
|
+
context.machineState.consumeGas(this.gasCost());
|
|
210
|
+
memory.set(dstOffset, new Uint32(context.machineState.nestedReturndata.length));
|
|
211
|
+
}
|
|
212
|
+
}
|
|
213
|
+
export class ReturndataCopy extends Instruction {
|
|
214
|
+
indirect;
|
|
215
|
+
rdStartOffset;
|
|
216
|
+
copySizeOffset;
|
|
217
|
+
dstOffset;
|
|
218
|
+
static type = 'RETURNDATACOPY';
|
|
219
|
+
static opcode = Opcode.RETURNDATACOPY;
|
|
220
|
+
// Informs (de)serialization. See Instruction.deserialize.
|
|
221
|
+
static wireFormat = [
|
|
222
|
+
OperandType.UINT8,
|
|
223
|
+
OperandType.UINT8,
|
|
224
|
+
OperandType.UINT16,
|
|
225
|
+
OperandType.UINT16,
|
|
226
|
+
OperandType.UINT16
|
|
227
|
+
];
|
|
228
|
+
constructor(indirect, rdStartOffset, copySizeOffset, dstOffset){
|
|
229
|
+
super(), this.indirect = indirect, this.rdStartOffset = rdStartOffset, this.copySizeOffset = copySizeOffset, this.dstOffset = dstOffset;
|
|
230
|
+
}
|
|
231
|
+
async execute(context) {
|
|
232
|
+
const memory = context.machineState.memory;
|
|
233
|
+
const operands = [
|
|
234
|
+
this.rdStartOffset,
|
|
235
|
+
this.copySizeOffset,
|
|
236
|
+
this.dstOffset
|
|
237
|
+
];
|
|
238
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
239
|
+
const [rdStartOffset, copySizeOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
240
|
+
memory.checkTags(TypeTag.UINT32, rdStartOffset, copySizeOffset);
|
|
241
|
+
const rdStart = memory.get(rdStartOffset).toNumber();
|
|
242
|
+
const copySize = memory.get(copySizeOffset).toNumber();
|
|
243
|
+
context.machineState.consumeGas(this.gasCost(copySize));
|
|
244
|
+
// Values which are out-of-range of the returndata array will be set with Field(0);
|
|
245
|
+
const slice = context.machineState.nestedReturndata.slice(rdStart, rdStart + copySize).map((f)=>new Field(f));
|
|
246
|
+
// slice has size = MIN(copySize, returndata.length - rdStart) as TS truncates out-of-range portion
|
|
247
|
+
const transformedData = [
|
|
248
|
+
...slice,
|
|
249
|
+
...Array(copySize - slice.length).fill(new Field(0))
|
|
250
|
+
];
|
|
251
|
+
memory.setSlice(dstOffset, transformedData);
|
|
252
|
+
}
|
|
253
|
+
}
|
|
@@ -0,0 +1,17 @@
|
|
|
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 indirect;
|
|
6
|
+
private messageOffset;
|
|
7
|
+
private fieldsOffset;
|
|
8
|
+
private fieldsSizeOffset;
|
|
9
|
+
private messageSize;
|
|
10
|
+
static type: string;
|
|
11
|
+
static readonly opcode: Opcode;
|
|
12
|
+
static readonly logger: import("@aztec/foundation/log").Logger;
|
|
13
|
+
static readonly wireFormat: OperandType[];
|
|
14
|
+
constructor(indirect: number, messageOffset: number, fieldsOffset: number, fieldsSizeOffset: number, messageSize: number);
|
|
15
|
+
execute(context: AvmContext): Promise<void>;
|
|
16
|
+
}
|
|
17
|
+
//# sourceMappingURL=misc.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
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;IAgBrC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,WAAW;IAnBrB,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,CAOvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,MAAM,EACpB,gBAAgB,EAAE,MAAM,EACxB,WAAW,EAAE,MAAM;IAKhB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CA0BzD"}
|
|
@@ -0,0 +1,48 @@
|
|
|
1
|
+
import { 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
|
+
indirect;
|
|
8
|
+
messageOffset;
|
|
9
|
+
fieldsOffset;
|
|
10
|
+
fieldsSizeOffset;
|
|
11
|
+
messageSize;
|
|
12
|
+
static type = 'DEBUGLOG';
|
|
13
|
+
static opcode = Opcode.DEBUGLOG;
|
|
14
|
+
static logger = createLogger('simulator:avm:debug_log');
|
|
15
|
+
// Informs (de)serialization. See Instruction.deserialize.
|
|
16
|
+
static wireFormat = [
|
|
17
|
+
OperandType.UINT8,
|
|
18
|
+
OperandType.UINT8,
|
|
19
|
+
OperandType.UINT16,
|
|
20
|
+
OperandType.UINT16,
|
|
21
|
+
OperandType.UINT16,
|
|
22
|
+
OperandType.UINT16
|
|
23
|
+
];
|
|
24
|
+
constructor(indirect, messageOffset, fieldsOffset, fieldsSizeOffset, messageSize){
|
|
25
|
+
super(), this.indirect = indirect, this.messageOffset = messageOffset, this.fieldsOffset = fieldsOffset, this.fieldsSizeOffset = fieldsSizeOffset, this.messageSize = messageSize;
|
|
26
|
+
}
|
|
27
|
+
async execute(context) {
|
|
28
|
+
const memory = context.machineState.memory;
|
|
29
|
+
const operands = [
|
|
30
|
+
this.messageOffset,
|
|
31
|
+
this.fieldsOffset,
|
|
32
|
+
this.fieldsSizeOffset
|
|
33
|
+
];
|
|
34
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
35
|
+
const [messageOffset, fieldsOffset, fieldsSizeOffset] = addressing.resolve(operands, memory);
|
|
36
|
+
memory.checkTag(TypeTag.UINT32, fieldsSizeOffset);
|
|
37
|
+
const fieldsSize = memory.get(fieldsSizeOffset).toNumber();
|
|
38
|
+
const rawMessage = memory.getSlice(messageOffset, this.messageSize);
|
|
39
|
+
const fields = memory.getSlice(fieldsOffset, fieldsSize);
|
|
40
|
+
memory.checkTagsRange(TypeTag.UINT8, messageOffset, this.messageSize);
|
|
41
|
+
memory.checkTagsRange(TypeTag.FIELD, fieldsOffset, fieldsSize);
|
|
42
|
+
context.machineState.consumeGas(this.gasCost(this.messageSize + fieldsSize));
|
|
43
|
+
// Interpret str<N> = [u8; N] to string.
|
|
44
|
+
const messageAsStr = rawMessage.map((field)=>String.fromCharCode(field.toNumber())).join('');
|
|
45
|
+
const formattedStr = applyStringFormatting(messageAsStr, fields.map((field)=>field.toFr()));
|
|
46
|
+
DebugLog.logger.verbose(formattedStr);
|
|
47
|
+
}
|
|
48
|
+
}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import type { AvmContext } from '../avm_context.js';
|
|
2
|
+
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
3
|
+
import { Instruction } from './instruction.js';
|
|
4
|
+
declare abstract class BaseStorageInstruction extends Instruction {
|
|
5
|
+
protected indirect: number;
|
|
6
|
+
protected aOffset: number;
|
|
7
|
+
protected bOffset: number;
|
|
8
|
+
static readonly wireFormat: OperandType[];
|
|
9
|
+
constructor(indirect: number, aOffset: number, bOffset: number);
|
|
10
|
+
}
|
|
11
|
+
export declare class SStore extends BaseStorageInstruction {
|
|
12
|
+
static readonly type: string;
|
|
13
|
+
static readonly opcode = Opcode.SSTORE;
|
|
14
|
+
constructor(indirect: number, srcOffset: number, slotOffset: number);
|
|
15
|
+
execute(context: AvmContext): Promise<void>;
|
|
16
|
+
}
|
|
17
|
+
export declare class SLoad extends BaseStorageInstruction {
|
|
18
|
+
static readonly type: string;
|
|
19
|
+
static readonly opcode = Opcode.SLOAD;
|
|
20
|
+
constructor(indirect: number, slotOffset: number, dstOffset: number);
|
|
21
|
+
execute(context: AvmContext): Promise<void>;
|
|
22
|
+
}
|
|
23
|
+
export {};
|
|
24
|
+
//# sourceMappingURL=storage.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
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,uBAAe,sBAAuB,SAAQ,WAAW;IAS3C,SAAS,CAAC,QAAQ,EAAE,MAAM;IAAE,SAAS,CAAC,OAAO,EAAE,MAAM;IAAE,SAAS,CAAC,OAAO,EAAE,MAAM;IAP5F,gBAAuB,UAAU,EAAE,WAAW,EAAE,CAK9C;gBAEoB,QAAQ,EAAE,MAAM,EAAY,OAAO,EAAE,MAAM,EAAY,OAAO,EAAE,MAAM;CAG7F;AAED,qBAAa,MAAO,SAAQ,sBAAsB;IAChD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAY;IACxC,MAAM,CAAC,QAAQ,CAAC,MAAM,iBAAiB;gBAE3B,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM;IAItD,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAkBzD;AAED,qBAAa,KAAM,SAAQ,sBAAsB;IAC/C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAW;IACvC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;gBAE1B,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;IAItD,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAazD"}
|
|
@@ -0,0 +1,66 @@
|
|
|
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
|
+
class BaseStorageInstruction extends Instruction {
|
|
7
|
+
indirect;
|
|
8
|
+
aOffset;
|
|
9
|
+
bOffset;
|
|
10
|
+
// Informs (de)serialization. See Instruction.deserialize.
|
|
11
|
+
static wireFormat = [
|
|
12
|
+
OperandType.UINT8,
|
|
13
|
+
OperandType.UINT8,
|
|
14
|
+
OperandType.UINT16,
|
|
15
|
+
OperandType.UINT16
|
|
16
|
+
];
|
|
17
|
+
constructor(indirect, aOffset, bOffset){
|
|
18
|
+
super(), this.indirect = indirect, this.aOffset = aOffset, this.bOffset = bOffset;
|
|
19
|
+
}
|
|
20
|
+
}
|
|
21
|
+
export class SStore extends BaseStorageInstruction {
|
|
22
|
+
static type = 'SSTORE';
|
|
23
|
+
static opcode = Opcode.SSTORE;
|
|
24
|
+
constructor(indirect, srcOffset, slotOffset){
|
|
25
|
+
super(indirect, srcOffset, slotOffset);
|
|
26
|
+
}
|
|
27
|
+
async execute(context) {
|
|
28
|
+
if (context.environment.isStaticCall) {
|
|
29
|
+
throw new StaticCallAlterationError();
|
|
30
|
+
}
|
|
31
|
+
const memory = context.machineState.memory;
|
|
32
|
+
context.machineState.consumeGas(this.gasCost());
|
|
33
|
+
const operands = [
|
|
34
|
+
this.aOffset,
|
|
35
|
+
this.bOffset
|
|
36
|
+
];
|
|
37
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
38
|
+
const [srcOffset, slotOffset] = addressing.resolve(operands, memory);
|
|
39
|
+
memory.checkTag(TypeTag.FIELD, slotOffset);
|
|
40
|
+
memory.checkTag(TypeTag.FIELD, srcOffset);
|
|
41
|
+
const slot = memory.get(slotOffset).toFr();
|
|
42
|
+
const value = memory.get(srcOffset).toFr();
|
|
43
|
+
await context.persistableState.writeStorage(context.environment.address, slot, value);
|
|
44
|
+
}
|
|
45
|
+
}
|
|
46
|
+
export class SLoad extends BaseStorageInstruction {
|
|
47
|
+
static type = 'SLOAD';
|
|
48
|
+
static opcode = Opcode.SLOAD;
|
|
49
|
+
constructor(indirect, slotOffset, dstOffset){
|
|
50
|
+
super(indirect, slotOffset, dstOffset);
|
|
51
|
+
}
|
|
52
|
+
async execute(context) {
|
|
53
|
+
const memory = context.machineState.memory;
|
|
54
|
+
context.machineState.consumeGas(this.gasCost());
|
|
55
|
+
const operands = [
|
|
56
|
+
this.aOffset,
|
|
57
|
+
this.bOffset
|
|
58
|
+
];
|
|
59
|
+
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
60
|
+
const [slotOffset, dstOffset] = addressing.resolve(operands, memory);
|
|
61
|
+
memory.checkTag(TypeTag.FIELD, slotOffset);
|
|
62
|
+
const slot = memory.get(slotOffset).toFr();
|
|
63
|
+
const value = await context.persistableState.readStorage(context.environment.address, slot);
|
|
64
|
+
memory.set(dstOffset, new Field(value));
|
|
65
|
+
}
|
|
66
|
+
}
|
|
@@ -0,0 +1,28 @@
|
|
|
1
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
2
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
3
|
+
export declare class BufferCursor {
|
|
4
|
+
private _buffer;
|
|
5
|
+
private _position;
|
|
6
|
+
constructor(_buffer: Buffer, _position?: number);
|
|
7
|
+
position(): number;
|
|
8
|
+
buffer(): Buffer;
|
|
9
|
+
eof(): boolean;
|
|
10
|
+
bufferAtPosition(): Buffer;
|
|
11
|
+
advance(n: number): void;
|
|
12
|
+
peekUint8(): number;
|
|
13
|
+
readUint8(): number;
|
|
14
|
+
readUint16LE(): number;
|
|
15
|
+
readUint16BE(): number;
|
|
16
|
+
readUint32LE(): number;
|
|
17
|
+
readUint32BE(): number;
|
|
18
|
+
readBigInt64LE(): bigint;
|
|
19
|
+
readBigInt64BE(): bigint;
|
|
20
|
+
writeUint8(v: number): number;
|
|
21
|
+
writeUint16LE(v: number): number;
|
|
22
|
+
writeUint16BE(v: number): number;
|
|
23
|
+
writeUint32LE(v: number): number;
|
|
24
|
+
writeUint32BE(v: number): number;
|
|
25
|
+
writeBigInt64LE(v: bigint): number;
|
|
26
|
+
writeBigInt64BE(v: bigint): number;
|
|
27
|
+
}
|
|
28
|
+
//# sourceMappingURL=buffer_cursor.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"buffer_cursor.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/serialization/buffer_cursor.ts"],"names":[],"mappings":";;AAGA,qBAAa,YAAY;IACX,OAAO,CAAC,OAAO;IAAU,OAAO,CAAC,SAAS;gBAAlC,OAAO,EAAE,MAAM,EAAU,SAAS,GAAE,MAAU;IAE3D,QAAQ,IAAI,MAAM;IAIlB,MAAM,IAAI,MAAM;IAIhB,GAAG,IAAI,OAAO;IAId,gBAAgB,IAAI,MAAM;IAI1B,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAIxB,SAAS,IAAI,MAAM;IAKnB,SAAS,IAAI,MAAM;IAMnB,YAAY,IAAI,MAAM;IAMtB,YAAY,IAAI,MAAM;IAMtB,YAAY,IAAI,MAAM;IAMtB,YAAY,IAAI,MAAM;IAMtB,cAAc,IAAI,MAAM;IAMxB,cAAc,IAAI,MAAM;IAMxB,UAAU,CAAC,CAAC,EAAE,MAAM;IAMpB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,eAAe,CAAC,CAAC,EAAE,MAAM;IAMzB,eAAe,CAAC,CAAC,EAAE,MAAM;CAKjC"}
|
|
@@ -0,0 +1,99 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* A Buffer-like class that automatically advances the position.
|
|
3
|
+
*/ export class BufferCursor {
|
|
4
|
+
_buffer;
|
|
5
|
+
_position;
|
|
6
|
+
constructor(_buffer, _position = 0){
|
|
7
|
+
this._buffer = _buffer;
|
|
8
|
+
this._position = _position;
|
|
9
|
+
}
|
|
10
|
+
position() {
|
|
11
|
+
return this._position;
|
|
12
|
+
}
|
|
13
|
+
buffer() {
|
|
14
|
+
return this._buffer;
|
|
15
|
+
}
|
|
16
|
+
eof() {
|
|
17
|
+
return this._position === this._buffer.length;
|
|
18
|
+
}
|
|
19
|
+
bufferAtPosition() {
|
|
20
|
+
return this._buffer.subarray(this._position);
|
|
21
|
+
}
|
|
22
|
+
advance(n) {
|
|
23
|
+
this._position += n;
|
|
24
|
+
}
|
|
25
|
+
peekUint8() {
|
|
26
|
+
const ret = this._buffer.readUint8(this._position);
|
|
27
|
+
return ret;
|
|
28
|
+
}
|
|
29
|
+
readUint8() {
|
|
30
|
+
const ret = this._buffer.readUint8(this._position);
|
|
31
|
+
this._position += 1;
|
|
32
|
+
return ret;
|
|
33
|
+
}
|
|
34
|
+
readUint16LE() {
|
|
35
|
+
const ret = this._buffer.readUint16LE(this._position);
|
|
36
|
+
this._position += 2;
|
|
37
|
+
return ret;
|
|
38
|
+
}
|
|
39
|
+
readUint16BE() {
|
|
40
|
+
const ret = this._buffer.readUint16BE(this._position);
|
|
41
|
+
this._position += 2;
|
|
42
|
+
return ret;
|
|
43
|
+
}
|
|
44
|
+
readUint32LE() {
|
|
45
|
+
const ret = this._buffer.readUint32LE(this._position);
|
|
46
|
+
this._position += 4;
|
|
47
|
+
return ret;
|
|
48
|
+
}
|
|
49
|
+
readUint32BE() {
|
|
50
|
+
const ret = this._buffer.readUint32BE(this._position);
|
|
51
|
+
this._position += 4;
|
|
52
|
+
return ret;
|
|
53
|
+
}
|
|
54
|
+
readBigInt64LE() {
|
|
55
|
+
const ret = this._buffer.readBigInt64LE(this._position);
|
|
56
|
+
this._position += 8;
|
|
57
|
+
return ret;
|
|
58
|
+
}
|
|
59
|
+
readBigInt64BE() {
|
|
60
|
+
const ret = this._buffer.readBigInt64BE(this._position);
|
|
61
|
+
this._position += 8;
|
|
62
|
+
return ret;
|
|
63
|
+
}
|
|
64
|
+
writeUint8(v) {
|
|
65
|
+
const ret = this._buffer.writeUint8(v, this._position);
|
|
66
|
+
this._position += 1;
|
|
67
|
+
return ret;
|
|
68
|
+
}
|
|
69
|
+
writeUint16LE(v) {
|
|
70
|
+
const ret = this._buffer.writeUint16LE(v, this._position);
|
|
71
|
+
this._position += 2;
|
|
72
|
+
return ret;
|
|
73
|
+
}
|
|
74
|
+
writeUint16BE(v) {
|
|
75
|
+
const ret = this._buffer.writeUint16BE(v, this._position);
|
|
76
|
+
this._position += 2;
|
|
77
|
+
return ret;
|
|
78
|
+
}
|
|
79
|
+
writeUint32LE(v) {
|
|
80
|
+
const ret = this._buffer.writeUint32LE(v, this._position);
|
|
81
|
+
this._position += 4;
|
|
82
|
+
return ret;
|
|
83
|
+
}
|
|
84
|
+
writeUint32BE(v) {
|
|
85
|
+
const ret = this._buffer.writeUint32BE(v, this._position);
|
|
86
|
+
this._position += 4;
|
|
87
|
+
return ret;
|
|
88
|
+
}
|
|
89
|
+
writeBigInt64LE(v) {
|
|
90
|
+
const ret = this._buffer.writeBigInt64LE(v, this._position);
|
|
91
|
+
this._position += 8;
|
|
92
|
+
return ret;
|
|
93
|
+
}
|
|
94
|
+
writeBigInt64BE(v) {
|
|
95
|
+
const ret = this._buffer.writeBigInt64BE(v, this._position);
|
|
96
|
+
this._position += 8;
|
|
97
|
+
return ret;
|
|
98
|
+
}
|
|
99
|
+
}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
2
|
+
/// <reference types="node" resolution-mode="require"/>
|
|
3
|
+
import { Instruction } from '../opcodes/index.js';
|
|
4
|
+
import { BufferCursor } from './buffer_cursor.js';
|
|
5
|
+
import { Opcode } from './instruction_serialization.js';
|
|
6
|
+
export type InstructionDeserializer = (buf: BufferCursor | Buffer) => Instruction;
|
|
7
|
+
export interface Serializable {
|
|
8
|
+
serialize(): Buffer;
|
|
9
|
+
}
|
|
10
|
+
export interface Deserializable {
|
|
11
|
+
deserialize: InstructionDeserializer;
|
|
12
|
+
}
|
|
13
|
+
export type InstructionSet = Map<Opcode, InstructionDeserializer>;
|
|
14
|
+
export declare const INSTRUCTION_SET: Map<Opcode, InstructionDeserializer>;
|
|
15
|
+
/**
|
|
16
|
+
* Serializes an array of instructions to bytecode.
|
|
17
|
+
*/
|
|
18
|
+
export declare function encodeToBytecode(instructions: Serializable[]): Buffer;
|
|
19
|
+
export declare function decodeFromBytecode(bytecode: Buffer, instructionSet?: InstructionSet): Instruction[];
|
|
20
|
+
export declare function decodeInstructionFromBytecode(bytecode: Buffer, pc: number, instructionSet?: InstructionSet): [Instruction, number];
|
|
21
|
+
//# sourceMappingURL=bytecode_serialization.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"bytecode_serialization.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/serialization/bytecode_serialization.ts"],"names":[],"mappings":";;AACA,OAAO,EAgBL,WAAW,EAgCZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAoB,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAE1E,MAAM,MAAM,uBAAuB,GAAG,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,KAAK,WAAW,CAAC;AAElF,MAAM,WAAW,YAAY;IAC3B,SAAS,IAAI,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,uBAAuB,CAAC;CACtC;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AAClE,eAAO,MAAM,eAAe,sCAoF1B,CAAC;AAEH;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,YAAY,EAAE,GAAG,MAAM,CAErE;AAGD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,GAAE,cAAgC,GAAG,WAAW,EAAE,CASpH;AAGD,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,EACV,cAAc,GAAE,cAAgC,GAC/C,CAAC,WAAW,EAAE,MAAM,CAAC,CA+BvB"}
|