diff --git a/fast-danksharding/src/fast_danksharding.rs b/fast-danksharding/src/fast_danksharding.rs
index 54858e7..efcd20f 100644
--- a/fast-danksharding/src/fast_danksharding.rs
+++ b/fast-danksharding/src/fast_danksharding.rs
@@ -49,10 +49,7 @@ pub fn main_flow() {
     let br1_time = Instant::now();
 
     // K0 = MSM_rows(C_rows) (256x1)
-    let K0 = C_rows
-        .chunks(M_POINTS)
-        .map(|scalars| msm(&s_affine, &scalars, 0usize))
-        .collect::<Vec<_>>();
+    let K0 = msm_batch(&vec![s_affine; N_ROWS].concat(), &C_rows, N_ROWS, 0);
     println!("K0 {:0.3?}", br1_time.elapsed());
     debug_assert_eq!(K0, get_debug_data_points_proj_xy1_vec("K0.csv", N_ROWS));
 
@@ -77,9 +74,9 @@ pub fn main_flow() {
     // K = [K0, K1]  // 2*N_POINTS x 1 (512x1 commitments)
     let K = [K0, K1].concat();
     println!("K {:0.3?}", br1_time.elapsed());
-    debug_assert_eq!(K, get_debug_data_points_proj_xy1_vec("K.csv", 2 * N_ROWS));
-
+    
     println!("Branch1 {:0.3?}", br1_time.elapsed());
+    assert_eq!(K, get_debug_data_points_proj_xy1_vec("K.csv", 2 * N_ROWS));
 
     ////////////////////////////////
     println!("Branch 2");
diff --git a/icicle b/icicle
index 96e3e56..01e0ac9 160000
--- a/icicle
+++ b/icicle
@@ -1 +1 @@
-Subproject commit 96e3e564e8d4f3401c71473455a8353359d85086
+Subproject commit 01e0ac933338a256cd9666a88a00075655fa13da