lookup_into_indexed_by_row.hpp

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
 
#include "barretenberg/common/tuple.hpp"
#include "barretenberg/vm2/tracegen/lib/lookup_builder.hpp"
 
namespace bb::avm2::tracegen {
 
template <typename LookupSettings> class LookupIntoIndexedByRow : public IndexedLookupTraceBuilder<LookupSettings> {
  public:
    // Inherit the base constructors (incl. the outer_dst_selector one) so the interaction can be registered
    // with an explicit outer selector; the base process() then toggles the fine-grained DST_SELECTOR.
    using IndexedLookupTraceBuilder<LookupSettings>::IndexedLookupTraceBuilder;
 
  protected:
    using TupleType = typename IndexedLookupTraceBuilder<LookupSettings>::TupleType;
    // This is an efficient implementation of indexing into the precomputed table.
    uint32_t find_in_dst(const TupleType& tup) const override { return static_cast<uint32_t>(flat_tuple::get<0>(tup)); }
};
 
} // namespace bb::avm2::tracegen