← أحدث الأبحاث
🔢 mathematics

MCSI: A Masked Commutative Supersingular Isogeny Key Exchange with Blinded Ephemeral Keys

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

المؤلفون الأصليون: Furkan Cifci (M.Emin Sarac High School), Osman Emre Donder (Bilkent University), Reyyan Cifci (King Fahd University of Petroleum and Minerals)

نُشر 2026-08-25✓ Author reviewed ⓘ
📖 5 دقيقة قراءة🧠 قراءة متعمّقة
CC BY 4.0

المؤلفون الأصليون: Furkan Cifci (M.Emin Sarac High School), Osman Emre Donder (Bilkent University), Reyyan Cifci (King Fahd University of Petroleum and Minerals)

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

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

قدم فريق من الباحثين بروتوكولاً جديداً يسمى MCSI، وهو اختصار لـ "تبادل مفاتيح الإيزوجيني الفائقة التبادلية المقنعة" (Masked Commutative Supersingular Isogeny Key Exchange). تم تصميم هذا النظام للسماح لشخصين، لنسمهما أليس وبوب، بإنشاء مفتاح سري مشترك عبر شبكة مفتوحة دون أن يتعلم المتصنت أي شيء عن القيم المؤقتة التي يستخدمونها أثناء المحادثة. يكمن الابتكار في كيفية إخفاء هذه القيم المؤقتة. في المحاولات السابقة، كانت القيم المؤقتة تُرسل في وضح النهار، مما يتطلب من المستلم إجراء عملية رياضية معقدة ومستهلكة للوقت للتحقق من صحة الرسالة. وقد خلق هذا خطراً أمنياً: حيث يمكن لمهاجم خبيث إغراق الخادم برسائل مزيفة، مما يجبره على إهدار قدرته الحوسبية في حسابات عديمة الفائدة. يحل نظام MCSI هذه المشكلة عن طريق تغليف القيمة المؤقتة في مظروف آمن وموثق. فقبل أن يفتح المستلم المظروف للتحقق من الرياضيات، فإنه يتحقق من ختم رقمي؛ فإذا كان الختم مكسوراً أو مفقوداً، يتم تجاهل الرسالة فوراً، مما يوفر على المستلم القيام بالعمل الشاق. هذا التغيير البسيط يحمي النظام من التعرض للإغراق من قبل الجهات السيئة.

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

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

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

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

غارق في أبحاث مجالك؟

تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.

جرّب Digest →

أبحاث مشابهة

عرض الكل في هذا التصنيف 🔢 math →