From fe0c232d6d63dccd4c037a148b4e63850fde01fc Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Fri, 14 Jan 2022 07:56:06 +0100
Subject: [PATCH] Working (not yet for recursion)

---
 plonky2/src/fri/oracle.rs   | 6 ++++++
 plonky2/src/fri/verifier.rs | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/plonky2/src/fri/oracle.rs b/plonky2/src/fri/oracle.rs
index 2d42e899..9c51bc91 100644
--- a/plonky2/src/fri/oracle.rs
+++ b/plonky2/src/fri/oracle.rs
@@ -154,6 +154,12 @@ impl<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, const D: usize>
             alpha.shift_poly(&mut final_poly);
             final_poly += quotient;
         }
+        final_poly.trim();
+        let mut final_poly_coeffs = final_poly.coeffs;
+        final_poly_coeffs.insert(0, F::Extension::ZERO);
+        final_poly = PolynomialCoeffs {
+            coeffs: final_poly_coeffs,
+        };
 
         let lde_final_poly = final_poly.lde(fri_params.config.rate_bits);
         let lde_final_values = timed!(
diff --git a/plonky2/src/fri/verifier.rs b/plonky2/src/fri/verifier.rs
index e95cb80a..2a51f6d9 100644
--- a/plonky2/src/fri/verifier.rs
+++ b/plonky2/src/fri/verifier.rs
@@ -160,7 +160,7 @@ pub(crate) fn fri_combine_initial<
         sum += numerator / denominator;
     }
 
-    sum
+    sum * subgroup_x
 }
 
 fn fri_verifier_query_round<