Expand description
Implementation of the generic Schnorr Sigma Protocol over a Group.
This module defines the SchnorrProof structure, which implements
a Sigma protocol proving different types of discrete logarithm relations (eg. Schnorr, Pedersen’s commitments)
through a group morphism abstraction (see Maurer09).
Structs§
- Schnorr
Proof - A Schnorr protocol proving knowledge of a witness for a linear group relation.