Fix max_cpu_len_log (#714)

* fix * fix * fix * address comments
0xPolygonZero · Oct 17, 2024 · ce0ab8c · ce0ab8c
1 parent 4f70195
commit ce0ab8c
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/evm_arithmetization/src/generation/state.rs b/evm_arithmetization/src/generation/state.rs
@@ -188,6 +188,15 @@ pub(crate) trait State<F: RichField> {
     {
         let halt_offsets = self.get_halt_offsets();
 
+        if let Some(max_len_log) = max_cpu_len_log {
+            assert!(
+                (1 << max_len_log) >= NUM_EXTRA_CYCLES_AFTER,
+                "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);