Skip to content

Commit f4e8fbb

Browse files
add save_debug_data to stwo_run_and_prove
1 parent dfdfac4 commit f4e8fbb

File tree

5 files changed

+803
-65
lines changed

5 files changed

+803
-65
lines changed

Cargo.toml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ resolver = "2"
1010
[workspace.dependencies]
1111
anyhow = "1.0.98"
1212
bincode = { version = "2.0.1", features = ["serde"] }
13-
cairo-air = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "6b45dd698a31d76c43f1e400cdb7ed8c23f97157" }
13+
cairo-air = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "566f5a78a83a32f51a20c32f70027791be9d3693" }
1414
cairo-lang-executable = "=2.14.1-dev.0"
1515
cairo-lang-runner = "=2.14.1-dev.0"
1616
cairo-lang-casm = "=2.14.1-dev.0"
@@ -34,10 +34,10 @@ sonic-rs = "0.3.17"
3434
starknet-crypto = "=0.8.1"
3535
starknet-ff = "0.3.7"
3636
starknet-types-core = "=0.2.4"
37-
stwo_cairo_utils = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "6b45dd698a31d76c43f1e400cdb7ed8c23f97157" }
38-
stwo-cairo-adapter = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "6b45dd698a31d76c43f1e400cdb7ed8c23f97157" }
39-
stwo_cairo_prover = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "6b45dd698a31d76c43f1e400cdb7ed8c23f97157" }
40-
stwo-cairo-serialize = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "6b45dd698a31d76c43f1e400cdb7ed8c23f97157" }
37+
stwo_cairo_utils = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "566f5a78a83a32f51a20c32f70027791be9d3693" }
38+
stwo-cairo-adapter = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "566f5a78a83a32f51a20c32f70027791be9d3693" }
39+
stwo_cairo_prover = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "566f5a78a83a32f51a20c32f70027791be9d3693" }
40+
stwo-cairo-serialize = { git = "https://github.com/starkware-libs/stwo-cairo", rev = "566f5a78a83a32f51a20c32f70027791be9d3693" }
4141
tempfile = "3.10.1"
4242
thiserror = "1.0.61"
4343
thiserror-no-std = "2.0.2"

crates/stwo_run_and_prove/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ clap.workspace = true
1212
env_logger.workspace = true
1313
log.workspace = true
1414
serde.workspace = true
15+
serde_json.workspace = true
1516
sonic-rs.workspace = true
1617
starknet-ff.workspace = true
1718
stwo_cairo_prover.workspace = true

crates/stwo_run_and_prove/resources/array_sum_proof renamed to crates/stwo_run_and_prove/resources/expected_array_sum_proof

File renamed without changes.

0 commit comments

Comments
 (0)