diff --git a/plonk/src/nightfall/ipa_snark.rs b/plonk/src/nightfall/ipa_snark.rs
index d6b40a3d..3ad77d07 100644
--- a/plonk/src/nightfall/ipa_snark.rs
+++ b/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,
diff --git a/plonk/src/nightfall/ipa_verifier.rs b/plonk/src/nightfall/ipa_verifier.rs
index 1f93c141..9e38f984 100644
--- a/plonk/src/nightfall/ipa_verifier.rs
+++ b/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();
diff --git a/plonk/src/proof_system/snark.rs b/plonk/src/proof_system/snark.rs
index 10a49bb3..1b4e4078 100644
--- a/plonk/src/proof_system/snark.rs
+++ b/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,
diff --git a/plonk/src/proof_system/verifier.rs b/plonk/src/proof_system/verifier.rs
index e9593816..a8fdf25e 100644
--- a/plonk/src/proof_system/verifier.rs
+++ b/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();