From b3bd7eba22e117143b1d78553de2b661bfda0245 Mon Sep 17 00:00:00 2001 From: Andy Leiserson Date: Wed, 16 Oct 2024 11:03:13 -0700 Subject: [PATCH] Debug prints for draft --- ipa-core/src/protocol/ipa_prf/aggregation/breakdown_reveal.rs | 1 + .../src/protocol/ipa_prf/validation_protocol/proof_generation.rs | 1 + 2 files changed, 2 insertions(+) diff --git a/ipa-core/src/protocol/ipa_prf/aggregation/breakdown_reveal.rs b/ipa-core/src/protocol/ipa_prf/aggregation/breakdown_reveal.rs index be08c65935..1a75d65104 100644 --- a/ipa-core/src/protocol/ipa_prf/aggregation/breakdown_reveal.rs +++ b/ipa-core/src/protocol/ipa_prf/aggregation/breakdown_reveal.rs @@ -98,6 +98,7 @@ where let agg_proof_chunk = aggregate_values_proof_chunk(B, usize::try_from(TV::BITS).unwrap()); while intermediate_results.len() > 1 { + tracing::info!("aggregating {} values", intermediate_results.len()); let mut record_ids = [RecordId::FIRST; AGGREGATE_DEPTH]; let mut next_intermediate_results = Vec::new(); for chunk in intermediate_results.chunks(agg_proof_chunk) { diff --git a/ipa-core/src/protocol/ipa_prf/validation_protocol/proof_generation.rs b/ipa-core/src/protocol/ipa_prf/validation_protocol/proof_generation.rs index 25070a2c82..2dab57ee41 100644 --- a/ipa-core/src/protocol/ipa_prf/validation_protocol/proof_generation.rs +++ b/ipa-core/src/protocol/ipa_prf/validation_protocol/proof_generation.rs @@ -113,6 +113,7 @@ impl ProofBatch { // * We need (SRF - 1) at the last level to have room for the masks. let max_uv_values: usize = (SRF - 1) * SRF.pow(u32::try_from(MAX_PROOF_RECURSION - 2).unwrap()); + tracing::info!("uv_values.len() = {}", uv_values.len()); assert!( uv_values.len() <= max_uv_values, "Proof batch is too large: have {} uv_values, max is {}",