高度保证的密码库 该存储库包含经过验证的现代密码算法库代码，包括Curve25519，Ed25519，AES-GCM，Chacha20，Poly1305，SHA-2，SHA-3，HMAC和HKDF。 这套算法足以支持完整的NaCl API和多个TLS 1.3密码套件。 所有这些算法的代码都使用验证框架进行了正式验证，以实现内存安全性，功能正确性和秘密独立性（对某些类型的定时辅助通道有抵抗力）。 文档：有关该库和我们的验证方法的更多详细文档，可以在找到。 该存储库中的代码分为三个密切相关的子项