diff --git a/evm/src/all_stark.rs b/evm/src/all_stark.rs
index b5c65fec..ee779531 100644
--- a/evm/src/all_stark.rs
+++ b/evm/src/all_stark.rs
@@ -111,7 +111,7 @@ mod tests {
             looking_columns: vec![vec![2, 4]],
             looked_table: Table::Keccak,
             looked_columns: vec![3, 5],
-            default: vec![F::ONE; 2],
+            default,
         }];
 
         let all_stark = AllStark {
diff --git a/evm/src/prover.rs b/evm/src/prover.rs
index df3b6db8..c0cc387a 100644
--- a/evm/src/prover.rs
+++ b/evm/src/prover.rs
@@ -527,8 +527,7 @@ fn check_constraints<'a, F, C, S, const D: usize>(
         })
         .collect::<Vec<_>>();
 
-    let values = transpose(&constraint_values);
-    for v in values {
+    for v in constraint_values {
         assert!(v.iter().all(|x| x.is_zero()));
     }
 }