Published December 24, 2025
| Version v1
Software
Open
chacha20-poly1305-verification
Authors/Creators
Description
本项目包含 ChaCha20 流密码和 Poly1305 消息认证码的形式化验证实现和证明,重点关注两个主要实现:
- OpenSSL 实现验证
- OpenHITLS 实现验证
Files
chacha20-poly1305-verification.zip
Files
(137.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:6c2ae97e9288efaccb6eec5d14815971
|
137.7 kB | Preview Download |
Additional details
Dates
- Available
-
2025-12
Software
- Repository URL
- https://github.com/TACSL/chacha20-poly1305-verification