Verifier-initiated quantum message-authentication via quantum zero-knowledge proofs

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

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

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

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

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

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

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

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