trace_to_polynomials.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/flavor/flavor.hpp"
#include "barretenberg/flavor/flavor_concepts.hpp"
#include "barretenberg/honk/composer/permutation_lib.hpp"
#include "barretenberg/srs/global_crs.hpp"
 
namespace bb {
 
template <class Flavor> class TraceToPolynomials {
    using Builder = typename Flavor::CircuitBuilder;
    using Polynomial = typename Flavor::Polynomial;
    using FF = typename Flavor::FF;
    using ExecutionTrace = typename Builder::ExecutionTrace;
    using Wires = std::array<SlabVector<uint32_t>, Builder::NUM_WIRES>;
    using ProverPolynomials = typename Flavor::ProverPolynomials;
 
  public:
    static constexpr size_t NUM_WIRES = Builder::NUM_WIRES;
 
    static void populate(Builder& builder, ProverPolynomials&, ActiveRegionData&);
 
  private:
    static std::vector<CyclicPermutation> populate_wires_and_selectors_and_compute_copy_cycles(Builder& builder,
                                                                                               ProverPolynomials&,
                                                                                               ActiveRegionData&);
 
    static void add_ecc_op_wires_to_proving_key(Builder& builder, ProverPolynomials&)
        requires IsMegaFlavor<Flavor>;
};
 
} // namespace bb