diff --git a/halo2_gadgets/src/poseidon/primitives/mds.rs b/halo2_gadgets/src/poseidon/primitives/mds.rs index 227a684f74..f04df0fb58 100644 --- a/halo2_gadgets/src/poseidon/primitives/mds.rs +++ b/halo2_gadgets/src/poseidon/primitives/mds.rs @@ -83,7 +83,7 @@ pub(super) fn generate_mds + Ord, const T: usize>( } else { let diff: F = x_j - *x_m; // We can invert freely; by construction, the elements of xs are distinct. - acc * (x - x_m) * diff.invert().unwrap() + acc * (x - x_m) * (x_j - x_m).invert().unwrap() } }) };