From 802af4ed5348cea10c8565b97e0758f1da5339ea Mon Sep 17 00:00:00 2001
From: jeanmon <jean@aztecprotocol.com>
Date: Wed, 29 May 2024 08:43:52 +0000
Subject: [PATCH] Backport of recursive verifier as an ultracircuit

---
 bberg/src/flavor_builder.rs | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/bberg/src/flavor_builder.rs b/bberg/src/flavor_builder.rs
index 1439fc95c4..5066a61911 100644
--- a/bberg/src/flavor_builder.rs
+++ b/bberg/src/flavor_builder.rs
@@ -366,8 +366,6 @@ fn create_proving_and_verification_key(
 fn create_polynomial_views(first_poly: &String) -> String {
     format!("
 
-    using FoldedPolynomials = AllEntities<std::vector<FF>>;
-
     class AllValues : public AllEntities<FF> {{
         public:
           using Base = AllEntities<FF>;
@@ -414,9 +412,6 @@ fn create_polynomial_views(first_poly: &String) -> String {
         }}
     }};
 
-
-    using RowPolynomials = AllEntities<FF>;
-
     class PartiallyEvaluatedMultivariates : public AllEntities<Polynomial> {{
       public:
         PartiallyEvaluatedMultivariates() = default;
@@ -438,7 +433,7 @@ fn create_polynomial_views(first_poly: &String) -> String {
 
     /**
      * @brief A container for univariates used during Protogalaxy folding and sumcheck with some of the computation
-     * optmistically ignored
+     * optimistically ignored
      * @details During folding and sumcheck, the prover evaluates the relations on these univariates.
      */
     template <size_t LENGTH, size_t SKIP_COUNT>