From Claws to Conferences: Device-Independent Key Agreement Beyond Non-Signaling
تقدم هذه الورقة أول بروتوكول لاتفاق المفتاح المؤتمر المستقل عن الأجهزة الذي يلغي فرضية عدم الإرسال عبر الاعتماد على الصعوبة الكمومية لمسألة "التعلم مع الأخطاء" لتحقيق أمن أبدي ضد الهجمات المتماسكة من خلال حالة مخلب مرتبطة بحالات GHZ متعددة الأطراف وبت (bit) صلب تكييفي جماعي.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلف ولم يصادق عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في عالم الفيزياء الكمومية الهادئ، سعى العلماء طويلاً لإيجባ طريقة لمشاركة الأسرار تكون مضمونة بقوانين الطبيعة بدلاً من صعوبة مسألة رياضية. هذا المجال، المعروف بتوزيع المفاتيح الكمومية، يسمح لشخصين بإنشاء رمز مشترك لا يمكن للمتطفل نسخه دون اكتشافه. والنسخة الأكثر قوة من هذه التكنولوجيا، والتي تسمى الأمن المستقل عن الأجهزة، تأخذ هذا الأمر إلى أبعد من ذلك؛ فهي تسمح للمستخدمين بالوثوق في السر النهائي حتى لو لم يثقوا في الآلات التي تولده. في هذا السيناريو، يتم التعامل مع الأجهزة كصندوق أسود؛ حيث لا يحتاج المستخدمون لمعرفة كيفية عملها من الداخل، بل يكفي أن تتصرف مدخلاتها ومخرجاتها بطريقة يستحيل على الأجهزة العادية غير الكمومية محاكاتها. ولعقود من الزمن، كانت الطريقة الوحيدة لإثبات هذا السلوك تعتمد على قاعدة فيزيائية صارمة: كان لزاماً أن تكون أجزاء الجهاز معزولة تماماً عن بعضها البعض أثناء الاختبار، بحيث لا يمكنها إرسال أي إشارات بينها بسرعة تفوق سرعة الضوء. هذا المتطلب، المعروف باسم فرضية عدم الإشارة، يعني أنه لمشاركة سر بين مجموعة كبيرة من الأشخاص، سيتعين على كل زوج من المشاركين أن يكون منفصلاً مادياً ومتزامناً بشكل مثالي، وهو كابوس لوجستي يزداد صعوبة بشكل أسّي مع انضمام المزيد من الأشخاص إلى المجموعة.
لقد كسر باحث الآن هذا الحاجز الذي دام طويلاً. فقد صمم بروتوكولاً جديداً يسمح لمجموعة من الأشخاص بإنشاء مفتاح سري مشترك دون اشتراط عزل أجهزتهم عن بعضها البعض. فبدلاً من الاعتماد على الفصل المادي لمنع السلوك غير النزيه، تعتمد طريقته على نوع مختلف من الحواجز: الصعوبة الحسابية. أثبت الباحث أنه إذا كان الجهاز محدوداً بسرعة الحواسيب الحديثة، فيمكن لمتحكم مركزي واحد التحقق من نزاهته حتى لو كانت جميع أجزائه الداخلية قادرة على التواصل مع بعضها البعض بحرية. يزيل هذا النهج الحاجة إلى الإعدادات المعقدة والمتباعدة مكانياً التي جعلت الشبكات الكمومية واسعة النطاق أمراً صعباً للغاية. والنتيجة هي نظام يمكن فيه لمجموعة من المستخدمين توليد مفتاح آمن باستخدام جهاز واحد غير موثوق، بشرط ألا يتمكن الجهاز من حل لغز رياضي معين شديد الصعوبة أثناء تشغيل البروتوكول.
يكمن جوهر هذا الإنجاز في كيفية إعادة تصور الباحث لاختبار النزاهة. في الطرق السابقة، كان أمن السر يعتمد على حقيقة أن مكونات الجهاز لا تستطيع التنسيق في إجاباتها لأنها كانت بعيدة جداً عن بعضها البعض بحيث لا يمكنها التواصل. أما الطريقة الجديدة، فهي تقبل بأن المكونات يمكنها التواصل، لكنها تفترض أنها ليست قوية بما يكفي لحل مسألة رياضية معينة تسمى "التعلم مع الأخطاء" (Learning With Errors). ويُعتقد أن هذه المسألة صعبة للغاية لدرجة أن الحاسوب الكمومي سيستغرق وقتاً غير عملي لحلها. ومن خلال بناء اختبار الأمن حول هذا الافتراض، خلق الباحث سيناريو يمكن فيه لحاسوب كلاسيكي، يعمل كمتحقق، أن يتفاعل مع جهاز كمومي واحد ويؤكد أنه يتصرف بنزاهة. يُطلب من الجهاز أداء مهمة تتطلب منه الاحتفاظ بحالة كمومية معقدة، ولكن إذا حاول التصرف بعدم نزاهة عبر مجرد حساب الإجابة، فإنه سيفشل لأن الرياضيات ستكون صعبة للغاية.
ولجعل هذا العمل ممكناً لمجموعة من الناس، اضطر الباحث إلى ابتكار طريقة جديدة لإنشاء حالة كمومية مشتركة. لقد بدأ بهيكل رياضي يُعرف باسم "المخلب" (claw)، والذي يتضمن مسارين مختلفين يؤديان إلى نفس الوجهة. وفي بروتوكوله الجديد، وسع هذا المفهوم ليشمل العديد من الأشخاص في وقت واحد. لقد أنشأ حالة كمومية خاصة حيث يحمل كل مشارك قطعة من نفس اللغز، مرتبطة ببعضها البعض بطريقة تضمن أنهم جميعاً يتشاركون نفس البت السري. وإذا حاول الجهاز التلاعب بالنتائج، فإن الهيكل الرياضي للغز يجبره على إظهار التناقضات. وقد أظهر الباحث أنه حتى لو احتفظ الجهاز بذاكرة للتفاعلات الماضية وحاول تكييف استراتيجيته عبر جولات عديدة، فإن الصعوبة الجوهرية للرياضيات الأساسية تمنعه من تزوير سر صالح.
إن أمن هذا البروتوكول الجديد قوي للغاية. فقد أثبت الباحث أن المفتاح السري النهائي عشوائي إحصائياً وآمن من أي متطفل، حتى لو كان يمتلك قدرة حوسبية غير محدودة وقد ينجح في حل المسألة الرياضية الصعبة بعد انتهاء البروتوكول. وهذا ما يُعرف بالأمن الأبدي. الوقت الوحيد الذي يجب أن تكون فيه الرياضيات صعبة هو أثناء توليد المفتاح. وبمجرد اكتمال العملية واستخلاص السر، يصبح الحماية مطلقة، معتمدة على قوانين الاحتمالات بدلاً من الحدود الحسابية الحالية. وهذا يعني أنه حتى لو أدى اختراق مستقبلي إلى كسر الرياضيات المستخدمة في الإعداد، فإن الأسرار التي تم توليدها اليوم ستظل آمنة للأبد.
إن الآثار العملية لهذا العمل كبيرة بالنسبة لمستقبل الاتصالات الآمنة. في السابق، كان إعداد مكالمة جماعية آمنة لمجموعة كبيرة باستخدام التكنولوجيا الكمومية يتطلب شبكة معقدة من المختبرات المعزولة، كل منها محمي بعناية عن الآخرين. تبسط هذه الطتريقة الجديدة المتطلبات الفيزيائية بشكل كبير؛ إذ يمكن توصيل الأجهزة بشبكة قياسية، ويتم الحفاظ على الأمن من خلال الحدود الحسابية للأجهزة بدلاً من المسافة الفيزيائية. وقد أظهر الباحث أن هذا النهج يعمل لأي عدد من المشاركين، حيث يتوسع من شخصين إلى مجموعة كبيرة دون الزيادة الأسّية في التعقيد التي كانت تعيق الطرق السابقة. ورغم أن النسخة الحالية من البروتوكول لا تزال مجرد إثبات لمفهوم وتتطلب مستويات منخفضة جداً من الضجيج لتعمل بشكل مثالي، إلا أنها ترسم مساراً واضحاً للمستقبل. فهي توضح أن حلم وجود شبكة مستقلة عن الأجهزة بالكامل لمجموعات كبيرة ليس مجرد إمكانية نظرية، بل هو هدف هندسي قابل للتحقيق لا يتطلب الشرط المستحيل المتمثل في العزل المادي المثالي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.