straus_scalar_slice.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 <optional>
#include <vector>
 
namespace bb::stdlib {
 
// Forward declarations
template <typename Builder> class cycle_group;
template <typename Builder> class cycle_scalar;
 
template <typename Builder> class straus_scalar_slice {
  public:
    using field_t = stdlib::field_t<Builder>;
 
    straus_scalar_slice(Builder* context, const cycle_scalar<Builder>& scalars, size_t table_bits);
    std::optional<field_t> read(size_t index);
    size_t _table_bits;
    std::vector<field_t> slices;
    std::vector<uint64_t> slices_native;
};
 
} // namespace bb::stdlib