Fix three verifier panics in batch GKR

nicole-graus · nicole-graus · commit 95deda491eda · 2026-04-13T10:22:02.000-03:00
diff --git a/crypto/stark/src/fri/fri_functions.rs b/crypto/stark/src/fri/fri_functions.rs
@@ -38,6 +38,7 @@ pub fn fold_evaluations_in_place<F: IsSubFieldOf<E>, E: IsField>(
 
     #[cfg(not(feature = "parallel"))]
     {
+        let half = evals.len() / 2;
         for j in 0..half {
             let lo = &evals[2 * j];
             let hi = &evals[2 * j + 1];

Original file line number	Diff line number	Diff line change
`@@ -38,6 +38,7 @@ pub fn fold_evaluations_in_place<F: IsSubFieldOf<E>, E: IsField>(`
`38`	`38`
`39`	`39`	`#[cfg(not(feature = "parallel"))]`
`40`	`40`	`{`
	`41`	`+ let half = evals.len() / 2;`
`41`	`42`	`for j in 0..half {`
`42`	`43`	`let lo = &evals[2 * j];`
`43`	`44`	`let hi = &evals[2 * j + 1];`