diff --git a/starky/src/cross_table_lookup.rs b/starky/src/cross_table_lookup.rs
index c7a252e659..aca788ee41 100644
--- a/starky/src/cross_table_lookup.rs
+++ b/starky/src/cross_table_lookup.rs
@@ -265,7 +265,7 @@ where
     let num_ctl_helper_cols =
         num_ctl_helper_columns_by_table(all_cross_table_lookups, max_constraint_degree);
 
-    CtlCheckVars::from_proofs::<C,N>(
+    CtlCheckVars::from_proofs::<C, N>(
         auxiliary_polys,
         auxiliary_polys_next,
         all_cross_table_lookups,
diff --git a/starky/src/fibonacci_stark.rs b/starky/src/fibonacci_stark.rs
index 7aa40b6ed9..2761f27cba 100644
--- a/starky/src/fibonacci_stark.rs
+++ b/starky/src/fibonacci_stark.rs
@@ -61,7 +61,8 @@ const FIBONACCI_COLUMNS: usize = 2;
 const FIBONACCI_PUBLIC_INPUTS: usize = 3;
 
 impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for FibonacciStark<F, D> {
-    type EvaluationFrame<FE, P, const D2: usize> = StarkFrame<P, P::Scalar, FIBONACCI_COLUMNS, FIBONACCI_PUBLIC_INPUTS>
+    type EvaluationFrame<FE, P, const D2: usize>
+    = StarkFrame<P, P::Scalar, FIBONACCI_COLUMNS, FIBONACCI_PUBLIC_INPUTS>
     where
         FE: FieldExtension<D2, BaseField = F>,
         P: PackedField<Scalar = FE>;
diff --git a/starky/src/permutation_stark.rs b/starky/src/permutation_stark.rs
index 62290b658d..9417439f9a 100644
--- a/starky/src/permutation_stark.rs
+++ b/starky/src/permutation_stark.rs
@@ -55,7 +55,8 @@ const PERM_COLUMNS: usize = 3;
 const PERM_PUBLIC_INPUTS: usize = 1;
 
 impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for PermutationStark<F, D> {
-    type EvaluationFrame<FE, P, const D2: usize> = StarkFrame<P, P::Scalar, PERM_COLUMNS, PERM_PUBLIC_INPUTS>
+    type EvaluationFrame<FE, P, const D2: usize>
+    = StarkFrame<P, P::Scalar, PERM_COLUMNS, PERM_PUBLIC_INPUTS>
     where
         FE: FieldExtension<D2, BaseField = F>,
         P: PackedField<Scalar = FE>;
diff --git a/starky/src/unconstrained_stark.rs b/starky/src/unconstrained_stark.rs
index 179010cc7a..1c8235e548 100644
--- a/starky/src/unconstrained_stark.rs
+++ b/starky/src/unconstrained_stark.rs
@@ -45,7 +45,8 @@ const COLUMNS: usize = 2;
 const PUBLIC_INPUTS: usize = 0;
 
 impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for UnconstrainedStark<F, D> {
-    type EvaluationFrame<FE, P, const D2: usize> = StarkFrame<P, P::Scalar, COLUMNS, PUBLIC_INPUTS>
+    type EvaluationFrame<FE, P, const D2: usize>
+    = StarkFrame<P, P::Scalar, COLUMNS, PUBLIC_INPUTS>
     where
         FE: FieldExtension<D2, BaseField = F>,
         P: PackedField<Scalar = FE>;