From b8c4176c4ea1ee5537723d794fcd571129f24ac4 Mon Sep 17 00:00:00 2001 From: Vitalii Hnatyk Date: Wed, 29 Mar 2023 19:52:34 +0300 Subject: [PATCH] batch msm large (#16) * batched msm * assert first branch * submodule commit --- fast-danksharding/src/fast_danksharding.rs | 9 +++------ icicle | 2 +- 2 files changed, 4 insertions(+), 7 deletions(-) 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::>(); + 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