Debug prints for draft

private-attribution · Oct 16, 2024 · 2eac4f2 · 2eac4f2
1 parent 708b222
commit 2eac4f2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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 {}",