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