feat: allocate alpha_c_pow less

openvm-org · Jan 19, 2025 · 706b735 · 706b735
1 parent a5ffd35
commit 706b735
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/extensions/native/recursion/src/fri/two_adic_pcs.rs b/extensions/native/recursion/src/fri/two_adic_pcs.rs
@@ -101,6 +101,7 @@ pub fn verify_two_adic_pcs<C: Config>(
                 }
             }
 
+            let alpha_c_pow: Ext<C::F, C::EF> = builder.constant(C::EF::ONE);
             compile_zip!(builder, query_proof.input_proof, rounds).for_each(|ptr_vec, builder| {
                 let batch_opening = builder.iter_ptr_get(&query_proof.input_proof, ptr_vec[0]);
                 let round = builder.iter_ptr_get(&rounds, ptr_vec[1]);
@@ -192,7 +193,9 @@ pub fn verify_two_adic_pcs<C: Config>(
                     builder.cycle_tracker_end("exp-reverse-bits-len");
                     let x: Felt<C::F> = builder.eval(two_adic_generator_exp * g);
 
-                    let alpha_c_pow: Ext<C::F, C::EF> = builder.constant(C::EF::ONE);
+                    if builder.flags.static_only {
+                        builder.assign(&alpha_c_pow, C::EF::ONE.cons());
+                    }
                     compile_zip!(builder, mat_points, mat_values).for_each(|ptr_vec, builder| {
                         let z: Ext<C::F, C::EF> = builder.iter_ptr_get(&mat_points, ptr_vec[0]);
                         let ps_at_z = builder.iter_ptr_get(&mat_values, ptr_vec[1]);