From 104418676e0764c74945137f08ace2e3989ca0a2 Mon Sep 17 00:00:00 2001 From: Irakliy Khaburzaniya Date: Sun, 23 Oct 2022 23:22:24 -0700 Subject: [PATCH] add logging for aux trace segment construction time --- prover/src/lib.rs | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/prover/src/lib.rs b/prover/src/lib.rs index 0bba8acfe..d54fcca44 100644 --- a/prover/src/lib.rs +++ b/prover/src/lib.rs @@ -254,6 +254,9 @@ pub trait Prover { let mut aux_trace_segments = Vec::new(); let mut aux_trace_rand_elements = AuxTraceRandElements::new(); for i in 0..trace.layout().num_aux_segments() { + #[cfg(feature = "std")] + let now = Instant::now(); + // draw a set of random elements required to build an auxiliary trace segment let rand_elements = channel.get_aux_trace_segment_rand_elements(i); @@ -261,6 +264,13 @@ pub trait Prover { let aux_segment = trace .build_aux_segment(&aux_trace_segments, &rand_elements) .expect("failed build auxiliary trace segment"); + #[cfg(feature = "std")] + debug!( + "Built auxiliary trace segment of {} columns and 2^{} steps in {} ms", + aux_segment.num_cols(), + log2(aux_segment.num_rows()), + now.elapsed().as_millis() + ); // extend the auxiliary trace segment and build a Merkle tree from the extended trace let (aux_segment_lde, aux_segment_tree, aux_segment_polys) =