From acb7b8bc05bb67c309e472d4a07023f9dcbf4c23 Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Tue, 31 May 2022 02:51:39 +0200 Subject: [PATCH] Use `reduce_base` in `reduce_with_powers_circuit` --- plonky2/src/plonk/plonk_common.rs | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/plonky2/src/plonk/plonk_common.rs b/plonky2/src/plonk/plonk_common.rs index e4d7b8b5..42b9f90a 100644 --- a/plonky2/src/plonk/plonk_common.rs +++ b/plonky2/src/plonk/plonk_common.rs @@ -150,11 +150,9 @@ pub fn reduce_with_powers_circuit, const D: usize>( .rev() .fold(builder.zero(), |acc, &t| builder.mul_add(alpha, acc, t)) } else { - let terms_ext = terms - .iter() - .map(|&t| builder.convert_to_ext(t)) - .collect::>(); - reduce_with_powers_ext_circuit(builder, &terms_ext, alpha).0[0] + let alpha = builder.convert_to_ext(alpha); + let mut alpha = ReducingFactorTarget::new(alpha); + alpha.reduce_base(terms, builder).0[0] } }