fix

0xPolygonZero · Oct 11, 2024 · 417ca3d · 417ca3d
1 parent 283d7f0
commit 417ca3d
Showing 1 changed file with 11 additions and 7 deletions.
diff --git a/evm_arithmetization/src/generation/state.rs b/evm_arithmetization/src/generation/state.rs
@@ -185,14 +185,18 @@ pub(crate) trait State<F: RichField> {
     {
         let halt_offsets = self.get_halt_offsets();
 
-        let cycle_limit = max_cpu_len_log.map(|max_len_log| {
-            let target_len = 1 << max_len_log;
-            if target_len > NUM_EXTRA_CYCLES_AFTER {
-                target_len - NUM_EXTRA_CYCLES_AFTER
-            } else {
-                target_len
+        if let Some(max_len_log) = max_cpu_len_log {
+            if (1 << max_len_log) < NUM_EXTRA_CYCLES_AFTER {
+                bail!(
+                    "Target length (2^{}) is less than NUM_EXTRA_CYCLES_AFTER ({})",
+                    max_len_log,
+                    NUM_EXTRA_CYCLES_AFTER
+                );
             }
-        });
+        }
+
+        let cycle_limit =
+            max_cpu_len_log.map(|max_len_log| (1 << max_len_log) - NUM_EXTRA_CYCLES_AFTER);
 
         let mut final_registers = RegistersState::default();
         let mut running = true;