W Pythonie użyto funkcji kryptograficznych z matematycznym dowodem niezawodności.
Ogłoszono o pomyślnym zakończeniu inicjatywy mającej na celu wymianę w Pythonie implementacji algorytmów kryptograficznych oferowanych w modułach hashlib i hmac na warianty z matematycznym dowodem niezawodności, opracowane przez projekt „HACL*”. Prace nad przejściem na funkcje z matematycznym dowodem niezawodności prowadzono od 2022 roku i zostały zainicjowane po wykryciu przepełnienia bufora w implementacji algorytmu SHA3 stosowanej w module hashlib Pythona. […]
