Compressed Permutation Oracles Revisited

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

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

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

إن تأثير هذا التحسين فوري وملموس. فقد طبق الباحثون برهانهم الجديد والأكثر إحكاماً على اثنين من أهم الهياكل في التشفير الحديث: "بناء الإسفنج" (Sponge Construction) ودالة الضغط "ديفيز-ماير" (Davies-Meyer). هذه هي المخططات المستخدمة لبناء دالات الهاش (Hash Functions) التي تؤمن عالمنا الرقمي، بما في ذلك معيار SHA-3 وأنظمة SHA-1 وSHA-2 الأقدم. وباستخدام طريقتهم المنقحة، حسب الفريق بدقة عدد الاستعلامات الكمومية التي يحتاجها المهاجم لكسر هذه الأنظمة. ووجدوا أن أمن هذه الأنظمة متين، حيث يتطلب من المهاجم إجراء عدد من العمليات ينمو مع الجذر التربيعي لحجم النظام لإيجاد التصادمات (Collisions)، وأكثر من ذلك لإيجاد الصور العكسية (Pre-images). توفر نتائجهم أرقاماً صريحة وملموسة لأمن متغيرات SHA-3 الأربعة الرئيسية، مما يظهر أنها تظل آمنة حتى ضد الحواسيب الكمومية القوية، بشرط ألا تجد تلك الحواسيب طريقة لاستغلال نقاط الضعف الهيكلية المحددة في التصميم الأساسي.

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

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

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

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

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