Skip to content

Commit

Permalink
remove prints
Browse files Browse the repository at this point in the history
  • Loading branch information
tess-eract committed Jul 26, 2024
1 parent 359837c commit 6623d8e
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 8 deletions.
7 changes: 0 additions & 7 deletions fri/src/two_adic_pcs.rs
Original file line number Diff line number Diff line change
Expand Up @@ -264,7 +264,6 @@ where
let global_max_width = mats.iter().map(|m| m.width()).max().unwrap();
let global_max_height = mats.iter().map(|m| m.height()).max().unwrap();
let log_global_max_height = log2_strict_usize(global_max_height);
println!("prover log_global_max_height: {log_global_max_height}");

let alpha_reducer = PowersReducer::<C::Val, C::Challenge>::new(alpha, global_max_width);

Expand Down Expand Up @@ -354,20 +353,15 @@ where

let (fri_proof, query_indices) = prover::prove(&self.fri, &reduced_openings, challenger);

println!("query_indices.len(): {}", query_indices.len());
let query_openings = query_indices
.into_iter()
.map(|index| {
println!("index: {index}");
prover_data_and_points
.iter()
.map(|(data, _)| {
println!("max_height: {}", self.mmcs.get_max_height(data));
let log_max_height = log2_strict_usize(self.mmcs.get_max_height(data));
println!("log_max_height: {log_max_height}");
let bits_reduced = log_global_max_height - log_max_height;
let reduced_index = index >> bits_reduced;
println!("reduced_index: {reduced_index}");
let (opened_values, opening_proof) =
self.mmcs.open_batch(reduced_index, data);
BatchOpening {
Expand Down Expand Up @@ -396,7 +390,6 @@ where
proof: &Self::Proof,
challenger: &mut C::Challenger,
) -> Result<(), Self::Error> {
println!("verify_multi_batches");
// Batch combination challenge
let alpha = <C::Challenger as CanSample<C::Challenge>>::sample(challenger);

Expand Down
1 change: 0 additions & 1 deletion fri/src/verifier.rs
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,6 @@ where
ro,
log_max_height,
)?;

if folded_eval != proof.final_poly {
return Err(FriError::FinalPolyMismatch);
}
Expand Down

0 comments on commit 6623d8e

Please sign in to comment.