1[package]
 2name = "solidity-verifiers"
 3version = "0.1.0"
 4edition = "2021"
 5
 6[dependencies]
 7ark-ec = "0.4"
 8ark-ff = "0.4"
 9ark-poly = "0.4"
10ark-std = "0.4"
11ark-groth16 = "0.4"
12askama = { version = "0.12.0", features = ["config"], default-features = false }
13ark-bn254 = "0.4.0"
14ark-poly-commit = "0.4.0"
15itertools = "0.12.1"
16ark-serialize = "0.4.1"
17revm = {version="3.5.0", default-features=false, features=["std"]}
18rust-crypto = "0.2"
19num-bigint = "0.4.3"
20folding-schemes = { path = "../folding-schemes/"} # without 'light-test' enabled
21
22[dev-dependencies]
23ark-crypto-primitives = "0.4.0"
24ark-r1cs-std = "0.4.0"
25ark-relations = "0.4.0"
26tracing = { version = "0.1", default-features = false, features = [ "attributes" ] }
27tracing-subscriber = { version = "0.2" }
28ark-bn254 = {version="0.4.0", features=["r1cs"]}
29ark-grumpkin = {version="0.4.0", features=["r1cs"]}
30rand = "0.8.5"
31folding-schemes = { path = "../folding-schemes/", features=["light-test"]}
32frontends = { path = "../frontends/"}
33noname = { git = "https://github.com/dmpierre/noname" }
34
35[features]
36default = ["parallel"]
37
38parallel = [ 
39    "ark-std/parallel", 
40    "ark-ff/parallel",  
41    "ark-poly/parallel", 
42    ]
43
44
45[[example]]
46name = "full_flow"
47path = "../examples/full_flow.rs"
48
49[[example]]
50name = "circom_full_flow"
51path = "../examples/circom_full_flow.rs"
52
53[[example]]
54name = "noname_full_flow"
55path = "../examples/noname_full_flow.rs"
56
57[[example]]
58name = "noir_full_flow"
59path = "../examples/noir_full_flow.rs"
60