Add warning when the last MemAfter is not empty

0xPolygonZero · Nov 1, 2024 · 6d810fb · 6d810fb
1 parent e9a0cf0
commit 6d810fb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/evm_arithmetization/src/generation/mod.rs b/evm_arithmetization/src/generation/mod.rs
@@ -620,6 +620,11 @@ pub fn generate_traces<F: RichField + Extendable<D>, const D: usize>(
         )
     );
 
+    let is_last_segment =
+        segment_data.registers_after.program_counter == KERNEL.global_labels["halt"];
+    if is_last_segment && final_len != 0 {
+        log::warn!("This is the last segment, but MemoryAfter is still not empty!");
+    }
     if final_len == 0 && OPTIONAL_TABLE_INDICES.contains(&MemAfter) {
         log::debug!("MemAfter table not in use");
         table_in_use[*MemAfter] = false;