[package]
name = "proof_system"
version = "0.31.0"
edition.workspace = true
authors.workspace = true
license.workspace = true
repository.workspace = true
description = "Proof system to comprise various cryptographic primitives"

[lib]
doctest = false
path = "src/lib.rs"

[dependencies]
ark-serialize.workspace = true
ark-ff.workspace = true
ark-ec.workspace = true
ark-std.workspace = true
digest.workspace = true
rayon = {workspace = true, optional = true}
serde.workspace = true
serde_with.workspace = true
ark-groth16.workspace = true
ark-r1cs-std.workspace = true
ark-relations.workspace = true
zeroize.workspace = true
itertools.workspace = true
aead = {version = "0.5.2", default-features = false, features = [ "alloc" ]}
chacha20poly1305 = {version = "0.10.1", default-features = false}
bbs_plus = { version = "0.22.0", default-features = false, path = "../bbs_plus" }
schnorr_pok = { version = "0.20.0", default-features = false, path = "../schnorr_pok" }
vb_accumulator = { version = "0.26.0", default-features = false, path = "../vb_accumulator" }
dock_crypto_utils = { version = "0.20.0", default-features = false, path = "../utils" }
saver = { version = "0.18.0", default-features = false, path = "../saver" }
coconut-crypto = { version = "0.11.0", default-features = false, path = "../coconut" }
merlin = { package = "dock_merlin", version = "3.0.0", default-features = false, path = "../merlin" }
legogroth16 = { version = "0.15.0", default-features = false, features = ["circom", "aggregation"], path = "../legogroth16" }
bulletproofs_plus_plus = { version = "0.6.0", default-features = false, path = "../bulletproofs_plus_plus" }
smc_range_proof = { version = "0.6.0", default-features = false, path = "../smc_range_proof" }
short_group_sig = { version = "0.4.0", default-features = false, path = "../short_group_sig" }
kvac = { version = "0.5.0", default-features = false, path = "../kvac" }

[dev-dependencies]
ark-bls12-381.workspace = true
blake2.workspace = true
serde_json = "1.0"
rmp-serde = "1.0"
test_utils = { default-features = false, path = "../test_utils" }

[features]
default = ["parallel"]
std = ["ark-ff/std", "ark-ec/std", "ark-std/std", "ark-serialize/std", "schnorr_pok/std", "dock_crypto_utils/std", "serde/std", "saver/std", "ark-groth16/std", "legogroth16/std", "ark-r1cs-std/std", "ark-relations/std", "merlin/std", "coconut-crypto/std", "bulletproofs_plus_plus/std", "smc_range_proof/std", "short_group_sig/std", "kvac/std"]
print-trace = ["ark-std/print-trace", "schnorr_pok/print-trace", "bbs_plus/print-trace", "vb_accumulator/print-trace", "dock_crypto_utils/print-trace"]
parallel = ["std", "ark-ff/parallel", "ark-ec/parallel", "ark-std/parallel", "rayon", "schnorr_pok/parallel", "bbs_plus/parallel", "vb_accumulator/parallel", "saver/parallel", "ark-groth16/parallel", "legogroth16/parallel", "ark-r1cs-std/parallel", "dock_crypto_utils/parallel", "coconut-crypto/parallel", "bulletproofs_plus_plus/parallel", "smc_range_proof/parallel", "short_group_sig/parallel", "kvac/parallel"]
wasmer-js = ["legogroth16/wasmer-js"]
wasmer-sys = ["legogroth16/wasmer-sys"]