Merge pull request #58 from AztecProtocol/jm/pg-avoid-redundant-compu…

…tation-port Port of PR #5844 from aztec-package
AztecProtocol · May 6, 2024 · 9351738 · 9351738
2 parents fe16461 + 4b0d962
commit 9351738
Showing 1 changed file with 8 additions and 0 deletions.
diff --git 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 <size_t LENGTH>
     using ProverUnivariates = AllEntities<bb::Univariate<FF, LENGTH>>;
 
+    /**
+     * @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 <size_t LENGTH, size_t SKIP_COUNT>
+    using OptimisedProverUnivariates = AllEntities<bb::Univariate<FF, LENGTH, 0, SKIP_COUNT>>;
+
     /**
      * @brief A container for univariates produced during the hot loop in sumcheck.
      */