Numerical and Algebraic Evaluation of Chebyshev Polynomial Representations for Ring-LWE-Related Polynomial Arithmetic

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

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

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

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

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

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

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

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