gas_tracker.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/simulation/context.hpp"
#include "barretenberg/vm2/simulation/events/gas_event.hpp"
#include "barretenberg/vm2/simulation/lib/instruction_info.hpp"
#include "barretenberg/vm2/simulation/lib/serialization.hpp"
#include "barretenberg/vm2/simulation/range_check.hpp"
 
namespace bb::avm2::simulation {
 
class GasTrackerInterface {
  public:
    virtual ~GasTrackerInterface() = default;
    // @throws OutOfGasException.
    virtual void consume_gas(const Gas& dynamic_gas_factor = { 0, 0 }) = 0;
 
    virtual Gas compute_gas_limit_for_call(const Gas& allocated_gas) = 0;
};
 
class GasTracker final : public GasTrackerInterface {
  public:
    GasTracker(GasEvent& gas_event,
               const Instruction& instruction,
               const InstructionInfoDBInterface& instruction_info_db,
               ContextInterface& context,
               RangeCheckInterface& range_check);
 
    void consume_gas(const Gas& dynamic_gas_factor = { 0, 0 }) override;
    Gas compute_gas_limit_for_call(const Gas& allocated_gas) override;
 
  private:
    ContextInterface& context;
    const ExecInstructionSpec& spec;
    RangeCheckInterface& range_check;
    GasEvent& gas_event;
};
 
} // namespace bb::avm2::simulation