partially_evaluated_multivariates.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Sergei], commit: }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
#pragma once
 
#include "barretenberg/common/zip_view.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
 
namespace bb {
 
template <typename AllEntitiesBase, typename ProverPolynomialsType, typename Polynomial>
class PartiallyEvaluatedMultivariatesBase : public AllEntitiesBase {
  public:
    PartiallyEvaluatedMultivariatesBase(const ProverPolynomialsType& full_polynomials, size_t circuit_size)
    {
        for (auto [poly, full_poly] : zip_view(this->get_all(), full_polynomials.get_all())) {
            // After the initial sumcheck round, the new size is CEIL(size/2).
            size_t desired_size = (full_poly.end_index() / 2) + (full_poly.end_index() % 2);
            poly = Polynomial(desired_size, circuit_size / 2);
        }
    }
};
 
} // namespace bb