Separating Quantum Indistinguishability Obfuscation from Falsifiable Assumptions
تضع هذه الورقة عائقاً أمام بناء التعتيم غير المتمايز كمياً (qIO) وتشفير الشاهد لـ QMA من الافتراضات التشفيرية القياسية القابلة للتفنيد، وذلك عبر إثبات أن أمنهما لا يمكن اختزاله إلى مثل هذه الافتراضات عبر اختزالات الصندوق الأسود الكلاسيكية المقيدة، بشرط وجود مشكلة فجوة QMA محددة.
البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
في عالم التشفير، غالبًا ما يكون الهدف الأسمى هو إخفاء الآليات الداخلية لبرنامج ما مع الحفاظ على وظيفته سليمة. تخيل قطعة من البرمجيات تؤدي عملية حسابية معقدة؛ ستكون الأداة المثالية هي تلك التي تقوم بتشفير كودها بعمق بحيث لا يمكن لأحد هندسته عكسيًا، ومع ذلك يظل البرنامج يعمل بشكل مثالي لكل من يحتاج إلى استخدامه. هذا المفهوم، المعروف باسم "التعمية" (obfuscation)، ظل لفترة طويلة بمثابة الكأس المقدسة لعلماء الكمبيوتر. وبينما حقق الباحثون تقدمًا كبيرًا في تشفير برامج الكمبيوتر التقليدية، فإن صعود الحوسبة الكمومية قد قدم أفقًا جديدًا. تعمل البرامج الكمومية وفق القواعد الغريبة لميكانيكا الكم، حيث يمكن للمعلومات أن توجد في حالات متعددة في آن واحد، مما يجعل حمايتها أكثر صعوبة بكثير. تهدف نوعية محددة من الحماية تسمى "تعمية عدم التمييز الكمومي" (quantum indistinguishability obfuscation) إلى جعل هذه البرامج الكمومية غير مفهومة، لتكون بمثابة أساس لأنظمة أمنية متقدمة مثل "تشفير الشاهد" (witness encryption)، والذي يسمح بقفل البيانات خلف بيان لا يمكن فتحه إلا إذا وجد دليل سري محدد.
لسنوات، حاول المجتمع العلمي بناء أدوات الأمن الكمومي هذه باستخدام افتراضات رياضية قياسية ومعروفة جيدًا. هذه الافتراضات تشبه الركيزة الأساسية للتشفير الحديث؛ فهي عبارة عن مشكلات يُعتقد أنها صعبة الحل، مثل العثور على مفتاح محدد في كومة قش هائلة. وإذا أمكن بناء أداة أمنية جديدة بناءً على هذه المشكلات الصعبة المعروفة، فإنها تُعتبر موثوقة. ومع ذلك، يشير دراسة جديدة أجراها باحثون من شركة "IonQ" وجامعة كيوتو إلى أن هذا المسار قد يكون مسدودًا. فقد أثبتوا أن شكلًا معينًا وقويًا من الأمن الكمومي لا يمكن بناؤه من أي من هذه الافتراضات الرياضية القياسية القابلة للاختبار، بشرط أن يتبع الإثبات الأمني هيكلًا منطقيًا معينًا. لا يعني هذا الاكتشاف أن الأداة الأمنية مستحيلة البناء، بل يعني أنه إذا وجدت، فيجب أن تعتمد على أساس يختلف جوهريًا عن الأسس التي نستخدمها حاليًا لتأمين عالمنا الرقمي.
ركز الباحثون في تحقيقهم على سيناريو محدد يتضمن "تشفير الشاهد" لفئة من المشكلات تُعرف باسم "QMA". بعبارات بسيطة، مشكلات QMA هي تلك التي يمكن التحقق من الإجابة عنها بسرعة إذا تم تزويدك بدليل كمومي خاص، يسمى "الشاهد"، ولكن العثور على ذلك الدليل أمر صعب للغاية. طرح الباحثون سؤالاً مباشرًا: هل يمكننا بناء نظام يشفر البيانات بناءً على بيان، بحيث لا يمكن إلا لشخص يمتلك الشاهد الكمومي الصحيح فك تشفيرها، وذلك باستخدام افتراضات رياضية قياسية فقط؟ وللإجابة على ذلك، استخدموا طريقة إثبات صارمة تعمل مثل الفخ المنطقي. لقد تخيلوا سيناريو يحاول فيه إثبات أمني ربط سلامة هذا النظام التشفيري بافتراض رياضي قياسي، ثم أظهروا أنه إذا وجد مثل هذا الربط، فسيؤدي ذلك إلى تناقض.
يعتمد جوهر اكتشافهم على محاكاة ذكية. فقد أظهروا أنه إذا كان الافتراض الرياضي القياسي صحيحًا، فسيكون من الممكن إنشاء "مهاجم مزيف" يمكنه كسر نظام التشفير بنفس كفاءة مهاجم حقيقي ذي قدرة غير محدودة، دون أن يعرف السر فعليًا. وفي عالم التشفير، إذا كان بالإمكان كسر نظام ما بواسطة مهاجم مزيف يبدو متطابقًا مع مهاجم حقيقي، فإن النظام يُعتبر غير آمن. أثبت الباحثون أنه بالنسبة لنوع محدد من التشفير الكمومي الذي درسوه، يمكن دائمًا إنشاء هذا المهاجم المزيف باستخدام افتراض رياضي قياسي. وهذا يعني أنه إذا كان نظام التشفير آمنًا حقًا، فيجب أن يكون الافتراض الرياضي الأساسي غير صحيح. وبما أننا نعتقد أن هذه الافتراضات القياسية صحيحة، فإن الاستنتاج المنطقي هو أن نظام التشفير هذا لا يمكن بناؤه بناءً عليها.
هذه النتيجة مهمة لأنها تضع حدًا قاطعًا لكيفية مقاربتنا للأمن الكمومي. لا تقول الدراسة إن "تعمية عدم التمييز الكمومي" مستحيلة التحقيق؛ بل تقول ببساطة إننا لا نستطيع بناءها باستخدام الافتراضات القياسية القابلة للاختبار التي خدمت مصلحتنا لعقود. لقد كان الباحثون حذرين في تحديد حدود إثباتهم؛ إذ ينطبق استنتاجهم على فئة محددة من الإثباتات الأمنية حيث تتبع عملية الاختبار قواعد معينة، مثل فحص النظام باستخدام استعلامات قياسية غير تكيفية. كما أشاروا إلى أن نتيجتهم تتعلق تحديدًا بالأنظمة التي تنتج معلومات كلاسيكية، مثل البتات الرقمية القياسية. وهذا يترك الباب مفتوحًا أمام احتمالية أن التعميات التي تنتج حالات كمومية قد تظل قابلة للبناء من افتراضات قياسية، رغم أن هذا يظل سؤالًا مفتوحًا.
قدمت الدراسة مفهومًا جديدًا لدعم حجتها: وجود فجوة بين ما يمكن التحقق منه باستخدام رسالتين من الاتصال الكلاسيكي وما يمكن التحقق منه باستخدام شهود كمومية. يفترض الباحثون أن هناك مشكلات كمومية معينة لا يمكن حلها أو التحقق منها بكفاءة باستخدام جولتين فقط من المحادثة الكلاسيكية، حتى مع المساعدة من "أوراكل" (oracle) قوي. هذا الافتراض مدعوم بالمعرفة الحالية في هذا المجال، حيث تتطلب أفضل الطرق المعروفة للتحقق من الحسابات الكمومية أكثر من رسالتين. ومن خلال الاعتماد على هذه الفجوة، تمكن الباحثون من بناء فخهم المنطقي، مظهرين أن الجسر بين الافتراضات القياسية وأداة الأمن الكمومي المحددة هذه لا يمكن بناؤه.
في نهاية المطاف، يعمل هذا العمل كعلامة إرشادية للبحوث المستقبلية. فهو يخبر مجتمع التشفير أنه إذا أرادوا بناء هذه الأدوات الأمنية الكمومية المتقدمة، فعليهم البحث فيما وراء الافتراضات القياسية التي اعتمدوا عليها لسنوات. قد يحتاجون إلى إيجاد أسس رياضية جديدة، ربما تكون أكثر غرابة، أو قبول أن هذه الأدوات تعتمد على افتراضات أصعب في الاختبار والتحقق. لا تغلق الورقة البحثية الباب أمام التعمية الكمومية، لكنها تغلق بقوة بابًا واحدًا محددًا، وهو المسار الذي كان مأمولًا بشدة لتحقيق ذلك. ومن خلال استبعاد هذا الاحتمال، أوضح الباحثون المشهد، مما أجبر العلماء على إعادة التفكير في استراتيجياتهم وربما البحث عن طرق جديدة تمامًا لتأمين المستقبل الكمومي.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.