Content
@
https://warpcast.com/~/channel/cryptography
0 reply
0 recast
0 reaction
Flying Nobita
@flyingnobita
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
0 reply
0 recast
0 reaction
