From 97c4cfff7a628da0183b9d04770234fc9a1f201b Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Tue, 20 Jul 2021 10:44:58 +0200
Subject: [PATCH] Fixed bug

---
 src/fri/verifier.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/fri/verifier.rs b/src/fri/verifier.rs
index adf60026..0eda27d1 100644
--- a/src/fri/verifier.rs
+++ b/src/fri/verifier.rs
@@ -178,7 +178,6 @@ impl<F: Extendable<D>, const D: usize> PrecomputedReducedEvals<F, D> {
 fn fri_combine_initial<F: Field + Extendable<D>, const D: usize>(
     proof: &FriInitialTreeProof<F>,
     alpha: F::Extension,
-    os: &OpeningSet<F, D>,
     zeta: F::Extension,
     subgroup_x: F,
     precomputed_reduced_evals: PrecomputedReducedEvals<F, D>,
@@ -220,7 +219,7 @@ fn fri_combine_initial<F: Field + Extendable<D>, const D: usize>(
         .iter()
         .map(|&e| F::Extension::from_basefield(e))
         .take(common_data.zs_range().end);
-    let zs_composition_eval = alpha.clone().reduce(zs_evals);
+    let zs_composition_eval = alpha.reduce(zs_evals);
     let zeta_right = F::Extension::primitive_root_of_unity(degree_log) * zeta;
     let zs_interpol = interpolate2(
         [
@@ -272,7 +271,6 @@ fn fri_verifier_query_round<F: Field + Extendable<D>, const D: usize>(
             fri_combine_initial(
                 &round_proof.initial_trees_proof,
                 alpha,
-                os,
                 zeta,
                 subgroup_x,
                 precomputed_reduced_evals,