Efficient Quantum Fully Homomorphic Encryption

ملخص تقني: التشفير المتماثل الكمي الكامل عالي الكفاءة

1. المشكلة: عقبة الكفاءة في التشفير المتماثل الكمي الكامل (QFHE)

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

تكمن العقدة الأساسية في تقييم بوابة T (T-gate evaluation). في أنظمة QFHE القياسية (مثل نماذج Broadbent-Jeffery أو DSS)، يجب على الخادم تطبيق تصحيح طوري ($P^\dagger$) بشكل مشروط بناءً على بت تحكم مشفر. وللقيام بذلك دون تفاعل، اعتمدت الأعمال السابقة على نظرية بارينغتون (Barrington’s Theorem) لتحويل دائرة فك التشفير إلى برنامج تفرعي (branching program). ومع ذلك، بالنسبة للأنظمة القائمة على "التعلم مع الأخطاء" (LWE)، يؤدي هذا إلى برنامج تفرعي يعتمد اعتماداً أسياً على عمق الدائرة، مما يتطلب عدداً فلكياً من أزواج EPR (الموارد الكمية) — بمرتبة $O(\lambda^{2.58})$ لمعلم أمان $\lambda$. وهذا يجعل الـ QFHE واسع النطاق والعملي مستحيلاً باستخدام الأجهزة الكمية الحالية أو القريبة من المستقبل.

2. المنهجية: إطار عمل موحد ثلاثي الأدوات

يقترح المؤلفون إطار عمل جديد يحقق تحسناً أسياً في الكفاءة من خلال الدمج التآزري لثلاث ركائز نظرية:

• برامج الحساب النمطي (MAP): بدلاً من معاملة فك تشفير LWE كدائرة بولية عامة (والتي تتطلب نظرية بارينغتون)، يستغل المؤلفون بنيتها الجبرية المحددة. لقد صمموا برنامج MAP متخصصاً يتتبع المجموع الجزئي للمنتج الداخلي لـ LWE $\langle s_k, c \rangle \pmod q$. ومن خلال تتبع الحالة في $\mathbb{Z}_q$، نجحوا في تقليل عرض الحالة إلى $O(\log \lambda)$ بت.
• نموذج "خرطوم الحديقة" (Garden-Hose Model): يوفر هذا النموذج الجسر بين البرامج التفرعية الكلاسيكية والموارد الكمية. قام المؤلفون برسم خريطة لبرنامج MAP ذو العرض اللوغاريتمي إلى نموذج خرطوم الحديقة، حيث تمثل "الخراطيم" الحالات الكمية وتنفذ قياسات بيل (Bell measurements) عمليات الانتقال. وهذا يسمح بترجمة الـ MAP الفعال إلى أداة كمية مدمجة.
• الحوسبة الكمية القائمة على القياس (MBQC): أعاد المؤلفون بناء التقييم المتماثل ضمن إطار عمل MBQC. واستخدموا دوال التدفق (flow functions) لتوفير المنطق التحكمي الحتمي المطلوب للقياسات التكيفية. وهذا يسمح للخادم بالاستجابة ديناميكياً لبتات التحكم المشفرة، مما يتيح التطبيق المشروط لبوابة $P^\dagger$.

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

• عدم التماثل في التحسين: حددت الورقة أن فك تشفير LWE ليس دالة متماثلة (المعاملات $c_i$ تختلف حسب الموقع)، مما يعني أن التحسينات السابقة للدوال المتماثلة (مثل بناء Sinha) لا يمكن استخدامها. ويعد برنامج MAP الخاص بالمؤلفين هو الأول الذي يتعامل مع هذه البنية النمطية غير المتماثلة بكفاءة.
• تقليل الموارد بشكل أسي: قدموا رسماً مباشراً من برنامج MAP ذي العرض اللوغاريتمي إلى أداة كمية، مما غير بشكل جذري التعقيد التقاربي للأزواج EPR المطلوبة.
• عميل كلاسيكي بالكامل: من خلال استخدام دوال الفخ (trapdoor functions) ثنائية النمط، سمح المخطط للعميل بأن يظل كلاسيكياً بالكامل، حيث يتم إسناد جميع عمليات تحضير الحالة الكمية المعقدة إلى الخادم.
• تجنب الأمن الدائري: على عكس العديد من أنظمة FHE، يعتمد هذا البناء حصرياً على فرضية LWE الكلاسيكية ويتجنب الحاجة إلى الأمن الدائري أو فرضيات الصعوبة الكمية.

4. النتائج والأداء

النتيجة الأكثر إثارة هي تقليل حجم الأداة الكمية الأساسية (عدد أزواج EPR المطلوبة):

• التحسن التقاربي: تم تقليل حجم الأداة من $O(\lambda^{2.58})$ إلى $O(\lambda \log^2 \lambda)$.
• التحسن الملموس: أظهر المؤلفون انخفاضاً ملموساً في عامل التخفيض يتراوح بين $2^{15}$ إلى $2^{18}$.
• مثال: بالنسبة لأمان بمستوى 256 بت، قد يتطلب نظام DSS حوالي $2^{244}$ من أزواج EPR (وهو عدد مستحيل)، بينما يتطلب النظام المقترح حوالي $2^{226}$ فقط (انخفاض هائل، ورغم أنه لا يزال كبيراً، إلا أنه يمثل تحولاً من "مستحيل" إلى "ممكن نظرياً" من حيث القياس).

5. الأهمية

يمثل هذا العمل قفزة نوعية نحو الحوسبة السحابية الكمية المحافظة على الخصوصية وعملية. من خلال خفض حاجز الموارد الكمية بعدة مراتب من القدر، نقل المؤلفون الـ QFHE من كونه مجرد بناء نظري بحت نحو تنفيذ واقعي. كما أن إطار العمل قابل للتوسع بشكل كبير، حيث أظهر المؤلفون تطبيقات محتملة في Ring-LWE (للكفاءة الكلاسيكية)، و NTRU، و التشفير القائم على السمات (ABE). إنه يوفر خارطة طريق لبناء أنظمة حوسبة كمية مفوضة وآمنة يمكن أن تعمل حتى عندما يمتلك المستخدم جهاز كمبيوتر كلاسيكياً فقط.