fix: remove duplicate constraint

0xPolygonZero · Feb 18, 2024 · 00dd356 · 00dd356
1 parent d0bc5ec
commit 00dd356
Showing 1 changed file with 0 additions and 11 deletions.
diff --git 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 =