خوارزمية كمّية جديدة تدّعي حل مشكلة عمرها 20 عاماً—لكن التشفير ما بعد الكمومي لم ينكسر

لكن هذه ليست، في الوقت الحالي، قصة عن كسر التشفير المستخدم في المنتجات والخدمات. المسودة غير محكّمة، وبعض أجزائها الأساسية معروضة على شكل براهين أولية، ولم يُعلن عن هجوم عملي على ML-KEM أو ML-DSA .

ماذا تدّعي مسودة سيمون؟

تستهدف الورقة مشكلة DCP، وهي مسألة مرتبطة بعائلة «مسائل الزمرة الخفية» في الحوسبة الكمّية. وبصياغة مبسطة، يتلقى الحاسوب الكمّي عينات تحمل معلومة مخفية، ويحاول استعادة هذه المعلومة من بنية رياضية تبدو عشوائية.

وتتمحور ادعاءات الورقة حول أربع نقاط:

• حل DCP في زمن متعدد الحدود: يقول سيمون إن خوارزميته تستطيع حل المشكلة بكفاءة كمّية، بدلاً من الأساليب المعروفة التي تتطلب زمناً شبه أُسّي أو موارد كبيرة. ويبني العمل على اختزال سابق اقترحه أودِد ريف، يربط مشكلة الزمرة الثنائية بمشكلة DCP .
• سد فجوة نظرية عمرها نحو 20 عاماً: منذ ربط أعمال ريف بين DCP وبعض مسائل الشبكات، بقيت فجوة بين وجود الاختزال وامتلاك خوارزمية فعالة تحل DCP نفسها. وتقول المسودة إنها تقدم الحلقة المفقودة .
• أسلوب تقني جديد: تستبدل الخوارزمية، وفق وصف الورقة، مُسباراً أساسياً في بعض المقاربات السابقة بتقنية تسميها «التقسيم والاستعلام» (block-and-query) لاستخراج معلومات عن البنية الخفية .
• نتائج محتملة لمسائل الشبكات: تقول الورقة إن الخوارزمية يمكن دمجها مع اختزالات ريف وتحسينات لاحقة لبراكيرسكي وكيرشانوفا وستيله ووين، بما قد ينتج خوارزميات كمّية متعددة الحدود لمسائل مثل إيجاد تقريب متعدد الحدود لأقصر متجه (SVP)، وكذلك مسألة «التعلم مع الأخطاء» (LWE) .

كما تدّعي المسودة أن الطريقة قادرة على تحمل معدل عينات معيبة يصل إلى نحو (1/O(\log n))، وهو شرط تقول الورقة إنه يسمح بدمج الخوارزمية مع مسار الاختزالات بكفاءة .

لماذا لا يزال الخبراء متشككين؟

السبب ليس أن الفكرة بلا أهمية، بل أن النتيجة الاستثنائية تحتاج إلى برهان قابل للفحص خطوة بخطوة. وحتى 7 و8 أغسطس 2026، كانت الاستجابة السائدة أقرب إلى «انتظروا وتحققوا» منها إلى إعلان انتصار أو انهيار .

مسودة لا ورقة محكّمة

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

البراهين الأساسية ما زالت بحاجة إلى فحص

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

لا تحقق مستقل حتى الآن

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

ماذا يعني ذلك لـ ML-KEM وML-DSA؟

بالنسبة إلى المؤسسات التي تنشر أو تقيّم معايير التشفير ما بعد الكمومي التابعة لـNIST، فالرسالة العملية الحالية واضحة: لا يوجد سبب لتغيير خطط النشر أو مجموعات المعاملات استناداً إلى هذه المسودة وحدها .

لا هجوم عملي على المعايير

لا تقدم الورقة هجوماً منفذاً على ML-KEM، معيار تغليف المفاتيح في FIPS 203، ولا على ML-DSA، معيار التوقيعات الرقمية في FIPS 204 . كذلك لم يُعلن عن كسر أي مجموعة معاملات تابعة لـNIST .

الصلة النظرية غير مباشرة

ترتبط DCP بمسائل الشبكات عبر اختزالات رياضية معروفة. لكن الانتقال من «حل DCP بكفاءة» إلى «كسر Module-LWE أو Module-SIS المستخدمين في ML-KEM وML-DSA» ليس خطوة تلقائية. إنه يتطلب إثبات أن سلسلة الاختزالات تنطبق بصورة ملموسة على البنى المعيارية والمنظمة التي تعتمد عليها هذه المعايير، وهو ما لم تثبته المسودة حتى الآن .

بعبارة أخرى، «مسائل الشبكات» اسم واسع، بينما تعتمد معايير NIST على نسخ محددة ذات بنية جبرية ومعاملات بعينها. لذلك قد تكون النتيجة، إذا تأكدت، ضربة لنماذج نظرية معينة من دون أن تتحول فوراً إلى مفتاح عملي لكسر المعايير القياسية .

أين يقع ML-KEM وML-DSA في الصورة؟

• ML-KEM (FIPS 203): آلية لتأسيس المفاتيح مبنية على افتراضات من عائلة Module-LWE.
• ML-DSA (FIPS 204): خوارزمية توقيع رقمي مبنية على مسائل شبكات وبنية توقيعات من نمط Fiat–Shamir.

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

سياق الأبحاث السابقة

لا يأتي الادعاء في فراغ. ففي عام 2025، قدم باي وجانغير وكيرشانوفا ونجو ويومانس خوارزمية كمّية بزمن شبه متعدد الحدود لنسخة مقيدة من المشكلة، هي مشكلة DCP الممتدة فوق معاملات قوى العدد 2. كما انطبقت النتيجة على نسخة مرتبطة بمسألة SLWE .

لكن الانتقال من خوارزمية شبه متعددة الحدود لنسخة محدودة إلى حل متعدد الحدود لمشكلة DCP الكاملة سيكون قفزة كبيرة. ولهذا تحديداً ستتركز المراجعة على تفاصيل البرهان، لا على العنوان وحده.

كيف يتعامل مجتمع التشفير مع الادعاء؟

الموقف العام يمكن تلخيصه في ثلاث كلمات: تحقق قبل رد الفعل .

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

الحكم الحالي

مسودة دانيال سيمون ادعاء نظري مهم، لا اختراق عملي معلن. إذا اجتاز البرهان مراجعة مستقلة وأثبتت نتائجه، فقد يعيد تشكيل فهم الباحثين للعلاقة بين الحوسبة الكمّية وبعض مسائل الشبكات. أما في الوقت الراهن، فلا يوجد هجوم منشور على ML-KEM أو ML-DSA، ولا دليل على أن معايير NIST الحالية قد انكسرت.

الخطوة الصحيحة ليست تجاهل المسودة ولا إعلان نهاية التشفير ما بعد الكمومي، بل انتظار فحص رياضي مستقل ودقيق.