From 9f8696ada55e8b87dbdef8f58a0e6c5183d5166f Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Tue, 1 Feb 2022 13:57:03 +0100
Subject: [PATCH] Fix bug

---
 starky/src/verifier.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/starky/src/verifier.rs b/starky/src/verifier.rs
index f01c72c5..5317cb5c 100644
--- a/starky/src/verifier.rs
+++ b/starky/src/verifier.rs
@@ -130,7 +130,7 @@ where
 fn eval_l_1_and_l_last<F: Field>(log_n: usize, x: F) -> (F, F) {
     let n = 1 << log_n;
     let g = F::primitive_root_of_unity(log_n);
-    let z_x = x.exp_power_of_2(log_n);
+    let z_x = x.exp_power_of_2(log_n) - F::ONE;
     let invs = F::batch_multiplicative_inverse(&[
         F::from_canonical_usize(n) * (x - F::ONE),
         F::from_canonical_usize(n) * (g * x - F::ONE),