Project Everest: EverCrypt - Formally Verified Crypto Toolset

grarpamp grarpamp at gmail.com
Sat Apr 6 02:50:54 PDT 2019


https://www.quantamagazine.org/how-the-evercrypt-library-creates-hacker-proof-cryptography-20190402/
https://www.reddit.com/r/tezos/comments/8hrsz2/tezos_switches_cryptographic_libraries_from/
https://github.com/project-everest/hacl-star/blob/fstar-master/README.EverCrypt.md
https://project-everest.github.io/


More information about the cypherpunks mailing list