Breaking the Bounded Entanglement Barrier for Quantum Position Verification

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

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

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

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

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

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

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

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