Skip to content

Commit

Permalink
remove debug statements
Browse files Browse the repository at this point in the history
  • Loading branch information
OsamaAlkhodairy committed Dec 26, 2024
1 parent 018fac8 commit c20584d
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 23 deletions.
2 changes: 0 additions & 2 deletions extensions/native/recursion/src/fri/hints.rs
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,6 @@ impl Hintable<C> for InnerFriProof {
type HintVariable = FriProofVariable<C>;

fn read(builder: &mut Builder<C>) -> Self::HintVariable {
println!("reading final poly as hintable");
let commit_phase_commits = Vec::<InnerDigest>::read(builder);
let query_proofs = Vec::<InnerQueryProof>::read(builder);
let final_poly = builder.hint_exts();
Expand All @@ -99,7 +98,6 @@ impl Hintable<C> for InnerFriProof {
}

fn write(&self) -> Vec<Vec<<C as Config>::F>> {
println!("writing final poly as hintable");
let mut stream = Vec::new();

stream.extend(Vec::<InnerDigest>::write(
Expand Down
4 changes: 0 additions & 4 deletions extensions/native/recursion/src/fri/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -61,10 +61,6 @@ pub fn verify_shape_and_sample_challenges<C: Config>(
});

challenger.check_witness(builder, config.proof_of_work_bits, proof.pow_witness);
println!(
"check witness: {:?}, {:?}",
config.proof_of_work_bits, proof.pow_witness
);

let log_max_height =
builder.eval_expr(proof.commit_phase_commits.len() + RVar::from(config.log_blowup));
Expand Down
4 changes: 0 additions & 4 deletions extensions/native/recursion/src/fri/witness.rs
Original file line number Diff line number Diff line change
Expand Up @@ -61,9 +61,6 @@ impl Witnessable<C> for OuterFriProof {
type WitnessVariable = FriProofVariable<C>;

fn read(&self, builder: &mut Builder<C>) -> Self::WitnessVariable {
println!("reading final poly as witnessable");
println!("final poly len: {:?}", self.final_poly.len());

let commit_phase_commits = self.commit_phase_commits.read(builder);
let query_proofs = self.query_proofs.read(builder);
let final_poly = self.final_poly.read(builder);
Expand All @@ -77,7 +74,6 @@ impl Witnessable<C> for OuterFriProof {
}

fn write(&self, witness: &mut Witness<OuterConfig>) {
println!("writing final poly as witnessable");
self.commit_phase_commits.write(witness);
<Vec<_> as Witnessable<C>>::write(&self.query_proofs, witness);
self.final_poly.write(witness);
Expand Down
13 changes: 0 additions & 13 deletions extensions/native/recursion/src/testing_utils.rs
Original file line number Diff line number Diff line change
Expand Up @@ -74,19 +74,6 @@ pub mod inner {
)
.unwrap();

println!("here, we generated the proof, let's inspect");
println!(
"final poly len: {:?} and {:?}",
vparams.data.proof.opening.proof.final_poly.len(),
vparams.fri_params.log_final_poly_len
);
println!("fri params: {:?}", vparams.fri_params);

println!(
"final poly: {:?}",
vparams.data.proof.opening.proof.final_poly
);

recursive_stark_test(
vparams,
CompilerOptions::default(),
Expand Down

0 comments on commit c20584d

Please sign in to comment.