straus_plookup_table.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/stdlib_circuit_builders/plookup_tables/types.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <vector>
 
namespace bb::stdlib {
 
// Forward declaration
template <typename Builder> class cycle_group;
 
template <typename Builder> class straus_plookup_table {
  public:
    using field_t = stdlib::field_t<Builder>;
    using bool_t = stdlib::bool_t<Builder>;
    using Curve = typename Builder::EmbeddedCurve;
    using Group = typename Curve::Group;
    using Element = typename Curve::Element;
    using AffineElement = typename Curve::AffineElement;
 
    struct PrecomputedData {
        std::vector<AffineElement> native_table;
        plookup::BasicTable basic_table; // columns populated; table_index is NOT yet assigned
    };
 
    straus_plookup_table() = default;
    straus_plookup_table(Builder* context,
                         const AffineElement& base_point,
                         const AffineElement& offset_generator,
                         size_t table_bits);
    // Construct from precomputed data — only performs builder registration (serial phase)
    straus_plookup_table(Builder* context, PrecomputedData data);
 
    // Compute native table + BasicTable columns without touching the builder (parallelizable)
    static PrecomputedData build_precomputed_data(const AffineElement& base_point,
                                                  const AffineElement& offset_generator,
                                                  size_t table_bits);
 
    cycle_group<Builder> read(const field_t& index);
 
    const std::vector<AffineElement>& get_native_table() const { return native_table; }
 
  private:
    Builder* _context = nullptr;
    plookup::BasicTable* _table = nullptr;   // pointer into builder's lookup_tables deque
    std::vector<AffineElement> native_table; // precomputed table entries for witness generation
    OriginTag tag;
};
 
} // namespace bb::stdlib