Added support for generating & verifying noninteractive zero-knowledge
(NIZK) proofs of knowledge (PoKs) of discrete logarithms over elliptic
curves, based on a Fiat-Shamir transformed interactive zero-knowledge
proof protocol, that's fashioned after the Schnorr identification/
authentication protocol.
NIZK Discrete Log Proof Commitments:
Added support for generating & verifying NIZK PoKs of discrete
logarithms, combined with a cryptographic commitment to the associated
public parameters (namely the ECC point & associated base point/
generator for which the discrete log is being proven).
Specification of a unique session ID and party ID are supported,
making it easier to incorporate this commit-prove functionality into a
multi-party interactive protocol (e.g., for ensuring each party
executes the protocol correctly).
Update README re: new noninteractive ZKPs package:
Updated the README to add an entry under the Functional Existing
Modules section, re: the newly added support for noninteractive zero-
knowledge (NIZK) proofs of knowledge (PoKs) of discrete logarithms, in
the new scriptless_zkp.ecc.zkp package.
NIZK Proof of Knowledge (PoK) of Discrete Log:
NIZK Discrete Log Proof Commitments:
Update README re: new noninteractive ZKPs package:
scriptless_zkp.ecc.zkp
package.GI-7