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"]}
32noname = { git = "https://github.com/dmpierre/noname" }
33
34[features]
35default = ["parallel"]
36
37parallel = [ 
38    "ark-std/parallel", 
39    "ark-ff/parallel",  
40    "ark-poly/parallel", 
41    ]
42
43
44[[example]]
45name = "full_flow"
46path = "../examples/full_flow.rs"
47
48[[example]]
49name = "circom_full_flow"
50path = "../examples/circom_full_flow.rs"
51
52[[example]]
53name = "noname_full_flow"
54path = "../examples/noname_full_flow.rs"