From e165337213be182fbece89747af1d9f901198748 Mon Sep 17 00:00:00 2001 From: ashpect Date: Mon, 23 Mar 2026 12:07:30 +0530 Subject: [PATCH] fix: assert num_entries <= full_size --- provekit/common/src/utils/sumcheck.rs | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/provekit/common/src/utils/sumcheck.rs b/provekit/common/src/utils/sumcheck.rs index 9a6f01266..17a7c4299 100644 --- a/provekit/common/src/utils/sumcheck.rs +++ b/provekit/common/src/utils/sumcheck.rs @@ -113,7 +113,11 @@ pub fn calculate_evaluations_over_boolean_hypercube_for_eq( num_entries: usize, ) -> Vec { let full_size = 1usize << r.len(); - debug_assert!(num_entries <= full_size); + assert!( + num_entries <= full_size, + "num_entries ({num_entries}) exceeds 2^{} = {full_size}", + r.len() + ); let mut result = vec![FieldElement::zero(); num_entries]; eval_eq(r, &mut result, FieldElement::one(), full_size); result