Pythonが正式に検証された暗号化ライブラリHACL*を統合

2年半の作業を経て、Pythonは正式に検証された暗号化ライブラリHACL*をそのハッシュとHMACの実装に統合することに成功しました。このアップグレードは、CVEの脆弱性があった以前のSHA3の実装を置き換え、Blake2、SHA3、HMACなど様々なアルゴリズムを網羅し、Pythonのセキュリティを大幅に向上させます。このプロジェクトは、ストリーミングAPIの実装とビルドシステムの課題を克服し、メモリ割り当てエラーの処理も実装しました。これは、大規模な現実世界のプロジェクトにおける形式的検証の可能性を示しています。