|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
A container for storing the partially evaluated multivariates produced by sumcheck. More...
#include <partially_evaluated_multivariates.hpp>
Public Member Functions | |
| PartiallyEvaluatedMultivariatesBase (const ProverPolynomialsType &full_polynomials, size_t circuit_size) | |
| Construct from full polynomials, allocating based on their actual sizes. | |
A container for storing the partially evaluated multivariates produced by sumcheck.
This base class provides the common implementation for all flavors. Each flavor should define a type alias like: using PartiallyEvaluatedMultivariates = PartiallyEvaluatedMultivariatesBase<AllEntities<Polynomial>, ProverPolynomials, Polynomial>;
| AllEntitiesBase | The AllEntities<Polynomial> type from the flavor |
| ProverPolynomialsType | The ProverPolynomials type from the flavor |
| Polynomial | The Polynomial type from the flavor |
Definition at line 25 of file partially_evaluated_multivariates.hpp.
|
inline |
Construct from full polynomials, allocating based on their actual sizes.
After the initial sumcheck round, the new size is CEIL(size/2).
Definition at line 31 of file partially_evaluated_multivariates.hpp.