Add optional prover parameters file path to the adapted stwo CLI

starkware-libs · Jan 29, 2025 · 72a9c3f · 72a9c3f
1 parent 68a4652
commit 72a9c3f
Show file tree

Hide file tree

Showing 18 changed files with 1,287 additions and 257 deletions.
diff --git a/stwo_cairo_prover/Cargo.lock b/stwo_cairo_prover/Cargo.lock
diff --git a/stwo_cairo_prover/Cargo.toml b/stwo_cairo_prover/Cargo.toml
@@ -36,7 +36,7 @@ serde_json = "1.0.1"
 stwo_cairo_prover = { path = "crates/prover", version = "~0.1.0" }
 stwo_cairo_utils = { path = "crates/utils", version = "~0.1.0" }
 # TODO(ShaharS): take stwo version from the source repository.
-stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "90b3e55", features = [
+stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "678d4a7", features = [
     "parallel",
 ], default-features = false }
 thiserror = { version = "2.0.10", default-features = false }

diff --git a/stwo_cairo_prover/crates/adapted_prover/Cargo.toml b/stwo_cairo_prover/crates/adapted_prover/Cargo.toml
@@ -12,3 +12,4 @@ stwo_cairo_utils.workspace = true
 stwo-prover.workspace = true
 thiserror.workspace = true
 tracing.workspace = true
+serde.workspace = true