Skip to content

Commit

Permalink
parallel add inputs
Browse files Browse the repository at this point in the history
  • Loading branch information
ohad-starkware committed Jan 14, 2025
1 parent fcfec5a commit 3073400
Show file tree
Hide file tree
Showing 28 changed files with 6,296 additions and 8,127 deletions.
6 changes: 3 additions & 3 deletions stwo_cairo_prover/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion stwo_cairo_prover/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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 = "af5475cb", features = [
stwo-prover = { git = "https://github.com/starkware-libs/stwo", rev = "29d124e", features = [
"parallel",
], default-features = false }
thiserror = { version = "2.0.10", default-features = false }
Expand Down
4 changes: 2 additions & 2 deletions stwo_cairo_prover/crates/prover/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@ slow-tests = []

[dependencies]
air_structs_derive = { path = "../air_structs_derive" }
stwo-air-utils-derive = { git = "https://github.com/starkware-libs/stwo", rev = "af5475cb" }
stwo-air-utils = { git = "https://github.com/starkware-libs/stwo", rev = "af5475cb" }
stwo-air-utils-derive = { git = "https://github.com/starkware-libs/stwo", rev = "29d124e" }
stwo-air-utils = { git = "https://github.com/starkware-libs/stwo", rev = "29d124e" }
bytemuck.workspace = true
cairo-lang-casm.workspace = true
cairo-vm.workspace = true
Expand Down
Loading

0 comments on commit 3073400

Please sign in to comment.