@aztec/simulator 0.76.4 → 0.77.0-testnet-ignition.21
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 +3 -3
- package/dest/client.d.ts +5 -0
- package/dest/client.d.ts.map +1 -0
- package/dest/client.js +3 -0
- package/dest/{public → common}/db_interfaces.d.ts +8 -33
- 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 +3 -2
- package/dest/common/debug_fn_name.d.ts.map +1 -1
- package/dest/common/debug_fn_name.js +2 -5
- package/dest/common/errors.d.ts +4 -4
- package/dest/common/errors.d.ts.map +1 -1
- package/dest/common/errors.js +30 -39
- package/dest/common/index.d.ts +2 -1
- package/dest/common/index.d.ts.map +1 -1
- package/dest/common/index.js +2 -2
- package/dest/common/message_load_oracle_inputs.d.ts +2 -2
- package/dest/common/message_load_oracle_inputs.d.ts.map +1 -1
- package/dest/common/message_load_oracle_inputs.js +8 -8
- package/dest/common/stats/index.d.ts.map +1 -0
- package/dest/{stats → common/stats}/stats.d.ts +2 -2
- package/dest/common/stats/stats.d.ts.map +1 -0
- package/dest/common/stats/stats.js +10 -0
- package/dest/{acvm → private/acvm}/acvm.d.ts +4 -4
- package/dest/private/acvm/acvm.d.ts.map +1 -0
- package/dest/private/acvm/acvm.js +70 -0
- package/dest/{acvm → private/acvm}/acvm_types.d.ts +1 -1
- package/dest/private/acvm/acvm_types.d.ts.map +1 -0
- package/dest/private/acvm/acvm_types.js +3 -0
- package/dest/{acvm → private/acvm}/deserialize.d.ts +2 -2
- 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.map +1 -0
- package/dest/private/acvm/index.js +5 -0
- package/dest/{acvm → private/acvm}/oracle/index.d.ts +1 -1
- package/dest/private/acvm/oracle/index.d.ts.map +1 -0
- package/dest/private/acvm/oracle/index.js +2 -0
- package/dest/{acvm → private/acvm}/oracle/oracle.d.ts +4 -3
- package/dest/private/acvm/oracle/oracle.d.ts.map +1 -0
- package/dest/private/acvm/oracle/oracle.js +263 -0
- package/dest/{acvm → private/acvm}/oracle/typed_oracle.d.ts +12 -6
- package/dest/private/acvm/oracle/typed_oracle.d.ts.map +1 -0
- package/dest/private/acvm/oracle/typed_oracle.js +132 -0
- package/dest/{acvm → private/acvm}/serialize.d.ts +7 -3
- package/dest/private/acvm/serialize.d.ts.map +1 -0
- package/dest/private/acvm/serialize.js +46 -0
- package/dest/{client → private}/client_execution_context.d.ts +20 -17
- package/dest/private/client_execution_context.d.ts.map +1 -0
- package/dest/private/client_execution_context.js +378 -0
- package/dest/{client → private}/db_oracle.d.ts +19 -7
- package/dest/private/db_oracle.d.ts.map +1 -0
- package/dest/private/db_oracle.js +14 -0
- package/dest/{client → private}/execution_note_cache.d.ts +2 -2
- package/dest/private/execution_note_cache.d.ts.map +1 -0
- package/dest/private/execution_note_cache.js +180 -0
- package/dest/{common → private}/hashed_values_cache.d.ts +2 -2
- 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/{client → private}/pick_notes.d.ts +1 -1
- 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 +24 -0
- package/dest/private/private_execution.d.ts.map +1 -0
- package/dest/private/private_execution.js +90 -0
- package/dest/{providers → private/providers}/acvm_native.d.ts +5 -5
- package/dest/private/providers/acvm_native.d.ts.map +1 -0
- package/dest/private/providers/acvm_native.js +139 -0
- package/dest/{providers → private/providers}/acvm_wasm.d.ts +4 -4
- package/dest/private/providers/acvm_wasm.d.ts.map +1 -0
- package/dest/private/providers/acvm_wasm.js +62 -0
- package/dest/{providers → private/providers}/acvm_wasm_with_blobs.d.ts +5 -5
- package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +1 -0
- package/dest/{providers → private/providers}/acvm_wasm_with_blobs.js +3 -6
- package/dest/{providers → private/providers}/factory.d.ts +1 -1
- package/dest/private/providers/factory.d.ts.map +1 -0
- package/dest/private/providers/factory.js +27 -0
- package/dest/{common → private/providers}/simulation_provider.d.ts +5 -5
- 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 +36 -0
- package/dest/private/simulator.d.ts.map +1 -0
- package/dest/private/simulator.js +78 -0
- package/dest/{client → private}/unconstrained_execution.d.ts +5 -5
- package/dest/private/unconstrained_execution.d.ts.map +1 -0
- package/dest/private/unconstrained_execution.js +27 -0
- package/dest/{client → private}/view_data_oracle.d.ts +15 -7
- package/dest/private/view_data_oracle.d.ts.map +1 -0
- package/dest/private/view_data_oracle.js +260 -0
- package/dest/{avm → public/avm}/avm_context.d.ts +7 -5
- package/dest/public/avm/avm_context.d.ts.map +1 -0
- package/dest/public/avm/avm_context.js +44 -0
- package/dest/{avm → public/avm}/avm_contract_call_result.d.ts +5 -5
- 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/{avm → public/avm}/avm_execution_environment.d.ts +2 -2
- 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.map +1 -0
- package/dest/public/avm/avm_gas.js +202 -0
- package/dest/{avm → public/avm}/avm_machine_state.d.ts +2 -2
- package/dest/public/avm/avm_machine_state.d.ts.map +1 -0
- package/dest/public/avm/avm_machine_state.js +106 -0
- package/dest/{avm → public/avm}/avm_memory_types.d.ts +2 -2
- package/dest/public/avm/avm_memory_types.d.ts.map +1 -0
- package/dest/public/avm/avm_memory_types.js +340 -0
- package/dest/{avm → public/avm}/avm_simulator.d.ts +5 -3
- 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.map +1 -0
- package/dest/public/avm/bytecode_utils.js +17 -0
- package/dest/{avm → public/avm}/errors.d.ts +5 -4
- package/dest/public/avm/errors.d.ts.map +1 -0
- package/dest/public/avm/errors.js +179 -0
- package/dest/{avm → public/avm}/fixtures/avm_simulation_tester.d.ts +6 -6
- 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/{avm → public/avm}/fixtures/base_avm_simulation_tester.d.ts +13 -12
- 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/{avm → public/avm}/fixtures/index.d.ts +24 -7
- package/dest/public/avm/fixtures/index.d.ts.map +1 -0
- package/dest/public/avm/fixtures/index.js +175 -0
- package/dest/{avm → public/avm}/fixtures/simple_contract_data_source.d.ts +10 -6
- 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/{avm/index.d.ts → public/avm/index.js} +1 -2
- package/dest/public/avm/journal/index.d.ts.map +1 -0
- package/dest/{avm → public/avm}/journal/journal.d.ts +51 -18
- package/dest/public/avm/journal/journal.d.ts.map +1 -0
- package/dest/public/avm/journal/journal.js +486 -0
- package/dest/{avm → public/avm}/journal/nullifiers.d.ts +8 -6
- package/dest/public/avm/journal/nullifiers.d.ts.map +1 -0
- package/dest/public/avm/journal/nullifiers.js +97 -0
- package/dest/{avm → public/avm}/journal/public_storage.d.ts +2 -2
- 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.map +1 -0
- package/dest/public/avm/opcodes/accrued_substate.js +252 -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.map +1 -0
- package/dest/public/avm/opcodes/arithmetic.js +73 -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.map +1 -0
- package/dest/public/avm/opcodes/comparators.js +43 -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.map +1 -0
- package/dest/public/avm/opcodes/control_flow.js +105 -0
- package/dest/{avm → public/avm}/opcodes/conversion.d.ts +1 -1
- package/dest/public/avm/opcodes/conversion.d.ts.map +1 -0
- package/dest/public/avm/opcodes/conversion.js +69 -0
- package/dest/{avm → public/avm}/opcodes/ec_add.d.ts +1 -1
- 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.map +1 -0
- package/dest/public/avm/opcodes/environment_getters.js +79 -0
- package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -0
- package/dest/public/avm/opcodes/external_calls.js +180 -0
- package/dest/{avm → public/avm}/opcodes/hashing.d.ts +1 -1
- 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.map +1 -0
- package/dest/{avm → public/avm}/opcodes/instruction.d.ts +2 -2
- 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.map +1 -0
- package/dest/public/avm/opcodes/instruction_impl.js +30 -0
- package/dest/public/avm/opcodes/memory.d.ts.map +1 -0
- package/dest/public/avm/opcodes/memory.js +253 -0
- package/dest/{avm → public/avm}/opcodes/misc.d.ts +1 -1
- 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.map +1 -0
- package/dest/public/avm/opcodes/storage.js +66 -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/{avm → public/avm}/serialization/bytecode_serialization.d.ts +1 -1
- package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -0
- package/dest/public/avm/serialization/bytecode_serialization.js +328 -0
- package/dest/{avm → public/avm}/serialization/instruction_serialization.d.ts +1 -2
- package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -0
- package/dest/public/avm/serialization/instruction_serialization.js +225 -0
- package/dest/{avm → public/avm}/test_utils.d.ts +6 -4
- 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.js +1 -2
- package/dest/public/execution.d.ts +8 -2
- package/dest/public/execution.d.ts.map +1 -1
- package/dest/public/execution.js +4 -5
- package/dest/public/executor_metrics.js +16 -12
- package/dest/public/fixtures/index.js +0 -1
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +15 -9
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +54 -53
- package/dest/public/fixtures/utils.d.ts +7 -11
- package/dest/public/fixtures/utils.d.ts.map +1 -1
- package/dest/public/fixtures/utils.js +92 -32
- package/dest/public/index.d.ts +5 -4
- package/dest/public/index.d.ts.map +1 -1
- package/dest/public/index.js +5 -5
- package/dest/public/public_db_sources.d.ts +82 -34
- package/dest/public/public_db_sources.d.ts.map +1 -1
- package/dest/public/public_db_sources.js +171 -196
- package/dest/public/{public_processor.d.ts → public_processor/public_processor.d.ts} +10 -8
- 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_metrics.d.ts → public_processor/public_processor_metrics.d.ts} +3 -3
- 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_context.d.ts → public_tx_simulator/public_tx_context.d.ts} +14 -8
- 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.d.ts → public_tx_simulator/public_tx_simulator.d.ts} +10 -7
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/public_tx_simulator.js +325 -0
- package/dest/public/side_effect_errors.js +1 -2
- package/dest/public/side_effect_trace.d.ts +16 -10
- package/dest/public/side_effect_trace.d.ts.map +1 -1
- package/dest/public/side_effect_trace.js +82 -149
- package/dest/public/side_effect_trace_interface.d.ts +9 -7
- package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
- package/dest/public/side_effect_trace_interface.js +1 -2
- 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.js +23 -28
- package/dest/public/utils.d.ts +2 -2
- package/dest/public/utils.d.ts.map +1 -1
- package/dest/public/utils.js +17 -12
- package/dest/server.d.ts +4 -4
- package/dest/server.d.ts.map +1 -1
- package/dest/server.js +3 -5
- package/dest/test/utils.d.ts +3 -2
- package/dest/test/utils.d.ts.map +1 -1
- package/dest/test/utils.js +9 -7
- package/package.json +19 -21
- package/src/client.ts +4 -0
- package/src/{public → common}/db_interfaces.ts +8 -40
- package/src/common/debug_fn_name.ts +4 -2
- package/src/common/errors.ts +5 -5
- package/src/common/index.ts +2 -1
- package/src/common/message_load_oracle_inputs.ts +2 -2
- package/src/common/stats/index.ts +1 -0
- package/src/{stats → common/stats}/stats.ts +2 -2
- package/src/{acvm → private/acvm}/acvm.ts +5 -5
- package/src/{acvm → private/acvm}/acvm_types.ts +1 -1
- package/src/{acvm → private/acvm}/deserialize.ts +2 -2
- package/src/{acvm → private/acvm}/oracle/index.ts +1 -1
- package/src/{acvm → private/acvm}/oracle/oracle.ts +22 -12
- package/src/{acvm → private/acvm}/oracle/typed_oracle.ts +50 -55
- package/src/{acvm → private/acvm}/serialize.ts +10 -3
- package/src/{client → private}/client_execution_context.ts +54 -37
- package/src/{client → private}/db_oracle.ts +20 -20
- package/src/{client → private}/execution_note_cache.ts +3 -3
- package/src/{common → private}/hashed_values_cache.ts +2 -2
- package/src/private/index.ts +12 -0
- package/src/{client → private}/pick_notes.ts +1 -1
- package/src/{client → private}/private_execution.ts +46 -14
- package/src/{providers → private/providers}/acvm_native.ts +6 -6
- package/src/{providers → private/providers}/acvm_wasm.ts +4 -4
- package/src/{providers → private/providers}/acvm_wasm_with_blobs.ts +5 -5
- package/src/{providers → private/providers}/factory.ts +1 -1
- package/src/{common → private/providers}/simulation_provider.ts +5 -5
- package/src/{client → private}/simulator.ts +31 -123
- package/src/{client → private}/unconstrained_execution.ts +7 -7
- package/src/{client → private}/view_data_oracle.ts +25 -28
- package/src/{avm → public/avm}/avm_context.ts +12 -7
- package/src/{avm → public/avm}/avm_contract_call_result.ts +6 -6
- package/src/{avm → public/avm}/avm_execution_environment.ts +2 -2
- package/src/{avm → public/avm}/avm_gas.ts +1 -3
- package/src/{avm → public/avm}/avm_machine_state.ts +2 -2
- package/src/{avm → public/avm}/avm_memory_types.ts +4 -4
- package/src/{avm → public/avm}/avm_simulator.ts +12 -6
- package/src/{avm → public/avm}/errors.ts +5 -4
- package/src/{avm → public/avm}/fixtures/avm_simulation_tester.ts +16 -15
- package/src/{avm → public/avm}/fixtures/base_avm_simulation_tester.ts +45 -40
- package/src/{avm → public/avm}/fixtures/index.ts +77 -12
- package/src/{avm → public/avm}/fixtures/simple_contract_data_source.ts +26 -19
- package/src/{avm → public/avm}/index.ts +1 -1
- package/src/public/avm/journal/index.ts +1 -0
- package/src/{avm → public/avm}/journal/journal.ts +330 -305
- package/src/{avm → public/avm}/journal/nullifiers.ts +20 -19
- package/src/{avm → public/avm}/journal/public_storage.ts +2 -2
- package/src/{avm → public/avm}/opcodes/contract.ts +1 -1
- package/src/{avm → public/avm}/opcodes/control_flow.ts +1 -1
- package/src/{avm → public/avm}/opcodes/conversion.ts +1 -1
- package/src/{avm → public/avm}/opcodes/ec_add.ts +2 -2
- package/src/{avm → public/avm}/opcodes/external_calls.ts +5 -6
- package/src/{avm → public/avm}/opcodes/hashing.ts +1 -1
- package/src/public/avm/opcodes/index.ts +15 -0
- package/src/{avm → public/avm}/opcodes/instruction.ts +2 -2
- package/src/{avm → public/avm}/opcodes/misc.ts +1 -1
- package/src/public/avm/serialization/bytecode_serialization.ts +204 -0
- package/src/{avm → public/avm}/serialization/instruction_serialization.ts +0 -1
- package/src/{avm → public/avm}/test_utils.ts +10 -7
- package/src/public/execution.ts +9 -12
- package/src/public/fixtures/public_tx_simulation_tester.ts +66 -72
- package/src/public/fixtures/utils.ts +122 -33
- package/src/public/index.ts +5 -4
- package/src/public/public_db_sources.ts +216 -222
- package/src/public/{public_processor.ts → public_processor/public_processor.ts} +78 -53
- package/src/public/{public_processor_metrics.ts → public_processor/public_processor_metrics.ts} +3 -3
- package/src/public/{public_tx_context.ts → public_tx_simulator/public_tx_context.ts} +70 -75
- package/src/public/{public_tx_simulator.ts → public_tx_simulator/public_tx_simulator.ts} +104 -91
- package/src/public/side_effect_trace.ts +85 -160
- package/src/public/side_effect_trace_interface.ts +10 -23
- package/src/public/tx_contract_cache.ts +69 -0
- package/src/public/unique_class_ids.ts +1 -1
- package/src/public/utils.ts +2 -2
- package/src/server.ts +4 -4
- package/src/test/utils.ts +5 -3
- package/dest/acvm/acvm.d.ts.map +0 -1
- package/dest/acvm/acvm.js +0 -73
- package/dest/acvm/acvm_types.d.ts.map +0 -1
- package/dest/acvm/acvm_types.js +0 -2
- package/dest/acvm/deserialize.d.ts.map +0 -1
- package/dest/acvm/deserialize.js +0 -46
- package/dest/acvm/index.d.ts.map +0 -1
- package/dest/acvm/index.js +0 -6
- package/dest/acvm/oracle/index.d.ts.map +0 -1
- package/dest/acvm/oracle/index.js +0 -3
- package/dest/acvm/oracle/oracle.d.ts.map +0 -1
- package/dest/acvm/oracle/oracle.js +0 -230
- package/dest/acvm/oracle/typed_oracle.d.ts.map +0 -1
- package/dest/acvm/oracle/typed_oracle.js +0 -131
- package/dest/acvm/serialize.d.ts.map +0 -1
- package/dest/acvm/serialize.js +0 -48
- package/dest/avm/avm_context.d.ts.map +0 -1
- package/dest/avm/avm_context.js +0 -44
- package/dest/avm/avm_contract_call_result.d.ts.map +0 -1
- package/dest/avm/avm_contract_call_result.js +0 -45
- package/dest/avm/avm_execution_environment.d.ts.map +0 -1
- package/dest/avm/avm_execution_environment.js +0 -28
- package/dest/avm/avm_gas.d.ts.map +0 -1
- package/dest/avm/avm_gas.js +0 -170
- package/dest/avm/avm_machine_state.d.ts.map +0 -1
- package/dest/avm/avm_machine_state.js +0 -112
- package/dest/avm/avm_memory_types.d.ts.map +0 -1
- package/dest/avm/avm_memory_types.js +0 -327
- package/dest/avm/avm_simulator.d.ts.map +0 -1
- package/dest/avm/avm_simulator.js +0 -193
- package/dest/avm/avm_tree.d.ts +0 -282
- package/dest/avm/avm_tree.d.ts.map +0 -1
- package/dest/avm/avm_tree.js +0 -684
- package/dest/avm/bytecode_utils.d.ts.map +0 -1
- package/dest/avm/bytecode_utils.js +0 -15
- package/dest/avm/errors.d.ts.map +0 -1
- package/dest/avm/errors.js +0 -196
- package/dest/avm/fixtures/avm_simulation_tester.d.ts.map +0 -1
- package/dest/avm/fixtures/avm_simulation_tester.js +0 -73
- package/dest/avm/fixtures/base_avm_simulation_tester.d.ts.map +0 -1
- package/dest/avm/fixtures/base_avm_simulation_tester.js +0 -76
- package/dest/avm/fixtures/index.d.ts.map +0 -1
- package/dest/avm/fixtures/index.js +0 -134
- package/dest/avm/fixtures/simple_contract_data_source.d.ts.map +0 -1
- package/dest/avm/fixtures/simple_contract_data_source.js +0 -75
- package/dest/avm/index.d.ts.map +0 -1
- package/dest/avm/index.js +0 -4
- package/dest/avm/journal/index.d.ts.map +0 -1
- package/dest/avm/journal/index.js +0 -2
- package/dest/avm/journal/journal.d.ts.map +0 -1
- package/dest/avm/journal/journal.js +0 -499
- package/dest/avm/journal/nullifiers.d.ts.map +0 -1
- package/dest/avm/journal/nullifiers.js +0 -99
- package/dest/avm/journal/public_storage.d.ts.map +0 -1
- package/dest/avm/journal/public_storage.js +0 -159
- package/dest/avm/opcodes/accrued_substate.d.ts.map +0 -1
- package/dest/avm/opcodes/accrued_substate.js +0 -215
- package/dest/avm/opcodes/addressing_mode.d.ts.map +0 -1
- package/dest/avm/opcodes/addressing_mode.js +0 -81
- package/dest/avm/opcodes/arithmetic.d.ts.map +0 -1
- package/dest/avm/opcodes/arithmetic.js +0 -70
- package/dest/avm/opcodes/bitwise.d.ts.map +0 -1
- package/dest/avm/opcodes/bitwise.js +0 -90
- package/dest/avm/opcodes/comparators.d.ts.map +0 -1
- package/dest/avm/opcodes/comparators.js +0 -40
- package/dest/avm/opcodes/contract.d.ts.map +0 -1
- package/dest/avm/opcodes/contract.js +0 -63
- package/dest/avm/opcodes/control_flow.d.ts.map +0 -1
- package/dest/avm/opcodes/control_flow.js +0 -97
- package/dest/avm/opcodes/conversion.d.ts.map +0 -1
- package/dest/avm/opcodes/conversion.js +0 -64
- package/dest/avm/opcodes/ec_add.d.ts.map +0 -1
- package/dest/avm/opcodes/ec_add.js +0 -82
- package/dest/avm/opcodes/environment_getters.d.ts.map +0 -1
- package/dest/avm/opcodes/environment_getters.js +0 -78
- package/dest/avm/opcodes/external_calls.d.ts.map +0 -1
- package/dest/avm/opcodes/external_calls.js +0 -169
- package/dest/avm/opcodes/hashing.d.ts.map +0 -1
- package/dest/avm/opcodes/hashing.js +0 -103
- package/dest/avm/opcodes/index.d.ts.map +0 -1
- package/dest/avm/opcodes/index.js +0 -16
- package/dest/avm/opcodes/instruction.d.ts.map +0 -1
- package/dest/avm/opcodes/instruction.js +0 -100
- package/dest/avm/opcodes/instruction_impl.d.ts.map +0 -1
- package/dest/avm/opcodes/instruction_impl.js +0 -33
- package/dest/avm/opcodes/memory.d.ts.map +0 -1
- package/dest/avm/opcodes/memory.js +0 -226
- package/dest/avm/opcodes/misc.d.ts.map +0 -1
- package/dest/avm/opcodes/misc.js +0 -45
- package/dest/avm/opcodes/multi_scalar_mul.d.ts +0 -16
- package/dest/avm/opcodes/multi_scalar_mul.d.ts.map +0 -1
- package/dest/avm/opcodes/multi_scalar_mul.js +0 -112
- package/dest/avm/opcodes/storage.d.ts.map +0 -1
- package/dest/avm/opcodes/storage.js +0 -61
- package/dest/avm/serialization/buffer_cursor.d.ts.map +0 -1
- package/dest/avm/serialization/buffer_cursor.js +0 -99
- package/dest/avm/serialization/bytecode_serialization.d.ts.map +0 -1
- package/dest/avm/serialization/bytecode_serialization.js +0 -132
- package/dest/avm/serialization/instruction_serialization.d.ts.map +0 -1
- package/dest/avm/serialization/instruction_serialization.js +0 -187
- package/dest/avm/test_utils.d.ts.map +0 -1
- package/dest/avm/test_utils.js +0 -52
- package/dest/client/client_execution_context.d.ts.map +0 -1
- package/dest/client/client_execution_context.js +0 -392
- package/dest/client/db_oracle.d.ts.map +0 -1
- package/dest/client/db_oracle.js +0 -17
- package/dest/client/execution_note_cache.d.ts.map +0 -1
- package/dest/client/execution_note_cache.js +0 -181
- package/dest/client/index.d.ts +0 -16
- package/dest/client/index.d.ts.map +0 -1
- package/dest/client/index.js +0 -15
- package/dest/client/pick_notes.d.ts.map +0 -1
- package/dest/client/pick_notes.js +0 -54
- package/dest/client/private_execution.d.ts +0 -19
- package/dest/client/private_execution.d.ts.map +0 -1
- package/dest/client/private_execution.js +0 -72
- package/dest/client/simulator.d.ts +0 -60
- package/dest/client/simulator.d.ts.map +0 -1
- package/dest/client/simulator.js +0 -136
- package/dest/client/unconstrained_execution.d.ts.map +0 -1
- package/dest/client/unconstrained_execution.js +0 -30
- package/dest/client/view_data_oracle.d.ts.map +0 -1
- package/dest/client/view_data_oracle.js +0 -268
- package/dest/common/hashed_values_cache.d.ts.map +0 -1
- package/dest/common/hashed_values_cache.js +0 -50
- package/dest/common/simulation_provider.d.ts.map +0 -1
- package/dest/common/simulation_provider.js +0 -27
- package/dest/common.d.ts +0 -2
- package/dest/common.d.ts.map +0 -1
- package/dest/common.js +0 -2
- package/dest/providers/acvm_native.d.ts.map +0 -1
- package/dest/providers/acvm_native.js +0 -125
- package/dest/providers/acvm_wasm.d.ts.map +0 -1
- package/dest/providers/acvm_wasm.js +0 -54
- package/dest/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
- package/dest/providers/factory.d.ts.map +0 -1
- package/dest/providers/factory.js +0 -27
- package/dest/providers/index.d.ts +0 -5
- package/dest/providers/index.d.ts.map +0 -1
- package/dest/providers/index.js +0 -5
- package/dest/public/db_interfaces.d.ts.map +0 -1
- package/dest/public/db_interfaces.js +0 -2
- package/dest/public/fee_payment.d.ts +0 -11
- package/dest/public/fee_payment.d.ts.map +0 -1
- package/dest/public/fee_payment.js +0 -21
- package/dest/public/public_processor.d.ts.map +0 -1
- package/dest/public/public_processor.js +0 -352
- package/dest/public/public_processor_metrics.d.ts.map +0 -1
- package/dest/public/public_processor_metrics.js +0 -106
- package/dest/public/public_tx_context.d.ts.map +0 -1
- package/dest/public/public_tx_context.js +0 -341
- package/dest/public/public_tx_simulator.d.ts.map +0 -1
- package/dest/public/public_tx_simulator.js +0 -333
- package/dest/stats/index.d.ts.map +0 -1
- package/dest/stats/index.js +0 -2
- package/dest/stats/stats.d.ts.map +0 -1
- package/dest/stats/stats.js +0 -11
- package/src/avm/avm_tree.ts +0 -887
- package/src/avm/opcodes/multi_scalar_mul.ts +0 -121
- package/src/avm/serialization/bytecode_serialization.ts +0 -212
- package/src/client/index.ts +0 -15
- package/src/common.ts +0 -1
- package/src/providers/index.ts +0 -4
- package/src/public/fee_payment.ts +0 -23
- /package/dest/{stats → common/stats}/index.d.ts +0 -0
- /package/{src/stats/index.ts → dest/common/stats/index.js} +0 -0
- /package/dest/{acvm → private/acvm}/index.d.ts +0 -0
- /package/dest/{avm → public/avm}/avm_gas.d.ts +0 -0
- /package/dest/{avm → public/avm}/bytecode_utils.d.ts +0 -0
- /package/dest/{avm → public/avm}/journal/index.d.ts +0 -0
- /package/{src/avm/journal/index.ts → dest/public/avm/journal/index.js} +0 -0
- /package/dest/{avm → public/avm}/opcodes/accrued_substate.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/addressing_mode.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/arithmetic.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/bitwise.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/comparators.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/contract.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/control_flow.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/environment_getters.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/external_calls.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/index.d.ts +0 -0
- /package/{src/avm/opcodes/index.ts → dest/public/avm/opcodes/index.js} +0 -0
- /package/dest/{avm → public/avm}/opcodes/instruction_impl.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/memory.d.ts +0 -0
- /package/dest/{avm → public/avm}/opcodes/storage.d.ts +0 -0
- /package/dest/{avm → public/avm}/serialization/buffer_cursor.d.ts +0 -0
- /package/src/{acvm → private/acvm}/index.ts +0 -0
- /package/src/{avm → public/avm}/bytecode_utils.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/.eslintrc.cjs +0 -0
- /package/src/{avm → public/avm}/opcodes/accrued_substate.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/addressing_mode.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/arithmetic.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/bitwise.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/comparators.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/environment_getters.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/instruction_impl.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/memory.ts +0 -0
- /package/src/{avm → public/avm}/opcodes/storage.ts +0 -0
- /package/src/{avm → public/avm}/serialization/buffer_cursor.ts +0 -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
|
+
}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
import {
|
|
1
|
+
import type { AvmContext } from '../avm_context.js';
|
|
2
2
|
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
3
3
|
import { Instruction } from './instruction.js';
|
|
4
4
|
export declare class DebugLog extends Instruction {
|
|
@@ -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 @@
|
|
|
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 @@
|
|
|
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
|
+
}
|
|
@@ -11,7 +11,7 @@ export interface Deserializable {
|
|
|
11
11
|
deserialize: InstructionDeserializer;
|
|
12
12
|
}
|
|
13
13
|
export type InstructionSet = Map<Opcode, InstructionDeserializer>;
|
|
14
|
-
export declare const INSTRUCTION_SET:
|
|
14
|
+
export declare const INSTRUCTION_SET: Map<Opcode, InstructionDeserializer>;
|
|
15
15
|
/**
|
|
16
16
|
* Serializes an array of instructions to bytecode.
|
|
17
17
|
*/
|
|
@@ -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,EA+BZ,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,sCAmF1B,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"}
|