Verifiable blind probabilistic error cancellation

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

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

---

المشكلة: الصندوق السحري غير الموثوق

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

في الماضي، كان لدى العلماء طريقتان للتعامل مع هذا:

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

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

الحل: VBPEC (الحكم السحري)

ابتكر المؤلفون، Bo Yang وElham Kashefi وHarold Ollivier، بروتوكولاً جديداً يسمى إلغاء الخطأ الاحتمالي الأعمى والقابل للتحقق (VBPEC). إنه أول نظام يجمع بين ثلاثة أشياء في آن واحد:

1. العمى (Blindness): لا يتعرف الخادم أبداً على ما تقوم بحسابه.
2. التحقق (Verification): يمكنك إثبات رياضياً أن الخادم لم يغش.
3. إلغاء الخطأ (Error Cancellation): يقوم الخادم فعلياً بإصلاح الضجيج، مما يعطيك إجابة أفضل.

إليك كيف يعمل السحر، باستخدام بعض التشبيهات:

1. "المفتاح الواحد الزمني" للأسرار الكمومية

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

2. تحويل الفوضى إلى لعبة نرد

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

3. الفخ والاختبار الإحصائي

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

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

VBPEC يغير قواعد اللعبة. بدلاً من مجرد عد الفشل، فإنه يستخدم نتائج الفخ لـ تقدير مقدار الضجيج بدقة. إنه يشبه طباخاً يتذوق الحساء. بدلاً من مجرد قول "إنه مالح جداً، ارمِه!"، يتذوق الطباخ ويقول "إنه أكثر ملوحة بنسبة 10% مما ينبغي". ثم يستخدم الطباخ تلك المعرفة لتعديل الوصفة.

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

الفوز الكبير: إلغاء الضوضاء النشط

الجزء الأكثر إثارة هو ما يحدث عندما يكون الخادم صادقاً ولكن الآلة صاخبة (بها ضجيج).

• الطريقة القديمة: إذا كان الضجيج مرتفعاً جداً، سيرفض البروتوكول النتيجة بنسبة 100%. لن تحصل على شيء.
• طريقة VBPEC: يرى البروتوكول الضجيج، ويتحقق من أنه يطابق النمط المتوقع، ومن ثم يلغي الضجيج بنشاط. إنه يقبل النتيجة ويعطيك إجابة مصححة.

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

ماذا يعني هذا بالنسبة لك

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

يوضح المؤلفون أنك:

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

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