add log

plonk/src/nightfall/ipa_snark.rs

@@ -345,6 +345,7 @@ where
             None
         };
         drop(polys_and_eval_sets);
+        ark_std::println!("get challenges during proving: {:?}", challenges);
         Ok((
             Proof {
                 wires_poly_comms,

plonk/src/nightfall/ipa_verifier.rs

@@ -193,6 +193,7 @@ where
             proof,
             extra_transcript_init_msg,
         )?;
+        ark_std::println!("challenges: {:?}", challenges);
 
         // pre-compute alpha related values
         let alpha_2 = challenges.alpha.square();

plonk/src/proof_system/snark.rs

@@ -425,7 +425,7 @@ where
             };
             plookup_proofs_vec.push(plookup_proof);
         }
-
+        ark_std::println!("get challenges during proving: {:?}", challenges);
         Ok((
             BatchProof {
                 wires_poly_comms_vec,

plonk/src/proof_system/verifier.rs

@@ -123,6 +123,7 @@ where
             batch_proof,
             extra_transcript_init_msg,
         )?;
+        ark_std::println!("get challenges during verification: {:?}", challenges);
 
         // pre-compute alpha related values
         let alpha_2 = challenges.alpha.square();