From 28bb4c72e431e3a2219e9ef4e05939718e432505 Mon Sep 17 00:00:00 2001 From: jiajieey Date: Fri, 21 Nov 2025 11:00:02 +0000 Subject: [PATCH 1/3] add log --- plonk/src/nightfall/ipa_verifier.rs | 1 + 1 file changed, 1 insertion(+) 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(); From 0eb5610e13de897b3a195b4c5d763f887ca1a136 Mon Sep 17 00:00:00 2001 From: jiajieey Date: Fri, 21 Nov 2025 11:18:06 +0000 Subject: [PATCH 2/3] add log prover --- plonk/src/nightfall/ipa_snark.rs | 1 + 1 file changed, 1 insertion(+) 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, From 73ca51365363c66f270f0edcf21c500b5325fcca Mon Sep 17 00:00:00 2001 From: jiajieey Date: Fri, 21 Nov 2025 11:40:28 +0000 Subject: [PATCH 3/3] add log PlonkKzgSnark --- plonk/src/proof_system/snark.rs | 2 +- plonk/src/proof_system/verifier.rs | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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();