$\mathsf{EFI}\Leftrightarrow\mathsf{1PRS}$

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

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

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

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

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

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

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

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

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