Update stwo_cairo_prover rev, use std feature

software-mansion · Feb 6, 2025 · cd0696f · cd0696f
1 parent 19eeba0
commit cd0696f
Show file tree

Hide file tree

Showing 3 changed files with 59 additions and 33 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -77,8 +77,8 @@ cairo-lang-utils = { version = "*", features = ["env_logger"] }
 cairo-language-server = "*"
 cairo-lint-core = "*"
 cairo-vm = "1.0.1"
-stwo_cairo_prover = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "a27287c21e8b7e677b07cc40988c8c145533c55d" }
-stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "af5475cb", features = ["parallel"] }
+stwo_cairo_prover = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "cb1ef057e80e3d4f40891efcaa131c32bd8a6d78", features = ["std"] }
+stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "a194fad", features = ["parallel"] }
 camino = { version = "1", features = ["serde1"] }
 cargo_metadata = ">=0.18"
 clap = { version = "4", features = ["derive", "env", "string"] }

diff --git a/extensions/scarb-prove/src/main.rs b/extensions/scarb-prove/src/main.rs
@@ -110,12 +110,8 @@ fn main_inner(args: Args, ui: Ui) -> Result<()> {
     let (pub_input_path, priv_input_path, proof_path) =
         resolve_paths_from_package(&scarb_target_dir, &package.name, execution_id)?;
 
-    let prover_input = adapt_vm_output(
-        pub_input_path.as_std_path(),
-        priv_input_path.as_std_path(),
-        false,
-    )
-    .context("failed to adapt VM output")?;
+    let prover_input = adapt_vm_output(pub_input_path.as_std_path(), priv_input_path.as_std_path())
+        .context("failed to adapt VM output")?;
 
     let config = ProverConfig::builder()
         .track_relations(args.prover.track_relations)