straus_lookup_table.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
 
#include "barretenberg/stdlib/primitives/field/field.hpp"
#include "barretenberg/transcript/origin_tag.hpp"
#include <optional>
#include <vector>
 
namespace bb::stdlib {
 
// Forward declaration
template <typename Builder> class cycle_group;
 
template <typename Builder> class straus_lookup_table {
  public:
    using field_t = stdlib::field_t<Builder>;
    using Curve = typename Builder::EmbeddedCurve;
    using Group = typename Curve::Group;
    using Element = typename Curve::Element;
    using AffineElement = typename Curve::AffineElement;
 
    static std::vector<Element> compute_straus_lookup_table_hints(const Element& base_point,
                                                                  const Element& offset_generator,
                                                                  size_t table_bits);
 
    straus_lookup_table() = default;
    straus_lookup_table(Builder* context,
                        const cycle_group<Builder>& base_point,
                        const cycle_group<Builder>& offset_generator,
                        size_t table_bits,
                        std::optional<std::span<AffineElement>> hints = std::nullopt);
    cycle_group<Builder> read(const field_t& index);
    size_t _table_bits;
    Builder* _context;
    std::vector<cycle_group<Builder>> point_table;
    size_t rom_id = 0;
    OriginTag tag{};
};
 
} // namespace bb::stdlib