Pinned Loading

1. easycrypt-zk-code easycrypt-zk-code Public

   EasyCrypt formalization of definitions and derivations associated with zero-knowledge (sigma protocols).

   eC 2

2. easycrypt-rewinding easycrypt-rewinding Public

   Reflection, Rewinding, and Coin-Toss in EasyCrypt -- accompanying EasyCrypt code

   eC 2

3. easycrypt-multiple-time-blt-signature easycrypt-multiple-time-blt-signature Public

   Verified Multiple-Time Signature Scheme from One-Time Signatures and Timestamping

   eC

4. comparison-based-non-malleabiltiy-unsat comparison-based-non-malleabiltiy-unsat Public

   EasyCrypt proof of unsatisfiability of comparison-based definition of non-malleability for commitments

   eC

5. agda-noetherianness agda-noetherianness Public

   Variations on Noetherianness

   Agda 1

6. agda-programming-with-finite-sets agda-programming-with-finite-sets Public

   Dependently Typed Programming with Finite Sets

   Agda 2