Pad eq_val

Author: darth-cy

spartan_parallel/src/r1csproof.rs

@@ -496,15 +496,23 @@ impl<'a, S: SpartanExtensionField + Send + Sync> R1CSProof<S> {
       .into_mle()
     );
 
+    let max_num_vars_phase2 = ABC_poly.get_num_vars();
+
+    let ABC_eval_len = ABC_poly.Z.len();
+    let eq_eval_len = eq_p_rp_poly.Z.len();
+    let eq_padding = std::iter::repeat(GoldilocksExt2::ZERO).take(ABC_eval_len - eq_eval_len);
+
     let arc_C: ArcMultilinearExtension<'a, GoldilocksExt2> = Arc::new(
-      eq_p_rp_poly.Z.iter().cloned().map(|s| 
-        GoldilocksExt2::from_raw_bytes_unchecked(&s.inner().to_raw_bytes())
-      )
-      .collect::<Vec<GoldilocksExt2>>()
-      .into_mle()
+      eq_p_rp_poly.Z
+        .into_iter()
+        .map(|s| 
+          GoldilocksExt2::from_raw_bytes_unchecked(&s.inner().to_raw_bytes())
+        )
+        .chain(eq_padding)
+        .collect::<Vec<GoldilocksExt2>>()
+        .into_mle()
     );
-
-    let max_num_vars_phase2 = eq_p_rp_poly.get_num_vars();
+    
     let num_threads_phase2 = 8;
 
     let mut virtual_polys =
@@ -557,9 +565,6 @@ impl<'a, S: SpartanExtensionField + Send + Sync> R1CSProof<S> {
     let rw = rw.to_vec();
     let ry: Vec<S> = ry_rev.iter().copied().rev().collect();
 
-    assert_eq!(Z_poly.len(), 1);
-    assert_eq!(ABC_poly.len(), 1);
-
     // --
     // POLY COMMIT
     // --