💻 computer science

Post-Quantum Security of Block Cipher Constructions

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

المؤلفون الأصليون: Gorjan Alagic, Chen Bai, Christian Majenz, Kaiyan Shi

نُشر 2026-04-16

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Gorjan Alagic, Chen Bai, Christian Majenz, Kaiyan Shi

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل أن لديك خزنة عالية التقنية وآمنة للغاية (وهي التشفير الكُتلي - block cipher) تستخدمها لحفظ أثمن أسرارك. لعقود من الزمن، كنا واثقين من أن هذه الخزنات لا يمكن كسرها، حتى من قبل الحواسيب فائقة الذكاء.

ولكن الآن، هناك نوع جديد من الحواسيب قادم: الحاسوب الكمومي (Quantum Computer). لا تفكر فيه كمجرد حاسوب أسرع، بل كحاسوب يمكنه النظر إلى الخزنة من كل الزوايا الممكنة في وقت واحد. الأمر يشبه امتلاك شبح يمكنه المشي عبر الجدران ومحاولة كل تركيبات المفاتيح في آن واحد.

السؤال الكبير هو: هل خزناتنا الرقمية الحالية لا تزال آمنة عندما يطرق بابها الشبح الكمومي؟

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

إليك تفصيل لعملهم باستخدام تشبيهات بسيطة:

1. المشكلة: "الشبح" في الآلة

في الأيام الخوالي، لكسر خزنة، كان عليك تجربة المفاتيح واحداً تلو الآخر. إذا كانت الخزنة تمتلك مفتاحاً بطول 128 بت، فسيستغرق الأمر من حاسوب عادي مليارات السنين لتخمينه.

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

2. الأداة الجديدة: خدعة "إعادة أخذ العينات"

لإثبات أن هذه الخزنات آمنة، ابتكر المؤلفون أداة رياضية جديدة تسمى إعادة أخذ عينات التشفير المثالي (Ideal Cipher Resampling).

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

3. النجاحات الثلاثة الكبرى

باستخدام هذه الأداة الجديدة، اختبروا ثلاثة أنواع رئيسية من البناءات التشفيرية:

أ. "مُطيل المفتاح" (بناء FX)

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

ب. الأقفال "القابلة للتعديل" (LRW و XEX2)

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

ج. "أنماط التشغيل" (كيفية استخدام الأقفال)

ما هو: التشفير الكتلي هو مجرد قفل واحد. لتشفير فيلم كامل أو بريد إلكتروني طويل، تحتاج إلى "نمط" (وصفة) حول كيفية استخدام هذا القفل مراراً وتكراراً. الأمثلة تشمل CBC و GCM و CMAC.
النتيجة: وجدوا "مترجماً عالمياً". لقد أظهروا أنه إذا كان القفل الأساسي آمناً، فإن الوصفة (النمط) هي أيضاً آمنة ضد الحواسيب الكمومية.
العالم الحقيقي: هذا يعني أن البروتوكولات التي تحمي حركة مرور الإنترنت الخاصة بك (HTTPS)، ورسائل البريد الإلكتروني، وتخزين السحابي، من المرجح أنها آمنة، طالما يتم استخدام القفل الأساسي (مثل AES) بشكل صحيح.

4. فحص "الإحكام": هل نحن نستعد بشكل مبالغ فيه؟

هناك خوف شائع من أننا، لكي نكون آمنين من الحواسيب الكمومية، نحتاج إلى جعل مفاتيحنا ضخمة للغاية (مثل مضاعفتها أو ترييضها)، مما يبطئ كل شيء.

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

الملخص

هذه الورقة البحثية هي خطوة تأسيسية. إنها تنقلنا من "نأمل أن تكون هذه الأقفال آمنة" إلى "لدينا برهان رياضي على أن هذه الأقفال آمنة".

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

باختصار: الشبح الكمومي قادم، ولكن بفضل هذه الورقة البحثية، نعرف الآن بالضبط كيف نعزز أقفالنا حتى لا يتمكن الشبح من الدخول.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "الأمن لما بعد الكوانتوم لتكوينات التشفير بالكتل" (Post-Quantum Security of Block Cipher Constructions) من تأليف Alagic وBai وMajenz وShi.

1. بيان المشكلة

بينما يُفهم تأثير الحوسبة الكمومية (Quantum Computing) على التشفير بالمفتاح العام (مثل خوارزمية Shor) جيدًا، فإن أمن ما بعد الكوانتوم لتشفير المفتاح المتماثل (Symmetric-key Cryptography)، وتحديدًا تشفير الكتل (Block Ciphers) والتكوينات المرتبطة بها، لا يزال غير مستكشف إلى حد كبير.

الفجوة: تعتمد البراهين الأمنية الحالية للمخططات المتماثلة غالبًا على فرضيات كلاسيكية (مثل السجلات/Transcripts، والاستعلامات الكلاسيكية) التي لا تترجم إلى الإطار الكمومي.
نموذج التهديد: في سيناريو ما بعد الكوانتوم، يمتلك المهاجم حاسوبًا كموميًا قادرًا على تنفيذ خوارزمية تشفير الكتلة في حالة التراكب (Superposition). يؤدي هذا إلى نموذج التشفير المثالي الكمومي (QICM)، حيث يمتلك المهاجم وصولًا إلى أوراكل (Oracle) كمومي إلى التشفير المثالي الأساسي (للأمام والعكس معًا)، بينما يتم استعلام التكوين نفسه (باستخدام المفاتيح السرية) كلاسيكيًا عادةً.
التحدي: إثبات الأمن في نموذج QICM أمر صعب لأن التقنيات الكلاسيكية (مثل الحجج الهجينة القائمة على السجلات) تفشل عندما يمكن للمهاجم استعلام الأوراكل في حالة التراكب. علاوة على ذلك، فإن قواعد "مضاعفة طول المفتاح" التجريبية ليست مبررة بصرامة وقد تكون غير كافية أو مبالغًا فيها.

2. المنهجية

يطور المؤلفون إطارًا صارمًا لإثبات أمن ما بعد الكوانتوم في نموذج QICM. تعتمد منهجيتهم على ركيزتين أساسيتين:

أ. لِمّة إعادة أخذ العينات للتشفير المثالي (Ideal Cipher Resampling Lemma)

الابتكار التقني الجوهري هو "لِمّة إعادة أخذ العينات" (Resampling Lemma) الجديدة المصممة خصيصًا لنموذج التشفير المثالي.

المفهوم: في البراهين الأمنية، غالبًا ما نحتاج إلى تعديل سلوك التشفير المثالي (على سبيل المثال، تبديل المخرجات لمدخلات محددة) لمحاكاة عالم "عشوائي". في الإطار الكمومي، قد يكتشف المهاجم هذه التعديلات إذا قام باستعلام تلك النقاط المحددة في حالة التراكب.
اللِمّة: يثبت المؤلفون أن المُميز الكمومي (Quantum Distinguisher) لا يمكنه اكتشاف هذه التعديلات (إعادة أخذ العينات) ما لم يكن قد أجرى عددًا كبيرًا جدًا من الاستعلامات إلى التشفير المثالي قبل التعديل.
التعميم: على عكس لِمّات إعادة أخذ العينات السابقة التي طبقت فقط على الدوال أو التبديلات العشوائية، تنطبق هذه اللِمّة على التشفير المثالي (التبديلات ذات المفاتيح) وتسمح بتوزيعات عشوائية مختلفة للمفتاح ونقاط إعادة أخذ العينات.

ب. الحجة الهجينة مع إعادة أخذ العينات (Hybrid Argument with Resampling)

يقومون بتكييف تقنية الحجة الهجينة (التي استُخدمت سابقًا لتشفيرات Even-Mansour) لتناسب نموذج QICM:

التسلسل الهجين: يبنون تسلسلًا من التجارب الهجينة التي تنتقل من العالم "الحقيقي" (باستخدام تكوين تشفير الكتلة) إلى العالم "المثالي" (باست using permutation عشوائية).
التبديل خطوة بخطوة: بدلاً من تبديل جميع الاستعلامات دفعة واحدة، يقومون بتبديل الاستعلامات الكلاسيكية واحدًا تلو الآخر.
إعادة أخذ العينات: عند تبديل استعلام إلى الحالة المثالية، يقومون في الوقت نفسه بتعديل التشفير المثالي الأساسي في بضعة مواقع للحفاظ على الاتساق مع السجل (Transcript).
تحديد القدرة على التمييز: يستخدمون "لِمّة إعادة أخذ العينات" لتحديد قدرة المهاجم على التمييز بين الهجن، مما يوضح أن الميزة (Advantage) تكون ضئيلة ما لم يقم المهاجم بعدد هائل من الاستعلامات الكمومية.

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

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

تكوين FX (توسيع طول المفتاح):
- يثبت أمن ما بعد الكوانتوم لتكوين FX، الذي يوسع طول مفتاح تشفير الكتلة ( $E_{k_0}(x \oplus k_1) \oplus k_2$ ).
- يضع حدودًا أمنية وثيقة (Tight) تتوافق مع الهجمات الكمومية المعروفة (البحث في غروفر/Grover search، وإيجاد التصادم BHT، وهجمات Offline-Simon).
- التطبيقات: يثبت مباشرة أمن ما بعد الكوانتوم لتشفيرات خفيفة الوزن مثل PRINCE و PRIDE، وهي نماذج تطبيقية لتكوين FX.
تشفيرات الكتلة القابلة للتعديل (LRW و XEX2):
- يثبت الأمن لـ LRW (Liskov-Rivest-Wagner) و XEX2 في كل من النموذج البسيط (Plain Model) ونموذج QICM.
- أهمية XEX2: يعد XEX2 هو الجوهر الأساسي لمعيار XTS-AES المستخدم في تشفير الأقراص. هذا هو أول تحليل صارم لأمن ما بعد الكتوم لـ XTS-AES.
- تأخذ الحدود في الاعتبار كلاً من هجمات التصادم الكلاسيكية (حد عيد الميلاد/Birthday bound) والتسارع الكمومي في البحث عن المفتاح.
أنماط تشفير الكتلة (نظرية الرفع العامة - General Lifting Theorem):
- تقدم "نظرية رفع عامة" (النظرية 7 و 8) تسمح بـ "رفع" البراهين الأمنية الكلاسيكية لأنماط تشفير الكتلة (مثل CBC، CTR، GCM، CMac) إلى إطار ما بعد الكوانتوم.
- تنص النظرية على أن أمن ما بعد الكوانتوم لنمط معين يرتبط بحدود أمن ما بعد الكوانتوم لتشفير الكتلة الأساسي بالإضافة إلى الأمن المعلوماتي الكلاسيكي للنمط.
- يعني هذا أن معظم الأنماط المستخدمة في حركة مرور الإنترنت الآمنة (مثل GCM) تظل آمنة في عصر ما بعد الكوانتوم، بشرط أن يكون تشفير الكتلة الأساسي (مثل AES) آمنًا ضد البحث الكمومي عن المفتاح.

4. النتائج الرئيسية والحدود الأمنية

يستنتج المؤلفون حدودًا دقيقة (مزايا التمييز) لمختلف التكوينات. لتكن $q_C$ هي الاستعلامات الكلاسيكية، و $q_Q$ هي الاستعلامات الكمومية، و $m$ هو طول المفتاح، و $n$ هو حجم الكتلة.

تكوين FX:
- الميزة $\approx O(q_C \sqrt{q_Q} + q_Q \sqrt{q_C}) \cdot 2^{-(m+n)/2}$ .
- هذا الحد وثيق (Tight)، ويطابق تعقيد أفضل الهجمات الكمومية المعروفة (Offline-Simon و Grover+BHT).
تكوين LRW:
- الميزة $\approx O(q_C^2 2^{-n}) + O((q_C \sqrt{q_Q} + q_Q \sqrt{q_C}) 2^{-(m+n)/2})$ .
- المصطلح $q_C^2 2^{-n}$ يتوافق مع هجوم تصادم عيد الميلاد الكلاسيكي.
- المصطلح الثاني يتوافق مع هجمات استعادة المفتاح الكمومية.
أنماط تشفير الكتلة (في نموذج QICM):
- للأنماط مثل CBC و GCM و CMAC، يتم تحديد الميزة بـ:
  $\text{Adv} \leq \frac{q_Q^2}{2^m} + \delta(q_C)$
- حيث يمثل $\frac{q_Q^2}{2^m}$ الميزة الكمومية في البحث في مساحة المفتاح (حد غروفر/Grover's limit)، ويمثل $\delta(q_C)$ الحد المعلوماتي الكلاسيكي (مثل حد عيد الميلاد $q_C^2/2^n$ ).

5. الأهمية

الأساس النظري: يضع هذا العمل أول أساس نظري صارم لتشفير المفتاح المتماثل لما بعد الكوانتوم، متجاوزًا الحجج التجريبية.
الأهمية العملية: يتحقق من أمن المعايير المنتشرة على نطاق واس-ع (AES، XTS-AES، GCM) ضد المهاجمين الكموميين، بشرط اختيار المعاملات (Parameters) بشكل صحيح.
اختيار المعاملات: تسمح الحدود الوثيقة لعلماء التشفير بتحديد متطلبات المعاملات بدقة. على سبيل المثال، تؤكد أن مجرد مضاعفة طول المفتاح غالبًا ما يكون كافيًا لمواجهة خوارزمية غروفر، ولكن يجب تحليل التفاعل بين الاستعلامات الكلاسيكية والكمومية ( $q_C$ و $q_Q$ ) بعناية لتكوينات محددة مثل FX.
التقدم المنهجي: تُعد "لِمّة إعادة أخذ العينات للتشفير المثالي" أداة جديدة قوية يمكن تطبيقها على الأرجح لإثبات أمن تكوينات التشفير المتماثل الأكثر تعقيدًا في الإطار الكمومي.

باخت-صار، توضح الورقة أنه بينما تشكل الحواسيب الكمومية تهديدًا لتشفير المفتاح المتماثل (بشكل أساسي عبر البحث عن المفتاح)، فإن العديد من التكوينات القياسية تظل آمنة مع ضبط المعاملات المناسبة، ويمكن الآن إثبات أمنها رسميًا باستخدام تقنيات الهجين وإعادة أخذ العينات المطورة.