diff --git a/src/bin/bench_ldes.rs b/src/bin/bench_ldes.rs
index 0413b296..1fb02d65 100644
--- a/src/bin/bench_ldes.rs
+++ b/src/bin/bench_ldes.rs
@@ -12,7 +12,7 @@ type F = CrandallField;
 // from wire polynomials which "store" the outputs of S-boxes in our Poseidon gate.
 const NUM_LDES: usize = 8 + 8 + 3 + 86 + 3 + 8;
 
-const DEGREE: usize = 1 << 13;
+const DEGREE: usize = 1 << 14;
 
 const RATE_BITS: usize = 3;
 
diff --git a/src/field/extension_field/mod.rs b/src/field/extension_field/mod.rs
index 10a577db..89263916 100644
--- a/src/field/extension_field/mod.rs
+++ b/src/field/extension_field/mod.rs
@@ -7,6 +7,7 @@ pub mod target;
 /// Optimal extension field trait.
 /// A degree `d` field extension is optimal if there exists a base field element `W`,
 /// such that the extension is `F[X]/(X^d-W)`.
+#[allow(clippy::upper_case_acronyms)]
 pub trait OEF<const D: usize>: FieldExtension<D> {
     // Element W of BaseField, such that `X^d - W` is irreducible over BaseField.
     const W: Self::BaseField;
diff --git a/src/field/extension_field/target.rs b/src/field/extension_field/target.rs
index 28429c1a..861baaf5 100644
--- a/src/field/extension_field/target.rs
+++ b/src/field/extension_field/target.rs
@@ -13,7 +13,7 @@ impl<const D: usize> ExtensionTarget<D> {
 }
 
 impl<F: Field> CircuitBuilder<F> {
-    pub fn zero_ext<const D: usize>(&mut self) -> ExtensionTarget<D>
+    pub fn zero_extension<const D: usize>(&mut self) -> ExtensionTarget<D>
     where
         F: Extendable<D>,
     {
diff --git a/src/gadgets/polynomial.rs b/src/gadgets/polynomial.rs
index 05427038..64bf4ca3 100644
--- a/src/gadgets/polynomial.rs
+++ b/src/gadgets/polynomial.rs
@@ -12,7 +12,7 @@ impl<const D: usize> PolynomialCoeffsTarget<D> {
         builder: &mut CircuitBuilder<F>,
         point: Target,
     ) -> ExtensionTarget<D> {
-        let mut acc = builder.zero_ext();
+        let mut acc = builder.zero_extension();
         for &c in self.0.iter().rev() {
             let tmp = builder.scalar_mul(point, acc);
             acc = builder.add_extension(tmp, c);
@@ -25,7 +25,7 @@ impl<const D: usize> PolynomialCoeffsTarget<D> {
         builder: &mut CircuitBuilder<F>,
         point: ExtensionTarget<D>,
     ) -> ExtensionTarget<D> {
-        let mut acc = builder.zero_ext();
+        let mut acc = builder.zero_extension();
         for &c in self.0.iter().rev() {
             let tmp = builder.mul_extension(point, acc);
             acc = builder.add_extension(tmp, c);