Computational Bounds for $f$-Routing

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

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

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

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

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

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

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

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

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

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

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