Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
pure_execution_components.hpp
Go to the documentation of this file.
1
#pragma once
2
3
#include <memory>
4
5
#include "
barretenberg/vm2/simulation/events/addressing_event.hpp
"
6
#include "
barretenberg/vm2/simulation/interfaces/execution_components.hpp
"
7
#include "
barretenberg/vm2/simulation/interfaces/gt.hpp
"
8
#include "
barretenberg/vm2/simulation/lib/instruction_info.hpp
"
9
10
namespace
bb::avm2::simulation
{
11
12
class
PureExecutionComponentsProvider
:
public
ExecutionComponentsProviderInterface
{
13
public
:
14
PureExecutionComponentsProvider
(
GreaterThanInterface
&
greater_than
,
15
const
InstructionInfoDBInterface
&
instruction_info_db
)
16
:
greater_than
(
greater_than
)
17
,
instruction_info_db
(
instruction_info_db
)
18
{}
19
std::unique_ptr<AddressingInterface>
make_addressing
(
AddressingEvent
&
event
)
override
;
20
21
// FIXME: not pure yet.
22
std::unique_ptr<GasTrackerInterface>
make_gas_tracker
(
GasEvent
&
gas_event
,
23
const
Instruction
&
instruction
,
24
ContextInterface
&
context
)
override
;
25
26
private
:
27
GreaterThanInterface
&
greater_than
;
28
const
InstructionInfoDBInterface
&
instruction_info_db
;
29
};
30
31
}
// namespace bb::avm2::simulation
addressing_event.hpp
bb::avm2::context
Definition
context.hpp:37
bb::avm2::simulation::ContextInterface
Definition
context.hpp:19
bb::avm2::simulation::ExecutionComponentsProviderInterface
Definition
execution_components.hpp:21
bb::avm2::simulation::GreaterThanInterface
Definition
gt.hpp:9
bb::avm2::simulation::InstructionInfoDBInterface
Definition
instruction_info.hpp:11
bb::avm2::simulation::PureExecutionComponentsProvider
Definition
pure_execution_components.hpp:12
bb::avm2::simulation::PureExecutionComponentsProvider::make_gas_tracker
std::unique_ptr< GasTrackerInterface > make_gas_tracker(GasEvent &gas_event, const Instruction &instruction, ContextInterface &context) override
Definition
pure_execution_components.cpp:17
bb::avm2::simulation::PureExecutionComponentsProvider::instruction_info_db
const InstructionInfoDBInterface & instruction_info_db
Definition
pure_execution_components.hpp:28
bb::avm2::simulation::PureExecutionComponentsProvider::greater_than
GreaterThanInterface & greater_than
Definition
pure_execution_components.hpp:27
bb::avm2::simulation::PureExecutionComponentsProvider::make_addressing
std::unique_ptr< AddressingInterface > make_addressing(AddressingEvent &event) override
Definition
pure_execution_components.cpp:12
bb::avm2::simulation::PureExecutionComponentsProvider::PureExecutionComponentsProvider
PureExecutionComponentsProvider(GreaterThanInterface &greater_than, const InstructionInfoDBInterface &instruction_info_db)
Definition
pure_execution_components.hpp:14
gas_event
GasEvent gas_event
Definition
gas_tracker.test.cpp:34
instruction
Instruction instruction
Definition
gas_tracker.test.cpp:33
instruction_info.hpp
execution_components.hpp
bb::avm2::simulation
Definition
address_derivation_event.hpp:6
std::get
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
Definition
tuple.hpp:13
event
simulation::PublicDataTreeReadWriteEvent event
Definition
public_data_tree_trace.cpp:24
gt.hpp
bb::avm2::simulation::AddressingEvent
Definition
addressing_event.hpp:52
bb::avm2::simulation::GasEvent
Definition
gas_event.hpp:22
bb::avm2::simulation::Instruction
Definition
serialization.hpp:30
src
barretenberg
vm2
simulation
standalone
pure_execution_components.hpp
Generated by
1.9.8