From 1e57ef96cb97ee2234cae6daaaa459350eee8915 Mon Sep 17 00:00:00 2001 From: Robin Salen Date: Tue, 11 Apr 2023 17:46:48 -0400 Subject: [PATCH] Remove unnecessary constraint --- evm/src/keccak_sponge/keccak_sponge_stark.rs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/evm/src/keccak_sponge/keccak_sponge_stark.rs b/evm/src/keccak_sponge/keccak_sponge_stark.rs index 1401dcaf..4c91d6fd 100644 --- a/evm/src/keccak_sponge/keccak_sponge_stark.rs +++ b/evm/src/keccak_sponge/keccak_sponge_stark.rs @@ -379,9 +379,6 @@ impl, const D: usize> Stark for KeccakSpongeS // Ensure that full-input block and final block flags are not set to 1 at the same time. yield_constr.constraint(is_final_block * is_full_input_block); - // If this is a full-input block, is_final_input_len should contain all 0s. - yield_constr.constraint(is_full_input_block * is_final_block); - // If this is the first row, the original sponge state should be 0 and already_absorbed_bytes = 0. let already_absorbed_bytes = local_values.already_absorbed_bytes; yield_constr.constraint_first_row(already_absorbed_bytes); @@ -486,10 +483,6 @@ impl, const D: usize> Stark for KeccakSpongeS let constraint = builder.mul_extension(is_final_block, is_full_input_block); yield_constr.constraint(builder, constraint); - // If this is a full-input block, is_final_input_len should contain all 0s. - let constraint = builder.mul_extension(is_full_input_block, is_final_block); - yield_constr.constraint(builder, constraint); - // If this is the first row, the original sponge state should be 0 and already_absorbed_bytes = 0. let already_absorbed_bytes = local_values.already_absorbed_bytes; yield_constr.constraint_first_row(builder, already_absorbed_bytes);