Structural Dependency Analysis for Masked NTT Hardware: Scalable Pre-Silicon Verification of Post-Quantum Cryptographic Accelerators
تقدم هذه الورقة تسلسلاً هرمياً للتحقق من أربع مراحل قابلًا للتوسع يوسع نطاق تحليل التغطية (masking) من الدرجة الأولى السليم ليشمل مسرعات التشفير لما بعد الكوانتوم على نطاق الإنتاج، مما نجح في تقليص متطلبات المراجعة اليدوية لشريحة ML-KEM/ML-DSA المكونة من 1.17 مليون خلية من مئات الأعلام الهيكلية إلى 165 مرشحاً معتمداً رياضياً.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
تخيل أنك تقوم ببناء خزنة فائقة الأمان لحماية أثمن أسرار العالم من المتسللين المستقبليين "الكميين" (Quantum Hackers). ولجعل هذه الخزنة غير قابلة للاختراق، لا تستخدم قفلًا واحدًا فحسب؛ بل تقسم السر إلى قطعتين (مثل نصفي مفتاح) وتخبئ كل نصف في جزء مختلف من الآلة. يُسمى هذا بـ "القناع" (Masking).
القاعدة الذهبية لهذا النظام بسيطة: يجب ألا يلتقي نصفا المفتاح أبدًا. إذا تلامسا أو اندمجا بالخطأ داخل الآلة، فسيتم كشف السر، وتتحطم حماية الخزنة.
المشكلة: معضلة "إبرة في كومة قش"
الآلة التي نتحدث عنها (تسمى جسر آدمز - Adams Bridge) ضخمة جدًا. فهي تحتوي على أكثر من مليون مفتاح إلكتروني صغير (بوابات).
إن التحقق مما إذا كان نصفا المفتاح سيلتقيان أبدًا يشبه محاولة العثور على إبرة محددة في كومة قش بحجم مدينة كاملة.
- الأدوات القديمة كانت تشبه العدسات المكبرة؛ إذ يمكنها فحص كومة صغيرة من القش (بضعة آلاف من المفاتيح) بدقة مثالية، لكنها ستذوب إذا حاولت استخدامها على مدينة كاملة.
- الفحص اليدوي من قبل الخبراء البشريين مستحيل؛ إذ سيستغرق الأمر عمرًا كاملاً.
- اختبار الآلة الحقيقية (بعد بنائها) هو أمر فات الأوان؛ فإذا تبين أنها معيبة، سيتعين عليك التخلص من الآلة بالكامل والبدء من جديد.
الحل: QANARY (الكناري في منجم الفحم)
بنى المؤلفون أداة جديدة تسمى QANARY. وقد أطلقوا عليها اسم "الكناري" تيمناً بطيور الكناري التي كان يحملها عمال المناجم تحت الأرض. إذا توقف الكناري عن الغناء، يعلم عمال المناجم بوجود غاز سام قبل أن يقتلهم.
QANARY هي أداة كشف "ما قبل السيليكون" (Pre-silicon). فهي تفحص المخططات (الكود البرمجي) للآلة قبل بنائها للعثور على النقاط الخطيرة التي قد يلتقي فيها نصفا المفتاح بالخطأ.
كيف تعمل QANally: مرشح المراحل الأربع
بدلاً من محاولة فحص كل سلك بدقة (وهو أمر بطيء للغاية)، تستخدم QANARY مصفاة ذكية مكونة من أربع خطوات لفرز الأسلاك:
- الشبكة الواسعة (التحليل الهيكلي):
تخيل إلقاء شبكة عملاقة فوق المدينة بأكملها. إنها تصطاد كل شيء قد يكون مشكلة. هي سريعة جدًا ولكنها تصطاد الكثير من "الإنذارات الكاذبة" (أشياء تبدو خطيرة ولكنها في الواقع آمنة).
- النتيجة: تقوم بتمييز آلاف الأسلاك كأشياء "مشبوهة".
فحص القناع الطازج (Fresh Mask Check):
بعض الأسلاك تبدو مشبوهة لأنها تمزج المفاتيح، لكنها تمتلك أيضًا "عشوائية طازجة" (مثل ضوضاء عشوائية جديدة) تقوم بتشفير هذا المزيج فورًا. تتحقق QANARY مما إذا كانت هذه الضوضاء قوية بما يكفي لإخفاء السر. إذا كانت كذلك، فإنها تعتبر السلك آمنًا.المحقق المنطقي (Boolean Detective - الرياضيات البسيطة):
بالنسبة للأسلاك المشبوهة المتبقية، تطرح QANARY سؤالاً رياضياً بسيطاً: "إذا قمت بتغيير السر، هل تتغير مخرجات هذا السلك؟" إذا كانت الإجابة "لا"، فإن السلك آمن. هذا الإجراء يزيل الكثير من الإنذارات الكاذبة.المحقق الحسابي (Arithmetic Detective - الرياضيات المعقدة):
هذه هي الخطوة السحرية. تتعامل الآلة مع أرقام معقدة (الحساب النمطي - Modular Arithmetic)، وليس فقط مفاتيح بسيطة (تشغيل/إيقاف). تستخدم QANARY رياضيات متقدمة لإعادة ترتيب المسألة. تسأل: "على الرغم من أن هذين النصفين من المفتاح يتلامسان، هل لا تزال النتيجة تبدو عشوائية؟"
- النتيجة: في جزء حيوي من الآلة (وحدة باريت ريدكشن - Barrett Reduction module)، أثبتت هذه الخطوة أن 54% من الأسلاك التي تم تصنيفها كخطيرة كانت في الواقع آمنة.
الفوز الكبير
قبل هذه الأداة، كان على المهندسين فحص 363 سلكًا مشبوهًا يدويًا في وحدة حيوية، وكان ذلك كابوسًا.
بعد استخدام QANARY:
- تم إثبات أمان 198 سلكًا بواسطة الرياضيات (حصلت على "شهادة أمان").
- تم تصنيف 165 سلكًا على أنها "ربما خطيرة" (وهي الأسلاك التي يحتاج المهندسون لفحصها فقط).
- لم يتبقَ صفر من الأسلاك في خانة "لا أعرف".
استغرقت العملية برمتها حوالي 3 دقائق على نواة حاسوب واحدة.
لماذا هذا مهم؟
- السرعة: تحول عملية مراجعة يدوية تستغرق شهورًا إلى فحص آلي مدته 3 دقائق.
- النطاق: تعمل على آلات تحتوي على أكثر من مليون مفتاح، وهو أمر لم تستطع أي أداة أخرى القيام به.
- الأمان: تلتقط التسريبات "متعددة الدورات" (Multi-cycle leaks). تخيل أن نصفي المفتاح في غرفتين مختلفتين؛ الفحص البسيط يقول إنهما آمنان، لكن QANARY تدرك أنه في الثانية التالية، قد ينتقلان عبر ممر ويلتقيان. إنها تلتقط هذه التسريبات التي "تسافر عبر الزمن" والتي تفوتها الأدوات الأخرى.
الخلاصة
تقدم هذه الورقة البحثية "مرشحًا ذكيًا" للأمن. فهي لا تكتفي بالقول "هذا معطل" أو "هذا آمن"، بل تقول: "إليكم الـ 165 سلكًا التي يجب أن تقلقوا بشأنها حقًا، وهذا دليل رياضي على أن الـ 198 سلكًا الأخرى سليمة".
إنها تسمح للمهندسين ببناء شرائح أمنية ضخمة ومعقدة ومقاومة للحوسبة الكمية بثقة، مع علمهم بوجود "كناري" قد فحص الهواء من أجلهم بالفعل.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.