Ordinary 3-Isogeny Graphs and Improvement of Supersingularity Testing for Twisted Hessian Curves over Prime Fields

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

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

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

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

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

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