|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <execution_components.hpp>
Public Member Functions | |
| ExecutionComponentsProvider (GreaterThanInterface &greater_than, const InstructionInfoDBInterface &instruction_info_db) | |
| std::unique_ptr< AddressingInterface > | make_addressing (AddressingEvent &event) override |
| Create an addressing resolver that writes its resolution results into the given event. | |
| std::unique_ptr< GasTrackerInterface > | make_gas_tracker (GasEvent &gas_event, const Instruction &instruction, ContextInterface &context) override |
| Create a gas tracker bound to the given event, instruction, and context. | |
Public Member Functions inherited from bb::avm2::simulation::ExecutionComponentsProviderInterface | |
| virtual | ~ExecutionComponentsProviderInterface ()=default |
Private Attributes | |
| GreaterThanInterface & | greater_than |
| const InstructionInfoDBInterface & | instruction_info_db |
| std::vector< std::unique_ptr< EventEmitterInterface< AddressingEvent > > > | addressing_event_emitters |
Definition at line 13 of file execution_components.hpp.
|
inline |
Definition at line 15 of file execution_components.hpp.
|
overridevirtual |
Create an addressing resolver that writes its resolution results into the given event.
| event | The addressing event to populate during resolution. |
Implements bb::avm2::simulation::ExecutionComponentsProviderInterface.
Definition at line 16 of file execution_components.cpp.
|
overridevirtual |
Create a gas tracker bound to the given event, instruction, and context.
| gas_event | The gas event to populate during gas consumption. |
| instruction | The current instruction (for gas cost lookup). |
| context | The execution context (for gas limits and usage). |
Implements bb::avm2::simulation::ExecutionComponentsProviderInterface.
Definition at line 32 of file execution_components.cpp.
|
private |
Definition at line 32 of file execution_components.hpp.
|
private |
Definition at line 27 of file execution_components.hpp.
|
private |
Definition at line 28 of file execution_components.hpp.