How Not to Build Microcrypt
تقدم هذه الورقة تقنية "توموجرافيا الظل" (shadow tomography) الفعالة المدعومة بمسائل NP لتوضيح أن العديد من البناءات المقترحة للعشوائية الزائفة الكمومية، بما في ذلك تلك المصممة لتجنب الدوال أحادية الاتجاه، تنطوي ضمنياً على وجود دوال أحادية الاتجاه أو صعوبة مسائل NP، مما يرسخ نتائج عدم إمكانية (no-go results) جديدة لبناء مثل هذه الأوليات خارج فئة التعقيد NP.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في عالم التشفير الكمي الهادئ وعالي المخاطر، يحاول العلماء بناء أقفال لا يمكن فتحها، حتى بواسطة حاسوب يستخدم القواعد الغريبة لميكانيكا الكم. لعقود من الزمن، كان أساس جميع الاتصالات الآمنة هو "الدالة أحادية الاتجاه"، وهي قفل رياضي يسهل إغلاقه ولكن يصعب للغاية فتحه بدون مفتاح محدد. ومع ذلك، ظهرت آفاق جديدة تسمى "Microcrypt" (التشفير المجهري)، وهو مجال نظري يأمل فيه الباحثون في بناء أنظمة كمية آمنة حتى لو لم تكن تلك الأقفال التقليدية أحادية الاتجاه موجودة. والهدف هو العثور على افتراضات جديدة، أضعف، لكنها تظل قوية بما يكفي لحماية الأسرار. وللقيام بذلك، اقترحوا أنواعًا جديدة من الكائنات الرقمية، مثل "الحالات شبه العشوائية" و"الوحدات (unitaries) شبه العشوائية"، المصممة لتبدو كضوضاء عشوائية لأي شخص لا يملك المفتاح السري، بينما هي في الواقع ناتجة عن عملية محددة وخفية. والسؤال الكبير هو ما إذا كانت هذه الكائنات الجديدة يمكن أن توجد حقًا دون الاعتماد على تلك الأقفال القديمة والأقوى، أم أنها تعتمد عليها سرًا.
لقد أجاب فريق من الباحثين من جامعة كاليفورنيا، سانتا باربرا، وجامعة إلينوي، وNTT Research، على هذا السؤال بـ "لا" حاسمة للعديد من المرشحين الرائدين. فقد طوروا طريقة جديدة لتحليل هذه الكائنات الكمية وأثبتوا أن العديد من التصاميم الشائعة، التي كان يُعتقد أنها آمنة حتى بدون الدوال أحادية الاتجاه التقليدية، تفشل بالفعل عند مواجهة نوع معين من الخصوم الأقوياء. وتظهر أعمالهم أنه إذا حاولت بناء هذه الأقفال الكمية باستخدام بعض المخططات المعمارية الشائعة، فإنك تخلق دون قصد دالة أحادية الاتجاه تقليدية على أي حال. وهذا يعني أن الوعد ببناء تشفير كمي على أسس أضعف هو أصعب مما كان مأمولًا سابقًا، وأن العديد من التصاميم المفضلة حاليًا ليست هي الحل.
يأتي اختراق الباحثين من تقنية يسمونها "تصوير الظل الطيفي" (shadow tomography)، وهي طريقة لأخذ حالة كمية وإنشاء سجل كلاسيكي مضغوط لها. تخيل أنك تحاول فهم شكل جسم معقد وغير مرئي من خلال تسليط الضوء عليه من زوايا مختلفة وتسجيل الظلال التي يلقيها. في العالم الكمي، تتضمن هذه العملية قياس نسخ من حالة كمية لجمع معلومات حول بنيتها. وقد أدرك الفريق أن المعلومات التي يتم جمعها من هذه الظلال في فئة كبيرة من هذه الحالات الكمية المقترحة مهيكلة للغاية بحيث يمكن لحاسوب لديه وصول إلى مساعد منطقي محدد — وهو "أوراكل NP" (NP oracle) — أن يستخدمها لعكس هندسة المفتاح السري. والأوراكل NP هو أداة نظرية يمكنها حل أنواع معينة من مشكلات البحث المعقدة فورًا، حيث يعمل كمساعد فائق الذكاء يمكنه التحقق مما إذا كان الحل موجودًا دون الحاجة إلى تجربة كل الاحتمالات واحدًا تلو الآخر.
أظهر الباحثون أنه بالنسبة للعديد من الحالات الكمية المقترحة، تصبح عملية العثور على المفتاح السري مهمة بحث بسيطة لهذا المساعد. وقد أوضحوا أنه إذا كانت الحالة الكمية "قابلة للحوسبة"، بمعنى أن أرقامها الداخلية يمكن حسابها بواسطة حاسوب قياسي، فإن خصمًا يمتلك هذا المساعد المنطقي يمكنه معرفة المفتاح بكفاءة. وهذا يكسر فعليًا أمن النظام. طبق الفريق هذه الطريقة على مرشح بارز يُعرف باسم "حالات طور هاميلتونيان" (Hamiltonian Phase States)، والتي كان يُعتقد على نطاق واسع أنها لبنة بناء آمنة للتشفير بدون دوال أحادية الاتجاه. وقد أثبت تحليلهم أن هذه الحالات ليست آمنة؛ فإذا وجدت، فإنها تعني وجود دالة أحادية الاتجاه تقليدية. وهذه النتيجة تحطم الأمل في أن هذا التصميم المحدد يمكنه تجاوز الحاجة إلى الافتراضات الأقوى.
ولم يتوقف التحقيق عند الحالات فحسب، بل وجه الباحثون اهتمامهم أيضًا إلى "الوحدات شبه العشوائية" (pseudorandom unitaries)، وهي عمليات كمية أكثر تعقيدًا تحول البيانات بطريقة تبدو عشوائية. وتعتبر هذه العمليات أقوى الأدوات في مجموعة أدوات Microcrypt. حدد الفريق نمطًا معماريًا شائعًا يُستخدم في العديد من التصاميم الأكثر واعدة لهذه الوحدات: وهو هيكل حيث توضع طبقة بسيطة وقابلة للتنبؤ بين طبقتين من عمليات "كليفورد" (Clifford)، وهي نوع محدد من البوابات الكمية. ووجدوا أن هذا الترتيب المحدد، المعروف باسم بناء CMC، يترك بصمة مميزة. فمن خلال استخدام نوع خاص من القياس يتضمن أزواجًا متشابكة من الجسيمات، استطاعوا استخراج أدلة كلاسيكية حول التبديل (permutation) الخفي داخل الطبقة الوسطى. وبمساعدة المساعد المنطقي، تمكنوا بعد ذلك من البحث عن مفتاح يشرح جميع الأدلة المرتبدة. ولو كانت الوحدة عشوائية حقًا، لما وجد مفتاح واحد يشرح جميع الأدلة. ولكن إذا بُنيت باستخدام هذه البنية المحددة، فإن المفتاح الصحيح سيتناسب دائمًا مع الأدلة بشكل مثالي.
يعني هذا الاكتشاف أن مجموعة واسعة من المقترحات الحديثة للوحدات الكمية الآمنة، بما في ذلك تلك التي صُممت صراحةً لتجنب الدوال أحادية الاتجاه، معرضة للخطر في الواقع. أظهر الباحثون أن هذه التصاميم يمكن تمييزها عن العشوائية الحقيقية ويمكن استعادة مفاتيحها السرية. وقد اختبروا طريقتهم ضد عدة إنشاءات معروفة، مثل تلك القائمة على هياكل "PFC" (التبديل-الدالة-كليفورد) وتصاميم "LRFC" (لوبي-راكوف-الدالة-كليفورد) المختلفة. وفي كل حالة كانت فيها الطبقة الوسطى عبارة عن تبديل بسيط أو إزاحة طور، نجح الهجوم. وأثبت الفريق أن هذه البنى لا يمكن أن تكون أساسًا لـ Microcrypt لأنها تؤدي حتمًا للعودة إلى وجود الدوال أحادية الاتجاه، مما يبطل الغرض من محاولة بناء تشفير على افتراضات أضعف.
ومع ذلك، فإن الورقة البحثية لا تغلق الباب تمامًا أمام Microcrypt. فقد رسم الباحثون بعناية الخرائط التي توضح التصاميم التي نجت من هجومهم والتي لم تنجُ. ووجدوا أن الإنشاءات التي تتضمن طبقات متعددة ومتداخلة من الخلط، أو تلك التي تستخدم عمليات غير "كليفورد" سرية في النهايات، قد تظل آمنة. وأصبحت هذه المرشحات الناجية الآن محورًا للبحوث المستقبلية. إن هذا العمل بمثابة دليل حاسم، أو مجموعة من "الحواجض الواقية"، للمجال؛ فهو يخبر العلماء بما لا يجب بناؤه، مما يمنعهم من إضاعة الوقت في مخططات معيبة جوهريًا. ومن خلال استبعاد هذه الأساليب الشائعة، دفع الباحثون المجتمع للبحث عن بنيات مختلفة تمامًا لا تخلق دون قصد دوال أحادية الاتجاه.
إن تداعيات هذا العمل عميقة لمستقبل الأمن الكمي. فهي توضح أن الطريق لبناء تشفير كمي بدون دوال أحادية الاتجاه هو مسار أضيق وأكثر خطورة مما كان يُعتقد سابقًا. لقد قدم الباحثون طريقة صارمة لاختبار المقترحات الجديدة، مما يضمن أن التصاميم المستقبلية ليست فقط مثيرة للاهتمام نظريًا، بل آمنة أيضًا ضد أقوى الهجمات المعروفة. وتشير نتائجهم إلى أنه إذا أريد تحقيق Microcrypt، فسيطلب ذلك طرقًا جديدة تمامًا للتفكير في العمليات الكمية، والابتعاد عن الأنماط المألوفة التي هيمنت على المجال حتى الآن. ويقف هذا العمل كشهادة على قوة التحليل المنهجي في العلم، حيث إن إثبات ما لا يعمل لا يقل أهمية عن اكتشاف ما يعمل.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.