Malleability of transformations on the ciphertext in noisy Quantum public key encryption

ملخص تقني: قابلية التشكيل للتحويلات على النص المشفر في التشفير بالمفتاح العام الكمي المشوب بالضجيج

بيان المشكلة
تتناول هذه الورقة البحثية تحدي صياغة "الأمن الأبدي" (everlasting security) بشكل دقيق لتشفير المفتاح العام الكمي (QPKE) وتوزيع المفاتيح الكمية (QKD) في وجود الضجيج. بينما أرست أعمال سابقة لـ Malavolta وWalter [3] إطاراً للأمن الأبدي في بيئة خالية من الضجيج — حيث أثبتت إمكانية تحقيق الأمن بعد جولتين فقط من التفاعل بين أليس وبوب — تبحث هذه الورقة في كيفية تأثير إدخال الضجيج على عتبات أمن البروتوكول. وتحديداً، تستكشف الورقة العلاقة بين قابلية تشكيل تحويلات النص المشفر وأمن البروتوكول عند حقن الضجيج في العمليات التشفيرية. تكمن المشكلة الجوهرية في تعميم دالة الإهمال (التي تقيس ميزة الخصم) من الحالة المثالية الخالية من الضجيج إلى حالة مشوبة بالضجيج، وذلك باستخدام افتراضات تتعلق بقابلية تشكيل تحويلات النص الصريح والنص المشفر.

المنهجية
يستخدم المؤلفون مزيجاً من نظرية المعلومات الكمية والتشفير المجرد لتحليل بروتوكول (QPKE-QKD) المشوب بالضجيج. وتتم هيكلة المنهجية حول المكونات الرئيسية التالية:

1. حقن الضجيج عبر قابلية التشكيل: تكيّف الورقة مفهوم قابلية التشكيل (malleability)، الذي قدمه في الأصل Maurer وTackmann [9] للمقارنة بين بروتوكولات "المصادقة ثم التشفير" و"التشفير ثم المصادقة". ويعرّف المؤلفون تحويلات مشوبة بالضجيج على فضاء النص الصريح تتميز بثلاثة احتمالات خطأ: خطأ التمرير (forwarding error)، وخطأ الحذف (deleting error)، وخطأ إعادة البناء (reconstruction error). وتُستخدم هذه الأخطاء لنمذجة تأثير الضجيج على النص المشفر.
2. المسافة التتبعية ولمّة القياس اللطيف (GML): الأداة التقنية المركزية هي تكييف "لمّة القياس اللطيف" من نظرية المعلومات الكمية [18]. يستخدم المؤلفون هذه اللمة لإنشاء حد علوي للمسافة التتبعية (trace distance) بين حالتين كميتين (تمثلان التجربتين الحقيقية والمثالية) بناءً على حد سفلي لأثر مؤثر محدد. وهذا يسمح بتعميم دالة الإهمال في وجود الضجيج.
3. آلات الزمن الكمي متعدد الحدود المشوب بالضجيج (NQPT): تُصيغ الورقة الإطار المشوب بالضجيج من خلال تعريف آلات NQPT وخرائط CPTP (الخرائط الموجبة تماماً والحافظة للالأثر) المشوبة بالضجيج. وتحل هذه الكائنات محل نظائرها الخالية من الضجيج لنمذجة سلوك أليس وبوب والمهاجم (إيف) في الظروف المشوبة بالضجيج.
4. مؤثرات الإسقاط وتفكيك الحالة: يتضمن التحليل بناء مؤثرات إسقاط مشوبة بالضجيج ($\tilde{\Pi}$) تدمج حدود الضجيج (مثل $|\sigma + \text{noise}\rangle$) في مؤثر الإسقاط القياسي $\Pi$ المستخدم في بروتوكول (QPKE-QKD) الخالي من الضجيج. ويستنتج المؤلفون حدوداً عليا للمسافة التتبعية عبر مقارنة نسب مؤثرات الإسقاط والعمليات التتبعية وحالات الـ ket/bra بين الحالتين الخالية من الضجيج والمشوبة به.
5. المنهج القائم على نظرية الموارد: تستخدم الورقة الإطار النظري للموارد من [9]، حيث تُعرّف الأمن والتوافر من حيث عدم تمييز الموارد التي تبنيها البروتوكولات. ويتضمن ذلك تحليل تركيب البروتوكولات وعدم تمييز التجارب الهجينة.

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

• صياغة الأمن الأبدي المشوب بالضجيج: تُعرّف الورقة "الأمن الأبدي" لبروتوكول (QPKE) مشوب بالضجيج (التعريف 37)، وتثبت أن المسافة التتبعية بين التجارب الهجينة المشوبة بالضجيج محكومة بدالة إهمال تعتمد على معامل الأمن المشوب بالضجيج $\lambda'$.
• تعميم دالة الإهمال: يستنتج المؤلفون علاقة بين المسافة التتبعية في الإعداد المشوب بالضجيج ودالة الإهمال $NEGL(\lambda')$. ويوضحون أنه بموجب افتراضات محددة حول الضجيج، ترتبط دالة الإهمال في الإعداد المشوب بالضجيج بعتبة أمن أعلى مقارنة بالحالة الخالية من الضجيج.
• حدود المسافة التتبعية عبر GML: المساهمة التقنية الرئيسية هي اشتقاق حد علوي للمسافة التتبعية باستخدام لمّة القياس اللطيف. حيث يثبت المؤلفون أن:
  $$Td(\tilde{Exp}, Exp) \lesssim \sqrt{NEGL(\lambda' - \lambda)}$$
  ويتم تحقيق ذلك من خلال إثبات حد سفلي لأثر مؤثر محدد يتضمن الفرق بين الحالات المشوبة بالضجيج والخالية منه ($\tilde{\rho} - \tau$).
• افتراضات قابلية التشكيل: تربط الورقة صراحةً بين أمن البروتوكول وقابلية تشكيل تحويلات النص المشفر. وهي تقيس كيف ترتبط احتمالات خطأ التمرير والحذف وإعادة البناء للتحويلات المشوبة بالضجيج بفجوة عتبة الأمن بين بروتوكولي $\lambda$ (الخالي من الضجيج) و$\lambda'$ (المشوب بالضجيج).
• مقايضات زمن التشغيل الحسابي: تحلل الورقة المقايضات بين زمن التشغيل الحسابي للبروتوكولات المشوبة بالضجيج والخالية من الضجيج (الترميز، وفك التشفير، وتوليد المفاتيح). وتشير إلى أنه إذا كان زمن تشغيل البروتوكول المشوب بالضجيج أكبر بكثير، فإن فجوة عتبة الأمن $\lambda' - \lambda$ تتدرج بطريقة معينة، قد تكون مرتبطة بدوال أسية أو متعددة الحدود لفرق زمن التشغيل.

النتائج

• النظرية الرئيسية: تثبت الورقة أنه بالنسبة لبروتوكول (QPKE-QKD) مشوب بالضجيج يحقق شروط الصحة، فإن المسافة التتبعية بين التجارب الهجينة المشوبة بالضجيج (المهيأة بالبتات 0 و1) محكومة بدالة الإهمال لمعامل الأمن المشوب بالضجيج:
  $$Td(\tilde{Exp}_{A_{\lambda'}}(1^{\lambda'}, 1), \tilde{Exp}_{A_{\lambda'}}(1^{\lambda'}, 0)) \lesssim NEGL(\lambda')$$
• نتيجة حول دوال الميزة: يوضح المؤلفون أن دوال الميزة المشوبة بالضيج للتجارب الهجينة المختلفة ($\tilde{Adv}(0), \tilde{Adv}(1), \tilde{Adv}(2)$) جميعها محكومة بنفس دالة الإهمال $NEGL(\lambda')$، مما يؤكد اتساق تعريف الأمن عبر مختلف الإعدادات التجريبية.
• الحد السفلي للأثر: تقدم الورقة اشتقاقاً مفصلاً يوضح أن أثر مؤثر محدد يتضمن الفرق بين الحالات المشوبة بالضجيج والخالية من الضجيج محكوم من أسفل بثابت مضروب في مقلوب دالة الإهمال، وهو شرط مسبق لتطبيق لمّة القياس اللطيف.

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

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