From 4b0d96286606de4c7d60e79d64bb516e68e3140e Mon Sep 17 00:00:00 2001
From: jeanmon <jean@aztecprotocol.com>
Date: Mon, 6 May 2024 10:21:59 +0000
Subject: [PATCH] Port of PR #5844 from aztec-package

---
 bberg/src/flavor_builder.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

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 <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.
      */