diff --git a/src/field/field.rs b/src/field/field.rs
index f28dc004..95d2f6e0 100644
--- a/src/field/field.rs
+++ b/src/field/field.rs
@@ -7,7 +7,7 @@ use std::ops::{Add, AddAssign, Div, DivAssign, Mul, MulAssign, Neg, Sub, SubAssi
 use num::Integer;
 use rand::Rng;
 
-use crate::field::extension_field::{Extendable, FieldExtension, Frobenius, OEF};
+use crate::field::extension_field::Frobenius;
 use crate::util::bits_u64;
 
 /// A finite field with prime order less than 2^64.
diff --git a/src/fri/verifier.rs b/src/fri/verifier.rs
index 104deaa3..f3d868ff 100644
--- a/src/fri/verifier.rs
+++ b/src/fri/verifier.rs
@@ -1,7 +1,7 @@
 use anyhow::{ensure, Result};
 use itertools::izip;
 
-use crate::field::extension_field::{flatten, Extendable, FieldExtension, Frobenius, OEF};
+use crate::field::extension_field::{flatten, Extendable, FieldExtension, Frobenius};
 use crate::field::field::Field;
 use crate::field::lagrange::{barycentric_weights, interpolant, interpolate};
 use crate::fri::FriConfig;
@@ -200,7 +200,7 @@ fn fri_combine_initial<F: Field + Extendable<D>, const D: usize>(
         .sum();
     let zeta_frob = zeta.frobenius();
     let wire_eval = reduce_with_iter(&os.wires, alpha_powers.clone());
-    let mut alpha_powers_frob = alpha_powers.repeated_frobenius(D - 1);
+    let alpha_powers_frob = alpha_powers.repeated_frobenius(D - 1);
     let wire_eval_frob = reduce_with_iter(&os.wires, alpha_powers_frob).frobenius();
     let wires_interpol = interpolant(&[(zeta, wire_eval), (zeta_frob, wire_eval_frob)]);
     let numerator = ev - wires_interpol.eval(subgroup_x);
diff --git a/src/gadgets/interpolation.rs b/src/gadgets/interpolation.rs
index 7705025d..a94eb582 100644
--- a/src/gadgets/interpolation.rs
+++ b/src/gadgets/interpolation.rs
@@ -1,7 +1,6 @@
 use crate::circuit_builder::CircuitBuilder;
 use crate::field::extension_field::target::ExtensionTarget;
 use crate::field::extension_field::Extendable;
-use crate::gadgets::polynomial::PolynomialCoeffsExtTarget;
 use crate::gates::interpolation::InterpolationGate;
 use crate::target::Target;
 use std::marker::PhantomData;
diff --git a/src/gadgets/rotate.rs b/src/gadgets/rotate.rs
index 6e5d6dfb..c7b05ebc 100644
--- a/src/gadgets/rotate.rs
+++ b/src/gadgets/rotate.rs
@@ -1,11 +1,7 @@
 use crate::circuit_builder::CircuitBuilder;
 use crate::field::extension_field::target::ExtensionTarget;
 use crate::field::extension_field::Extendable;
-use crate::field::field::Field;
-use crate::gates::base_sum::BaseSumGate;
-use crate::generator::SimpleGenerator;
 use crate::target::Target;
-use crate::witness::PartialWitness;
 
 impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
     /// Selects `x` or `y` based on `b`, which is assumed to be binary.
diff --git a/src/gadgets/split_base.rs b/src/gadgets/split_base.rs
index f10de655..c05ddc8e 100644
--- a/src/gadgets/split_base.rs
+++ b/src/gadgets/split_base.rs
@@ -1,12 +1,8 @@
 use crate::circuit_builder::CircuitBuilder;
 use crate::field::extension_field::Extendable;
-use crate::field::field::Field;
-use crate::gates::base_sum::{BaseSplitGenerator, BaseSumGate};
-use crate::generator::{SimpleGenerator, WitnessGenerator};
+use crate::gates::base_sum::BaseSumGate;
 use crate::target::Target;
-use crate::util::{ceil_div_usize, log2_strict};
-use crate::wire::Wire;
-use crate::witness::PartialWitness;
+use crate::util::ceil_div_usize;
 
 impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
     /// Split the given element into a list of targets, where each one represents a
diff --git a/src/polynomial/commitment.rs b/src/polynomial/commitment.rs
index 3607d794..fe81f3c7 100644
--- a/src/polynomial/commitment.rs
+++ b/src/polynomial/commitment.rs
@@ -1,7 +1,7 @@
 use anyhow::Result;
 use rayon::prelude::*;
 
-use crate::field::extension_field::{Extendable, OEF};
+use crate::field::extension_field::Extendable;
 use crate::field::extension_field::{FieldExtension, Frobenius};
 use crate::field::field::Field;
 use crate::field::lagrange::interpolant;