written_public_data_slots_tree_check_trace.hpp

Go to the documentation of this file.

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