mirror of
https://github.com/zama-ai/tfhe-rs.git
synced 2026-01-09 22:57:59 -05:00
6f77bea5e0
- proof function takes an additional u8 slice which is hashed in the proof the verification cannot happen without the same metadata being provided again
32 lines
1.0 KiB
TOML
32 lines
1.0 KiB
TOML
[package]
|
|
name = "tfhe-zk-pok"
|
|
version = "0.3.0-alpha.0"
|
|
edition = "2021"
|
|
keywords = ["zero", "knowledge", "proof", "vector-commitments"]
|
|
homepage = "https://zama.ai/"
|
|
documentation = "https://docs.zama.ai/tfhe-rs"
|
|
repository = "https://github.com/zama-ai/tfhe-rs"
|
|
license = "BSD-3-Clause-Clear"
|
|
description = "tfhe-zk-pok: An implementation of zero-knowledge proofs of encryption for TFHE."
|
|
|
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
|
|
|
[dependencies]
|
|
ark-bls12-381 = { package = "tfhe-ark-bls12-381", version = "0.4.0" }
|
|
ark-ec = { package = "tfhe-ark-ec", version = "0.4.2", features = ["parallel"] }
|
|
ark-ff = { package = "tfhe-ark-ff", version = "0.4.3", features = ["parallel"] }
|
|
ark-poly = { package = "tfhe-ark-poly", version = "0.4.2", features = [
|
|
"parallel",
|
|
] }
|
|
ark-serialize = { version = "0.4.2" }
|
|
rand = "0.8.5"
|
|
rayon = "1.8.0"
|
|
sha3 = "0.10.8"
|
|
serde = { version = "~1.0", features = ["derive"] }
|
|
zeroize = "1.7.0"
|
|
num-bigint = "0.4.5"
|
|
|
|
[dev-dependencies]
|
|
serde_json = "~1.0"
|
|
itertools = "0.11.0"
|