Chore: bump to latest cairo-vm version (#34)

Cargo.toml

@@ -4,7 +4,7 @@ resolver = "2"
 members = ["integration-tests", "madara-prover-common", "madara-prover-rpc-client", "madara-prover-rpc-server", "stone-prover", "test-cases", "test-fixtures", "integration-tests/evm-test"]
 
 [workspace.dependencies]
-cairo-vm = { git = "https://github.com/Moonsong-Labs/cairo-vm", rev = "b2f69d230416129a84ad8237ccc13d088992f74b", features=["extensive_hints"] }
+cairo-vm = { git = "https://github.com/Moonsong-Labs/cairo-vm", rev = "e0a4653aa5634664a3f792b38715a572e9f89b44", features = ["extensive_hints"] }
 prost = "0.12.1"
 serde = { version = "1.0.192", features = ["derive"] }
 serde_json = "1.0.108"

madara-prover-rpc-server/src/cairo.rs

@@ -95,6 +95,7 @@ pub fn run_in_proof_mode(
         proof_mode,
         secure_run: None,
         disable_trace_padding: false,
+        allow_missing_builtins: None,
     };
 
     let mut hint_processor = BuiltinHintProcessor::new_empty();

madara-prover-rpc-server/src/services/starknet_prover.rs

@@ -50,6 +50,8 @@ pub fn cairo_run(
         .secure_run
         .unwrap_or(!cairo_run_config.proof_mode);
 
+    let allow_missing_builtins = cairo_run_config.allow_missing_builtins.unwrap_or(false);
+
     let mut cairo_runner = CairoRunner::new(
         program,
         cairo_run_config.layout,
@@ -60,7 +62,7 @@ pub fn cairo_run(
     }
 
     let mut vm = VirtualMachine::new(cairo_run_config.trace_enabled);
-    let end = cairo_runner.initialize(&mut vm)?;
+    let end = cairo_runner.initialize(&mut vm, allow_missing_builtins)?;
     // check step calculation
 
     cairo_runner
@@ -134,6 +136,7 @@ pub fn run_bootloader_in_proof_mode(
         proof_mode,
         secure_run: None,
         disable_trace_padding: false,
+        allow_missing_builtins: None,
     };
 
     let n_tasks = tasks.len();