Merge branch 'feat/zkvm-profile-cycles-split-basefold' into feat/zkvm-profile-cycles-split-fri

Author: yczhangsjtu

src/basefold_verifier/query_phase.rs

@@ -508,7 +508,6 @@ pub(crate) fn batch_verifier_query_phase<C: Config>(
                     let opening_proof = batch_opening.opening_proof;
 
                     let round_context = builder.iter_ptr_get(&rounds_context, ptr_vec[2]);
-                    // TODO: optimize this procedure
                     iter_zip!(
                         builder,
                         round_context.log2_heights,

src/basefold_verifier/verifier.rs

@@ -94,8 +94,8 @@ pub fn batch_verify<C: Config>(
 
             let diff: Var<C::N> =
                 builder.eval(max_width.clone() - opening.point_and_evals.evals.len());
-            // width is always smaller than 2^20.
-            builder.range_check_var(diff, 20);
+            // width is always smaller than 2^14.
+            builder.range_check_var(diff, 14);
             builder.assign(&diff_product_width, diff_product_width * diff);
         });
     });