From f8e0b6f6a3be437675f2278a0c53b298b46c3c96 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Mon, 19 Sep 2022 21:30:14 -0700
Subject: [PATCH] fix

---
 evm/src/verifier.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/evm/src/verifier.rs b/evm/src/verifier.rs
index a9e4d30b..ad919f72 100644
--- a/evm/src/verifier.rs
+++ b/evm/src/verifier.rs
@@ -209,7 +209,7 @@ fn validate_proof_shape<F, C, S, const D: usize>(
     stark: &S,
     proof: &StarkProof<F, C, D>,
     config: &StarkConfig,
-    num_ctls: usize,
+    num_ctl_zs: usize,
 ) -> anyhow::Result<()>
 where
     F: RichField + Extendable<D>,
@@ -237,7 +237,6 @@ where
 
     ensure!(openings.local_values.len() == S::COLUMNS);
     ensure!(openings.next_values.len() == S::COLUMNS);
-    let num_ctl_zs = num_ctls * config.num_challenges;
     let num_zs = num_ctl_zs + stark.num_permutation_batches(config);
     ensure!(openings.permutation_ctl_zs.len() == num_zs);
     ensure!(openings.permutation_ctl_zs_next.len() == num_zs);