Skip to content

Commit

Permalink
Chore: bump to latest cairo-vm version
Browse files Browse the repository at this point in the history
  • Loading branch information
Olivier Desenfans committed Feb 23, 2024
1 parent 17e0df2 commit 45f9bb9
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 3 deletions.
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
1 change: 1 addition & 0 deletions madara-prover-rpc-server/src/cairo.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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();
Expand Down
7 changes: 5 additions & 2 deletions madara-prover-rpc-server/src/services/starknet_prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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,
Expand All @@ -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
Expand Down Expand Up @@ -113,7 +115,7 @@ fn make_bootloader_tasks(
pie.map(|pie| TaskSpec {
task: Task::Pie(pie),
})
.map_err(BootloaderTaskError::Pie)
.map_err(BootloaderTaskError::Pie)
});

program_tasks.chain(cairo_pie_tasks).collect()
Expand All @@ -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();
Expand Down

0 comments on commit 45f9bb9

Please sign in to comment.