بايثون تدمج مكتبة التشفير الموثقة رسميًا HACL*

بعد 2.5 سنوات من العمل، نجحت بايثون في دمج مكتبة التشفير الموثقة رسميًا HACL* في تنفيذاتها للهاش وHMAC. تستبدل هذه الترقية تنفيذ SHA3 السابق الذي كان يحتوي على ثغرة أمنية CVE، وتشمل العديد من الخوارزميات بما في ذلك Blake2 وSHA3 وHMAC، مما يحسن بشكل كبير من أمان بايثون. تغلب المشروع على تحديات تنفيذ واجهات برمجة التطبيقات المتدفقة وبناء النظام، كما قام بتنفيذ معالجة أخطاء تخصيص الذاكرة. يُظهر هذا إمكانات التحقق الرسمي في المشاريع واسعة النطاق في العالم الحقيقي.