From 1309f83590bc6095892f860a7687aa0f820cb041 Mon Sep 17 00:00:00 2001 From: hratoanina Date: Mon, 29 Jul 2024 16:26:55 -0400 Subject: [PATCH] Use CTL challenges directly --- evm_arithmetization/src/prover.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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, )); }