Remove debug messages

Author: Jiangkm3

spartan_parallel/src/r1csinstance.rs

@@ -599,8 +599,6 @@ impl<S: SpartanExtensionField> R1CSEvalProof<S> {
     random_tape: &mut RandomTape<S>,
   ) -> R1CSEvalProof<S> {
     let timer = Timer::new("R1CSEvalProof::prove");
-    println!("RX_LEN: {}, RY_LEN: {}", rx.len(), ry.len());
-    println!("NUM_CONS: {}, NUM_VARS: {}", decomm.num_cons, decomm.num_vars);
     let rx_skip_len = rx.len() - min(rx.len(), decomm.num_cons.log_2());
     let rx_header = rx[..rx_skip_len].iter().fold(
       S::field_one(), |c, i| c * (S::field_one() - i.clone())

spartan_parallel/src/sparse_mlpoly.rs

@@ -1154,10 +1154,6 @@ impl<S: SpartanExtensionField> ProductLayerProof<S> {
     eval: &[S],
     transcript: &mut Transcript,
   ) -> Result<(Vec<S>, Vec<S>, Vec<S>, Vec<S>, Vec<S>), ProofVerifyError> {
-    let proof_mem_len = bincode::serialize(&self.proof_mem).unwrap().len();
-    let proof_ops_len = bincode::serialize(&self.proof_ops).unwrap().len();
-    println!("PROOF_MEM: {}, PROOF_OPS: {}", proof_mem_len, proof_ops_len);
-
     <Transcript as ProofTranscript<S>>::append_protocol_name(
       transcript,
       ProductLayerProof::<S>::protocol_name(),
@@ -1391,10 +1387,6 @@ impl<S: SpartanExtensionField> SparseMatPolyEvalProof<S> {
     transcript: &mut Transcript,
     random_tape: &mut RandomTape<S>,
   ) -> SparseMatPolyEvalProof<S> {
-    println!("NNZ_LEN: {}", dense.val[0].len());
-    println!("RX_LEN: {}", rx.len());
-    println!("RY_LEN: {}", ry.len());
-    println!("EVALS_LEN: {}", evals.len());
     <Transcript as ProofTranscript<S>>::append_protocol_name(
       transcript,
       SparseMatPolyEvalProof::<S>::protocol_name(),

zok_tests/benchmarks/poseidon_test/poseidon_const.zok

@@ -1 +1 @@
-const u32 REPETITION = 131072
+const u32 REPETITION = 10000