bump stwo-cairo, cairo and cairo-vm versions (#226)

Author: Yael-Starkware

Cargo.toml

@@ -11,30 +11,26 @@ resolver = "2"
 bincode = { version = "2.0.1", features = [
     "serde",
 ] }
-cairo-lang-executable = { git = "https://github.com/starkware-libs/cairo.git", rev = "86eb25173f9d8700adbd2770406d715fbf1bb9f8" }
-cairo-lang-runner = { git = "https://github.com/starkware-libs/cairo.git", rev = "86eb25173f9d8700adbd2770406d715fbf1bb9f8" }
-cairo-lang-casm = { git = "https://github.com/starkware-libs/cairo.git", rev = "86eb25173f9d8700adbd2770406d715fbf1bb9f8" }
-cairo-lang-execute-utils = { git = "https://github.com/starkware-libs/cairo.git", rev = "86eb25173f9d8700adbd2770406d715fbf1bb9f8" }
+cairo-lang-executable = "=2.12.4-dev.1"
+cairo-lang-runner = "=2.12.4-dev.1"
+cairo-lang-casm = "=2.12.4-dev.1"
+cairo-lang-execute-utils = "=2.12.4-dev.1"
 cairo-program-runner-lib = { path = "crates/cairo-program-runner-lib" }
-cairo-vm = { git = "https://github.com/lambdaclass/cairo-vm", rev = "e2c6c91c73cd0bc351721f302390fcc0965c6224", features = [
-    "extensive_hints",
-    "mod_builtin",
-    "clap",
-] }
+cairo-vm = { version = "=3.0.0-rc.3", features = ["extensive_hints", "mod_builtin", "clap"] }
 clap = { version = "4.3.10", features = ["derive"] }
 log = "0.4.21"
 num-bigint = "0.4"
 num-traits = "0.2.19"
 regex = "1.11.1"
 serde = { version = "1.0.219", features = ["derive"] }
 serde_json = "1.0.142"
-starknet-crypto = "0.7.4"
-starknet-types-core = "0.1.2"
-stwo_cairo_utils = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "ff3eacc5938dd7b0139cbef3ff88ca1762198a89" }
-stwo-cairo-adapter = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "ff3eacc5938dd7b0139cbef3ff88ca1762198a89" }
-stwo_cairo_prover = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "ff3eacc5938dd7b0139cbef3ff88ca1762198a89" }
-stwo-cairo-serialize = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "ff3eacc5938dd7b0139cbef3ff88ca1762198a89" }
-cairo-air = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "ff3eacc5938dd7b0139cbef3ff88ca1762198a89" }
+starknet-crypto = "=0.8.1"
+starknet-types-core = "=0.2.0"
+stwo_cairo_utils = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "f57087fe5ce57e6ffe5b9c42e08038f60b3b12f4" }
+stwo-cairo-adapter = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "f57087fe5ce57e6ffe5b9c42e08038f60b3b12f4" }
+stwo_cairo_prover = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "f57087fe5ce57e6ffe5b9c42e08038f60b3b12f4" }
+stwo-cairo-serialize = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "f57087fe5ce57e6ffe5b9c42e08038f60b3b12f4" }
+cairo-air = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "f57087fe5ce57e6ffe5b9c42e08038f60b3b12f4" }
 tempfile = "3.10.1"
 thiserror = "1.0.61"
 thiserror-no-std = "2.0.2"

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

@@ -370,6 +370,7 @@ fn process_program_common_logic(
                             &hint.flow_tracking_data.ap_tracking,
                             &hint.flow_tracking_data.reference_ids,
                             references,
+                            &hint.accessible_scopes,
                         )
                         .map_err(|err| {
                             HintError::CustomHint(format!("{err} for hint: {}", hint.code).into())

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

@@ -493,6 +493,7 @@ impl RunMode {
                 relocate_trace: relocate_mem,
                 layout,
                 proof_mode: true,
+                fill_holes: true,
                 secure_run: None,
                 disable_trace_padding,
                 allow_missing_builtins: None,
@@ -508,6 +509,7 @@ impl RunMode {
                 relocate_trace: false,
                 layout,
                 proof_mode: false,
+                fill_holes: false,
                 secure_run: None,
                 disable_trace_padding: false,
                 allow_missing_builtins: Some(allow_missing_builtins),

crates/cairo-program-runner-lib/src/tasks.rs

@@ -77,18 +77,18 @@ pub fn create_cairo1_program_task(
         .map(|n| BigInt::from_str(&n.to_string()).unwrap())
         .collect();
 
-    let entrypoint = executable
+    executable
         .entrypoints
         .iter()
-        .find(|e| e.kind == EntryPointKind::Bootloader)
+        .find(|e| matches!(e.kind, EntryPointKind::Bootloader))
         .ok_or_else(|| {
             BootloaderTaskError::Cairo1(format!(
                 "{:?} entrypoint not found",
                 EntryPointKind::Bootloader
             ))
         })?;
-
-    let (program, string_to_hint) = program_and_hints_from_executable(&executable, entrypoint)
+    let standalone = false;
+    let (program, string_to_hint) = program_and_hints_from_executable(&executable, standalone)
         .map_err(|e| BootloaderTaskError::Cairo1(format!("Failed to parse executable: {e:?}")))?;
     let user_args = user_args_from_flags(user_args_file.as_ref(), &user_args_list)
         .map_err(|e| BootloaderTaskError::Cairo1(format!("Failed to parse user args: {e:?}")))?;

crates/vm_runner/src/main.rs

@@ -73,6 +73,7 @@ fn run(args: impl Iterator<Item = String>) -> Result<ProverInput, Error> {
         relocate_trace: false,
         layout: args.layout,
         proof_mode: true,
+        fill_holes: true,
         secure_run: None,
         disable_trace_padding: true,
         allow_missing_builtins: None,