1[package]
 2name = "keccak-chain-sonobe"
 3version = "0.1.0"
 4edition = "2021"
 5
 6# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 7
 8[dependencies]
 9ark-groth16 = { version = "^0.5.0" }
10ark-pallas = {version="0.5.0", features=["r1cs"]}
11ark-vesta = {version="0.5.0", features=["r1cs"]}
12ark-bn254 = { version = "0.5.0", features = ["r1cs"] }
13ark-grumpkin = {version="0.5.0", features=["r1cs"]}
14ark-ec = "0.5.0"
15ark-ff = "0.5.0"
16ark-r1cs-std = { version = "0.5.0", default-features = false }
17ark-relations = { version = "0.5.0", default-features = false }
18ark-snark = { version = "^0.5.0", default-features = false }
19ark-poly-commit = "^0.5.0"
20ark-crypto-primitives = { version = "^0.5.0", default-features = false, features = [
21    "r1cs",
22    "sponge",
23    "crh",
24] }
25ark-std = "0.5.0"
26color-eyre = "0.6.2"
27num-bigint = "0.4.3"
28# Note: for testing purposes we use the 'light-test' feature when importing
29# Sonobe's folding-schemes, but for a real-world usage it must be used without
30# this feature (but then the DeciderETH circuit is bigger and takes more time
31# to compute).
32folding-schemes = { git = "https://github.com/privacy-scaling-explorations/sonobe", package = "folding-schemes", features=["light-test"]}
33folding-schemes-circom = { git = "https://github.com/privacy-scaling-explorations/sonobe", package = "experimental-frontends", optional=true}
34solidity-verifiers = { git = "https://github.com/privacy-scaling-explorations/sonobe", package = "solidity-verifiers"}
35serde = "1.0.198"
36serde_json = "1.0.116"
37tiny-keccak = { version = "2.0", features = ["keccak"] }
38
39rand = "0.8.5"
40
41
42
43[dev-dependencies]
44
45[features]
46default = []
47experimental-frontends = ["dep:folding-schemes-circom"]