chore: Requested changes

lurk-lang · Jan 3, 2024 · 21ab251 · 21ab251
1 parent 276a5ae
commit 21ab251
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/provider/non_hiding_zeromorph.rs b/src/provider/non_hiding_zeromorph.rs
@@ -388,7 +388,7 @@ fn batched_lifted_degree_quotient<F: PrimeField>(
     .fold(
       vec![F::ZERO; 1 << num_vars],
       |mut q_hat, (idx, (power_of_y, q))| {
-        offset = q_hat.len() - (1 << idx);
+        offset = (1 << num_vars) - (1 << idx);
         q_hat[offset..]
           .par_iter_mut()
           .zip(q)
@@ -399,7 +399,7 @@ fn batched_lifted_degree_quotient<F: PrimeField>(
       },
     );
 
-  assert_eq!(offset, q_hat.len() / 2);
+  assert_eq!(offset, 1 << (num_vars - 1));
 
   (UVKZGPoly::new(q_hat), offset)
 }