From b0738c2094bed3b345b7f9cc109056746f526e83 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Mon, 31 Jan 2022 21:05:23 +0100
Subject: [PATCH] Fix degree issue

---
 starky/src/fibonacci_stark.rs | 2 +-
 starky/src/get_challenges.rs  | 1 +
 starky/src/verifier.rs        | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/starky/src/fibonacci_stark.rs b/starky/src/fibonacci_stark.rs
index ffaa14a7..06e366dc 100644
--- a/starky/src/fibonacci_stark.rs
+++ b/starky/src/fibonacci_stark.rs
@@ -120,6 +120,6 @@ mod tests {
             &mut TimingTree::default(),
         )?;
 
-        verify(stark, proof, &config, num_rows)
+        verify(stark, proof, &config, 5)
     }
 }
diff --git a/starky/src/get_challenges.rs b/starky/src/get_challenges.rs
index d6a9b562..1498f764 100644
--- a/starky/src/get_challenges.rs
+++ b/starky/src/get_challenges.rs
@@ -24,6 +24,7 @@ fn get_challenges<F: RichField + Extendable<D>, C: GenericConfig<D, F = F>, cons
     let num_challenges = config.num_challenges;
     let num_fri_queries = config.fri_config.num_query_rounds;
     let lde_size = 1 << (degree_bits + config.fri_config.rate_bits);
+    dbg!(lde_size);
 
     let mut challenger = Challenger::<F, C::Hasher>::new();
 
diff --git a/starky/src/verifier.rs b/starky/src/verifier.rs
index 63e063af..ea9945ff 100644
--- a/starky/src/verifier.rs
+++ b/starky/src/verifier.rs
@@ -31,6 +31,7 @@ where
     [(); S::PUBLIC_INPUTS]:,
 {
     let challenges = proof_with_pis.get_challenges(config, degree_bits)?;
+    dbg!(&challenges.fri_challenges.fri_query_indices);
     verify_with_challenges(stark, proof_with_pis, challenges, config)
 }