HACL*

其他 1.8k 194 C++ 上架 2026-11-08 在 GitHub 打开

HACL*是一个通过形式化证明的密码学库，保证内存安全、功能正确，用F* 编写，包括现代密码学算法：Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, ...