Verifiable Quantum Advantage and Computation via Quantum Circuit Obfuscation
تُنشئ هذه الورقة بروتوكولات للتفوق الكمي القابل للتحقق كلاسيكياً والتحقق من حسابات BQP باستخدام التعتيم الكمي غير المتمايز (qiO)، مما يوفر أساساً تشفيرياً صارماً للمقترحات التجريبية ويحقق أول عملية تحقق عامة من BQP تحت الافتراضات الحسابية القياسية.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في السباق لبناء آلات يمكنها حل مشكلات تتجاوز قدرات حواسيب اليوم، يواجه العلماء مفارقة غريبة. فلكي تثبت أن حاسوبًا كموميًا جديدًا يعمل، يجب أن تطلب منه أداء مهمة معقدة للغاية لدرجة أن الحاسوب القياسي لا يمكنه التحقق من الإجابة. ولكن، إذا لم يكن بالإمكان التحقق من الإجابة، فكيف تعرف أن الآلة لم تكتفِ بمجرد التخمين؟ هذا هو التوتر المركزي في التفوق الكمومي: الحاجة إلى اختبار يصعب على الآلات الكلاسيكية تزييفه، ولكنه سهل للمدقق البشري للتحقق منه. لسنوات، حاول الباحثون تصميم هذه الاختبارات، معتمدين غالبًا على ألغاز رياضية معقدة أو قدرات عتادية محددة ليست متاحة بعد. كان الهدف دائمًا هو إيجاد طريقة لتأكيد أن الجهاز يسخر حقًا القوانين الغريبة لميكانيكا الكم دون الحاجة إلى حاسوب خارق يراقب فوق كتفه.
لقد اقترح فريق من الباحثين الآن طريقة جديدة لحل هذا اللغز، عبر نقل المشكلة من مجال هندسة العتاد إلى مجال التشفير. يشير عملهم، الذي نُشر في أكتوبر 2026، إلى أنه إذا استطعنا إخفاء الآليات الداخلية لبرنامج حاسوبي بطريقة رياضية صارمة ومحددة، فيمكننا إنشاء اختبار يكون سهلاً للتشغيل على الأجهزة الكمومية القريبة من المدى الحالي، وسهلاً لأي شخص للتحقق منه. تعتمد الفكرة الجوهرية على مفهوم يسمى "التعمية" (obfuscation)، وهي تشبه خلط وصفة طعام بشكل دقيق للغاية بحيث يمكنك لاحقًا طهي الطبق، ولكن لا يمكن لأحد قراءة قائمة المكونات لمعرفة كيف تم إعداده. ومن خلال تطبيق تقنية الخلط هذه على الدوائر الكمومية، يوضح المؤلفون كيفية إنشاء "إثبات للكمومية" (proof of quantumness) يكون محصنًا ضد المحاولات الكلاسيكية للخداع.
بنى الباحثون بروتوكولين رئيسيين بناءً على هذه الفكرة. الأول هو اختبار لإثبات أن الجهاز كمومي. في هذا السيناريو، يرسل المُتحقق تحديًا إلى المُثبِت. يتكون التحدي من تعليمات مشفرة (مخفية). الحاسوب الكلاسيكي، الذي ينظر إلى هذه التعليمات المشفرة، لا يمكنه معرفة ما تفعله هذه التعليمات في الواقع. ومع ذلك، يمكن للحاسوب الكمومي تشغيل التعليمات وإنتاج نمط محدد من النتائج. يتحقق المُتحقق مما إذا كانت النتائج تطابق النمط المتوقع. إذا كانت كذلك، فإن المُتحقق يعرف أن المُثبِت لا بد أن يكون كموميًا. ومن الأهمية بمكان أن المؤلفين أظهروا أنه يمكن جعل هذا الاختبار "قابلاً للتحقق علنيًا" عن طريق إضافة مكون تشفيري محدد: دالة أحادية الاتجاه آمنة لما بعد الكم (post-quantum secure one-way function). وهذا يسمح لأي شخص بالتحقق من الإجابة دون الحاجة إلى مفتاح سري أو معلومات خاصة، بينما يتطلب الإصدار الأولي الخاص من البروتوكول من المُتحقق الاحتفاظ بحالة سرية.
أما البروتوكول الثاني فيذهب خطوة أبعد، حيث يسمح للحاسوب الكلاسيكي بالتحقق من نتائج حسابات كمومية معقدة محددة، وتحديدًا مسائل القرار من نوع BQP. يُعرف هذا باسم التحقق الكلاسيكي من الحوسبة الكمومية. وقد أثبت الباحثون أنه إذا نجحت تقنية التعمية، يمكن للمدقق الكلاسيكي تفويض عملية حسابية ضخمة إلى آلة كمومية ويكون واثقًا من النتيجة. لقد حققوا ذلك من خلال إخفاء دوائر "فخاخ" داخل التحدي. هذه الفخاخ مصممة لتكشف الإجابة إذا كانت الآلة صادقة، ولكنها مخفية جيدًا لدرجة أن الآلة التي تحاول الخداع لا يمكنها التمييز بين الأجزاء التي هي فخاخ والأجزاء التي هي حسابات حقيقية. وقد أثبت المؤلفون أنه تحت افتراضات معقولة حول صعوبة بعض المسائل الرياضية، لا يمكن للآلة الكلاسيكية خداع النظام.
إن المساهمة الكبرى لهذا العمل هي أنه لا يعتمد على العتاد المحدد للحاسوب الكمومي الذي يتم اختباره. بدلاً من ذلك، يعتمد على الصعوبة الرياضية لكسر التعمية. كما تناول المؤلفون عقبة عملية: إذ تستخدم الحواسيب الكمومية الحقيقية غالبًا بتات "مساعدة" إضافية، تسمى الـ "ancillas"، والتي يجب إعادة ضبطها إلى الصفر بعد الاستخدام. وقد أظهروا أن طريقة التعمية الخاصة بهم تعمل حتى مع هذه الدوائر الحقيقية الفوضوية، وذلك عبر تحويلها إلى شكل رياضي أكثر نقاءً يمكن للتعمية التعامل معه. وهذا يجسّر الفجوة بين التشفير النظري والأجهزة غير المثالية والمشوبة بالضجيج التي نمتلكها اليوم.
كما يتناول البحث مسألة ما إذا كان بناء مثل هذه التعمية أمرًا ممكنًا أصلاً. وبينما لا يقدم المؤلفون أداة تعمية جاهزة وعاملة، إلا أنهم يقدمون خارطة طريق. فهم يقترحون طريقة لبناء هذه المعميات عبر تفكيك الدوائر المعقدة إلى قطع صغيرة وعشوائية وإعادة تجميعها بطريقة تحافظ على الوظيفة ولكن تخفي الهيكل. ويثبتون أنه إذا نجحت هذه الطريقة مع الدوائر العشوائية، فإنها ستنجح مع أي دائرة. يوفر هذا "الاختزال من الحالة الأسوأ إلى المتوسطة" (worst-to-average reduction) أساسًا نظريًا قويًا، مما يشير إلى أن أمن النظام بأكمله يرتكز على صعوبة التمييز بين الدوائر الكمومية العشوائية، وهي مشكلة يُعتقد على نطاق واسع أنها صعبة.
إن تداعيات هذا العمل عميقة لمستقبل الحوسبة الكمومية. فهو يقدم أساسًا تشفيريًا صارمًا لفكرة "أخذ عينات الدائرة الذروية" (peaked circuit sampling)، وهي طريقة تجريبية اقترحها باحثون آخرون مؤخرًا لاختبار التفوق الكمومي. ومن خلال استبدال التخمينات التجريبية بالأمن القابل للإثبات، يوفر المؤلفون طريقة للانتقال من "نعتقد أن هذا صعب" إلى "يمكننا إثبات أن هذا صعب". ويشير عملهم إلى أن مسار التحقق من الحواسيب الكمومية لا يتطلب بالضرورة أجهزة كمومية أكثر قوة أو ألعابًا تفاعلية معقدة. بل قد يوجد في التطبيق الذكي لتقنيات الإخفاء التشفيرية، مما يسمح لمراقب كلاسيكي بالوثوق بكلمة الآلة الكمومية بيقين رياضي.
ويلاحظ الباحثون بعناية أن نتائجهم تعتمد على وجود أدوات التعمية هذه. ورغم أنهم لم يبنوا الأدوات بأنفسهم، إلا أنهم أوضحوا بالضبط ما هي الخصائص التي تحتاجها وكيفية استخدامها إذا وجدت. كما أظهروا أن أمن نظامهم لا يتطلب أي افتراضات إضافية غير مثبتة حول مستقبل القدرة الحوسبية بخلاف وجود التعمية، وللتحقق العلني، الدوال أحادية الاتجاه. فإذا صمدت التعمية، صمد التحقق. وهذا الفصل بين المهام يسمح للمجتمع العلمي بالتركيز على بناء أدوات التعمية مع امتلاك إطار عمل واضح ومتحقق منه لكيفية استخدامها.
في النهاية، لا يدعي هذا البحث أنه حل مشكلة التحقق الكمومي بمنتج نهائي. بل إنه رسم خريطة دقيقة للتضاريس. فهو يوضح أنه إذا استطعنا تشفير البرامج الكمومية بفعالية، فيمكننا التحقق منها بشكل مثالي. إنه يستبدل عدم اليقين في الاختبارات التجريبية بيقين الإثبات التشفيري. وبالنسبة لمجال الحوسبة الكمومية، يمثل هذا تحولًا من مجرد الأمل في أن الآلة تعمل إلى معرفة أنها تعمل، بدقة رياضية. ويقف هذا العمل كجسر بين عالم التشفير المجرد والحاجة العملية للوثوق بنتائج الجيل القادم من الحواسيب.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.