Update stwo-cario to 4ca3f15

Author: MeidarSharkansky-starkware

.github/workflows/check.yml

@@ -52,4 +52,4 @@ jobs:
           cache-on-failure: true
       - run: cargo install cargo-udeps --locked
       #      - run: cargo +nightly udeps --all-targets
-      - run: cargo +nightly-2025-04-06 udeps
+      - run: cargo +nightly-2025-05-17 udeps

.github/workflows/upload_artifacts_workflow.yml

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

Cargo.toml

@@ -7,7 +7,7 @@ members = [
 resolver = "2"
 
 [workspace.dependencies]
-bincode = { version = "2.0.0-rc.3", default-features = false, features = [
+bincode = { version = "2.0.1", features = [
     "serde",
 ] }
 cairo-lang-executable = { git = "https://github.com/starkware-libs/cairo.git", rev = "f6f7c3bf45c9973bf8782d78c84aed6e741c2a2d" }
@@ -29,8 +29,8 @@ serde = { version = "1.0.202", features = ["derive"] }
 serde_json = "1.0.117"
 starknet-crypto = "0.6.2"
 starknet-types-core = "0.1.2"
-stwo_cairo_utils = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "e5fc0d8e20d535adbfd6acd01e8d859c3d8460dc" }
-stwo-cairo-adapter = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "e5fc0d8e20d535adbfd6acd01e8d859c3d8460dc" }
+stwo_cairo_utils = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "4ca3f15db375a0a75501a905b734551fe307e216" }
+stwo-cairo-adapter = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "4ca3f15db375a0a75501a905b734551fe307e216" }
 tempfile = "3.10.1"
 thiserror = "1.0.61"
 thiserror-no-std = "2.0.2"

crates/vm_runner/src/main.rs

@@ -8,7 +8,7 @@ use cairo_vm::types::errors::program_errors::ProgramError;
 use cairo_vm::types::layout_name::LayoutName;
 use cairo_vm::vm::errors::cairo_run_errors::CairoRunError;
 use clap::Parser;
-use stwo_cairo_adapter::adapter::adapt_finished_runner;
+use stwo_cairo_adapter::adapter::adapter;
 use stwo_cairo_adapter::vm_import::VmImportError;
 use stwo_cairo_adapter::{ExecutionResources, ProverInput};
 use stwo_cairo_utils::binary_utils::run_binary;
@@ -73,13 +73,16 @@ fn run(args: impl Iterator<Item = String>) -> Result<ProverInput, Error> {
         dynamic_layout_params: None,
     };
     let cairo_runner = cairo_run_program(&program, program_input_contents, cairo_run_config)?;
-    let cairo_input = adapt_finished_runner(cairo_runner)?;
+    let mut prover_input_info = cairo_runner
+        .get_prover_input_info()
+        .expect("Unable to get prover input info");
+    let prover_input = adapter(&mut prover_input_info)?;
 
-    let execution_resources = ExecutionResources::from_prover_input(&cairo_input);
+    let execution_resources = ExecutionResources::from_prover_input(&prover_input);
     log::info!("Execution resources: {:#?}", execution_resources);
     std::fs::write(
         args.output_execution_resources_path,
         serde_json::to_string(&execution_resources)?,
     )?;
-    Ok(cairo_input)
+    Ok(prover_input)
 }