proving-utils/Cargo.toml at a44db8cb41ab781b573c7342fbe805064a2270bb · starkware-libs/proving-utils · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
[workspace]
members = [
    "crates/cairo-program-runner",
    "crates/cairo-program-runner-lib",
    "crates/stwo_run_and_prove",
    "crates/vm_runner",
    "crates/privacy_prove",
    "crates/privacy_circuit_verify",
]
resolver = "2"

[workspace.package]
version = "1.2.2"
edition = "2024"
license = "Apache-2.0"
repository = "https://github.com/starkware-libs/proving-utils"

[workspace.dependencies]
anyhow = "1.0.98"
bincode = { version = "2.0.1", features = ["serde"] }
clap = { version = "4.3.10", features = ["derive"] }
ctor = "0.2"
env_logger = "0.11.3"
itertools = { version = "0.12", default-features = false, features = [
    "use_alloc",
] }
log = "0.4.21"
num-bigint = "0.4"
num-traits = "0.2.19"
regex = "1.11.1"
serde = { version = "1.0.219", features = ["derive"] }
serde_json = "1.0.142"
sonic-rs = "0.3.17"
starknet-crypto = "=0.8.1"
starknet-ff = "0.3.7"
starknet-types-core = "=0.2.4"
tempfile = "3.10.1"
thiserror = "1.0.61"
zstd = "0.13"
thiserror-no-std = "2.0.2"
tracing = "0.1.40"
tracing-subscriber = { version = "0.3", features = ["env-filter"] }
mockall = "0.13.1"
rstest = "0.21"
expect-test = "1.4"

# cairo-vm
cairo-vm = { version = "=3.2.0", features = [
    "extensive_hints",
    "mod_builtin",
    "clap",
] }

# cairo-lang
cairo-lang-executable = "2.17.0-rc.4"
cairo-lang-runner = "2.17.0-rc.4"
cairo-lang-casm = "2.17.0-rc.4"
cairo-lang-execute-utils = "2.17.0-rc.4"

# stwo cairo
cairo-air = "1.2.2"
stwo-cairo-utils = "1.2.2"
stwo-cairo-adapter = "1.2.2"
stwo-cairo-prover = "1.2.2"
stwo-cairo-serialize = "1.2.2"
stwo-cairo-common = "1.2.2"


# local crates
cairo-program-runner-lib = { path = "crates/cairo-program-runner-lib", version = "1.0.0" }
privacy-circuit-verify = { path = "crates/privacy_circuit_verify", version = "1.0.0" }


# Optimize witness generation and FFTs. This is usually enough to run the tests without stack overflows,
# while maintaining a reasonable compile time.
# In the cases where it's not enough, try to manually increase the stack size,
# See cairo-ci.yaml for an example command.
[profile.witness-opt-1]
inherits = "dev"
package = { "stwo-cairo-prover" = { opt-level = 1 }, "stwo" = { opt-level = 1 }, "circuit-prover" = { opt-level = 1 }, "privacy-prove" = { opt-level = 1 } }

[profile.samply]
inherits = "release"
debug = true