whir/Cargo.toml at main · ocdbytes/whir · 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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
[package]
name = "whir"
version = "0.1.0"
edition = "2021"

default-run = "main"
rust-version = "1.87.0"

[lints.clippy]
# all lints that are on by default (correctness, suspicious, style, complexity, perf)
all = { level = "warn", priority = -1 }

# new lints that are still under development
nursery = { level = "warn", priority = -1 }
# avoid lints that are too pedantic
doc_markdown = "allow"

# lints which are rather strict or have occasional false positives
pedantic = { level = "warn", priority = -1 }
# avoid lints that are too pedantic
must_use_candidate = "allow"
cast_possible_truncation = "allow"
cast_precision_loss = "allow"
missing_errors_doc = "allow"
missing_panics_doc = "allow"
default_trait_access = "allow"
module_name_repetitions = "allow"
missing_safety_doc = "allow"
many_single_char_names = "allow"
should_panic_without_expect = "allow"
suboptimal_flops = "allow"
similar_names = "allow"
redundant_closure_for_method_calls = "allow"

[dependencies]
ark-std = { version = "0.5", features = ["std"] }
ark-ff = { version = "0.5", features = ["asm", "std"] }
ark-serialize = "0.5"
blake3 = { version = "1.5", features = ["digest", "traits-preview"] }
sha3 = { version = "0.10.7", features = ["asm", "oid"] }
clap = { version = "4.4", features = ["derive"] }
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
spongefish = { git = "https://github.com/arkworks-rs/spongefish", features = ["ark-ff"], rev = "fcc277f8a857fdeeadd7cca92ab08de63b1ff1a1"}
rayon = { version = "1.10", optional = true }
tracing = { version = "0.1", features = ["attributes"], optional = true }
hex = "0.4"
static_assertions = "1.1.0"
ciborium = "0.2"
digest = { version = "0.10.7", features = ["oid"] }
sha2 = { version = "0.10.9", features = ["oid", "asm"] }
zerocopy = "0.8.33"
hex-literal = "0.4.1"
const-oid = "0.9.6"
arrayvec = "0.7.6"
derive-where = { version = "1.6.0", features = ["safe"] }
ordered-float = { version = "5.1.0", features = ["serde"] }
thiserror = "2.0"

[dev-dependencies]
proptest = "1.0"
serde_json = "1.0"
divan = { version = "4.2", package = "codspeed-divan-compat" }
tracing-subscriber = { version = "0.3.22", features = ["env-filter"] }

[profile.release]
debug = "line-tables-only"
lto = "fat"

[features]
default = ["parallel"]
# Verifier panics instead of returning errors. Useful for debuging.
verifier_panics = []
parallel = ["dep:rayon"]
rayon = ["dep:rayon"]
asm = ["ark-ff/asm"]
tracing = ["dep:tracing"]
# Do not permute evaluation pointsin RS
# This flag is to be removed after whir_zk supports it.
rs_in_order = []

[[bench]]
name = "expand_from_coeff"
harness = false

[[bench]]
name = "sumcheck"
harness = false

# Disable untill fixed.
# [[bench]]
# name = "zk_whir"
# harness = false

[profile.dev]
debug = 1
opt-level = 1
codegen-units = 16
incremental = true

[profile.samply]
inherits = "release"
lto = "thin" # LTO breaks line attribution.

# Enable a large amount of optimization in the dev profile for dependencies.
[profile.dev.package."*"]
opt-level = 3