ZELLIC-ZK1-1: fix typo in multiplied terms (#718)

Co-authored-by: Aurélien Nicolas <[email protected]>
Co-authored-by: Rohit Narurkar <[email protected]>

Author: 3 people

gadgets/src/mul_add.rs

@@ -158,8 +158,8 @@ impl<F: Field> MulAddChip<F> {
             overflow = carry_hi_expr.clone()
                 + a_limbs[1].clone() * b_limbs[3].clone()
                 + a_limbs[2].clone() * b_limbs[2].clone()
-                + a_limbs[3].clone() * b_limbs[2].clone()
                 + a_limbs[2].clone() * b_limbs[3].clone()
+                + a_limbs[3].clone() * b_limbs[1].clone()
                 + a_limbs[3].clone() * b_limbs[2].clone()
                 + a_limbs[3].clone() * b_limbs[3].clone();