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

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

السحابة الكمومية التي لا يمكنها التلصص أو الخداع

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

يقترح المؤلفان نظامًا ثلاثي الأجزاء يعمل كحصن تقني عالي المستوى لبيانات الكم.

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

في لغة البحث، يسمى هذا ترميز كود المثبت الموزع (distributed stabilizer-code encoding). يتم تقسيم الحالة الكمومية للعميل عبر عدة عقد خوادم. وتضمن الرياضيات أنه طالما أن عدد الخوادم المتواطئة أقل من حد معين (تحديدًا $d-1$، حيث $d$ هو "مسافة" الكود)، فإنهم لن يتعلموا أي شيء على الإطلاق عن البيانات الأصلية. إنه يشبه نسخة كمومية من لعبة مشاركة الأسرار حيث تُكتب قواعدها بقوانين الفيزياء.

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

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

3. الفخاخ المخفية (التحقق)
كيف تعرف أليس أن الجواسيس لا يستبدلون القصاصات بورق عشوائي أو يتجاهلون تعليماتها؟ هي تستخدم التحقق القائم على الفخاخ (trap-based verification).

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

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

الصورة الكبيرة: إطار عمل موحد

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

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

• أعمى: لا تتعلم الخوادم شيئًا عن البيانات (طالما لم يتواطأوا جميعًا).
• قابل للتحقق: يمكن للعميل اكتشاف الخداع باحتمالية عالية.
• واعٍ بالضجيج: يتعامل النظام مع الأعطال المحلية تلقائيًا قبل أن تكسر الشبكة بأكملها.

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

ماذا يعني هذا (وماذا لا يعني)

هذا البحث هو خطة معمارية رصينة، وليس منتجًا نهائيًا. يثبت المؤلفان رياضيًا أن نظامهما يعمل إذا اتبعت الخوادم قواعد اللعبة وإذا تصرفت الأجهزة الأساسية كما هو متوقع. ويذكران صراحة أنه إذا تواطأ عدد كبير جدًا من الخوادم (أكثر من $d-1$)، فإن السرية ستنهار. كما يشيران إلى أن تصحيح الخطأ المحلي لديهما "واعٍ بالضجيج"، مما يعني أنه يعمل بشكل أفضل إذا كان الجهاز يحتوي على نوع معين من الضجيج (مثل كود الـ 6 كيوبت للضجيج المنحاز)، وقد يحتاج إلى استبداله بكود مختلف إذا اختلف نوع الأجهزة.

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