more printing

src/bellpepper/r1cs.rs

@@ -70,6 +70,7 @@ impl<E: Engine> NovaWitness<E> for SatisfyingAssignment<E> {
     let W = R1CSWitness::<E>::new(shape, aux_assignment)?;
     let X = input_assignment[1..].to_owned();
 
+    eprintln!("commit witness");
     let comm_W = W.commit_fixed(context);
 
     let instance = R1CSInstance::<E>::new(shape, comm_W, X)?;

src/provider/pasta.rs

@@ -117,11 +117,11 @@ macro_rules! impl_traits {
       fn vartime_multiscalar_mul(scalars: &[Self::ScalarExt], bases: &[Self::Affine]) -> Self {
         #[cfg(any(target_arch = "x86_64", target_arch = "aarch64"))]
         if scalars.len() >= 128 {
-          // let zero_count = scalars.par_iter().filter(|s|<$name::Scalar as ff::Field>::is_zero_vartime(s)).count();
-          // eprintln!("zeros: {}, scalars: {}", zero_count, scalars.len());
+          let zero_count = scalars.par_iter().filter(|s|<$name::Scalar as ff::Field>::is_zero_vartime(s)).count();
+          eprintln!("zeros: {}, scalars: {}", zero_count, scalars.len());
           let start = std::time::Instant::now();
           let ret = grumpkin_msm::pasta::$name::msm(bases, scalars);
-          eprintln!("preallocated time: {:?}, scalars: {}", start.elapsed(), scalars.len());
+          eprintln!("preallocated time: {:?}", start.elapsed());
           ret
         } else {
           cpu_best_msm(bases, scalars)
@@ -151,8 +151,8 @@ macro_rules! impl_traits {
       ) -> Self {
         cfg_if::cfg_if! {
           if #[cfg(any(target_arch = "x86_64", target_arch = "aarch64"))] {
-            // let zero_count = scalars.par_iter().filter(|s|<$name::Scalar as ff::Field>::is_zero_vartime(s)).count();
-            // eprintln!("zeros: {}, scalars: {}", zero_count, scalars.len());
+            let zero_count = scalars.par_iter().filter(|s|<$name::Scalar as ff::Field>::is_zero_vartime(s)).count();
+            eprintln!("zeros: {}, scalars: {}", zero_count, scalars.len());
             let start = std::time::Instant::now();
             let ret = grumpkin_msm::pasta::$name::with(context, scalars);
             eprintln!("preallocated time: {:?}, scalars: {}", start.elapsed(), scalars.len());

src/r1cs/mod.rs

@@ -511,6 +511,8 @@ impl<E: Engine> R1CSShape<E> {
         .collect_into_vec(T)
     });
 
+
+    eprintln!("commit T");
     let commit_T_fixed = CE::<E>::commit_fixed(context, T);
     // let commit_T = CE::<E>::commit(ck, T);
     // assert_eq!(commit_T_fixed, commit_T);