testing.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/common/zip_view.hpp"
 
namespace bb {
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.coeffs()) {
            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.coeffs()) {
            value = FF(0);
        }
    }
    return prover_polynomials;
}
 
} // namespace bb