في المجال الناشئ حيث تتواصل الحواسيب الكلاسيكية مع الآلات الكمومية، يبرز تحدٍ جوهري: كيف يمكن لمستخدم كلاسيكي أن يتحقق من أن جهازاً كمومياً يقوم حقاً بشيء لا يستطيع الحاسوب الكلاسيكي القيام به، دون تعلم أي شيء آخر عن الحالة الداخلية للآلة؟ يقع هذا السؤال في قلب "براهين الكمية" (proofs of quantumness)، وهي مصافحة تشفيرية يرسل فيها مدقق كلاسيكي لغزاً إلى مُثبت كمومي، والذي يجب عليه حل اللغز ليثبت طبيعته الكمومية. تعتمد أمن هذه التفاعلات على نوع محدد من الأقفال الرياضية المعروف باسم "دالة المخلب الخالية من الفجوات ذات الباب السري" (trapdoor claw-free function). تخيل زوجاً من الأبواب المغلقة التي تبدو متطابقة من الخارج؛ لا يستطيع المراقب الكلاسيكي معرفة أي باب يؤدي إلى أين، لكن الآلة الكمومية يمكنها المرور عبر كليهما في وقت واحد. الشخص الذي بنى الأبواب يمتلك مفتاحاً سرياً، أو "باباً سرياً"، يكشف بالضبط كيفية اتصال الأبواب ببعضها. لسنوات، استند أمن هذه البروتوكولات بالكامل إلى افتراض هش: وهو أن الشخص الذي يرسل اللغز قد أنشأ المفات keys بأمانة. فإذا قام طرف خبيث بإرسال مجموعة مختلفة قليلاً من المفاتيح التي تبدو هي نفسها ولكنها تتصرف بشكل مختلف، فقد يتم خداع المُثبت الكمومي للكشف عن أسرار أو الفشل في الاختبار، بينما يظل المدقق غير مدرك لذلك.

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

ومع ذلك، ترسم الدراسة أيضاً خطاً فاصلاً حول أين يعمل هذا الحل وأين يفشل. فقد وجد الباحثون أنه بالنسبة لبعض البروتوكولات المتقدمة المصممة لإخفاء طبيعة المفاتيح نفسها، فإن إضافة شهادة ستؤدي في الواقع إلى كسر الأمن. في هذه الحالات المحددة، يعتمد الأمن على حقيقة أنه لا يمكن لأحد التمييز بين مفتاح "خالٍ من المخلب" (claw-free) ومفتاح "حقني" (injective) مختلف تماماً. إذا تم إصدار شهادة لإثبات أن المفتاح خالٍ من المخلب، فإن ذلك سيكشف فوراً عن هوية المفتاح، مما يدمر السرية التي بُني عليها البروتوكول. وبالتالي، بينما يوفر الإطار الجديد أداة قوية لتأمين العديد من التفاعلات الكمومية، فإنه ليس حلاً عالمياً؛ بل هو أداة دقيقة يجب استخدامها فقط عندما يكون هيكل المفتاح مقصوداً به أن يكون علنياً، وليس مخفياً.

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

لحل هذه المشكلة، عرّف الباحثون مفهوماً جديداً يسمى "علاقة المفتاح القابلة للتوثيق" (certifiable key relation). هذه قاعدة رياضية تصف بالضبط كيف يبدو المفتاح الصادق، جنباً إلى جنب مع "شاهد" (witness) يثبت أنه تم إنشاء المفتاح بشكل صحيح. الشاهد هو قطعة من المعلومات لا يمتلكها إلا المنشئ الصادق، مثل الأرقام العشوائية المحددة المستخدمة لإنشاء المفتاح. وأظهر الباحثون أنه بالنسبة لعدة عائلات رئيسية من هذه الدوال — القائمة على صعوبة تحليل الأعداد الكبيرة، وتعقيد اللوغاريتمات المنفصلة، وصعوبة التعلم مع الخطأ (learning with errors) — يمكن دائماً استعادة شاهد صالح من الباب السري. كان الاختراق في إدراك أن المنشئ يمكنه إثبات وجود هذا الشاهد دون إظهاره أبداً. لقد حققوا ذلك باستخدام "حجة معرفة صفرية" (zero-knowledge argument of knowledge)، وهي تقنية تشفيرية تسمح لطرف ما بإقناع طرف آخر بأنه يعرف سراً دون الكشف عن السر نفسه.

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

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

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

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

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