Zero-Knowledge Proofs of Knowledge of Discrete Logarithms
Support generation & verification of non-interactive zero-knowledge (NIZK) proofs of knowledge (PoKs) of discrete logarithms over elliptic curves.
Use the Fiat-Shamir transform to produce a non-interactive zero-knowledge (NIZK) proof of knowledge (PoK) of discrete logarithm, based on Schnorr's identification/authentication protocol.
Zero-Knowledge Proofs of Knowledge of Discrete Logarithms