diff --git a/evm_arithmetization/src/prover.rs b/evm_arithmetization/src/prover.rs index 7398a0c18..4b6d2e222 100644 --- a/evm_arithmetization/src/prover.rs +++ b/evm_arithmetization/src/prover.rs @@ -716,17 +716,16 @@ where "The degree of the Stark constraints must be <= blowup_factor + 1" ); - let lookup_challenges: Vec<_> = ctl_challenges.challenges.iter().map(|ch| ch.beta).collect(); // Add lookup columns. let lookups = stark.lookups(); let mut res = { let mut columns = Vec::new(); for lookup in &lookups { - for &challenge in lookup_challenges.iter() { + for &challenge in ctl_challenges.challenges.iter() { columns.extend(lookup_helper_columns( lookup, trace_poly_values, - challenge, + challenge.beta, constraint_degree, )); }