3 ms·

EasyCrypt: Computer-Aided Cryptographic Proofs

• yuedongze 4y ago
  Learning curve is real difficult
  • red-iron-pine 4y ago
    of EasyCrypt, or cryptography in general. I can confirm the latter, but not the former.
  • archi42 4y ago
    I haven't used EasyCrypt yet, but for protocol verification I found proverif to be well accessible (mind that was probably a decade ago): https://bblanche.gitlabpages.inria.fr/proverif/ https://bblanche.gitlabpages.inria.fr/proverif/ I'm not really surprised how both are involved with INRIA. They do some amazing work there. PS but they really could add some more comments to the examples. Or a docs folder. But there is https://github.com/EasyCrypt/easycrypt/tree/main/examples/prg-tutorial https://github.com/EasyCrypt/easycrypt/tree/main/examples/pr..., maybe that can help you. (I'm personally also a bit baffled; I know & understand a wide range of cryptography, but not being familiar with coq or at least ocaml makes it hard to grok the other examples I looked at).
• _flux 4y ago
  Does this have any documentation, other than examples? EDIT: I found them from another repo: https://github.com/EasyCrypt/easycrypt-doc https://github.com/EasyCrypt/easycrypt-doc (which was linked from some issue, not from e.g. repository README..)
• webprofusion 4y ago
  Lol, "Easy".