diff --git a/starky/src/fibonacci_stark.rs b/starky/src/fibonacci_stark.rs
index 2bbd333f..6ffbe858 100644
--- a/starky/src/fibonacci_stark.rs
+++ b/starky/src/fibonacci_stark.rs
@@ -2,12 +2,9 @@ use std::marker::PhantomData;
 
 use plonky2::field::extension_field::{Extendable, FieldExtension};
 use plonky2::field::packed_field::PackedField;
-use plonky2::fri::structure::{FriInstanceInfo, FriInstanceInfoTarget};
 use plonky2::hash::hash_types::RichField;
-use plonky2::iop::ext_target::ExtensionTarget;
 use plonky2::plonk::circuit_builder::CircuitBuilder;
 
-use crate::config::StarkConfig;
 use crate::constraint_consumer::{ConstraintConsumer, RecursiveConstraintConsumer};
 use crate::permutation::PermutationPair;
 use crate::stark::Stark;
diff --git a/starky/src/lib.rs b/starky/src/lib.rs
index 51a73479..8249d90b 100644
--- a/starky/src/lib.rs
+++ b/starky/src/lib.rs
@@ -3,6 +3,7 @@
 #![allow(unused_variables)]
 #![allow(incomplete_features)]
 #![allow(clippy::too_many_arguments)]
+#![allow(clippy::type_complexity)]
 #![feature(generic_const_exprs)]
 
 pub mod config;
diff --git a/starky/src/permutation.rs b/starky/src/permutation.rs
index 8a33eb41..75fa8400 100644
--- a/starky/src/permutation.rs
+++ b/starky/src/permutation.rs
@@ -62,7 +62,7 @@ where
     let permutation_pairs = stark.permutation_pairs();
     let permutation_batches = get_permutation_batches(
         &permutation_pairs,
-        &permutation_challenge_sets,
+        permutation_challenge_sets,
         config.num_challenges,
         stark.permutation_batch_size(),
     );
@@ -234,15 +234,19 @@ pub(crate) fn eval_permutation_checks<F, FE, C, S, const D: usize, const D2: usi
                     pair: PermutationPair { column_pairs },
                     challenge: PermutationChallenge { beta, gamma },
                 } = instance;
-                column_pairs.iter().rev().fold(
-                    (FE::from_basefield(*gamma), FE::from_basefield(*gamma)),
-                    |(lhs, rhs), &(i, j)| {
-                        (
-                            lhs.scalar_mul(*beta) + vars.local_values[i],
-                            rhs.scalar_mul(*beta) + vars.local_values[j],
-                        )
-                    },
-                )
+                let mut reduced =
+                    column_pairs
+                        .iter()
+                        .rev()
+                        .fold((FE::ZERO, FE::ZERO), |(lhs, rhs), &(i, j)| {
+                            (
+                                lhs.scalar_mul(*beta) + vars.local_values[i],
+                                rhs.scalar_mul(*beta) + vars.local_values[j],
+                            )
+                        });
+                reduced.0 += FE::from_basefield(*gamma);
+                reduced.1 += FE::from_basefield(*gamma);
+                reduced
             })
             .unzip();
         let constraint = next_zs[i] * reduced_rhs.into_iter().product()
diff --git a/starky/src/prover.rs b/starky/src/prover.rs
index e0c14dde..5cfcf6ea 100644
--- a/starky/src/prover.rs
+++ b/starky/src/prover.rs
@@ -281,8 +281,8 @@ where
             };
             let permutation_check_data = permutation_zs_commitment_challenges.as_ref().map(
                 |(permutation_zs_commitment, permutation_challenge_sets)| PermutationCheckData {
-                    local_zs: get_at_index(&permutation_zs_commitment, i).to_vec(),
-                    next_zs: get_at_index(&permutation_zs_commitment, (i + next_step) % size)
+                    local_zs: get_at_index(permutation_zs_commitment, i).to_vec(),
+                    next_zs: get_at_index(permutation_zs_commitment, (i + next_step) % size)
                         .to_vec(),
                     permutation_challenge_sets: permutation_challenge_sets.to_vec(),
                 },