Des fonctions cryptographiques avec preuve mathématique de fiabilité ont été mises en œuvre en Python.
L'initiative de remplacement dans Python des implémentations des algorithmes cryptographiques proposées dans les modules hashlib et hmac, par des versions avec preuve mathématique de fiabilité, préparées par le projet « HACL* », a été déclarée réussie. Le travail de transition vers des fonctions avec preuve mathématique de fiabilité a débuté en 2022 et a été initié après la découverte d'un débordement de tampon dans l'implémentation de l'algorithme SHA3, utilisé dans le module Python hashlib. […]
