testing.hpp

#pragma once
#include "barretenberg/common/zip_view.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
 
namespace proof_system::honk {
template <typename Flavor>
typename Flavor::ProverPolynomials get_sequential_prover_polynomials(const size_t log_circuit_size,
                                                                     const size_t starting_value)
{
    using FF = typename Flavor::FF;
    using Polynomial = typename Flavor::Polynomial;
 
    typename Flavor::ProverPolynomials prover_polynomials;
    size_t circuit_size = 1 << log_circuit_size;
    size_t value_idx = starting_value;
    for (auto& polynomial : prover_polynomials.get_all()) {
        polynomial = Polynomial(circuit_size);
        for (auto& value : polynomial) {
            value = FF(value_idx++);
        }
    }
    return prover_polynomials;
}
 
template <typename Flavor> typename Flavor::ProverPolynomials get_zero_prover_polynomials(const size_t log_circuit_size)
{
    using FF = typename Flavor::FF;
    using Polynomial = typename Flavor::Polynomial;
 
    typename Flavor::ProverPolynomials prover_polynomials;
    size_t circuit_size = 1 << log_circuit_size;
    for (auto& polynomial : prover_polynomials.get_all()) {
        polynomial = Polynomial(circuit_size);
        for (auto& value : polynomial) {
            value = FF(0);
        }
    }
    return prover_polynomials;
}
 
} // namespace proof_system::honk