update finalization for mod-builder

Author: Avaneesh-axiom

crates/circuits/mod-builder/src/core_chip.rs

@@ -295,30 +295,11 @@ where
             return;
         }
 
-        if self.air.num_flags() == 0 {
-            // We will copy over the core part of last row to padded rows (all rows after num_records).
-            let core_width = <Self::Air as BaseAir<F>>::width(&self.air);
-            let adapter_width = trace.width() - core_width;
-            let last_row = trace
-                .rows()
-                .nth(num_records - 1)
-                .unwrap()
-                .collect::<Vec<_>>();
-            let last_row_core = last_row.split_at(adapter_width).1;
-            for row in trace.rows_mut().skip(num_records) {
-                let core_row = row.split_at_mut(adapter_width).1;
-                // The same as last row, except "is_valid" (the first element of core part) is zero.
-                core_row.copy_from_slice(last_row_core);
-                core_row[0] = F::ZERO;
-            }
-        } else {
-            // We will copy over the core part of first row to padded rows (all rows after num_records).
-            let core_width = <Self::Air as BaseAir<F>>::width(&self.air);
-            let adapter_width = trace.width() - core_width;
-            let dummy_row = self.generate_dummy_trace_row(adapter_width, core_width);
-            for row in trace.rows_mut().skip(num_records) {
-                row.copy_from_slice(&dummy_row);
-            }
+        let core_width = <Self::Air as BaseAir<F>>::width(&self.air);
+        let adapter_width = trace.width() - core_width;
+        let dummy_row = self.generate_dummy_trace_row(adapter_width, core_width);
+        for row in trace.rows_mut().skip(num_records) {
+            row.copy_from_slice(&dummy_row);
         }
     }
 }