class_id_derivation_trace.cpp

Go to the documentation of this file.

#include "barretenberg/vm2/tracegen/class_id_derivation_trace.hpp"
 
#include <memory>
 
#include "barretenberg/vm2/common/aztec_constants.hpp"
#include "barretenberg/vm2/generated/relations/lookups_class_id_derivation.hpp"
#include "barretenberg/vm2/simulation/events/class_id_derivation_event.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/tracegen/lib/interaction_def.hpp"
#include "barretenberg/vm2/tracegen/trace_container.hpp"
 
namespace bb::avm2::tracegen {
 
void ClassIdDerivationTraceBuilder::process(
    const simulation::EventEmitterInterface<simulation::ClassIdDerivationEvent>::Container& events,
    TraceContainer& trace)
{
    using C = Column;
 
    uint32_t row = 0;
    for (const auto& event : events) {
        trace.set(row,
                  { {
                      { C::class_id_derivation_sel, 1 },
                      { C::class_id_derivation_class_id, event.class_id },
                      { C::class_id_derivation_artifact_hash, event.klass.artifact_hash },
                      { C::class_id_derivation_private_function_root, event.klass.private_function_root },
                      { C::class_id_derivation_public_bytecode_commitment, event.klass.public_bytecode_commitment },
 
                      // This is temp because aliasing is not allowed in lookups
                      { C::class_id_derivation_temp_constant_for_lookup, GENERATOR_INDEX__CONTRACT_LEAF },
                  } });
        row++;
    }
}
 
const InteractionDefinition ClassIdDerivationTraceBuilder::interactions =
    InteractionDefinition()
        .add<lookup_class_id_derivation_class_id_poseidon2_0_settings, InteractionType::LookupSequential>()
        .add<lookup_class_id_derivation_class_id_poseidon2_1_settings, InteractionType::LookupSequential>();
 
} // namespace bb::avm2::tracegen