range_check_trace.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/vm2/generated/columns.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
#include "barretenberg/vm2/tracegen/lib/interaction_def.hpp"
#include "barretenberg/vm2/tracegen/trace_container.hpp"
 
namespace bb::avm2::tracegen {
 
class RangeCheckTraceBuilder final {
  public:
    void process(const simulation::EventEmitterInterface<simulation::RangeCheckEvent>::Container& events,
                 TraceContainer& trace);
 
    static const InteractionDefinition interactions;
};
 
} // namespace bb::avm2::tracegen