Quantum pseudoresources imply cryptography

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

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

لقد قدم فريق من الباحثين في جامعة سوربون ومركز البحث الوطني الفرنسي (CNR S) في باريس الآن إجابة حاسمة على هذا السؤال. فقد أثبتوا أن هذه الحالات الكمية المخادعة ليست مجرد فضول علمي؛ بل هي قوية بما يكفي لبناء الحجر الأساس للاتصالات الآمنة. وتحديداً، أوضح المؤلفون أنه إذا كان لديك زوج من عائلات الحالات الكمية التي لا يمكن التمييز بينها حوسبياً ولكنها تمتلك فجوة كبيرة في محتواها من الموارد، فيمكنك بناء مخطط التزام (Commitment Scheme) آمن. في علم التشفير، يُعد مخطط الالتزام بمثابة مغلف رقمي مختوم: يمكن لأحد الطرفين قفل قيمة سرية بداخله وإرسالها إلى طرف آخر، مما يضمن عدم تغيير القيمة (خاصية الإلزام/Binding) وعدم إمكانية قراءتها حتى يقرر المرسل الكشف عنها (خاصية الإخفاء/Hiding).

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

لهذا الاكتشاف آثار عميقة لأنه يربط مفهوم الموارد المجرد مباشرة بالأمن العملي. توضح الورقة البحثية أنه إذا تمكنت من توليد هذه الموارد الزائفة، فإنك تكتسب تلقائياً القدرة على تنفيذ مهام تشفير معقدة، مثل الحوسبة متعددة الأطراف الآمنة (Secure Multiparty Computation) والتحويل غير المدرك (Oblivious Transfer)، حيث يمكن للأطراف حساب نتيجة دون الكشف عن مدخلاتهم الخاصة. لم يتوقف المؤلفون عند الموارد العامة؛ بل ركزوا بشدة على التشابك، وهو المورد الكمي الأكثر شهرة. فقد أظهروا أنه حتى لو كان التشابك "زائفاً" بمعنى أنه مخفي حوسبياً، فإنه حقيقي بما يكفي لتأمين قناة اتصال. كما اقترحوا وظيفة جديدة تسمى "التشابك المقفل حوسبياً" (Computationally Locked Entanglement)، حيث تحتوي الحالة على كميات عالية من التشابك التي لا يمكن فتحها إلا باستخدام مفتاح سري، مما يخفي المورد فعلياً عن أي شخص لا يمتلك المفتاح.

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

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