From 00dd3560a7c03d3460958275385e51d4c872e6de Mon Sep 17 00:00:00 2001
From: Ayush Shukla <shuklaayush247@gmail.com>
Date: Sun, 18 Feb 2024 10:05:27 +0100
Subject: [PATCH] fix: remove duplicate constraint

---
 evm_arithmetization/src/keccak/keccak_stark.rs | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/evm_arithmetization/src/keccak/keccak_stark.rs b/evm_arithmetization/src/keccak/keccak_stark.rs
index 969a0357f..979a5acf9 100644
--- a/evm_arithmetization/src/keccak/keccak_stark.rs
+++ b/evm_arithmetization/src/keccak/keccak_stark.rs
@@ -279,11 +279,6 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
         let filter = local_values[reg_step(NUM_ROUNDS - 1)];
         yield_constr.constraint(filter * (filter - P::ONES));
 
-        // If this is not the final step, the filter must be off.
-        let final_step = local_values[reg_step(NUM_ROUNDS - 1)];
-        let not_final_step = P::ONES - final_step;
-        yield_constr.constraint(not_final_step * filter);
-
         // If this is not the final step or a padding row,
         // the local and next timestamps must match.
         let sum_round_flags = (0..NUM_ROUNDS)
@@ -451,12 +446,6 @@ impl<F: RichField + Extendable<D>, const D: usize> Stark<F, D> for KeccakStark<F
         let constraint = builder.mul_sub_extension(filter, filter, filter);
         yield_constr.constraint(builder, constraint);
 
-        // If this is not the final step, the filter must be off.
-        let final_step = local_values[reg_step(NUM_ROUNDS - 1)];
-        let not_final_step = builder.sub_extension(one_ext, final_step);
-        let constraint = builder.mul_extension(not_final_step, filter);
-        yield_constr.constraint(builder, constraint);
-
         // If this is not the final step or a padding row,
         // the local and next timestamps must match.
         let sum_round_flags =