std::unique_ptr< GasTrackerInterface > make_gas_tracker(GasEvent &gas_event, const Instruction &instruction, ContextInterface &context) override
const InstructionInfoDBInterface & instruction_info_db
GreaterThanInterface & greater_than
std::unique_ptr< AddressingInterface > make_addressing(AddressingEvent &event) override
PureExecutionComponentsProvider(GreaterThanInterface &greater_than, const InstructionInfoDBInterface &instruction_info_db)
AVM range check gadget for witness generation.
constexpr decltype(auto) get(::tuplet::tuple< T... > &&t) noexcept
simulation::PublicDataTreeReadWriteEvent event