print cairo_runner and prover_input size.

Author: ormarx-starkware

.github/workflows/upload_artifacts_workflow.yml

@@ -3,7 +3,7 @@ name: Upload-Artifacts
 on:
   push:
     branches:
-      - main
+      - or/print_cairo_runner_prover_input_size
 
 jobs:
   artifacts-push:

crates/cairo-program-runner-lib/src/hints/load_cairo_pie.rs

@@ -294,6 +294,7 @@ fn relocate_cairo_pie_memory(
 
         vm.insert_value(relocated_address, relocated_value)?;
     }
+    tracing::info!("cairo pie memory relocated memory: {} bytes", std::mem::size_of_val(&vm.segments.memory));
     Ok(())
 }
 

crates/vm_runner/src/main.rs

@@ -91,7 +91,15 @@ fn run() -> Result<ProverInput, Error> {
     };
 
     let cairo_runner = cairo_run_program(&program, program_input_contents, cairo_run_config)?;
+    log::info!("cairo_runner memory: {} bytes", std::mem::size_of_val(&cairo_runner));
+    log::info!("cairo_runner.vm memory: {} bytes", std::mem::size_of_val(&cairo_runner.vm));
+    log::info!("cairo_runner.get_program() memory: {} bytes", std::mem::size_of_val(cairo_runner.get_program()));
+    log::info!("cairo_runner.exec_scopes memory: {} bytes", std::mem::size_of_val(&cairo_runner.exec_scopes));
+    log::info!("cairo_runner.relocated_trace memory: {} bytes", std::mem::size_of_val(&cairo_runner.relocated_trace));
+    log::info!("cairo_runner.vm.segments.public_memory_offsets memory: {} bytes", std::mem::size_of_val(&cairo_runner.vm.segments.public_memory_offsets));
+
     let prover_input = adapt(&cairo_runner)?;
+    log::info!("prover_input memory: {} bytes", std::mem::size_of_val(&prover_input));
 
     if let Some(prover_input_path) = args.output_prover_input_path {
         std::fs::write(prover_input_path, serde_json::to_string(&prover_input)?)?;