diff --git a/bberg/src/flavor_builder.rs b/bberg/src/flavor_builder.rs index eecc64dc44..b9d6bb2534 100644 --- a/bberg/src/flavor_builder.rs +++ b/bberg/src/flavor_builder.rs @@ -436,6 +436,14 @@ fn create_polynomial_views(first_poly: &String) -> String { template using ProverUnivariates = AllEntities>; + /** + * @brief A container for univariates used during Protogalaxy folding and sumcheck with some of the computation + * optmistically ignored + * @details During folding and sumcheck, the prover evaluates the relations on these univariates. + */ + template + using OptimisedProverUnivariates = AllEntities>; + /** * @brief A container for univariates produced during the hot loop in sumcheck. */