diff --git a/benches/hashing.rs b/benches/hashing.rs
index 179ef859..7e1be76e 100644
--- a/benches/hashing.rs
+++ b/benches/hashing.rs
@@ -6,7 +6,7 @@ use plonky2::field::crandall_field::CrandallField;
 use plonky2::field::goldilocks_field::GoldilocksField;
 use plonky2::hash::gmimc::GMiMC;
 use plonky2::hash::poseidon::Poseidon;
-use plonky2::hash::rescue::rescue;
+
 use tynm::type_name;
 
 pub(crate) fn bench_gmimc<F: GMiMC<WIDTH>, const WIDTH: usize>(c: &mut Criterion) {
diff --git a/src/fri/recursive_verifier.rs b/src/fri/recursive_verifier.rs
index ce3f475e..443bd7c9 100644
--- a/src/fri/recursive_verifier.rs
+++ b/src/fri/recursive_verifier.rs
@@ -314,7 +314,6 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
         round_proof: &FriQueryRoundTarget<D>,
         common_data: &CommonCircuitData<F, D>,
     ) {
-        let config = &common_data.config;
         let n_log = log2_strict(n);
         // TODO: Do we need to range check `x_index` to a target smaller than `p`?
         let x_index = challenger.get_challenge(self);
diff --git a/src/plonk/prover.rs b/src/plonk/prover.rs
index def9da2c..e92436a8 100644
--- a/src/plonk/prover.rs
+++ b/src/plonk/prover.rs
@@ -1,5 +1,5 @@
 use anyhow::Result;
-use log::Level;
+
 use rayon::prelude::*;
 
 use crate::field::extension_field::Extendable;