Classical Verifier Position Verification from Non-Local Games

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

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

جوهر هذا النظام الجديد هو ترجمة ذكية لمفهوم يُعرف باسم "اللعبة غير المحلية" (non-local game). في هذه الألعاب، يتلقى لاعبان أو أكثر أسئلة من حكم، ويجب أن يقدموا إجابات مترابطة بطريقة محددة. إذا شارك اللاعبون رابطاً كمومياً خاصاً يسمى "التشابك" (entanglement)، فيمكنهم الإجابة بشكل صحيح أكثر مما تسمح به أي مجموعة من اللاعبين الذين يستخدمون الفيزياء الكلاسيكية فقط. أدرك الباحثون أنه يمكنهم استخدام هذه الميزة الكمومية للتحقق من الموقع دون إرسال جسيم كمومي إلى المُحقِّق أبداً. بدلاً من ذلك، يرسل المُحقِّقون أسئلة كلاسيكية إلى المُثبتين، الذين يستخدمون أجهزتهم الكمومية المحلية لتوليد الإجابات. ثم يرسل المُثبتون إجاباتهم إلى جميع المُحقِّقين. ويتحقق النظام من شيئين: أولاً، أن الإجابات صحيحة بما يكفي لإثبات أن المُثبتين يستخدمون ميكانيكا الكم، وثانياً، أن الإجابات المرسلة إلى مُحقِّقين مختلفين متسقة مع بعضها البعض. وإذا حاول مهاجم محاكاة الموقع، فسيتعين عليه التنبؤ بإجابات المُثبتين دون الوصول إلى المعلومات الكمومية اللازمة، وهي مهمة أثبت الباحثون أنها مستحيلة إحصائياً إذا كان التوزيع الهندسي للإعداد صحيحاً.

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

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

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

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

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