proof-systems/Cargo.toml at master · querolita/proof-systems · 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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
[workspace]
members = [
  "arrabbiata",
  "crates/*",
  "curves",
  "groupmap",
  "hasher",
  "internal-tracing",
  "kimchi",
  "kimchi-stubs",
  "msm",
  "mvpoly",
  "o1vm",
  "plonk-wasm",
  "poly-commitment",
  "poseidon",
  "poseidon/export_test_vectors",
  "signer",
  "tools/kimchi-visu",
  "turshi",
  "utils",
  "xtask",
]
resolver = "2"

[workspace.package]
version = "0.3.0"
edition = "2021"
license = "Apache-2.0"
repository = "https://github.com/o1-labs/proof-systems"
homepage = "https://o1-labs.github.io/proof-systems/"
documentation = "https://o1-labs.github.io/proof-systems/rustdoc/"

[workspace.dependencies]
ark-algebra-test-templates = "0.5"
ark-bn254 = { version = "0.5" }
ark-ec = { version = "0.5", features = ["parallel"] }
ark-ff = { version = "0.5", features = ["parallel", "asm"] }
ark-poly = { version = "0.5", features = ["parallel"] }
ark-serialize = "0.5"
ark-std = { version = "0.5", features = ["parallel"] }
ark-test-curves = { version = "0.5", features = ["parallel", "asm"] }
base64 = "0.21.5"
bcs = "0.1.3"
bitvec = "1.0.0"
blake2 = "0.10.0"
bs58 = "0.5.0"
clap = "4.4.6"
command-fds = "0.3"
console_error_panic_hook = { version = "0.1.6" }
criterion = { version = "0.5", features = [
  "cargo_bench_support",
  "html_reports",
] }
elf = "0.7.2"
env_logger = "0.11.1"
getrandom = { version = "0.2.15", features = ["js"] }
hex = { version = "0.4", features = ["serde"] }
iai = "0.1"
itertools = "0.12.1"
js-sys = "=0.3.64"
libc = "=0.2.169"
libflate = "2"
log = "0.4.20"
num-bigint = { version = "0.4.6", features = ["rand", "serde"] }
num-integer = "0.1.45"
ocaml = { version = "0.22.2" }
ocaml-gen = { version = "1.0.0" }
once_cell = "=1.21.3"
os_pipe = { version = "1.1.4", features = ["io_safety"] }
paste = "1.0.15"
proptest = "1.0.0"
proptest-derive = "0.4.0"
rand = { version = "0.8.5", features = ["std_rng"] }
rand_chacha = { version = "0.3.0" }
rand_core = { version = "0.6.3" }
rayon = "=1.10.0"
regex = "1.10.2"
rmp-serde = "1.2.0"
rustversion = "1.0"
secp256k1 = "0.28.2"
serde = { version = "1.0.219", features = ["derive", "rc"] }
serde-wasm-bindgen = "0.6.5"
serde_json = "^1.0.109"
serde_with = "3.12"
sha2 = "0.10.0"
sha3 = "0.10.8"
spmc = "=0.3.0"
strum = "0.26.1"
strum_macros = "0.26.1"
thiserror = { version = "2", default-features = false }
tikv-jemalloc-ctl = { version = "0.5" }
tikv-jemallocator = { version = "0.5" }
tinytemplate = "1.1"
wasm-bindgen = "=0.2.89"
wasm-bindgen-test = ">=0.3.0"

arkworks = { path = "crates/arkworks" }
arrabbiata = { path = "./arrabbiata" }
groupmap = { path = "./groupmap" }
internal-tracing = { path = "./internal-tracing" }
kimchi = { path = "./kimchi", features = ["bn254"] }
kimchi-msm = { path = "./msm" }
kimchi-stubs = { path = "./kimchi-stubs" }
kimchi-visu = { path = "./tools/kimchi-visu" }
mina-curves = { path = "./curves", features = ["asm"] }
mina-hasher = { path = "./hasher" }
mina-poseidon = { path = "./poseidon" }
mina-signer = { path = "./signer" }
mvpoly = { path = "./mvpoly" }
o1-utils = { path = "./utils" }
o1vm = { path = "./o1vm" }
optimism = { path = "./optimism" }
plonk_wasm = { path = "./plonk-wasm" }
poly-commitment = { path = "./poly-commitment" }
signer = { path = "./signer" }
turshi = { path = "./turshi" }
utils = { path = "./utils" }
wasm-types = { path = "./crates/wasm-types" }

[profile.release]
lto = true
panic = 'abort'
# codegen-units = 1

[profile.release.package.plonk_wasm]
debug = true