🔢 mathematics

Spinel: A Post-Quantum Signature Scheme Based on $\mathrm{SL}_n(\mathbb{F}_p)$ Hashing

تقدم هذه الورقة "سبينل" (Spinel)، وهو مخطط توقيع رقمي لما بعد الكوانتوم يدمج عائلة جديدة من دالات الهاش الجبرية القائمة على صعوبة التنقل في الرسوم البيانية الموسعة فوق $\mathrm{SL}_n(\mathbb{F}_p)$ ضمن إطار عمل +SPHINCS.

المؤلفون الأصليون: Asmaa Cherkaoui, Faraz Heravi, Delaram Kahrobaei, Siamak F. Shahandashti

نُشر 2026-02-12

📖 3 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Asmaa Cherkaoui, Faraz Heravi, Delaram Kahrobaei, Siamak F. Shahandashti

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

الفكرة الكبرى: ترقية "الختم الشمعي الرقمي"

تخيل أنك ترسل رسالة سرية للغاية عبر البريد. لضمان عدم عبث أي شخص بها، تستخدم ختماً شمعياً رقمياً (توقيعاً رقمياً).

في الوقت الحالي، تُصنع معظم هذه الأختام باستخدام مسائل رياضية يصعب على الحواسيب الحالية حلها. ومع ذلك، يعمل العلماء على بناء حواسيب كمومية (Quantum Computers) — وهي آلات فائقة القوة تعمل كـ "سحرة رياضيات". هؤلاء السحرة يمكنهم كسر أختامنا الرقمية الحالية في لمح البصر.

ولحماية أسرارنا، نحتاج إلى نوع جديد من الأختام. تقدم هذه الورقة البحثية Spinel، وهو ختم رقمي فائق القوة مصمم للصمود حتى أمام أقوى سحرة الرياضيات.

1. الأساس: "مجموعة الليغو" (SPHINCS+)

لم يقم الباحثون بإعادة اختراع العجلة بالكامل؛ بل استخدموا مخططاً مشهوراً وموثوقاً للغاية لختم رقمي يُسمى SPHICNS+.

فكر في SPHINCS+ كأنه قلعة ليغو ضخمة ومعقدة. هذه القلعة قوية للغاية لأنها مبنية من أجزاء أصغر ومتداخلة (مثل أبراج وجدران صغيرة). وتعتمد قوة هذه القلعة كلياً على الطوب المستخدم في بنائها.

حالياً، تُصنع تلك الطوبات من مواد "قياسية" (مثل SHA-256). هذه المواد جيدة، لكن قوتها تعتمد أساساً على مبدأ "لم نجد طريقة لكسرها بعد". إنها تشبه طوب الطين القياسي — موثوقة، لكن ليس لدينا دليل رياضي عميق يثبت عدم إمكانية تحطيمها بمطرقة عملاقة.

2. الابتكار: "طوب الألماس" (SLn(Fp) Hashing)

قرر مؤلفو هذه الورقة استبدال طوب الطين هذا بشيء أكثر غرابة: طوب الألماس.

بدلاً من استخدام الرياضيات القياسية، يستخدمون مفهوماً يسمى "نظرية المجموعات" (Group Theory) (وتحديداً شيئاً يسمى $SL_n(F_p)$ ).

التشبيه: المتاهة اللانهائية
تخيل متاهة عملاقة متعددة الأبعاد. لإنشاء "دالة هاش" (بصمة رسالتك)، تأخذ رسالتك وتستخدمها كمجموعة من التعليمات للمشي عبر هذه المتاهة.

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

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

3. اختبار القوة: "اختبار الإجهاد"

قبل أن يدّعوا أن ختمهم الجديد جاهز، أخضعوه لاختبارين رئيسيين:

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

4. المقايضة: "بطل الوزن الثقيل"

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

السرعة: يتطلب الأمر المزيد من "القدرة الذهنية" (دورات الكمبيوتر) لحساب المسار عبر المتاحة مقارنة باستخدام الرياضيات القياسية.
الحجم: التوقيع (الختم نفسه) أكبر قليلاً.

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

الملخص

يأخذ Spinel بنية أمنية عالمية المستوى (SPHINCS+) ويقوم بترقية محركها باستخدام "وقود" جديد معقد رياضياً (Algebraic Hashing). إنها عملية انتقال من "نأمل أن يعمل هذا" إلى "لدينا حصن رياضي سيجد حتى الحواسيب الكمومية صعوبة في تسلقه".

ملخص تقني: Spinel – مخطط توقيع ما بعد الكم يعتمد على تجزئة $SL_n(\mathbb{F}_p)$

1. بيان المشكلة

إن الانتقال إلى التشفير ما بعد الكم (PQC) مدفوع بالتهديد الذي تشكله الحواسيب الكمية واسعة النطاق على التوقيعات الرقمية الكلاسيكية (مثل RSA وECDSA). وبينما تُعد مخططات التوقيع القائمة على الهاش (Hash-based) مثل SPHINCS+ من المرشحين الرئيسيين للمقاومة الكمية، فإن أمن هذه الدوال يعتمد بشكل أساسي على خصائص دوال الهاش التشفيرية (مثل SHA-256 أو SHAKE-256). ويُعتبر أمن هذه الدوال تجريبيًا (Heuristic) في المقام الأول، مما يعني أنه يعتمد على عدم وجود تحليل تشفيري ناجح بدلاً من اختزاله إلى مسألة رياضية صعبة محددة جيدًا.

حدد المؤلفون فجوة في المشهد الحالي لتشفير ما بعد الكم: وهي غياب مخططات التوقيع القائمة على الهاش التي تستخدم دوال هاش جبرية — وهي دوال يستند أمنها إلى فرضيات رياضية صلبة مثبتة (مثل التنقل في الرسوم البيانية الموسعة/Expander Graphs) — لتوفير أساس نظري أكثر متانة.

2. المنهجية

يقترح المؤلفون Spinel، وهو مخطط توقيع يدمج عائلة جديدة من دوال الهاش الجبرية ضمن إطار عمل SPHINCS+ المعياري.

دالة الهاش الجبرية: يستخدم Spinel دالة هاش مشتقة من نموذج Tillich–Zémor. تعمل الدالة على مجموعة الخطية الخاصة $SL_4(\mathbb{F}_p)$ . يتم حساب الهاش عن طريق تفسير المدخلات كمتتالية من الرموز التي تقود مسارًا عشوائيًا غير راجع (Non-backtracking random walk) على رسم "كايلي" (Cayley graph) الخاص بالمجموعة. وتعمل نتيجة المجموعة النهائية (مصفوفة $4 \times 4$ ) كملخص للهاش (Digest).
التكامل مع SPHINCS+: يُعد Spinel نسخة "وفية بنيويًا" لـ SPHINCS+؛ حيث يحتفظ بكامل بنية SPHINCS+، بما في ذلك:
- WOTS+ (توقيعات وينترنيت أحادية المرة) للمصادقة على الأوراق (Leaves).
- FORS (غابة المجموعات العشوائية الفرعية) للتوقيعات قليلة المرات.
- بناء الهيبرتري (Hypertree construction) للتشغيل عديم الحالة (Stateless operation).
- التجزئة القابلة للتعديل (Tweakable Hashing): يتم فصل كل استدعاء للهاش عبر نطاق (Domain) باستخدام عنوان فريد (ADRS) بطول 256 بت لمنع هجمات الأهداف المتعددة.
البارامترات: قام المؤلفون بتثبيت البعد $n=4$ والعدد الأولي $p = 2^{31}-1$ . ويستخدمون ملخصًا بطول 512 بت (يتم تحقيقه عبر تسلسل المصفوفة $4 \times 4$ بمدخلات 32 بت) لضمان مستوى مقاومة للتصادم قدره 256 بت.

3. المساهمات الرئيسية

مخطط توقيع جديد (Spinel): أول تطبيق لمخطط شبيه بـ SPHINCS+ يستخدم دوال هاش جبرية تعتمد على نظرية المجموعات.
التحقق التجريبي من الهاش: بينما كانت دالة الهاش تمتلك براهين أمن نظرية، قدم المؤلفون أول دليل تجريبي على عشوائيتها من خلال اجتياز جميع الفئات الـ 15 من مجموعة اختبار NIST الإحصائية (STS).
نمذجة تدهور الأمن: قام المؤلفون بنمذجة كيفية تدهور أمن مكون FORS مع إصدار المزيد من التوقيعات تحت مفتاح واحد (تعرض التوقيع)، مما وفر إطارًا رياضيًا لاختيار البارامترات بناءً على "ميزانية التوقيع التشغيلية".
التنفيذ والقياس المرجعي: تنفيذ كامل بلغة C للمخطط ودالة الهاش.

4. النتائج

العشوائية الإحصائية: اجتازت دالة هاش Spinel اختبارات NIST STS، مما أثبت أن المسار في $SL_4(\mathbb{F}_p)$ ينتج مخرجات لا يمكن تمييزها عن مصدر عشوائي.
مقايضات الأداء:
- التكلفة الحسابية: يعتبر Spinel أثقل حسابيًا من SPHINCS+ القائم على SHAKE-256. عملية التوقيع أبطأ بكثير من عملية التحقق (بفارق ثلاث مراتب عشرية تقريبًا)، مما يجعله أكثر ملاءمة للتطبيقات مثل شهادات المفاتيح العامة حيث يكون التوقيع غير متكرر.
- حجم التوقيع: توقيعات Spinel أكبر من توقيعات SPHINS+ القياسية بسبب متطلبات الملخص بطول 512 بت والعبء الإضافي لعمليات المصفوفات.
- حساسية البارامترات: أظهر المؤلفون أن زيادة عدد أشجار FORS (المشار إليها بـ $k$ ) أو ارتفاع الشجرة ( $b$ ) يسمح بمقاومة أفضل لتعرض التوقيع، ولكن ذلك يؤثر على توازن السرعة والحجم.
الجدوى: على الرغم من العبء الإضافي العالي، أظهرت النتائج أن المخطط قابل للتطبيق وظيفيًا وعملي لبيئات التوقيع عالية الأمان ومنخفضة التكرار.

5. الأهمية

يمثل Spinel خطوة مهمة نحو تنويع أدوات ما بعد الكم. من خلال الابتعاد عن دوال الهاش التجريبية البحتة نحو تلك القائمة على صعوبة التنقل في الرسوم البيانية الموسعة في $SL_n(\mathbb{F}_p)$ ، يوفر المؤلفون مسارًا لمخططات توقيع ذات ضمانات أمنية أقوى وأكثر تأصيلًا من الناحية الرياضية. يضع هذا العمل الأساس لفئة جديدة من "التوقيعات القائمة على الهاش الجبري" التي يمكن أن تعمل كبديل حرج أو تعزيز في عصر ما بعد الكم.