[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Project Everest: EverCrypt - Formally Verified Crypto Toolset
- Subject: Project Everest: EverCrypt - Formally Verified Crypto Toolset
- From: grarpamp at gmail.com (grarpamp)
- Date: Sat, 6 Apr 2019 05:50:54 -0400
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/