Enforce_disable_trace_padding_used_only_in_proof_mode

Author: YairVaknin-starkware

CHANGELOG.md

@@ -2,6 +2,8 @@
 
 #### Upcoming Changes
 
+* fix: Enforce `disable_trace_padding` used only in `proof_mode` [#1984](https://github.com/lambdaclass/cairo-vm/pull/1984)
+
 #### [2.0.0] - 2025-02-26
 
 * fix: Check overflow in cairo pie address calculation [#1945](https://github.com/lambdaclass/cairo-vm/pull/1945)

vm/src/vm/errors/runner_errors.rs

@@ -136,6 +136,8 @@ pub enum RunnerError {
     MissingDynamicLayoutParams,
     #[error("dynamic layout {0} ratio should be 0 when disabled")]
     BadDynamicLayoutBuiltinRatio(BuiltinName),
+    #[error("Initialization failure: Cannot run with trace padding disabled without proof mode")]
+    DisableTracePaddingWithoutProofMode,
 }
 
 #[cfg(test)]

vm/src/vm/runners/cairo_runner.rs

@@ -229,6 +229,11 @@ impl CairoRunner {
         trace_enabled: bool,
         disable_trace_padding: bool,
     ) -> Result<CairoRunner, RunnerError> {
+        // `disable_trace_padding` can only be used in `proof_mode`, so we enforce this here to
+        // avoid unintended behavior.
+        if disable_trace_padding && !proof_mode {
+            return Err(RunnerError::DisableTracePaddingWithoutProofMode);
+        }
         if proof_mode {
             Self::new_v2(
                 program,
@@ -5399,4 +5404,15 @@ mod tests {
             })]
         );
     }
+
+    #[test]
+    fn test_disable_trace_padding_without_proof_mode() {
+        let program = program!();
+        // Attempt to create a runner in non-proof mode with trace padding disabled.
+        let result = CairoRunner::new(&program, LayoutName::plain, None, false, true, true);
+        match result {
+            Err(RunnerError::DisableTracePaddingWithoutProofMode) => { /* test passed */ }
+            _ => panic!("Expected DisableTracePaddingWithoutProofMode error"),
+        }
+    }
 }