get rid of reduce F

succinctlabs · Aug 1, 2024 · 798c5f8 · 798c5f8
1 parent 96b0734
commit 798c5f8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/recursion/circuit/src/fri.rs b/recursion/circuit/src/fri.rs
@@ -126,7 +126,6 @@ pub fn verify_two_adic_pcs<C: Config>(
                     let two_adic_generator_exp =
                         builder.exp_f_bits(two_adic_generator, rev_reduced_index);
                     let x: Felt<_> = builder.eval(g * two_adic_generator_exp);
-                    builder.operations.push(DslIr::ReduceF(x));
 
                     for (z, ps_at_z) in izip!(mat_points, mat_values) {
                         let mut acc: Ext<C::F, C::EF> =