Identification scheme

A protocol in which a prover holding a secret key convinces a verifier holding the matching public key of its identity, canonically as a three-message commit-challenge-response sigma protocol such as Schnorr’s proof of knowledge of a discrete logarithm.

TODO: syntax and security definition.