diff --git a/src/field/extension_field/target.rs b/src/field/extension_field/target.rs index 20bcd382..1691fba2 100644 --- a/src/field/extension_field/target.rs +++ b/src/field/extension_field/target.rs @@ -255,10 +255,8 @@ impl, const D: usize> CircuitBuilder { /// Returns `a * b`, where `b` is in the extension field and `a` is in the base field. pub fn scalar_mul_ext(&mut self, a: Target, mut b: ExtensionTarget) -> ExtensionTarget { - for i in 0..D { - b.0[i] = self.mul(a, b.0[i]); - } - b + let a_ext = self.convert_to_ext(a); + self.mul_extension(a_ext, b) } /// Returns `a * b`, where `b` is in the extension of the extension field, and `a` is in the