From 1e057e89186fe26a92851b98ee4509a0286804df Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Tue, 17 Aug 2021 07:34:42 -0700 Subject: [PATCH] Use scalar_mul vs converting (#184) --- src/gates/arithmetic.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()); }