remove prover input info struct and add getters instead (#2149)

Author: Stavbe

cairo-vm-cli/src/main.rs

@@ -4,7 +4,6 @@ use bincode::enc::write::Writer;
 use cairo_vm::air_public_input::PublicInputError;
 use cairo_vm::cairo_run::{self, EncodeTraceError};
 use cairo_vm::hint_processor::builtin_hint_processor::builtin_hint_processor_definition::BuiltinHintProcessor;
-use cairo_vm::prover_input_info::ProverInputInfoError;
 #[cfg(feature = "with_tracer")]
 use cairo_vm::serde::deserialize_program::DebugInfo;
 use cairo_vm::types::layout::CairoLayoutParams;
@@ -70,10 +69,6 @@ struct Args {
         conflicts_with_all = ["proof_mode", "air_private_input", "air_public_input"]
     )]
     cairo_pie_output: Option<String>,
-    #[arg(long = "prover_input_info", requires_all = ["proof_mode"])]
-    prover_input_info: Option<String>,
-    #[arg(long = "prover_input_info_json", requires_all = ["proof_mode"])]
-    prover_input_info_json: Option<String>,
     #[arg(long = "merge_extra_segments")]
     merge_extra_segments: bool,
     #[arg(long = "allow_missing_builtins")]
@@ -107,8 +102,6 @@ enum Error {
     #[error(transparent)]
     PublicInput(#[from] PublicInputError),
     #[error(transparent)]
-    ProveInputInfo(#[from] ProverInputInfoError),
-    #[error(transparent)]
     #[cfg(feature = "with_tracer")]
     TraceData(#[from] TraceDataError),
 }
@@ -175,10 +168,7 @@ fn start_tracer(cairo_runner: &CairoRunner) -> Result<(), TraceDataError> {
 fn run(args: impl Iterator<Item = String>) -> Result<(), Error> {
     let args = Args::try_parse_from(args)?;
 
-    let trace_enabled = args.trace_file.is_some()
-        || args.air_public_input.is_some()
-        || args.prover_input_info.is_some()
-        || args.prover_input_info_json.is_some();
+    let trace_enabled = args.trace_file.is_some() || args.air_public_input.is_some();
 
     let cairo_layout_params = match args.cairo_layout_params_file {
         Some(file) => Some(CairoLayoutParams::from_file(&file)?),
@@ -195,8 +185,7 @@ fn run(args: impl Iterator<Item = String>) -> Result<(), Error> {
         secure_run: args.secure_run,
         allow_missing_builtins: args.allow_missing_builtins,
         dynamic_layout_params: cairo_layout_params,
-        disable_trace_padding: args.prover_input_info.is_some()
-            || args.prover_input_info_json.is_some(),
+        disable_trace_padding: false,
     };
 
     let mut cairo_runner = match if args.run_from_cairo_pie {
@@ -247,18 +236,6 @@ fn run(args: impl Iterator<Item = String>) -> Result<(), Error> {
         memory_writer.flush()?;
     }
 
-    if let Some(path) = args.prover_input_info {
-        let prover_input_info = cairo_runner.get_prover_input_info()?;
-        let bytes = prover_input_info.serialize()?;
-        std::fs::write(path, bytes)?;
-    }
-
-    if let Some(path) = args.prover_input_info_json {
-        let prover_input_info = cairo_runner.get_prover_input_info()?;
-        let json = prover_input_info.serialize_json()?;
-        std::fs::write(path, json)?;
-    }
-
     if let Some(file_path) = args.air_public_input {
         let json = cairo_runner.get_air_public_input()?.serialize_json()?;
         std::fs::write(file_path, json)?;
@@ -382,7 +359,6 @@ mod tests {
         #[values(false, true)] air_public_input: bool,
         #[values(false, true)] air_private_input: bool,
         #[values(false, true)] cairo_pie_output: bool,
-        #[values(false, true)] prover_input_info: bool,
     ) {
         let mut args = vec!["cairo-vm-cli".to_string()];
         if let Some(layout) = layout {
@@ -413,15 +389,11 @@ mod tests {
         if print_output {
             args.extend_from_slice(&["--print_output".to_string()]);
         }
-        if prover_input_info {
-            args.extend_from_slice(&["--prover_input_info".to_string(), "/dev/null".to_string()]);
-        }
 
         args.push("../cairo_programs/proof_programs/fibonacci.json".to_string());
         if air_public_input && !proof_mode
             || (air_private_input && (!proof_mode || !trace_file || !memory_file))
             || cairo_pie_output && proof_mode
-            || prover_input_info && !proof_mode
         {
             assert_matches!(run(args.into_iter()), Err(_));
         } else {

vm/src/lib.rs

@@ -60,7 +60,6 @@ pub mod cairo_run;
 pub mod hint_processor;
 pub mod math_utils;
 pub mod program_hash;
-pub mod prover_input_info;
 pub mod serde;
 pub mod typed_operations;
 pub mod types;