Update stwo-cario to 4ca3f15

Author: MeidarSharkansky-starkware

.github/workflows/check.yml

@@ -3,7 +3,7 @@ name: check
 on:
   push:
     branches:
-      - main
+      - meidar/update_cairo_vm_80f9e7e
   pull_request:
 
 jobs:
@@ -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

@@ -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 = "80f9e7edffcc7cbb905fd3cfe4e1352ec09c9140" }
+stwo-cairo-adapter = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "80f9e7edffcc7cbb905fd3cfe4e1352ec09c9140" }
 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,7 +73,10 @@ 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 cairo_input = adapter(&mut prover_input_info)?;
 
     let execution_resources = ExecutionResources::from_prover_input(&cairo_input);
     log::info!("Execution resources: {:#?}", execution_resources);

rust-toolchain.toml

@@ -1,2 +1,2 @@
 [toolchain]
-channel = "nightly-2025-04-06"
+channel = "nightly-2025-05-17"