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"]}
32
33[features]
34default = ["parallel"]
35
36parallel = [ 
37    "ark-std/parallel", 
38    "ark-ff/parallel",  
39    "ark-poly/parallel", 
40    ]
41
42
43[[example]]
44name = "full_flow"
45path = "../examples/full_flow.rs"
46# required-features = ["light-test"]