diff --git a/examples/fri.rs b/examples/fri.rs index 8411c6ccf5543e312010d16b118c41455ca5df02..e43f7617e748642c83db75d95ab9f6e658747661 100644 --- a/examples/fri.rs +++ b/examples/fri.rs @@ -3,6 +3,7 @@ use ark_poly::univariate::DensePolynomial; use ark_poly::DenseUVPolynomial; use ark_std::ops::Div; use rs_merkle::Hasher; +use std::time::{Duration, Instant}; use fri::algorithms::Blake3; use fri_test_utils::Fq; @@ -21,13 +22,26 @@ where for<'a, 'b> &'a P: Div<&'b P, Output = P>, <H as rs_merkle::Hasher>::Hash: AsRef<[u8]>, { + eprintln!("evaluation"); + let start_time = Instant::now(); let evaluations = komodo::fri::evaluate::<F>(&bytes, k, n); - let shards = komodo::fri::encode::<F>(&bytes, evaluations.clone(), k, n); + eprintln!("{:?}", Instant::now().duration_since(start_time)); + eprintln!("encoding"); + let evals = evaluations.clone(); + let start_time = Instant::now(); + let shards = komodo::fri::encode::<F>(&bytes, evals, k, n); + eprintln!("{:?}", Instant::now().duration_since(start_time)); + eprintln!("proving"); + let start_time = Instant::now(); let blocks = komodo::fri::prove::<N, F, H, P>(evaluations, shards, bf, rpo, q).unwrap(); + eprintln!("{:?}", Instant::now().duration_since(start_time)); + eprintln!("verifying"); + let start_time = Instant::now(); for block in blocks { komodo::fri::verify::<N, F, H, P>(block, n, q).unwrap(); } + eprintln!("{:?}", Instant::now().duration_since(start_time)); Ok(()) }