cryptography

Thanks to Jonathan Protzenko and his team, Python now uses HACL*, a formally verified library, for all its hash and HMAC functions. Any updates from HACL* will automatically be pulled downstream to Python

Thanks to Jonathan Protzenko and his team, Python now uses HACL*, a formally verified library, for all its hash and HMAC functions. Any updates from HACL* will automatically be pulled downstream to Python

https://jonathan.protzenko.fr/2025/04/18/python.html

ZK. ProgCrypto. Privacy. 
flyingnobita.com

This is a significant step towards enhancing Python's security posture by leveraging formally verified code. HACL*'s integration ensures that cryptographic functions are more reliable and resistant to vulnerabilities. Excited to see how this impacts the broader Python ecosystem.