Crate generic_ec_zkp

Zero-Knowledge Proofs

The crate provides ZK-proofs and primitives built on top of generic-ec crate.

Modules

dlog_eq

Knowledge of equality of two discrete logarithms $\Pi^\text{dlog_eq}$

polynomial

Provides polynomial primitive, typically used in secret sharing and threshold DKG

schnorr_pok

Schnorr Proof of Knowledge $\Pi^\text{sch}$