forked from HorizenOfficial/ginger-lib
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Cargo.toml
108 lines (92 loc) · 3.41 KB
/
Cargo.toml
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
[package]
name = "proof-systems"
version = "0.4.0"
authors = [
"Sean Bowe",
"Alessandro Chiesa",
"Matthew Green",
"Ian Miers",
"Pratyush Mishra",
"Howard Wu",
"Daniele Di Benedetto <[email protected]>",
"Marcelo Kaihara",
"Ulrich Haboeck <[email protected]>",
"Maksym Vereshchak <[email protected]>",
"Luigi Varriale <[email protected]>",
"cronicc <[email protected]>",
"Luca Giussani <[email protected]>",
"Daniele Di Tullio <[email protected]>",
"Nicholas Mainardi <[email protected]>"
]
description = "A library of zk proof systems"
include = ["Cargo.toml", "src", "README.md", "LICENSE-APACHE", "LICENSE-MIT"]
license = "MIT/Apache-2.0"
edition = "2018"
################################# Dependencies ################################
[dependencies]
algebra = { git = "https://github.com/HorizenOfficial/ginger-lib", tag = "0.4.0", features = [ "parallel", "fft"] }
r1cs-core = { git = "https://github.com/HorizenOfficial/ginger-lib", tag = "0.4.0" }
bench-utils = { path = "../bench-utils" }
marlin = { git = "https://github.com/HorizenLabs/marlin", tag = "0.2.2", optional = true }
poly-commit = { git = "https://github.com/HorizenLabs/poly-commit", tag = "0.2.2", optional = true }
r1cs-std = { path = "../r1cs/gadgets/std", optional = true }
rand = { version = "=0.8.4" }
rayon = { version = "=1.5.1" }
smallvec = { version = "=1.7.0" }
byteorder = { version = "=1.4.3" }
digest = { version = "=0.8.1", optional = true }
serde = { version = "=1.0.130", features = ["derive"]}
derivative = { version = "=2.2.0", optional = true }
[dev-dependencies]
csv = { version = "=1.1.6" }
criterion = "=0.3.5"
rand_xorshift = { version = "=0.3.0" }
blake2 = { version = "=0.8.1", default-features = false }
algebra = { git = "https://github.com/HorizenOfficial/ginger-lib", tag = "0.4.0", features = ["full", "parallel", "fft"] }
r1cs-crypto = { path = "../r1cs/gadgets/crypto", features = ["nizk"] }
[features]
print-trace = [ "bench-utils/print-trace" ]
groth16 = []
gm17 = []
darlin = ["marlin", "poly-commit", "digest", "derivative", "r1cs-std"]
llvm_asm = ["algebra/llvm_asm"]
[[example]]
name = "groth16"
path = "src/groth16/examples/snark-scalability/groth16.rs"
required-features = ["groth16", "algebra/bls12_377"]
[[example]]
name = "groth16-recursive"
path = "src/groth16/examples/recursive-snark/groth16.rs"
required-features = ["groth16", "r1cs-std/mnt4_753", "r1cs-std/mnt6_753"]
[[example]]
name = "gm17"
path = "src/gm17/examples/snark-scalability/gm17.rs"
required-features = ["gm17", "algebra/bls12_377"]
[[example]]
name = "gm17-recursive"
path = "src/gm17/examples/recursive-snark/gm17.rs"
required-features = ["gm17", "r1cs-std/mnt4_753", "r1cs-std/mnt6_753" ]
[[bench]]
name = "gro16_bench"
path = "src/groth16/benches/gro16_bench.rs"
harness = false
required-features = ["groth16", "algebra/bn_382", "r1cs-std"]
[[bench]]
name = "bn382_gro16_test_circuits"
path = "src/groth16/benches/bn382_gro16_test_circuits.rs"
harness = false
required-features = ["groth16", "algebra/bn_382", "r1cs-std"]
[[bench]]
name = "darlin_batch_verification_bench"
path = "src/darlin/benches/batch_verification.rs"
harness = false
required-features = [
"darlin", "llvm_asm", "algebra/tweedle",
]
[[bench]]
name = "darlin_accumulate_verify_bench"
path = "src/darlin/benches/accumulate_verify.rs"
harness = false
required-features = [
"darlin", "llvm_asm", "algebra/tweedle",
]