Python, 공식적으로 검증된 암호화 라이브러리 HACL* 통합

2년 반의 작업 끝에 Python은 공식적으로 검증된 암호화 라이브러리 HACL*을 해시 및 HMAC 구현에 성공적으로 통합했습니다. 이 업그레이드는 CVE 취약성이 있던 이전 SHA3 구현을 대체하며, Blake2, SHA3, HMAC 등 다양한 알고리즘을 포함하여 Python의 보안을 크게 향상시킵니다. 이 프로젝트는 스트리밍 API 구현 및 빌드 시스템 문제를 극복했으며, 메모리 할당 실패 처리도 구현했습니다. 이는 대규모 실제 프로젝트에서의 형식적 검증의 가능성을 보여줍니다.