Dependency-Aware ROM/CBD Correctness Bounds for ML-KEM-768 at the Heuristic Failure Scale

في العالم الرقمي، تعتمد الحماية غالباً على مشكلات رياضية يسهل استخدامها في اتجاه واحد ولكن يصعب للغاية عكسها دون امتلاك المعلومات السرية الصحيحة. ويعد ML-KEM آلية لتأسيس المفاتيح لما بعد الكم، صُممت لتبقى آمنة حتى ضد الحواسيب الكمومية المستقبلية. ومثل الأنظمة التشفيرية الأخرى القائمة على الشبكات (lattice-based)، فإنه ينطوي على احتمالية ضئيلة للغاية لما يسمى بفشل فك التشفير النزيه (honest decapsulation failure)؛ فبينما يتصرف الطرفان بشكل صحيح، يمكن للجانبين من الناحية النظرية استخلاص مفاتيح مختلفة. ويعد تقدير مدى ندرة حدوث ذلك سؤالاً هاماً يتعلق بصحة النظام. وقد اعتمدت التحليلات السابقة إلى حد كبير على تقديرات تقريبية (heuristic) لمقياس الفشل، بينما يعد الحصول على حد صارم (rigorous bound) يحافظ على التبعيات الرياضية ذات الصلة بين مصطلحات الخطأ المختلفة أمراً أكثر صعوبة بكثير.

تتناول دراسة جديدة أجراها أوريلي دورييه وكريستوف توماسيني هذه المشكلة من خلال تطوير تحليل رياضي صارم لنظام ML-KEM-768 ضمن تجريد محدد ومثالي للدوال العشوائية والحدود الثنائية المركزية (ROM/CBD). هذا العمل ليس محاكاة ولا يحاول حساب معدل الفشل الدقيق؛ بدلاً من ذلك، استخلص المؤلفون حداً أقصى معتمداً (certified upper bound) لاحتمالية فشل فك التشفير النزيه مع الحفاظ على التبعيات المهمة بين مصطلحات الخطأ المختلفة. وبشكل خاص، يتتبع التحليل التبعيات الناتجة عن المصفوفة العامة وعن مصطلحي ضغط النص المشفر، بدلاً من مجرد معاملتها كعناصر مستقلة. والحد الأقصى المعتمد الناتج هو أصغر من واحد في 2 مرفوعة للقوة 164.81.

هذا الاكتشاف مهم لأنه يستبدل تقدير مقياس الفشل التقريبي، ضمن النموذج المحدد المدروس، بحد أقصى معتمد يأخذ في الاعتبار التبعيات. لا يفترض التحليل ببساطة أن الأخطاء ذات الصلة مستقلة عن بعضها البعض، بل يحافظ على التبعيات الرياضية التي تنشأ بينها. ويصل الحد المعتمد إلى نفس مقياس التقديرات التقريبية السابقة تقريباً، ولكن لا ينبغي تفسير ذلك على أنه إثبات بأن تلك التقديرات هي احتمالية الفشل الدقيقة. والنتيجة أكثر تحديداً: ضمن تجريد ROM/CBD المدروس في الورقة، يتم تقييد احتمالية فشل فك التشفير النزيه بصرامة من الأعلى بقيمة صغيرة للغاية. كما توضح الورقة أن هذا ليس معدل فشل دقيق في فك التشفير، وليس بياناً نظرياً للمعلومات حول تنفيذ SHAKE الثابت لـ FIPS 203.

تطلب العمل نهجاً مختلفاً للمشكلة. يمكن أن تصبح التحليلات التقريبية المبسطة أسهل بكثير إذا عوملت بعض مصطلحات الخطأ كعناصر مستقلة، ولكن البنية الجبرية الفعلية تخلق تبعيات يجب أن يحافظ عليها التحليل الصارم. لذلك، طور المؤلفون طريقة تتبع هذه التبعيات عبر العملية الحسابية بدلاً من التخلص منها. كما استخدمت عملية البحث منهجية مدعومة بالذكاء الاصطناعي لاستكشاف النهج المرشحة، وتحديد الحالات الحرجة، وهيكلة التحليل. وقد تم دمج هذا الاستخدام الاستكشافي للذكاء الاصطناعي مع فحوصات شاملة يتم التحقق منها حاسوبياً، وحسابات دقيقة أو معتمدة، وعمليات حسابية يمكن التحقق منها بشكل مستقل لإغلاق أصعب أجزاء الحجة. وبالتالي، تستند الادعاءات الرياضية النهائية إلى أدلة صريحة وقابلة لإعادة الإنتاج بدلاً من الاعتماد على مخرجات الذاء الاصطناعي نفسها.

النتيجة هي حد معتمد للصحة ضمن التجريد المذكور، يتسم بالصرامة والشفافية. وقد أتاح الباحثون أكوادهم وبياناتهم والمواد الداعمة لهم لكي يتمكن أي شخص من التحقق من الحسابات بشكل مستقل. هذا المستوى من قابلية إعادة الإنتاج أمر بالغ الأهمية في علم التشفير، حيث يجب أن تكون الادعاءات الرياضية مفتوحة للتحقق المستقل. وتظهر الدراسة أنه، ضمن تجريد ROM/CBD المحدد، يتم تقييد احتمالية فشل فك التشفير النزيه عند مستوى ضئيل للغاية. ومع ذلك، لا ينبغي تفسير ذلك كشهادة عامة على سلامة ML-KEM-768، أو كإثبات لجميع الخصائص الأمنية للمخطط المعياري، أو كبيان يغطي كل تنفيذ للأجهزة أو البرامج.

يمثل هذا الإنجاز تقدماً في الفهم الصارم لجانب محدد من صحة ML-KEM-768، من خلال الانتقال من تقدير مقياس الفشل التقريبي إلى حد أقصى معتمد يأخذ في الاعتبار التبعيات ضمن تجريد محدد بوضوح. ويظهر العمل أنه يمكن وضع حد عند المقياس التقريبي مع الحفاظ في الوقت نفسه على التبعيات المهمة بين مصطلحات الخطأ ذات الصلة. الرقم 164.81 هو الأس المعتمد لهذا الحد الأقصى: فضمن تجريد ROM/CBD المذكور، يتم تقييد احتمالية فشل فك التشفير النزيه من الأعلى بـ 2 مرفوعة للقوة -164.81. وبالتالي، يجب فهم هذا الرقم كخاصية دقيقة للحد المعتمد المثبت في الورقة، وليس كمقياس عام لسلامة أو أمن ML-KEM-768 ككل.

كما حرص الباحثون على شرح حدود عملهم. فقد أشاروا إلى أن برهانهم ينطبق على تجريد محدد للنظام، وليس بالضرورة على كل تنفيذ ممكن للبرمجيات. لم يدعوا إلى حل المشكلة لجميع تنويعات معيار التشفيد، ولم يشيروا إلى أن النظام محصن ضد جميع أنواع الهجمات. كان تركيزهم ينصب حصرياً على صحة عملية فك التشفير في ظل الظروف الطبيعية. ومن خلال الوضوح بشأن ما أثبتوه وما لم يثبتوه، ضمنوا عدم إساءة تفسير نتائجهم. وتقف الدراسة كشهادة على قوة التحليل الدقيق والمفصل في مجال يمكن أن تكون فيه الأخطاء الصغيرة ذات عواقب وخيمة. وهي تظهر أنه مع وجود القدر الكافي من الصرامة والأدوات المناسبة، يمكن فهم الأنظمة الرياضية الأكثر تعقيداً والتحقق منها.

في النهاية، تقدم الورقة نتيجة دقيقة ومحددة النطاق بعناية: فضمن تجريد ROM/CBD المذكور، يتم تقييد احتمالية فشل فك التشفير النزيه بصرامة من الأعلى بـ 2 مرفوعة للقوة -164.81. هذا حد أقصى معتمد صغير للغاية، ولكنه ليس معدل فشل دقيق، وليس إثباتاً شاملاً بأن نظام ML-KEM-768 الكامل يعمل دون فشل في ظل كل الظروف الواقعية. تكمن المساهمة في استبدال تقدير مقياس الفشل التقريبي بحد معتمد يأخذ في الاعتبار التبعيات، وقابل لإعادة الإنتاج، ويمكن التحقق منه بشكل مستقل داخل نموذج محدد بوضوح. وتأتي قوته ليس من ادعاء اليقين خارج ذلك النموذج، بل من كونه صريحاً بشأن ما تم إثباته وما يظل خارج نطاق النتيجة.