EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).
Latest commits.
Builders behind this project.
