Unconditional Certified Randomness without Structure
تقدم هذه الورقة بروتوكولاً غير تفاعلي، وقابلاً للتحقق علناً، من أجل عشوائية معتمدة غير مشروطة في نموذج أوركل أوركل الكمي، محققةً الأمان ضد استعلامات كمية تكيفية بعدد شبه أسي دون الاعتماد على حدسية آرونسون-أمبين أو تقييد عمق الاستعلام.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في العالم الكمي، لا تعد العشوائية مجرد نقص في المعلومات؛ بل هي سمة جوهرية للواقع. فحتى لو كنت تعرف كل شيء ممكن عن نظام كمي، فلا يمكنك التنبؤ بنتيجة القياس بيقين. هذا عدم القدرة المتأصل على التنبؤ هو المحرك وراء الحوسبة الكمية، ولكنه يمثل أيضاً تحدياً فريداً للأمن. كيف يمكن لشخص يستخدم حاسوباً كلاسيكياً عادياً أن يتأكد من أن جهازاً كمياً بعيداً وغير موثوق ينتج بالفعل عشوائية حقيقية، بدلاً من مجرد تزييفها بحيلة ذكية؟ يكمن هذا السؤال في قلب "العشوائية المعتمدة"، وهو مجال يحاول فيه الباحثون بناء بروتوكولات تسمح للمستخدم الكلاسيكي بالتحقق من جودة الضجيج الكمي. لسنوات، اعتمدت الحلول الأكثر واعدة على افتراضات معقدة حول حدود الحوسبة أو تطلبت أن يكون الجهاز الكمي معزولاً مادياً عن غيره، وهي شروط يصعب فرضها في العالم الحقيقي.
لقد أظهر فريق من الباحثين الآن طريقة جديدة لاعتماد العشوائية تزيل هذه القيود الثقيلة. لقد صمموا بروتوكولاً يعمل في إطار نظري يُعرف باسم نموذج الأوراكلوم الكمي (quantum random oracle model)، وهو إطار يمكن للحاسوب فيه استعلام قاعدة بيانات ضخمة وغير متوقعة. إن طفرتهم النوعية هي طريقة غير تفاعلية، مما يعني أن الجهاز الكمي ببساال إنتاج إجابة دون الحاجة إلى الدردشة ذهاباً وإياباً مع المتحقق، وهي قابلة للتحقق علناً، مما يسمح لأي شخص بفحص النتيجة. والأهم من ذلك، أنهم أثبتوا أن هذا البروتوكول يعمل بشكل غير مشروط ضد أي خصم، بشرط ألا يقوم ذلك الخصم بإجراء عدد مستحيل من الاستعلامات لقاعدة البيانات. هذا النتيجة تحسم سؤالاً طال أمده حول ما إذا كان يمكن اعتماد العشوائية الحقيقية دون الاعتماد على تخمينات رياضية غير مثبتة، مما يوفر أساساً متيناً للأنظمة التشفيرية المستقبلية.
تبدأ قصة هذا الاكتشاف بلغز محدد اقترحه باحثون سابقون، والذي تضمن البحث عن حل مخفي ضمن مساحة شاسعة من الاحتمالات. تخيل شبكة عملاقة حيث تحتوي كل خلية على رمز سري. يمكن للحاسوب الكمي العثور على نمط معين في هذه الشبكة بشكل أسرع بكثير من الحاسوب الكلاسيكي، لكن النسخة الأصلية من هذا اللغز كانت تشوبها ثغرة: لإثبات أن الحل حقيقي حقاً، كان على الباحثين افتراض صحة حدسية رياضية معقدة. هذه الحدسية، رغم أنها مقبولة على نطاق واسع، لم تُثبت قط. يوضح العمل الجديد الذي قام به كولادانجلو وخورانا وزملاؤهم أنه من خلال إجراء تعديل طفيف على قواعد اللغز، تختفي الحاجة إلى هذا الافتراض غير المثبت تماماً.
لقد حقق الباحثون ذلك من خلال تغيير عنصرين رئيسيين في اللغز الأصلي. أولاً، قاموا بتغيير "الرمز" المستخدم لتعريف الحلول الصالحة. في الإعداد الأصلي، كان الرمز جامداً، لكن الفريق قدم هيكلاً أكثر مرونة يمكن التحقق منه بكفاءة ولكنه أصعب على المهاجم للتنبؤ به. ثانياً، ولعل هذا هو الأهم، قاموا بتغيير طبيعة قاعدة البيانات نفسها. فبدلاً من أن يكون كل مدخل في قاعدة البيانات مرجحاً لأن يكون صفراً أو واحداً بالتساوي، جعلوا قاعدة البيانات "منحازة". في هذه النسخة المنحازة، تكون الأصفار أكثر شيوعاً بكثير من الواحدات. هذا التحول الطفيف يتبين أنه المفتاح؛ فهو يضمن أنه عندما يحل الحاسوب الكمي اللغز، فإنه يُجبر على استكشاف قاعدة البيانات بطريقة تترك بصمة عشوائية متميزة، بينما يجعل في الوقت نفسه من المستحيل على الحاسوب الكلاسيكي تزييف النتيجة دون بذل جهد فلكي.
يعتمد جوهر حجتهم على تقنية عد ذكية. لقد استنتجوا أنه إذا كان الحاسوب الكمي يحاول إنتاج إجابة غير عشوائية وقابلة للتنبؤ، فسيتعين عليه تركيز انتباهه على أجزاء محددة من قاعدة البيانات. ومع ذلك، وبسبب الطريقة التي تم بها تحيز قاعدة البيانات وهيكلية الرمز، فإن أي محاولة للتركيز على إجابة معينة ستتطلب من الحاسوب إجراء عدد كبير جداً من الاستعلامات بحيث يتجاوز الحدود المادية المسموح بها ضمن قيود البروتوكول. أثبت الباحثون أنه إذا حاول الخصم إنتاج حل قابل للتنبؤ، فسيُجبر على "استعلام" قاعدة البيانات بكثافة بحيث يكتشف البروتوكول الشذوذ. وعلى العكس من ذلك، إذا ظل الخصم ضمن الحدود المسموح بها، فإن الطريقة الوحيدة للنجاح هي إنتاج مخرج عشوائي حقاً.
هذه النتيجة مهمة لأنها تزيل العقبة الرئيسية الأخيرة أمام نوع معين من التفوق الكمي. لفترة من الوقت، كانت الأمثلة الوحيدة المعروفة لتفوق الحواسيب الكمية على الحواسيب الكلاسيكية في بيئة "خالية من البنية" — أي بيئة لا تعتمد على خصائص رياضية خاصة مثل تحليل الأعداد الكبيرة إلى عواملها — مرتبطة بحدسيات غير مثبتة. ومن خلال إثبات إمكانية اعتماد العشوالية دون هذه الحدسيات، أظهر الفريق أن هذا المصدر الجديد للتفوق الكمي حقيقي ومتين. كما أن بروتوكولهم عملي في تصميمه: فهو يتطلب جهازاً كمياً واحداً فقط، ولا يتضمن أي تواصل ذهاباً وإياباً، ويسمح لأي شخص لديه وصول إلى قاعدة البيانات بالتحقق من النتيجة.
إن إثبات الفريق صارم ويغطي مجموعة واسعة من المهاجمين المحتملين. لقد أظهروا أنه حتى الخصم الذي يمتلك قدرة حوسبية غير محدودة، والمقيد فقط بعدد المرات التي يمكنه فيها طرح الأسئلة على قاعدة البيانات، لا يمكنه كسر النظام. يظل الأمن قائماً طالما بقي عدد الاستعلامات تحت عتبة معينة، وهي عتبة كبيرة أسياً ولكنها تظل محدودة. وهذا يعني أنه لأي سيناريو واقعي، فإن العشوائية المولدة مضمونة بأن تكون عالية الجودة. كما عالج الباحثون مسألة تقنية دقيقة: فبينما تم تصميم بروتوكولهم باستخدام قاعدة بيانات منحازة، فقد أظهروا كيفية محاكاة هذا الانحياز باستخدام قاعدة بيانات موحدة قياسية، مما يضمن إمكانية تنفيذ الطريقة في العالم الحقيقي دون الحاجة إلى أوراكلوموم خاص.
في المشهد الأوسع للمعلومات الكمية، يوفر هذا العمل مثالاً نظيفاً وغير مشروط لكيفية تسخير ميكانيكا الكم لتوليد والتحقق من العشوائية. إنه يسد الفجوة بين الإمكانية النظرية والأمن العملي، ويقدم بروتوكولاً يتسم بالبساطة في الوصف والدقة الرياضية المطلقة. ومن خلال إظهار أن العشوائية متأصلة في العملية وليست نتاج افتراض غير مثبت، فقد عزز الباحثون الأساس لتطبيقات مستقبلية في التشفير والاتصالات الآمنة. ويقف هذا العمل كشهادة على قوة الاستدلال الرياضي الدقيق، محولاً مشكلة نظرية معقدة إلى واقع واضح وقابل للتحقق.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.