Fix test

AztecProtocol · Nov 17, 2023 · 6669d2b · 6669d2b
1 parent 34c8dd1
commit 6669d2b
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 4 deletions.
diff --git a/barretenberg/cpp/src/barretenberg/commitment_schemes/zeromorph/zeromorph.hpp b/barretenberg/cpp/src/barretenberg/commitment_schemes/zeromorph/zeromorph.hpp
@@ -319,9 +319,9 @@ template <typename Curve> class ZeroMorphProver_ {
                       auto& multilinear_challenge,
                       auto& commitment_key,
                       auto& transcript,
-                      const std::vector<Polynomial>& concatenated_polynomials = {},
+                      const std::vector<std::span<FF>>& concatenated_polynomials = {},
                       const std::vector<FF>& concatenated_evaluations = {},
-                      const std::vector<std::vector<Polynomial>>& concatenation_groups = {})
+                      const std::vector<std::vector<std::span<FF>>>& concatenation_groups = {})
     {
         // Generate batching challenge \rho and powers 1,...,\rho^{m-1}
         FF rho = transcript.get_challenge("rho");

diff --git a/barretenberg/cpp/src/barretenberg/commitment_schemes/zeromorph/zeromorph.test.cpp b/barretenberg/cpp/src/barretenberg/commitment_schemes/zeromorph/zeromorph.test.cpp
@@ -225,6 +225,17 @@ template <class Curve> class ZeroMorphWithConcatenationTest : public CommitmentT
         // Initialize an empty BaseTranscript
         auto prover_transcript = BaseTranscript<Fr>::prover_init_empty();
 
+        std::vector<std::span<Fr>> concatenated_polynomials_views;
+        for (auto& poly : concatenated_polynomials) {
+            concatenated_polynomials_views.emplace_back(poly);
+        }
+
+        std::vector<std::vector<std::span<Fr>>> concatenation_groups_views(concatenation_groups.size());
+        for (auto [group_of_polys, group_of_views] : zip_view(concatenation_groups, concatenation_groups_views)) {
+            for (auto& poly : group_of_polys) {
+                group_of_views.emplace_back(poly);
+            }
+        }
         // Execute Prover protocol
         ZeroMorphProver::prove(f_polynomials, // unshifted
                                g_polynomials, // to-be-shifted
@@ -233,9 +244,9 @@ template <class Curve> class ZeroMorphWithConcatenationTest : public CommitmentT
                                u_challenge,
                                this->commitment_key,
                                prover_transcript,
-                               concatenated_polynomials,
+                               concatenated_polynomials_views,
                                c_evaluations,
-                               concatenation_groups);
+                               concatenation_groups_views);
 
         auto verifier_transcript = BaseTranscript<Fr>::verifier_init_empty(prover_transcript);