@aztec/simulator 0.0.0-test.1 → 0.0.1-commit.023c3e5
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 +8 -0
- package/dest/client.d.ts +6 -4
- package/dest/client.d.ts.map +1 -1
- package/dest/client.js +4 -2
- package/dest/common/errors.d.ts +6 -9
- package/dest/common/errors.d.ts.map +1 -1
- package/dest/common/errors.js +51 -32
- package/dest/common/index.d.ts +1 -2
- package/dest/common/index.d.ts.map +1 -1
- package/dest/common/index.js +0 -1
- package/dest/common/stats/index.d.ts +1 -1
- package/dest/common/stats/stats.d.ts +1 -1
- package/dest/private/acvm/acvm.d.ts +15 -7
- package/dest/private/acvm/acvm.d.ts.map +1 -1
- package/dest/private/acvm/acvm.js +14 -19
- package/dest/private/acvm/acvm_types.d.ts +2 -2
- package/dest/private/acvm/acvm_types.d.ts.map +1 -1
- package/dest/private/acvm/deserialize.d.ts +19 -20
- package/dest/private/acvm/deserialize.d.ts.map +1 -1
- package/dest/private/acvm/deserialize.js +32 -24
- package/dest/private/acvm/index.d.ts +1 -2
- package/dest/private/acvm/index.d.ts.map +1 -1
- package/dest/private/acvm/index.js +0 -1
- package/dest/private/acvm/serialize.d.ts +21 -4
- package/dest/private/acvm/serialize.d.ts.map +1 -1
- package/dest/private/acvm/serialize.js +54 -1
- package/dest/private/acvm_native.d.ts +41 -0
- package/dest/private/acvm_native.d.ts.map +1 -0
- package/dest/private/{providers/acvm_native.js → acvm_native.js} +34 -26
- package/dest/private/acvm_wasm.d.ts +16 -0
- package/dest/private/acvm_wasm.d.ts.map +1 -0
- package/dest/private/acvm_wasm.js +65 -0
- package/dest/private/acvm_wasm_with_blobs.d.ts +20 -0
- package/dest/private/acvm_wasm_with_blobs.d.ts.map +1 -0
- package/dest/private/acvm_wasm_with_blobs.js +35 -0
- package/dest/private/circuit_recording/circuit_recorder.d.ts +109 -0
- package/dest/private/circuit_recording/circuit_recorder.d.ts.map +1 -0
- package/dest/private/circuit_recording/circuit_recorder.js +212 -0
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts +32 -0
- package/dest/private/circuit_recording/file_circuit_recorder.d.ts.map +1 -0
- package/dest/private/circuit_recording/file_circuit_recorder.js +135 -0
- package/dest/private/circuit_recording/memory_circuit_recorder.d.ts +10 -0
- package/dest/private/circuit_recording/memory_circuit_recorder.d.ts.map +1 -0
- package/dest/private/circuit_recording/memory_circuit_recorder.js +9 -0
- package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts +21 -0
- package/dest/private/circuit_recording/simulator_recorder_wrapper.d.ts.map +1 -0
- package/dest/private/circuit_recording/simulator_recorder_wrapper.js +44 -0
- package/dest/private/circuit_simulator.d.ts +35 -0
- package/dest/private/circuit_simulator.d.ts.map +1 -0
- package/dest/private/circuit_simulator.js +43 -0
- package/dest/private/factory.d.ts +12 -0
- package/dest/private/factory.d.ts.map +1 -0
- package/dest/private/{providers/factory.js → factory.js} +8 -5
- package/dest/public/avm/avm_context.d.ts +8 -8
- package/dest/public/avm/avm_context.d.ts.map +1 -1
- package/dest/public/avm/avm_contract_call_result.d.ts +8 -6
- package/dest/public/avm/avm_contract_call_result.d.ts.map +1 -1
- package/dest/public/avm/avm_contract_call_result.js +12 -8
- package/dest/public/avm/avm_execution_environment.d.ts +9 -6
- package/dest/public/avm/avm_execution_environment.d.ts.map +1 -1
- package/dest/public/avm/avm_execution_environment.js +5 -3
- package/dest/public/avm/avm_gas.d.ts +5 -21
- package/dest/public/avm/avm_gas.d.ts.map +1 -1
- package/dest/public/avm/avm_gas.js +27 -35
- package/dest/public/avm/avm_machine_state.d.ts +9 -6
- package/dest/public/avm/avm_machine_state.d.ts.map +1 -1
- package/dest/public/avm/avm_machine_state.js +5 -2
- package/dest/public/avm/avm_memory_types.d.ts +100 -89
- package/dest/public/avm/avm_memory_types.d.ts.map +1 -1
- package/dest/public/avm/avm_memory_types.js +21 -7
- package/dest/public/avm/avm_simulator.d.ts +8 -7
- package/dest/public/avm/avm_simulator.d.ts.map +1 -1
- package/dest/public/avm/avm_simulator.js +32 -42
- package/dest/public/avm/avm_simulator_interface.d.ts +9 -0
- package/dest/public/avm/avm_simulator_interface.d.ts.map +1 -0
- package/dest/public/avm/avm_simulator_interface.js +3 -0
- package/dest/public/avm/calldata.d.ts +51 -0
- package/dest/public/avm/calldata.d.ts.map +1 -0
- package/dest/public/avm/calldata.js +63 -0
- package/dest/public/avm/errors.d.ts +11 -29
- package/dest/public/avm/errors.d.ts.map +1 -1
- package/dest/public/avm/errors.js +19 -57
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts +6 -5
- package/dest/public/avm/fixtures/avm_simulation_tester.d.ts.map +1 -1
- package/dest/public/avm/fixtures/avm_simulation_tester.js +26 -18
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts +8 -6
- package/dest/public/avm/fixtures/base_avm_simulation_tester.d.ts.map +1 -1
- package/dest/public/avm/fixtures/base_avm_simulation_tester.js +38 -15
- package/dest/public/avm/fixtures/initializers.d.ts +42 -0
- package/dest/public/avm/fixtures/initializers.d.ts.map +1 -0
- package/dest/public/avm/fixtures/initializers.js +45 -0
- package/dest/public/avm/fixtures/utils.d.ts +39 -0
- package/dest/public/avm/fixtures/utils.d.ts.map +1 -0
- package/dest/public/avm/fixtures/utils.js +96 -0
- package/dest/public/avm/index.d.ts +1 -3
- package/dest/public/avm/index.d.ts.map +1 -1
- package/dest/public/avm/index.js +0 -2
- package/dest/public/avm/opcodes/accrued_substate.d.ts +17 -18
- package/dest/public/avm/opcodes/accrued_substate.d.ts.map +1 -1
- package/dest/public/avm/opcodes/accrued_substate.js +58 -55
- package/dest/public/avm/opcodes/addressing_mode.d.ts +12 -8
- package/dest/public/avm/opcodes/addressing_mode.d.ts.map +1 -1
- package/dest/public/avm/opcodes/addressing_mode.js +46 -26
- package/dest/public/avm/opcodes/arithmetic.d.ts +14 -2
- package/dest/public/avm/opcodes/arithmetic.d.ts.map +1 -1
- package/dest/public/avm/opcodes/arithmetic.js +27 -3
- package/dest/public/avm/opcodes/bitwise.d.ts +8 -16
- package/dest/public/avm/opcodes/bitwise.d.ts.map +1 -1
- package/dest/public/avm/opcodes/bitwise.js +22 -29
- package/dest/public/avm/opcodes/comparators.d.ts +1 -1
- package/dest/public/avm/opcodes/comparators.d.ts.map +1 -1
- package/dest/public/avm/opcodes/comparators.js +3 -3
- package/dest/public/avm/opcodes/contract.d.ts +3 -4
- package/dest/public/avm/opcodes/contract.d.ts.map +1 -1
- package/dest/public/avm/opcodes/contract.js +11 -12
- package/dest/public/avm/opcodes/control_flow.d.ts +3 -3
- package/dest/public/avm/opcodes/control_flow.d.ts.map +1 -1
- package/dest/public/avm/opcodes/control_flow.js +13 -11
- package/dest/public/avm/opcodes/conversion.d.ts +4 -3
- package/dest/public/avm/opcodes/conversion.d.ts.map +1 -1
- package/dest/public/avm/opcodes/conversion.js +270 -6
- package/dest/public/avm/opcodes/ec_add.d.ts +3 -3
- package/dest/public/avm/opcodes/ec_add.d.ts.map +1 -1
- package/dest/public/avm/opcodes/ec_add.js +21 -12
- package/dest/public/avm/opcodes/environment_getters.d.ts +5 -5
- package/dest/public/avm/opcodes/environment_getters.d.ts.map +1 -1
- package/dest/public/avm/opcodes/environment_getters.js +20 -22
- package/dest/public/avm/opcodes/external_calls.d.ts +14 -13
- package/dest/public/avm/opcodes/external_calls.d.ts.map +1 -1
- package/dest/public/avm/opcodes/external_calls.js +52 -46
- package/dest/public/avm/opcodes/hashing.d.ts +7 -7
- package/dest/public/avm/opcodes/hashing.d.ts.map +1 -1
- package/dest/public/avm/opcodes/hashing.js +24 -19
- package/dest/public/avm/opcodes/index.d.ts +1 -1
- package/dest/public/avm/opcodes/instruction.d.ts +15 -11
- package/dest/public/avm/opcodes/instruction.d.ts.map +1 -1
- package/dest/public/avm/opcodes/instruction.js +23 -19
- package/dest/public/avm/opcodes/instruction_impl.d.ts +4 -4
- package/dest/public/avm/opcodes/instruction_impl.d.ts.map +1 -1
- package/dest/public/avm/opcodes/instruction_impl.js +4 -4
- package/dest/public/avm/opcodes/memory.d.ts +15 -15
- package/dest/public/avm/opcodes/memory.d.ts.map +1 -1
- package/dest/public/avm/opcodes/memory.js +52 -48
- package/dest/public/avm/opcodes/misc.d.ts +4 -3
- package/dest/public/avm/opcodes/misc.d.ts.map +1 -1
- package/dest/public/avm/opcodes/misc.js +42 -17
- package/dest/public/avm/opcodes/storage.d.ts +14 -13
- package/dest/public/avm/opcodes/storage.d.ts.map +1 -1
- package/dest/public/avm/opcodes/storage.js +39 -27
- package/dest/public/avm/revert_reason.d.ts +18 -0
- package/dest/public/avm/revert_reason.d.ts.map +1 -0
- package/dest/public/avm/revert_reason.js +39 -0
- package/dest/public/avm/serialization/buffer_cursor.d.ts +1 -3
- package/dest/public/avm/serialization/buffer_cursor.d.ts.map +1 -1
- package/dest/public/avm/serialization/bytecode_serialization.d.ts +3 -7
- package/dest/public/avm/serialization/bytecode_serialization.d.ts.map +1 -1
- package/dest/public/avm/serialization/bytecode_serialization.js +79 -75
- package/dest/public/avm/serialization/instruction_serialization.d.ts +14 -5
- package/dest/public/avm/serialization/instruction_serialization.d.ts.map +1 -1
- package/dest/public/avm/serialization/instruction_serialization.js +70 -35
- package/dest/public/avm/test_utils.d.ts +12 -15
- package/dest/public/avm/test_utils.d.ts.map +1 -1
- package/dest/public/avm/test_utils.js +17 -25
- package/dest/public/contracts_db_checkpoint.d.ts +16 -0
- package/dest/public/contracts_db_checkpoint.d.ts.map +1 -0
- package/dest/public/contracts_db_checkpoint.js +30 -0
- package/dest/public/db_interfaces.d.ts +68 -0
- package/dest/public/db_interfaces.d.ts.map +1 -0
- package/dest/public/db_interfaces.js +3 -0
- package/dest/public/debug_fn_name.d.ts +18 -0
- package/dest/public/debug_fn_name.d.ts.map +1 -0
- package/dest/public/debug_fn_name.js +37 -0
- package/dest/public/executor_metrics.d.ts +12 -4
- package/dest/public/executor_metrics.d.ts.map +1 -1
- package/dest/public/executor_metrics.js +33 -23
- package/dest/public/executor_metrics_interface.d.ts +10 -0
- package/dest/public/executor_metrics_interface.d.ts.map +1 -0
- package/dest/public/executor_metrics_interface.js +1 -0
- package/dest/public/fixtures/amm_test.d.ts +10 -0
- package/dest/public/fixtures/amm_test.d.ts.map +1 -0
- package/dest/public/fixtures/amm_test.js +213 -0
- package/dest/public/fixtures/bulk_test.d.ts +6 -0
- package/dest/public/fixtures/bulk_test.d.ts.map +1 -0
- package/dest/public/fixtures/bulk_test.js +262 -0
- package/dest/public/fixtures/custom_bytecode_tester.d.ts +34 -0
- package/dest/public/fixtures/custom_bytecode_tester.d.ts.map +1 -0
- package/dest/public/fixtures/custom_bytecode_tester.js +53 -0
- package/dest/public/fixtures/custom_bytecode_tests.d.ts +12 -0
- package/dest/public/fixtures/custom_bytecode_tests.d.ts.map +1 -0
- package/dest/public/fixtures/custom_bytecode_tests.js +174 -0
- package/dest/public/fixtures/index.d.ts +10 -1
- package/dest/public/fixtures/index.d.ts.map +1 -1
- package/dest/public/fixtures/index.js +9 -0
- package/dest/public/fixtures/minimal_public_tx.d.ts +4 -0
- package/dest/public/fixtures/minimal_public_tx.d.ts.map +1 -0
- package/dest/public/fixtures/minimal_public_tx.js +19 -0
- package/dest/public/fixtures/opcode_spammer.d.ts +122 -0
- package/dest/public/fixtures/opcode_spammer.d.ts.map +1 -0
- package/dest/public/fixtures/opcode_spammer.js +1653 -0
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts +55 -15
- package/dest/public/fixtures/public_tx_simulation_tester.d.ts.map +1 -1
- package/dest/public/fixtures/public_tx_simulation_tester.js +138 -72
- package/dest/public/fixtures/simple_contract_data_source.d.ts +36 -0
- package/dest/public/fixtures/simple_contract_data_source.d.ts.map +1 -0
- package/dest/public/{avm/fixtures → fixtures}/simple_contract_data_source.js +31 -10
- package/dest/public/fixtures/token_test.d.ts +12 -0
- package/dest/public/fixtures/token_test.d.ts.map +1 -0
- package/dest/public/fixtures/token_test.js +96 -0
- package/dest/public/fixtures/utils.d.ts +18 -5
- package/dest/public/fixtures/utils.d.ts.map +1 -1
- package/dest/public/fixtures/utils.js +102 -59
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts +60 -0
- package/dest/public/fuzzing/avm_fuzzer_simulator.d.ts.map +1 -0
- package/dest/public/fuzzing/avm_fuzzer_simulator.js +171 -0
- package/dest/public/fuzzing/avm_simulator_bin.d.ts +2 -0
- package/dest/public/fuzzing/avm_simulator_bin.d.ts.map +1 -0
- package/dest/public/fuzzing/avm_simulator_bin.js +118 -0
- package/dest/public/hinting_db_sources.d.ts +80 -0
- package/dest/public/hinting_db_sources.d.ts.map +1 -0
- package/dest/public/hinting_db_sources.js +355 -0
- package/dest/public/index.d.ts +6 -9
- package/dest/public/index.d.ts.map +1 -1
- package/dest/public/index.js +4 -7
- package/dest/public/public_db_sources.d.ts +54 -103
- package/dest/public/public_db_sources.d.ts.map +1 -1
- package/dest/public/public_db_sources.js +222 -195
- package/dest/public/public_errors.d.ts +12 -0
- package/dest/public/public_errors.d.ts.map +1 -0
- package/dest/public/public_errors.js +13 -0
- package/dest/public/public_processor/guarded_merkle_tree.d.ts +51 -0
- package/dest/public/public_processor/guarded_merkle_tree.d.ts.map +1 -0
- package/dest/public/public_processor/guarded_merkle_tree.js +113 -0
- package/dest/public/public_processor/public_processor.d.ts +28 -38
- package/dest/public/public_processor/public_processor.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor.js +576 -136
- package/dest/public/public_processor/public_processor_metrics.d.ts +4 -4
- package/dest/public/public_processor/public_processor_metrics.d.ts.map +1 -1
- package/dest/public/public_processor/public_processor_metrics.js +29 -46
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts +19 -0
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/contract_provider_for_cpp.js +98 -0
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts +53 -0
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator.js +132 -0
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts +42 -0
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.js +86 -0
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts +30 -0
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.js +171 -0
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts +23 -0
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/dumping_cpp_public_tx_simulator.js +52 -0
- package/dest/public/public_tx_simulator/factories.d.ts +14 -0
- package/dest/public/public_tx_simulator/factories.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/factories.js +28 -0
- package/dest/public/public_tx_simulator/index.d.ts +8 -0
- package/dest/public/public_tx_simulator/index.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/index.js +5 -0
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts +31 -0
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/measured_public_tx_simulator.js +51 -0
- package/dest/public/public_tx_simulator/public_tx_context.d.ts +25 -31
- package/dest/public/public_tx_simulator/public_tx_context.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_context.js +75 -95
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts +38 -58
- package/dest/public/public_tx_simulator/public_tx_simulator.d.ts.map +1 -1
- package/dest/public/public_tx_simulator/public_tx_simulator.js +220 -207
- package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts +32 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_interface.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/public_tx_simulator_interface.js +1 -0
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts +21 -0
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map +1 -0
- package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.js +415 -0
- package/dest/public/side_effect_errors.d.ts +42 -2
- package/dest/public/side_effect_errors.d.ts.map +1 -1
- package/dest/public/side_effect_errors.js +70 -1
- package/dest/public/side_effect_trace.d.ts +24 -69
- package/dest/public/side_effect_trace.d.ts.map +1 -1
- package/dest/public/side_effect_trace.js +74 -124
- package/dest/public/side_effect_trace_interface.d.ts +13 -25
- package/dest/public/side_effect_trace_interface.d.ts.map +1 -1
- package/dest/public/state_manager/index.d.ts +2 -0
- package/dest/public/state_manager/index.d.ts.map +1 -0
- package/dest/public/state_manager/index.js +1 -0
- package/dest/public/{avm/journal → state_manager}/nullifiers.d.ts +4 -7
- package/dest/public/state_manager/nullifiers.d.ts.map +1 -0
- package/dest/public/{avm/journal → state_manager}/nullifiers.js +3 -8
- package/dest/public/{avm/journal → state_manager}/public_storage.d.ts +4 -4
- package/dest/public/state_manager/public_storage.d.ts.map +1 -0
- package/dest/public/{avm/journal → state_manager}/public_storage.js +1 -1
- package/dest/public/state_manager/state_manager.d.ts +170 -0
- package/dest/public/state_manager/state_manager.d.ts.map +1 -0
- package/dest/public/state_manager/state_manager.js +402 -0
- package/dest/public/test_executor_metrics.d.ts +56 -0
- package/dest/public/test_executor_metrics.d.ts.map +1 -0
- package/dest/public/test_executor_metrics.js +307 -0
- package/dest/public/unique_class_ids.d.ts +1 -1
- package/dest/public/unique_class_ids.d.ts.map +1 -1
- package/dest/public/utils.d.ts +3 -5
- package/dest/public/utils.d.ts.map +1 -1
- package/dest/public/utils.js +4 -21
- package/dest/server.d.ts +7 -4
- package/dest/server.d.ts.map +1 -1
- package/dest/server.js +5 -2
- package/dest/testing.d.ts +2 -0
- package/dest/testing.d.ts.map +1 -0
- package/dest/testing.js +1 -0
- package/package.json +39 -33
- package/src/client.ts +5 -3
- package/src/common/errors.ts +80 -45
- package/src/common/index.ts +0 -1
- package/src/private/acvm/acvm.ts +21 -35
- package/src/private/acvm/acvm_types.ts +1 -1
- package/src/private/acvm/deserialize.ts +36 -30
- package/src/private/acvm/index.ts +0 -1
- package/src/private/acvm/serialize.ts +64 -1
- package/src/private/{providers/acvm_native.ts → acvm_native.ts} +57 -28
- package/src/private/acvm_wasm.ts +76 -0
- package/src/private/acvm_wasm_with_blobs.ts +54 -0
- package/src/private/circuit_recording/circuit_recorder.ts +263 -0
- package/src/private/circuit_recording/file_circuit_recorder.ts +163 -0
- package/src/private/circuit_recording/memory_circuit_recorder.ts +13 -0
- package/src/private/circuit_recording/simulator_recorder_wrapper.ts +91 -0
- package/src/private/circuit_simulator.ts +90 -0
- package/src/private/{providers/factory.ts → factory.ts} +13 -10
- package/src/public/avm/avm_context.ts +6 -6
- package/src/public/avm/avm_contract_call_result.ts +23 -9
- package/src/public/avm/avm_execution_environment.ts +17 -5
- package/src/public/avm/avm_gas.ts +26 -38
- package/src/public/avm/avm_machine_state.ts +12 -6
- package/src/public/avm/avm_memory_types.ts +24 -7
- package/src/public/avm/avm_simulator.ts +57 -62
- package/src/public/avm/avm_simulator_interface.ts +8 -0
- package/src/public/avm/calldata.ts +100 -0
- package/src/public/avm/errors.ts +20 -75
- package/src/public/avm/fixtures/avm_simulation_tester.ts +41 -24
- package/src/public/avm/fixtures/base_avm_simulation_tester.ts +46 -13
- package/src/public/avm/fixtures/initializers.ts +103 -0
- package/src/public/avm/fixtures/utils.ts +151 -0
- package/src/public/avm/index.ts +0 -2
- package/src/public/avm/opcodes/accrued_substate.ts +81 -48
- package/src/public/avm/opcodes/addressing_mode.ts +56 -32
- package/src/public/avm/opcodes/arithmetic.ts +37 -3
- package/src/public/avm/opcodes/bitwise.ts +33 -29
- package/src/public/avm/opcodes/comparators.ts +6 -3
- package/src/public/avm/opcodes/contract.ts +10 -10
- package/src/public/avm/opcodes/control_flow.ts +19 -10
- package/src/public/avm/opcodes/conversion.ts +29 -5
- package/src/public/avm/opcodes/ec_add.ts +22 -10
- package/src/public/avm/opcodes/environment_getters.ts +28 -23
- package/src/public/avm/opcodes/external_calls.ts +70 -36
- package/src/public/avm/opcodes/hashing.ts +39 -13
- package/src/public/avm/opcodes/instruction.ts +31 -21
- package/src/public/avm/opcodes/instruction_impl.ts +2 -2
- package/src/public/avm/opcodes/memory.ts +81 -42
- package/src/public/avm/opcodes/misc.ts +61 -19
- package/src/public/avm/opcodes/storage.ts +47 -23
- package/src/public/avm/revert_reason.ts +58 -0
- package/src/public/avm/serialization/buffer_cursor.ts +4 -1
- package/src/public/avm/serialization/bytecode_serialization.ts +89 -80
- package/src/public/avm/serialization/instruction_serialization.ts +75 -34
- package/src/public/avm/test_utils.ts +25 -42
- package/src/public/contracts_db_checkpoint.ts +41 -0
- package/src/public/db_interfaces.ts +76 -0
- package/src/public/debug_fn_name.ts +52 -0
- package/src/public/executor_metrics.ts +49 -23
- package/src/public/executor_metrics_interface.ts +15 -0
- package/src/public/fixtures/amm_test.ts +331 -0
- package/src/public/fixtures/bulk_test.ts +169 -0
- package/src/public/fixtures/custom_bytecode_tester.ts +83 -0
- package/src/public/fixtures/custom_bytecode_tests.ts +228 -0
- package/src/public/fixtures/index.ts +13 -0
- package/src/public/fixtures/minimal_public_tx.ts +26 -0
- package/src/public/fixtures/opcode_spammer.ts +1721 -0
- package/src/public/fixtures/public_tx_simulation_tester.ts +223 -114
- package/src/public/{avm/fixtures → fixtures}/simple_contract_data_source.ts +37 -20
- package/src/public/fixtures/token_test.ts +148 -0
- package/src/public/fixtures/utils.ts +141 -69
- package/src/public/fuzzing/avm_fuzzer_simulator.ts +288 -0
- package/src/public/fuzzing/avm_simulator_bin.ts +175 -0
- package/src/public/hinting_db_sources.ts +607 -0
- package/src/public/index.ts +11 -8
- package/src/public/public_db_sources.ts +290 -260
- package/src/public/public_errors.ts +14 -0
- package/src/public/public_processor/guarded_merkle_tree.ts +158 -0
- package/src/public/public_processor/public_processor.ts +257 -179
- package/src/public/public_processor/public_processor_metrics.ts +18 -46
- package/src/public/public_tx_simulator/contract_provider_for_cpp.ts +124 -0
- package/src/public/public_tx_simulator/cpp_public_tx_simulator.ts +211 -0
- package/src/public/public_tx_simulator/cpp_public_tx_simulator_with_hinted_dbs.ts +134 -0
- package/src/public/public_tx_simulator/cpp_vs_ts_public_tx_simulator.ts +239 -0
- package/src/public/public_tx_simulator/dumping_cpp_public_tx_simulator.ts +83 -0
- package/src/public/public_tx_simulator/factories.ts +43 -0
- package/src/public/public_tx_simulator/index.ts +7 -0
- package/src/public/public_tx_simulator/measured_public_tx_simulator.ts +105 -0
- package/src/public/public_tx_simulator/public_tx_context.ts +179 -199
- package/src/public/public_tx_simulator/public_tx_simulator.ts +316 -263
- package/src/public/public_tx_simulator/public_tx_simulator_interface.ts +33 -0
- package/src/public/public_tx_simulator/telemetry_public_tx_simulator.ts +63 -0
- package/src/public/side_effect_errors.ts +91 -1
- package/src/public/side_effect_trace.ts +99 -322
- package/src/public/side_effect_trace_interface.ts +11 -59
- package/src/public/state_manager/index.ts +1 -0
- package/src/public/{avm/journal → state_manager}/nullifiers.ts +6 -12
- package/src/public/{avm/journal → state_manager}/public_storage.ts +3 -3
- package/src/public/state_manager/state_manager.ts +569 -0
- package/src/public/test_executor_metrics.ts +397 -0
- package/src/public/utils.ts +5 -21
- package/src/server.ts +6 -3
- package/src/testing.ts +1 -0
- package/dest/common/db_interfaces.d.ts +0 -80
- package/dest/common/db_interfaces.d.ts.map +0 -1
- package/dest/common/db_interfaces.js +0 -1
- package/dest/common/debug_fn_name.d.ts +0 -5
- package/dest/common/debug_fn_name.d.ts.map +0 -1
- package/dest/common/debug_fn_name.js +0 -6
- package/dest/common/message_load_oracle_inputs.d.ts +0 -15
- package/dest/common/message_load_oracle_inputs.d.ts.map +0 -1
- package/dest/common/message_load_oracle_inputs.js +0 -15
- package/dest/private/acvm/oracle/index.d.ts +0 -14
- package/dest/private/acvm/oracle/index.d.ts.map +0 -1
- package/dest/private/acvm/oracle/index.js +0 -2
- package/dest/private/acvm/oracle/oracle.d.ts +0 -49
- package/dest/private/acvm/oracle/oracle.d.ts.map +0 -1
- package/dest/private/acvm/oracle/oracle.js +0 -263
- package/dest/private/acvm/oracle/typed_oracle.d.ts +0 -83
- package/dest/private/acvm/oracle/typed_oracle.d.ts.map +0 -1
- package/dest/private/acvm/oracle/typed_oracle.js +0 -132
- package/dest/private/execution_data_provider.d.ts +0 -261
- package/dest/private/execution_data_provider.d.ts.map +0 -1
- package/dest/private/execution_data_provider.js +0 -14
- package/dest/private/execution_note_cache.d.ts +0 -93
- package/dest/private/execution_note_cache.d.ts.map +0 -1
- package/dest/private/execution_note_cache.js +0 -180
- package/dest/private/hashed_values_cache.d.ts +0 -28
- package/dest/private/hashed_values_cache.d.ts.map +0 -1
- package/dest/private/hashed_values_cache.js +0 -46
- package/dest/private/index.d.ts +0 -13
- package/dest/private/index.d.ts.map +0 -1
- package/dest/private/index.js +0 -12
- package/dest/private/pick_notes.d.ts +0 -85
- package/dest/private/pick_notes.d.ts.map +0 -1
- package/dest/private/pick_notes.js +0 -51
- package/dest/private/private_execution.d.ts +0 -25
- package/dest/private/private_execution.d.ts.map +0 -1
- package/dest/private/private_execution.js +0 -92
- package/dest/private/private_execution_oracle.d.ts +0 -215
- package/dest/private/private_execution_oracle.d.ts.map +0 -1
- package/dest/private/private_execution_oracle.js +0 -382
- package/dest/private/providers/acvm_native.d.ts +0 -40
- package/dest/private/providers/acvm_native.d.ts.map +0 -1
- package/dest/private/providers/acvm_wasm.d.ts +0 -15
- package/dest/private/providers/acvm_wasm.d.ts.map +0 -1
- package/dest/private/providers/acvm_wasm.js +0 -62
- package/dest/private/providers/acvm_wasm_with_blobs.d.ts +0 -19
- package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map +0 -1
- package/dest/private/providers/acvm_wasm_with_blobs.js +0 -32
- package/dest/private/providers/factory.d.ts +0 -12
- package/dest/private/providers/factory.d.ts.map +0 -1
- package/dest/private/providers/simulation_provider.d.ts +0 -19
- package/dest/private/providers/simulation_provider.d.ts.map +0 -1
- package/dest/private/providers/simulation_provider.js +0 -24
- package/dest/private/simulator.d.ts +0 -34
- package/dest/private/simulator.d.ts.map +0 -1
- package/dest/private/simulator.js +0 -76
- package/dest/private/unconstrained_execution.d.ts +0 -10
- package/dest/private/unconstrained_execution.d.ts.map +0 -1
- package/dest/private/unconstrained_execution.js +0 -27
- package/dest/private/unconstrained_execution_oracle.d.ts +0 -161
- package/dest/private/unconstrained_execution_oracle.d.ts.map +0 -1
- package/dest/private/unconstrained_execution_oracle.js +0 -258
- package/dest/public/avm/bytecode_utils.d.ts +0 -5
- package/dest/public/avm/bytecode_utils.d.ts.map +0 -1
- package/dest/public/avm/bytecode_utils.js +0 -17
- package/dest/public/avm/fixtures/index.d.ts +0 -84
- package/dest/public/avm/fixtures/index.d.ts.map +0 -1
- package/dest/public/avm/fixtures/index.js +0 -175
- package/dest/public/avm/fixtures/simple_contract_data_source.d.ts +0 -35
- package/dest/public/avm/fixtures/simple_contract_data_source.d.ts.map +0 -1
- package/dest/public/avm/journal/index.d.ts +0 -2
- package/dest/public/avm/journal/index.d.ts.map +0 -1
- package/dest/public/avm/journal/index.js +0 -1
- package/dest/public/avm/journal/journal.d.ts +0 -209
- package/dest/public/avm/journal/journal.d.ts.map +0 -1
- package/dest/public/avm/journal/journal.js +0 -486
- package/dest/public/avm/journal/nullifiers.d.ts.map +0 -1
- package/dest/public/avm/journal/public_storage.d.ts.map +0 -1
- package/dest/public/bytecode_errors.d.ts +0 -4
- package/dest/public/bytecode_errors.d.ts.map +0 -1
- package/dest/public/bytecode_errors.js +0 -6
- package/dest/public/execution.d.ts +0 -108
- package/dest/public/execution.d.ts.map +0 -1
- package/dest/public/execution.js +0 -9
- package/dest/public/tx_contract_cache.d.ts +0 -41
- package/dest/public/tx_contract_cache.d.ts.map +0 -1
- package/dest/public/tx_contract_cache.js +0 -49
- package/dest/test/utils.d.ts +0 -13
- package/dest/test/utils.d.ts.map +0 -1
- package/dest/test/utils.js +0 -22
- package/src/common/db_interfaces.ts +0 -94
- package/src/common/debug_fn_name.ts +0 -18
- package/src/common/message_load_oracle_inputs.ts +0 -15
- package/src/private/acvm/oracle/index.ts +0 -16
- package/src/private/acvm/oracle/oracle.ts +0 -455
- package/src/private/acvm/oracle/typed_oracle.ts +0 -259
- package/src/private/execution_data_provider.ts +0 -323
- package/src/private/execution_note_cache.ts +0 -217
- package/src/private/hashed_values_cache.ts +0 -55
- package/src/private/index.ts +0 -16
- package/src/private/pick_notes.ts +0 -141
- package/src/private/private_execution.ts +0 -151
- package/src/private/private_execution_oracle.ts +0 -614
- package/src/private/providers/acvm_wasm.ts +0 -63
- package/src/private/providers/acvm_wasm_with_blobs.ts +0 -50
- package/src/private/providers/simulation_provider.ts +0 -45
- package/src/private/simulator.ts +0 -147
- package/src/private/unconstrained_execution.ts +0 -50
- package/src/private/unconstrained_execution_oracle.ts +0 -373
- package/src/public/avm/bytecode_utils.ts +0 -17
- package/src/public/avm/fixtures/index.ts +0 -296
- package/src/public/avm/journal/index.ts +0 -1
- package/src/public/avm/journal/journal.ts +0 -742
- package/src/public/avm/opcodes/.eslintrc.cjs +0 -8
- package/src/public/bytecode_errors.ts +0 -6
- package/src/public/execution.ts +0 -140
- package/src/public/tx_contract_cache.ts +0 -69
- package/src/test/utils.ts +0 -36
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import type { AvmContext } from '../avm_context.js';
|
|
2
|
-
import { Field, Uint64 } from '../avm_memory_types.js';
|
|
2
|
+
import { Field, Uint1, Uint32, Uint64, Uint128 } from '../avm_memory_types.js';
|
|
3
3
|
import { InstructionExecutionError } from '../errors.js';
|
|
4
4
|
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
5
5
|
import { Addressing } from './addressing_mode.js';
|
|
@@ -13,15 +13,15 @@ export enum EnvironmentVariable {
|
|
|
13
13
|
VERSION,
|
|
14
14
|
BLOCKNUMBER,
|
|
15
15
|
TIMESTAMP,
|
|
16
|
-
|
|
17
|
-
|
|
16
|
+
MINFEEPERL2GAS,
|
|
17
|
+
MINFEEPERDAGAS,
|
|
18
18
|
ISSTATICCALL,
|
|
19
19
|
L2GASLEFT,
|
|
20
20
|
DAGASLEFT,
|
|
21
21
|
}
|
|
22
22
|
|
|
23
|
-
function getValue(
|
|
24
|
-
switch (
|
|
23
|
+
function getValue(varEnum: EnvironmentVariable, ctx: AvmContext) {
|
|
24
|
+
switch (varEnum) {
|
|
25
25
|
case EnvironmentVariable.ADDRESS:
|
|
26
26
|
return new Field(ctx.environment.address.toField());
|
|
27
27
|
case EnvironmentVariable.SENDER:
|
|
@@ -33,21 +33,21 @@ function getValue(e: EnvironmentVariable, ctx: AvmContext) {
|
|
|
33
33
|
case EnvironmentVariable.VERSION:
|
|
34
34
|
return new Field(ctx.environment.globals.version);
|
|
35
35
|
case EnvironmentVariable.BLOCKNUMBER:
|
|
36
|
-
return new
|
|
36
|
+
return new Uint32(ctx.environment.globals.blockNumber);
|
|
37
37
|
case EnvironmentVariable.TIMESTAMP:
|
|
38
|
-
return new Uint64(ctx.environment.globals.timestamp
|
|
39
|
-
case EnvironmentVariable.
|
|
40
|
-
return new
|
|
41
|
-
case EnvironmentVariable.
|
|
42
|
-
return new
|
|
38
|
+
return new Uint64(ctx.environment.globals.timestamp);
|
|
39
|
+
case EnvironmentVariable.MINFEEPERL2GAS:
|
|
40
|
+
return new Uint128(ctx.environment.globals.gasFees.feePerL2Gas);
|
|
41
|
+
case EnvironmentVariable.MINFEEPERDAGAS:
|
|
42
|
+
return new Uint128(ctx.environment.globals.gasFees.feePerDaGas);
|
|
43
43
|
case EnvironmentVariable.ISSTATICCALL:
|
|
44
|
-
return new
|
|
44
|
+
return new Uint1(ctx.environment.isStaticCall ? 1 : 0);
|
|
45
45
|
case EnvironmentVariable.L2GASLEFT:
|
|
46
|
-
return new
|
|
46
|
+
return new Uint32(ctx.machineState.l2GasLeft);
|
|
47
47
|
case EnvironmentVariable.DAGASLEFT:
|
|
48
|
-
return new
|
|
48
|
+
return new Uint32(ctx.machineState.daGasLeft);
|
|
49
49
|
default:
|
|
50
|
-
throw new
|
|
50
|
+
throw new InstructionExecutionError(`Invalid GETENVVAR var enum ${varEnum}`);
|
|
51
51
|
}
|
|
52
52
|
}
|
|
53
53
|
|
|
@@ -56,27 +56,32 @@ export class GetEnvVar extends Instruction {
|
|
|
56
56
|
public static readonly opcode: Opcode = Opcode.GETENVVAR_16;
|
|
57
57
|
static readonly wireFormat16: OperandType[] = [
|
|
58
58
|
OperandType.UINT8, // opcode
|
|
59
|
-
OperandType.UINT8, //
|
|
59
|
+
OperandType.UINT8, // addressing_mode
|
|
60
60
|
OperandType.UINT16, // dstOffset
|
|
61
61
|
OperandType.UINT8, // variable enum (immediate)
|
|
62
62
|
];
|
|
63
63
|
|
|
64
|
-
constructor(
|
|
64
|
+
constructor(
|
|
65
|
+
private addressingMode: number,
|
|
66
|
+
private dstOffset: number,
|
|
67
|
+
private varEnum: number,
|
|
68
|
+
) {
|
|
65
69
|
super();
|
|
66
70
|
}
|
|
67
71
|
|
|
68
72
|
public async execute(context: AvmContext): Promise<void> {
|
|
69
73
|
const memory = context.machineState.memory;
|
|
70
|
-
|
|
74
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
71
75
|
|
|
72
|
-
|
|
73
|
-
|
|
74
|
-
|
|
76
|
+
context.machineState.consumeGas(
|
|
77
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
78
|
+
);
|
|
75
79
|
|
|
76
80
|
const operands = [this.dstOffset];
|
|
77
|
-
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
78
81
|
const [dstOffset] = addressing.resolve(operands, memory);
|
|
79
82
|
|
|
80
|
-
|
|
83
|
+
const value = getValue(this.varEnum as EnvironmentVariable, context);
|
|
84
|
+
|
|
85
|
+
memory.set(dstOffset, value);
|
|
81
86
|
}
|
|
82
87
|
}
|
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import type { AvmContext } from '../avm_context.js';
|
|
2
2
|
import type { AvmContractCallResult } from '../avm_contract_call_result.js';
|
|
3
3
|
import { type Field, TypeTag, Uint1 } from '../avm_memory_types.js';
|
|
4
|
+
import { CallDataMemory, ReturnDataMemory } from '../calldata.js';
|
|
4
5
|
import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
|
|
5
6
|
import { Addressing } from './addressing_mode.js';
|
|
6
7
|
import { Instruction } from './instruction.js';
|
|
@@ -9,49 +10,58 @@ abstract class ExternalCall extends Instruction {
|
|
|
9
10
|
// Informs (de)serialization. See Instruction.deserialize.
|
|
10
11
|
static readonly wireFormat: OperandType[] = [
|
|
11
12
|
OperandType.UINT8,
|
|
12
|
-
OperandType.
|
|
13
|
-
OperandType.UINT16,
|
|
14
|
-
OperandType.UINT16,
|
|
15
|
-
OperandType.UINT16,
|
|
16
|
-
OperandType.UINT16,
|
|
13
|
+
OperandType.UINT16, // addressing_mode
|
|
14
|
+
OperandType.UINT16, // L2 gas offset
|
|
15
|
+
OperandType.UINT16, // DA gas offset
|
|
16
|
+
OperandType.UINT16, // Address offset
|
|
17
|
+
OperandType.UINT16, // Args offset
|
|
18
|
+
OperandType.UINT16, // Args size offset
|
|
17
19
|
];
|
|
18
20
|
|
|
19
21
|
constructor(
|
|
20
|
-
private
|
|
21
|
-
private
|
|
22
|
+
private addressingMode: number,
|
|
23
|
+
private l2GasOffset: number,
|
|
24
|
+
private daGasOffset: number,
|
|
22
25
|
private addrOffset: number,
|
|
23
|
-
private argsOffset: number,
|
|
24
26
|
private argsSizeOffset: number,
|
|
27
|
+
private argsOffset: number,
|
|
25
28
|
) {
|
|
26
29
|
super();
|
|
27
30
|
}
|
|
28
31
|
|
|
29
32
|
public async execute(context: AvmContext) {
|
|
30
33
|
const memory = context.machineState.memory;
|
|
31
|
-
const
|
|
32
|
-
|
|
33
|
-
|
|
34
|
-
|
|
34
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
35
|
+
|
|
36
|
+
context.machineState.consumeGas(
|
|
37
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
38
|
+
);
|
|
39
|
+
|
|
40
|
+
const operands = [this.l2GasOffset, this.daGasOffset, this.addrOffset, this.argsSizeOffset, this.argsOffset];
|
|
41
|
+
const [l2GasOffset, daGasOffset, addrOffset, argsSizeOffset, argsOffset] = addressing.resolve(operands, memory);
|
|
42
|
+
|
|
43
|
+
memory.checkTags(TypeTag.UINT32, l2GasOffset);
|
|
44
|
+
memory.checkTags(TypeTag.UINT32, daGasOffset);
|
|
35
45
|
memory.checkTag(TypeTag.FIELD, addrOffset);
|
|
36
46
|
memory.checkTag(TypeTag.UINT32, argsSizeOffset);
|
|
37
47
|
|
|
38
48
|
const calldataSize = memory.get(argsSizeOffset).toNumber();
|
|
39
|
-
|
|
40
|
-
memory
|
|
49
|
+
|
|
50
|
+
const calldata = new CallDataMemory(memory, argsOffset, calldataSize);
|
|
41
51
|
|
|
42
52
|
const callAddress = memory.getAs<Field>(addrOffset);
|
|
43
53
|
// If we are already in a static call, we propagate the environment.
|
|
44
54
|
const callType = context.environment.isStaticCall ? 'STATICCALL' : this.type;
|
|
45
55
|
|
|
46
|
-
//
|
|
47
|
-
context.machineState.consumeGas(this.gasCost(calldataSize));
|
|
48
|
-
// Then we consume the gas allocated for the nested call. The excess will be refunded later.
|
|
56
|
+
// We consume the gas allocated for the nested call. The excess will be refunded later.
|
|
49
57
|
// Gas allocation is capped by the amount of gas left in the current context.
|
|
50
58
|
// We have to do some dancing here because the gas allocation is a field,
|
|
51
59
|
// but in the machine state we track gas as a number.
|
|
52
|
-
const allocatedL2Gas = Number(
|
|
60
|
+
const allocatedL2Gas = Number(
|
|
61
|
+
BigIntMin(memory.get(l2GasOffset).toBigInt(), BigInt(context.machineState.l2GasLeft)),
|
|
62
|
+
);
|
|
53
63
|
const allocatedDaGas = Number(
|
|
54
|
-
BigIntMin(memory.get(
|
|
64
|
+
BigIntMin(memory.get(daGasOffset).toBigInt(), BigInt(context.machineState.daGasLeft)),
|
|
55
65
|
);
|
|
56
66
|
const allocatedGas = { l2Gas: allocatedL2Gas, daGas: allocatedDaGas };
|
|
57
67
|
context.machineState.consumeGas(allocatedGas);
|
|
@@ -64,12 +74,15 @@ abstract class ExternalCall extends Instruction {
|
|
|
64
74
|
const success = !nestedCallResults.reverted;
|
|
65
75
|
|
|
66
76
|
// Save return/revert data for later.
|
|
67
|
-
const
|
|
68
|
-
context.machineState.nestedReturndata =
|
|
77
|
+
const returnData = nestedCallResults.output;
|
|
78
|
+
context.machineState.nestedReturndata = returnData;
|
|
69
79
|
|
|
70
80
|
// Track the success status directly
|
|
71
81
|
context.machineState.nestedCallSuccess = success;
|
|
72
82
|
|
|
83
|
+
// Account for all instructions executed in the nested call
|
|
84
|
+
context.machineState.instrCounter += nestedCallResults.totalInstructions;
|
|
85
|
+
|
|
73
86
|
// If the nested call reverted, we try to save the reason and the revert data.
|
|
74
87
|
// This will be used by the caller to try to reconstruct the call stack.
|
|
75
88
|
// This is only a heuristic and may not always work. It is intended to work
|
|
@@ -77,7 +90,7 @@ abstract class ExternalCall extends Instruction {
|
|
|
77
90
|
// (in Noir code).
|
|
78
91
|
if (!success) {
|
|
79
92
|
context.machineState.collectedRevertInfo = {
|
|
80
|
-
revertDataRepresentative:
|
|
93
|
+
revertDataRepresentative: returnData.bestEffortReadAll(),
|
|
81
94
|
recursiveRevertReason: nestedCallResults.revertReason!,
|
|
82
95
|
};
|
|
83
96
|
}
|
|
@@ -124,15 +137,22 @@ export class SuccessCopy extends Instruction {
|
|
|
124
137
|
OperandType.UINT16, // dstOffset (16-bit)
|
|
125
138
|
];
|
|
126
139
|
|
|
127
|
-
constructor(
|
|
140
|
+
constructor(
|
|
141
|
+
private addressingMode: number,
|
|
142
|
+
private dstOffset: number,
|
|
143
|
+
) {
|
|
128
144
|
super();
|
|
129
145
|
}
|
|
130
146
|
|
|
131
147
|
public async execute(context: AvmContext): Promise<void> {
|
|
132
148
|
const memory = context.machineState.memory;
|
|
149
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
150
|
+
|
|
151
|
+
context.machineState.consumeGas(
|
|
152
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
153
|
+
);
|
|
133
154
|
|
|
134
155
|
const operands = [this.dstOffset];
|
|
135
|
-
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
136
156
|
const [dstOffset] = addressing.resolve(operands, memory);
|
|
137
157
|
|
|
138
158
|
// Use the direct success tracking property
|
|
@@ -154,22 +174,29 @@ export class Return extends Instruction {
|
|
|
154
174
|
OperandType.UINT16,
|
|
155
175
|
];
|
|
156
176
|
|
|
157
|
-
constructor(
|
|
177
|
+
constructor(
|
|
178
|
+
private addressingMode: number,
|
|
179
|
+
private returnSizeOffset: number,
|
|
180
|
+
private returnOffset: number,
|
|
181
|
+
) {
|
|
158
182
|
super();
|
|
159
183
|
}
|
|
160
184
|
|
|
161
185
|
public async execute(context: AvmContext): Promise<void> {
|
|
162
186
|
const memory = context.machineState.memory;
|
|
187
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
163
188
|
|
|
164
|
-
|
|
165
|
-
|
|
166
|
-
|
|
189
|
+
context.machineState.consumeGas(
|
|
190
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
191
|
+
);
|
|
192
|
+
|
|
193
|
+
const operands = [this.returnSizeOffset, this.returnOffset];
|
|
194
|
+
const [returnSizeOffset, returnOffset] = addressing.resolve(operands, memory);
|
|
167
195
|
|
|
168
196
|
memory.checkTag(TypeTag.UINT32, returnSizeOffset);
|
|
169
197
|
const returnSize = memory.get(returnSizeOffset).toNumber();
|
|
170
|
-
context.machineState.consumeGas(this.gasCost(returnSize));
|
|
171
198
|
|
|
172
|
-
const output = memory
|
|
199
|
+
const output = new ReturnDataMemory(memory, returnOffset, returnSize);
|
|
173
200
|
|
|
174
201
|
context.machineState.return(output);
|
|
175
202
|
}
|
|
@@ -196,21 +223,28 @@ export class Revert extends Instruction {
|
|
|
196
223
|
OperandType.UINT16,
|
|
197
224
|
];
|
|
198
225
|
|
|
199
|
-
constructor(
|
|
226
|
+
constructor(
|
|
227
|
+
private addressingMode: number,
|
|
228
|
+
private retSizeOffset: number,
|
|
229
|
+
private returnOffset: number,
|
|
230
|
+
) {
|
|
200
231
|
super();
|
|
201
232
|
}
|
|
202
233
|
|
|
203
234
|
public async execute(context: AvmContext): Promise<void> {
|
|
204
235
|
const memory = context.machineState.memory;
|
|
236
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
237
|
+
|
|
238
|
+
context.machineState.consumeGas(
|
|
239
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
240
|
+
);
|
|
205
241
|
|
|
206
|
-
const operands = [this.
|
|
207
|
-
const
|
|
208
|
-
const [returnOffset, retSizeOffset] = addressing.resolve(operands, memory);
|
|
242
|
+
const operands = [this.retSizeOffset, this.returnOffset];
|
|
243
|
+
const [retSizeOffset, returnOffset] = addressing.resolve(operands, memory);
|
|
209
244
|
|
|
210
245
|
memory.checkTag(TypeTag.UINT32, retSizeOffset);
|
|
211
246
|
const retSize = memory.get(retSizeOffset).toNumber();
|
|
212
|
-
|
|
213
|
-
const output = memory.getSlice(returnOffset, retSize).map(word => word.toFr());
|
|
247
|
+
const output = new ReturnDataMemory(memory, returnOffset, retSize);
|
|
214
248
|
|
|
215
249
|
context.machineState.revert(output);
|
|
216
250
|
}
|
|
@@ -1,4 +1,6 @@
|
|
|
1
|
-
import { keccakf1600
|
|
1
|
+
import { keccakf1600 } from '@aztec/foundation/crypto/keccak';
|
|
2
|
+
import { poseidon2Permutation } from '@aztec/foundation/crypto/poseidon';
|
|
3
|
+
import { sha256Compression } from '@aztec/foundation/crypto/sha256';
|
|
2
4
|
|
|
3
5
|
import type { AvmContext } from '../avm_context.js';
|
|
4
6
|
import { Field, TypeTag, Uint32, Uint64 } from '../avm_memory_types.js';
|
|
@@ -19,16 +21,24 @@ export class Poseidon2 extends Instruction {
|
|
|
19
21
|
OperandType.UINT16,
|
|
20
22
|
];
|
|
21
23
|
|
|
22
|
-
constructor(
|
|
24
|
+
constructor(
|
|
25
|
+
private addressingMode: number,
|
|
26
|
+
private inputStateOffset: number,
|
|
27
|
+
private outputStateOffset: number,
|
|
28
|
+
) {
|
|
23
29
|
super();
|
|
24
30
|
}
|
|
25
31
|
|
|
26
32
|
public async execute(context: AvmContext): Promise<void> {
|
|
27
33
|
const memory = context.machineState.memory;
|
|
28
|
-
|
|
34
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
35
|
+
|
|
36
|
+
context.machineState.consumeGas(
|
|
37
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
38
|
+
);
|
|
29
39
|
|
|
30
40
|
const operands = [this.inputStateOffset, this.outputStateOffset];
|
|
31
|
-
|
|
41
|
+
|
|
32
42
|
const [inputOffset, outputOffset] = addressing.resolve(operands, memory);
|
|
33
43
|
|
|
34
44
|
const inputState = memory.getSlice(inputOffset, Poseidon2.stateSize);
|
|
@@ -54,7 +64,11 @@ export class KeccakF1600 extends Instruction {
|
|
|
54
64
|
OperandType.UINT16,
|
|
55
65
|
];
|
|
56
66
|
|
|
57
|
-
constructor(
|
|
67
|
+
constructor(
|
|
68
|
+
private addressingMode: number,
|
|
69
|
+
private dstOffset: number,
|
|
70
|
+
private inputOffset: number,
|
|
71
|
+
) {
|
|
58
72
|
super();
|
|
59
73
|
}
|
|
60
74
|
|
|
@@ -62,10 +76,14 @@ export class KeccakF1600 extends Instruction {
|
|
|
62
76
|
public async execute(context: AvmContext): Promise<void> {
|
|
63
77
|
const inputSize = 25;
|
|
64
78
|
const memory = context.machineState.memory;
|
|
79
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
80
|
+
|
|
81
|
+
context.machineState.consumeGas(
|
|
82
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
83
|
+
);
|
|
84
|
+
|
|
65
85
|
const operands = [this.dstOffset, this.inputOffset];
|
|
66
|
-
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
67
86
|
const [dstOffset, inputOffset] = addressing.resolve(operands, memory);
|
|
68
|
-
context.machineState.consumeGas(this.gasCost());
|
|
69
87
|
|
|
70
88
|
const stateData = memory.getSlice(inputOffset, inputSize).map(word => word.toBigInt());
|
|
71
89
|
memory.checkTagsRange(TypeTag.UINT64, inputOffset, inputSize);
|
|
@@ -91,7 +109,7 @@ export class Sha256Compression extends Instruction {
|
|
|
91
109
|
];
|
|
92
110
|
|
|
93
111
|
constructor(
|
|
94
|
-
private
|
|
112
|
+
private addressingMode: number,
|
|
95
113
|
private outputOffset: number,
|
|
96
114
|
private stateOffset: number,
|
|
97
115
|
private inputsOffset: number,
|
|
@@ -104,19 +122,27 @@ export class Sha256Compression extends Instruction {
|
|
|
104
122
|
const INPUTS_SIZE = 16;
|
|
105
123
|
|
|
106
124
|
const memory = context.machineState.memory;
|
|
125
|
+
const addressing = Addressing.fromWire(this.addressingMode);
|
|
126
|
+
|
|
127
|
+
context.machineState.consumeGas(
|
|
128
|
+
this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()),
|
|
129
|
+
);
|
|
130
|
+
|
|
107
131
|
const operands = [this.outputOffset, this.stateOffset, this.inputsOffset];
|
|
108
|
-
const addressing = Addressing.fromWire(this.indirect, operands.length);
|
|
109
132
|
const [outputOffset, stateOffset, inputsOffset] = addressing.resolve(operands, memory);
|
|
110
133
|
|
|
111
134
|
// Note: size of output is same as size of state
|
|
112
|
-
|
|
113
|
-
const
|
|
114
|
-
const state = Uint32Array.from(memory.getSlice(stateOffset, STATE_SIZE).map(word => word.toNumber()));
|
|
135
|
+
const inputs = memory.getSlice(inputsOffset, INPUTS_SIZE).map(word => word.toBigInt());
|
|
136
|
+
const state = memory.getSlice(stateOffset, STATE_SIZE).map(word => word.toBigInt());
|
|
115
137
|
|
|
116
138
|
memory.checkTagsRange(TypeTag.UINT32, inputsOffset, INPUTS_SIZE);
|
|
117
139
|
memory.checkTagsRange(TypeTag.UINT32, stateOffset, STATE_SIZE);
|
|
118
140
|
|
|
119
|
-
|
|
141
|
+
// At this point both state and inputs are Uint32Array-compatible
|
|
142
|
+
const inputsArray = new Uint32Array(inputs.map(i => Number(i)));
|
|
143
|
+
const stateArray = new Uint32Array(state.map(i => Number(i)));
|
|
144
|
+
|
|
145
|
+
const output = sha256Compression(stateArray, inputsArray);
|
|
120
146
|
|
|
121
147
|
// Conversion required from Uint32Array to Uint32[] (can't map directly, need `...`)
|
|
122
148
|
const res = [...output].map(word => new Uint32(word));
|
|
@@ -1,9 +1,10 @@
|
|
|
1
|
+
import type { Bufferable } from '@aztec/foundation/serialize';
|
|
2
|
+
|
|
1
3
|
import { strict as assert } from 'assert';
|
|
2
4
|
|
|
3
5
|
import type { AvmContext } from '../avm_context.js';
|
|
4
|
-
import { type Gas, getBaseGasCost, getDynamicGasCost, mulGas, sumGas } from '../avm_gas.js';
|
|
6
|
+
import { type Gas, computeAddressingCost, getBaseGasCost, getDynamicGasCost, mulGas, sumGas } from '../avm_gas.js';
|
|
5
7
|
import type { BufferCursor } from '../serialization/buffer_cursor.js';
|
|
6
|
-
import type { Serializable } from '../serialization/bytecode_serialization.js';
|
|
7
8
|
import { Opcode, type OperandType, deserialize, serializeAs } from '../serialization/instruction_serialization.js';
|
|
8
9
|
|
|
9
10
|
type InstructionConstructor = {
|
|
@@ -35,6 +36,8 @@ export abstract class Instruction {
|
|
|
35
36
|
* @returns Thee string representation.
|
|
36
37
|
*/
|
|
37
38
|
public toString(): string {
|
|
39
|
+
// Note: we could have this be the actual wire opcode if `bytecode_serialization.ts` were to
|
|
40
|
+
// pass it into the class' static `Instruction.as(this, wireFormat)` method.
|
|
38
41
|
let instructionStr = this.constructor.name + ': ';
|
|
39
42
|
// assumes that all properties are flags or operands
|
|
40
43
|
for (const prop of Object.getOwnPropertyNames(this) as (keyof Instruction)[]) {
|
|
@@ -44,19 +47,19 @@ export abstract class Instruction {
|
|
|
44
47
|
}
|
|
45
48
|
|
|
46
49
|
// Default deserialization which uses Class.opcode and Class.wireFormat.
|
|
47
|
-
public static
|
|
50
|
+
public static fromBuffer(
|
|
48
51
|
this: InstructionConstructor & { wireFormat: OperandType[]; as: any },
|
|
49
52
|
buf: BufferCursor | Buffer,
|
|
50
53
|
): Instruction {
|
|
51
|
-
return this.as(this.wireFormat).
|
|
54
|
+
return this.as(this.wireFormat).fromBuffer(buf);
|
|
52
55
|
}
|
|
53
56
|
|
|
54
57
|
// Default serialization which uses Class.opcode and Class.wireFormat.
|
|
55
|
-
public
|
|
58
|
+
public toBuffer(): Buffer {
|
|
56
59
|
const klass = this.constructor as any;
|
|
57
60
|
assert(klass.opcode !== undefined && klass.opcode !== null);
|
|
58
61
|
assert(klass.wireFormat !== undefined && klass.wireFormat !== null);
|
|
59
|
-
return this.as(klass.opcode, klass.wireFormat).
|
|
62
|
+
return this.as(klass.opcode, klass.wireFormat).toBuffer();
|
|
60
63
|
}
|
|
61
64
|
|
|
62
65
|
/**
|
|
@@ -65,8 +68,8 @@ export abstract class Instruction {
|
|
|
65
68
|
* @param wireFormat The wire format of the instruction.
|
|
66
69
|
* @returns The new instruction instance.
|
|
67
70
|
*/
|
|
68
|
-
public as(opcode: Opcode, wireFormat: OperandType[]): Instruction &
|
|
69
|
-
return Object.defineProperty(this, '
|
|
71
|
+
public as(opcode: Opcode, wireFormat: OperandType[]): Instruction & Bufferable {
|
|
72
|
+
return Object.defineProperty(this, 'toBuffer', {
|
|
70
73
|
value: (): Buffer => {
|
|
71
74
|
return serializeAs(wireFormat, opcode, this);
|
|
72
75
|
},
|
|
@@ -82,7 +85,7 @@ export abstract class Instruction {
|
|
|
82
85
|
*/
|
|
83
86
|
public static as(this: InstructionConstructor, wireFormat: OperandType[]) {
|
|
84
87
|
return Object.assign(this, {
|
|
85
|
-
|
|
88
|
+
fromBuffer: (buf: BufferCursor | Buffer): Instruction => {
|
|
86
89
|
const res = deserialize(buf, wireFormat);
|
|
87
90
|
const args = res.slice(1); // Remove opcode.
|
|
88
91
|
return new this(...args);
|
|
@@ -91,13 +94,20 @@ export abstract class Instruction {
|
|
|
91
94
|
}
|
|
92
95
|
|
|
93
96
|
/**
|
|
94
|
-
*
|
|
95
|
-
* @returns
|
|
97
|
+
* Returns the base gas cost for the instruction.
|
|
98
|
+
* @returns The base gas cost.
|
|
96
99
|
*/
|
|
97
|
-
protected
|
|
98
|
-
|
|
99
|
-
|
|
100
|
-
|
|
100
|
+
protected baseGasCost(indirectOperandsCount: number, relativeOperandsCount: number): Gas {
|
|
101
|
+
return sumGas(getBaseGasCost(this.opcode), computeAddressingCost(indirectOperandsCount, relativeOperandsCount));
|
|
102
|
+
}
|
|
103
|
+
|
|
104
|
+
/**
|
|
105
|
+
* Computes the dynamic gas cost for the instruction
|
|
106
|
+
* @param dynMultiplier - The multiplier for the dynamic gas cost.
|
|
107
|
+
* @returns The dynamic gas cost.
|
|
108
|
+
*/
|
|
109
|
+
protected dynamicGasCost(dynMultiplier: number = 0): Gas {
|
|
110
|
+
return mulGas(getDynamicGasCost(this.opcode), dynMultiplier);
|
|
101
111
|
}
|
|
102
112
|
|
|
103
113
|
/**
|
|
@@ -106,9 +116,7 @@ export abstract class Instruction {
|
|
|
106
116
|
*/
|
|
107
117
|
public get type(): string {
|
|
108
118
|
const type = 'type' in this.constructor && (this.constructor.type as string);
|
|
109
|
-
|
|
110
|
-
throw new Error(`Instruction class ${this.constructor.name} does not have a static 'type' property defined.`);
|
|
111
|
-
}
|
|
119
|
+
assert(!!type, `Instruction class ${this.constructor.name} does not have a static 'type' property defined.`);
|
|
112
120
|
return type;
|
|
113
121
|
}
|
|
114
122
|
|
|
@@ -118,9 +126,11 @@ export abstract class Instruction {
|
|
|
118
126
|
*/
|
|
119
127
|
public get opcode(): Opcode {
|
|
120
128
|
const opcode = 'opcode' in this.constructor ? (this.constructor.opcode as Opcode) : undefined;
|
|
121
|
-
|
|
122
|
-
|
|
123
|
-
|
|
129
|
+
assert(
|
|
130
|
+
opcode !== undefined,
|
|
131
|
+
`Instruction class ${this.constructor.name} does not have a static 'opcode' property defined.`,
|
|
132
|
+
);
|
|
133
|
+
assert(Opcode[opcode] !== undefined, `Invalid opcode ${opcode} for instruction class ${this.constructor.name}.`);
|
|
124
134
|
return opcode;
|
|
125
135
|
}
|
|
126
136
|
}
|
|
@@ -19,14 +19,14 @@ export const ThreeOperandWireFormat16 = [
|
|
|
19
19
|
|
|
20
20
|
/**
|
|
21
21
|
* Covers (de)serialization for an instruction with:
|
|
22
|
-
*
|
|
22
|
+
* addressing mode, inTag, and three operands.
|
|
23
23
|
*/
|
|
24
24
|
export abstract class ThreeOperandInstruction extends Instruction {
|
|
25
25
|
static readonly wireFormat8: OperandType[] = ThreeOperandWireFormat8;
|
|
26
26
|
static readonly wireFormat16: OperandType[] = ThreeOperandWireFormat16;
|
|
27
27
|
|
|
28
28
|
constructor(
|
|
29
|
-
protected
|
|
29
|
+
protected addressingMode: number,
|
|
30
30
|
protected aOffset: number,
|
|
31
31
|
protected bOffset: number,
|
|
32
32
|
protected dstOffset: number,
|