/Dlog-zkp

Formalisation of Schnorr Protocol and other proofs (https://www.win.tue.nl/~berry/2WC13/LectureNotes.pdf)

Primary LanguageCoqApache License 2.0Apache-2.0

Stargazers