Key exchange protocol based on circulant matrix action over congruence-simple semiring

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

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

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

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

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

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