Succinct Arguments for QMA from Collapsing Hash Functions

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

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

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

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

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

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