diff --git a/src/gates/arithmetic.rs b/src/gates/arithmetic.rs index c8f8f59c..9fd72aef 100644 --- a/src/gates/arithmetic.rs +++ b/src/gates/arithmetic.rs @@ -67,7 +67,7 @@ impl, const D: usize> Gate for ArithmeticExtensionGate let addend = vars.get_local_ext(Self::wires_ith_addend(i)); let output = vars.get_local_ext(Self::wires_ith_output(i)); let computed_output = - multiplicand_0 * multiplicand_1 * const_0.into() + addend * const_1.into(); + (multiplicand_0 * multiplicand_1).scalar_mul(const_0) + addend.scalar_mul(const_1); constraints.extend((output - computed_output).to_basefield_array()); }