two effective reduces

succinctlabs · Aug 6, 2024 · 83e882f · 83e882f
1 parent d5561fc
commit 83e882f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/recursion/circuit/src/fri.rs b/recursion/circuit/src/fri.rs
@@ -237,6 +237,9 @@ pub fn verify_query<C: Config>(
         let index_sibling: Var<_> = builder.eval(one - index_bits.clone()[offset]);
         let index_pair = &index_bits[(offset + 1)..];
 
+        builder.operations.push(DslIr::ReduceE(folded_eval));
+        builder.operations.push(DslIr::ReduceE(step.sibling_value));
+
         let evals_ext = [
             builder.select_ef(index_sibling, folded_eval, step.sibling_value),
             builder.select_ef(index_sibling, step.sibling_value, folded_eval),