Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
29 September 2022, 21:51:08 UTC
Revision 78e8f6ebf47bf6068da5d4a124e0cc909a12d494 authored by Pierre-Yves Strub on 26 November 2019, 13:30:43 UTC, committed by Pierre-Yves Strub on 26 November 2019, 13:31:58 UTC 
Work of Roberto Metere on Sigma Protocols:
 
  - formalisation of the discrete logarithm assumption
  - formalisation of generic commitment schemes
  - formal verification of the Pedersen commitment scheme
  - formalisation of generic Sigma protocols
  - Sigma Protocol example: the Schnorr proof of knowledge

Co-authored-by: Roberto Metere <r.metere2@ncl.ac.uk>
1 parent add72dc
Raw File
Tip revision: 78e8f6ebf47bf6068da5d4a124e0cc909a12d494 authored by Pierre-Yves Strub on 26 November 2019, 13:30:43 UTC
Work of Roberto Metere on Sigma Protocols:
Tip revision: 78e8f6e
.merlin 
S src
S src/phl
S src/system
S src/why3

B _build/src
B _build/src/phl
B _build/src/system
B _build/src/why3

PKG batteries
PKG menhirLib
PKG why3
PKG zarith
PKG pcre
PKG inifiles
PKG yojson

FLG -rectypes
FLG -w Y -w Z -w -23 -w +28 -w +33
back to top