【文件属性】：
文件名称：hacl-star：HACL *，以F *编写的经过正式验证的密码库
文件大小：11.04MB
文件格式：ZIP
更新时间：2021-02-05 16:28:56
security cryptography high-performance verification formal-methods
高度保证的密码库
该存储库包含经过验证的现代密码算法库代码，包括Curve25519，Ed25519，AES-GCM，Chacha20，Poly1305，SHA-2，SHA-3，HMAC和HKDF。 这套算法足以支持完整的NaCl API和多个TLS 1.3密码套件。 所有这些算法的代码都使用验证框架进行了正式验证，以实现内存安全性，功能正确性和秘密独立性（对某些类型的定时辅助通道有抵抗力）。
文档：有关该库和我们的验证方法的更多详细文档，可以在找到。
该存储库中的代码分为三个密切相关的子项目，所有这些一部分。
HACL *
是经过正式验证的现代加密算法库，使用的子集Low *编写，并使