Quantum Time-Lock Puzzles in the Quantum Random Oracle Model

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

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

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

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

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

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

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

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

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

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

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

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