Expand description
Verifiable secret sharing, Paillier, Schnorr, and NIZK primitives.
Standalone cryptographic primitives with no dependency on the threshold session framework. Publishable to crates.io independently.
§Audit status
Unaudited. The default API surface (vss, pedersen_vss, schnorr,
nizk, paillier) carries rejection-sampled reductions and paired
rejects-forgery tests, but has had no external cryptographic review.
Experimental modules compile only behind unaudited-experimental.
Modules§
- nizk
- General-purpose NIZK proof system using Fiat-Shamir transform.
- paillier
- Paillier homomorphic encryption.
- pedersen_
range - Pedersen range proof — prove that a Pedersen commitment opens to a value in [0, 2^bits) without revealing it.
- pedersen_
vss - Pedersen VSS — verifiable secret sharing with hiding commitments.
- schnorr
- Schnorr proof of knowledge — non-interactive ZK proof of discrete log.
- vss
- Verifiable Secret Sharing (VSS) — Feldman VSS over P-256.