range_check.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <memory>
 
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
 
namespace bb::avm2::simulation {
 
class RangeCheckInterface {
  public:
    virtual ~RangeCheckInterface() = default;
    virtual void assert_range(uint128_t value, uint8_t num_bits) = 0;
};
 
class RangeCheck : public RangeCheckInterface {
  public:
    RangeCheck(EventEmitterInterface<RangeCheckEvent>& event_emitter)
        : events(event_emitter)
    {}
 
    void assert_range(uint128_t value, uint8_t num_bits) override;
 
  private:
    EventEmitterInterface<RangeCheckEvent>& events;
};
 
} // namespace bb::avm2::simulation