Convert some mul_extension_naive to mul_extension

This commit is contained in:
wborgeaud 2021-06-09 18:04:58 +02:00
parent f7e92af963
commit 3db6e38d26

View File

@ -214,7 +214,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
pub fn mul_many_extension(&mut self, terms: &[ExtensionTarget<D>]) -> ExtensionTarget<D> { pub fn mul_many_extension(&mut self, terms: &[ExtensionTarget<D>]) -> ExtensionTarget<D> {
let mut product = self.one_extension(); let mut product = self.one_extension();
for term in terms { for term in terms {
product = self.mul_extension_naive(product, *term); product = self.mul_extension(product, *term);
} }
product product
} }
@ -227,7 +227,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
b: ExtensionTarget<D>, b: ExtensionTarget<D>,
c: ExtensionTarget<D>, c: ExtensionTarget<D>,
) -> ExtensionTarget<D> { ) -> ExtensionTarget<D> {
let product = self.mul_extension_naive(a, b); let product = self.mul_extension(a, b);
self.add_extension(product, c) self.add_extension(product, c)
} }