From adda915dc2eb40e3076da95e0de7737cc08e503f Mon Sep 17 00:00:00 2001 From: Bartosz Nowak Date: Fri, 22 Nov 2024 11:44:52 +0100 Subject: [PATCH] typos --- .../precompiles/poseidon2/permutation/air.rs | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/crates/core/machine/src/syscall/precompiles/poseidon2/permutation/air.rs b/crates/core/machine/src/syscall/precompiles/poseidon2/permutation/air.rs index d37d17e8e..606e34c31 100644 --- a/crates/core/machine/src/syscall/precompiles/poseidon2/permutation/air.rs +++ b/crates/core/machine/src/syscall/precompiles/poseidon2/permutation/air.rs @@ -138,9 +138,9 @@ impl Poseidon2PermuteChip { builder, ); } - let mut commited_sbox_x7 = full_round.sbox_x7.map(|x| x.into()); - external_linear_layer::(&mut commited_sbox_x7); - builder.assert_all_eq(commited_sbox_x7, full_round.post); + let mut committed_sbox_x7 = full_round.sbox_x7.map(|x| x.into()); + external_linear_layer::(&mut committed_sbox_x7); + builder.assert_all_eq(committed_sbox_x7, full_round.post); } pub fn eval_partial_round( @@ -157,10 +157,10 @@ impl Poseidon2PermuteChip { &(state[0].clone() + *round_constant), builder, ); - let mut commited_state = state.clone(); - commited_state[0] = partial_round.sbox_x7.into(); - internal_linear_layer::(&mut commited_state); - builder.assert_all_eq(commited_state, partial_round.post.map(|x| x.into())); + let mut committed_state = state.clone(); + committed_state[0] = partial_round.sbox_x7.into(); + internal_linear_layer::(&mut committed_state); + builder.assert_all_eq(committed_state, partial_round.post.map(|x| x.into())); } #[inline]