În Python sunt utilizate funcții criptografice cu dovada matematică a fiabilității.
A fost anunțată finalizarea cu succes a inițiativei de înlocuire în Python a implementărilor algoritmilor criptografici, oferite în modulele hashlib și hmac, cu opțiuni cu dovadă matematică a fiabilității, pregătite de proiectul „HACL*”. Lucrările pentru trecerea la funcții cu dovadă matematică a fiabilității au început în 2022 și au fost inițiate după identificarea unei probleme de depășire a buffer-ului în implementarea algoritmului SHA3, utilizată în modulul Python hashlib. […]
