Capability-Adaptive Cryptanalysis with Reduced-Space Quantum Verification

ملخص تقني: تحليل تشفير متكيف مع القدرات باستخدام التحقق الكمي في فضاء مخفض

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

المنهجية
يقدم الإطار المقترح بنية تحليل تشفيري موحدة ومتكيفة مع القدرات تعمل في ثلاثة أطوار رئيسية:

1. بناء وتقليص فضاء المرشحين الكلاسيكي الموحد:
يعمل الإطار على نمذجة أصل تشفير مفتاح متماثل ويبني مجموعة أولية من المفاتيح المرشحة المقبولة ($K_{cand}$) عبر التحقق الشامل من الاتساق التشفيري مقابل أزواج النص الصريح والنص المشفر الملحوظة. ثم يتم تقليص هذا الفضاء الأساسي تدريجياً من خلال ثلاث آليات متكاملة:

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

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

2. التحقق الكمي في الفضاء المخفض:
بمجرد أن تنتج مراحل الترشيح الكلاسيكية فضاء مرشحين فعال ($K_{eff}$)، يقوم الإطار بتنشيط مرحلة التحقق الكمي فقط إذا كانت الموارد الحسابية الكمية وبناء الأوراكل العكوس متاحين. وبدلاً من تطبيق خوارزمية غروفر على فضاء المفاتيح الكامل ($2^k$)، تعمل الخوارزمية حصرياً على الفضاء المختزل ($N_{eff} = |K_{eff}|$).

• يتم تقليل عدد الكيوبتات المطلوبة إلى $q = \lceil \log_2 N_{eff} \rceil$.
• يتم تقليل عدد تكرارات غروفر المطلوبة من $O(\sqrt{2^k})$ إلى $O(\sqrt{N_{eff}})$.
• يقدم المؤلفون نموذجاً رياضياً رسمياً، يتضمن صياغة هاميلتونية، لتفسير عملية التحقق في الفضاء المختزل كإجراء تضخيم سعة قابل للتحقيق فيزيائياً.

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

المساهمات الرئيسية

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

النتائج
تم تقييم الإطار باستخدام ملاحظات تشفيرية مُولدة إحصائياً لمحاكاة بيئة محكومة:

• تقليص فضاء المرشحين: بدءاً من فضاء فرضيات أولي مكون من 4,096 مرشحاً، أدى التطبيق المشترك لمرشحات التحليل الخطي والتفاضلي والموجه بالتسريب (مع العتبات المناسبة) إلى تقليص الفضاء المقبول إلى 13 فرضية. ويمثل هذا تقليصاً بنسبة 99.683% في فضاء البحث.
• كفاءة التحقق الكمي: بناءً على ذلك، انخفضت متطلبات تكرار غروفر من 50 تكراراً (المطلوبة لفضاء 4,096 كاملاً) إلى تكرارين فقط للفضاء المختزل المكون من 13. وهذا يحقق تقليلاً في جهد التحقق بنحو 25 ضعفاً.
• احتمالية النجاح: في محاكاة محددة مع فضاء مختزل من 8 مرشحين، حقق تضخيم السعة في الفضاء المختزل احتمالية نجاح للحالة المستهدفة تبلغ حوالي 94.53% بعد تكرارين، مما أظهر كفاءة عالية في تركيز الكتلة الاحتمالية على الفرضية الصحيحة.

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