💻 computer science

Stringology-Based Cryptanalysis for EChaCha20 Stream Cipher

تقدم هذه الورقة إطار عمل للتحليل التشفيري القائم على علم السلاسل النصية (Stringology) باستخدام خوارزميات "كنوث-موريس-برات" و"بوير-موور" المُحسّنة لتقييم التشفير المتدفق EChaCha20، مما يؤكد عشوائيته الزائفة القوية وانتشاره السريع مع تحديد بعض الاضطرابات الطفيفة فقط في نطاق الـ 8 بت.

المؤلفون الأصليون: Victor Kebande

نُشر 2026-04-13

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Victor Kebande

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

تخيل أنك تحاول العثور على خلل صغير للغاية في مصنع ضخم وعالي السرعة ينتج الملايين من الصناديق الفريدة ذات المظهر العشوائي كل ثانية. هذا المصنع يسمى EChaCha20، وهو عبارة عن "تشفير تدفقي" (stream cipher)—وهو آلة رقمية تُستخدم لتشفير البيانات حتى لا يتمكن المخترقون من قراءتها.

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

تقدم هذه الورقة البحثية طريقة جديدة وأكثر ذكاءً لفحص المصنع: تحليل التشفير القائم على علم السلاسل النصية (Stringology-Based Cryptanalysis). فبدلاً من مجرد البحث عن المعادن، يستخدم المؤلف خوارزميات مطابقة الأنماط (تحديداً KMP و Boyer-Moore) التي تعمل مثل محقق بارع يعرف تماماً كيف بُني هذا المصنع.

إليك تفصيل الورقة البحثية باستخدام تشبيهات بسيطة:

1. ترقية المصنع (EChaCha20)

كان المصنع الأصلي (المسمى ChaCha20) جيداً جداً، حيث استخدم شبكة 4×4 من التروس لخلط البيانات.

الترقية: قام مصنع EChaCha20 الجديد بتوسيع شبكته لتصبح 6×6 ضخمة (مما جعله أكبر وأكثر تعقيداً)، وأضاف نوعين جديدين من التروس (تدويرات بمقدار 4 بت و2 بت) لخلط الأشياء بشكل أسرع.
السؤال: هل جعل المصنع أكبر وإضافة تروس جديدة يجعله أكثر أماناً حقاً، أم أنهم صنعوا بالخطأ نمطاً خفياً يمكن للمخترق استغلاله؟

2. أدوات المحقق (Stringology)

لم يستخدم المؤلف جهاز كشف معادن؛ بل استخدم علم السلاذل النصية (Stringology).

التشبيه: تخيل أنك تبحث عن عبارة محددة في مكتبة تضم مليون كتاب.
- الطريقة القديمة (القوة الغاشمة - Brute Force): أنت تقرأ كل حرف في كل كتاب، واحداً تلو الآخر. عملية بطيئة ومملة.
- الطريقة الجديدة (KMP و Boyer-Moore): هذه تشبه محركات البحث الذكية. إذا كنت تبحث عن كلمة "SECRET"، ورأيت "...SECRE"، ولكن الحرف التالي خاطئ، فإن محرك البحث الذكي يعرف بالضبط عدد الصفحات التي يجب أن يتخطاها دون إعادة قراءة كل شيء. إنه يقفز فوق "الخردة" ليجد "الكنز".
اللمسة المميزة: علم المؤلف هذه المحركات البحثية كيفية البحث عن كتل بحجم 32 بت (كتل كبيرة من البيانات) بدلاً من مجرد حروف مفردة، بما يتناسب مع الطريقة التي يعمل بها المصنع فعلياً.

3. التحقيق (التجارب)

أجرى المؤلف اختبارين رئيسيين على مليون من تدفقات البيانات:

الاختبار (أ): البحث عن "التكرار"

الهدف: هل طبع المصنع نفس النمط مرتين بالخطأ؟ (مثل تعطل الطابعة وطباعة نفس السطر مراراً وتكراراً).
النتيجة:
- عند مستوى 32 بت (الصورة الكبيرة): عشوائي تماماً. لم يتم العثور على أي تكرارات. المصنع يقوم بعمل رائع.
- عند مستوى 16 بت (حجم متوسط): مثالي أيضاً.
- عند مستوى 8 بت (حجم بايت صغير): وجدوا خللاً طفيفاً للغاية. ظهر نمط معين أقل تكراراً بقليل مما ينبغي، ولكن فقط عندما كان المصنع يعمل بنفس الإعدادات لفترة طويلة. الأمر يشبه اهتزازاً طفيفاً في محرك السيارة لا يحدث إلا عندما تقود على نفس الطريق لمسافة 100 ميل. إنه ليس عطلاً كارثياً، بل مجرد ميزة ثانوية بسيطة.

الاختبار (ب): اختبار "كرة الثلج" (الانتشار - Diffusion)

الهدف: إذا قمت بتغيير بت واحد صغير في المدخلات (مثل استبدال ندفة ثلج واحدة)، هل تتغير المخرجات بالكامل فوراً؟ يُسمى هذا تأثير الانهيار الجليدي (Avalanche Effect).
النتيجة: المصنع سريع للغاية في هذا الأمر.
- في المصنع القديم، استغرق الأمر حوالي 3 أو 4 جولات من التروس لخلط كل شيء.
- في EChaCha20 الجديد، حدث تأثير "كرة الثلج" بشكل أسرع. بحلول الجولة الثالثة، كانت المخرات بأكملها مشفرة بالكامل. التروس الجديدة (تدويرات 4 بت و2 بت) جعلت عملية الخلط أكثر كفاءة.

4. الحكم النهائي

خلصت الورقة إلى أن EChaCha20 آمن ومتين.

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

ملخص في جملة واحدة

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

إليك ملخص تقني مفصل لورقة البحث بعنوان "التحليل التشفيري القائم على علم السلاسل النصية لتشفير التدفق EChaCha20" للباحث فيكتور كيباندي.

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

تُستخدم مشفرات التدفق الحديثة، لا سيما تلك القائمة على هياكل الجمع والتدوير والـ XOR (ARX) مثل ChaCha20، على نطاق واسع في البروتوكولات ذات الأهمية الأمنية (مثل TLS 1.3 وIoT). وبينما توفر مجموعات الاختبار الإحصائية القياسية (مثل NIST SP 800-22 وTestU01) خط أساس للعشوائية، إلا أنها غالبًا ما تعمل على مستوى البت (bit-level) وقد تفشل في اكتشاف نقاط الضعف الهيكلية الموضعية المحاذية للكلمات (word-aligned) أو الانحيازات الدورانية الدقيقة المتأصلة في التصميمات الدورانية المعقدة.

يتميز EChaCha20 بأنه نسخة مقترحة من ChaCha20 تتميز بـ:

مصفوفة حالة موسعة 6×6 (1,152 بت) مقارنة بالمصفوفة الأصلية 4×4 (512 بت).
دالة الربع المستديرة (QR-F) محسنة تتضمن ثوابت تدوير إضافية (4 بت و2 بت) إلى جانب التدويرات القياسية 16 و12 و8 و7 بت.

الفجوة: لم يكن هناك تحقيق منهجي فيما إذا كانت هذه التحسينات الهيكلية تُدخل أنماطاً في سلسلة المفاتيح (keystream)، أو انحيازات دورانية، أو تصادمات جزئية قد تغفل عنها الاختبارات الإحصائية التقليدية. تعالج الورقة الحاجة إلى نهج تحليل تشفيري يتوافق مع تدرج الكلمة (word granularity) البالغ 32 بت الخاص بالمشفر بدلاً من مجرد الإحصاءات الإجمالية للبتات.

2. المنهجية

تقترح الورقة التحليل التشفيري القائم على علم السلاسل النصية (SBC)، من خلال تكييف خوارزميات مطابقة السلاكل الكلاسيكية لتحليل سلاسل مفاتيح مشفرات التدفق. تتكون المنهجية من ثلاث مراحل رئيسية:

أ. التكييف الخوارزمي (KMP وBoyer-Moore)

قام المؤلف بتكييف خوارزميتي Knuth-Morris-Pratt (KMP) وBoyer-Moore (BM) للتحليل التشفيري:

التدرج (Granularity): بدلاً من المطابقة حرفاً بحرف، تعمل الخوارزميات على وحدات كلمات 32 بت لتتوافق مع هيكل ARX.
النهج الهجين: تم تطوير خوارزمية هجينة تجمع بين KMP وBM. وهي تستخدم دالة الفشل الخاصة بـ KMP للتراجع الحتمي بعد المطابقات الجزئية، وتستخدم استدلالات "الحرف السيئ/اللاحقة الجيدة" (bad-character/good-suffix) الخاصة بـ BM لعمليات "القفز للأمام" (jump-ahead) الفعالة.
التحسين: تتضمن الخوارمايات استدلالات معززة بـ XOR وتصفية احتمالية (بناءً على اختبار $\chi^2$ ) لتقليل النتائج الإيجابية الكاذبة والتعامل مع الخصائص المحددة لمخرجات ARX.
التعقيد: تحقق المنهجية تعقيداً في الحالة المتوسطة يبلغ $O(n/m)$ ، مما يسمح بالتحليل الفعال لملايين كتل سلسلة المفاتيح، وهو أسرع بكثير من طرق البحث الشامل (brute-force).

ب. الإطار التجريبي

أُجريت تجربتان رئيسيتان على مجموعة بيانات مكونة من 1,000,000 كتلة من سلسلة المفاتيح (إجمالي 1.15 جيجابت):

العشوائية الزائفة على مستوى السلسلة النصية للبتات:
- المسح بحثاً عن تكرارات $m$ -gram ( $m \in \{8, 16, 32\}$ بت).
- مقارنة الترددات المرصودة بالتوزيعات المنتظمة النظرية باستخدام درجات $z$ -scores واختبارات $\chi^2$ .
- الاختبار في كل من بيئات المفتاح الثابت (الحتمي) والمفتاح المتغير (العشوائي).
التحليل التفاضلي لدالة QR-F:
- هجمات الفرق الدوراني: حقن فروق دورانية ( $\Delta$ ) في مدخلات QR-F.
- بذر الأنماط (Pattern Seeding): استخدام الأنماط ذات الدلالة الإحصائية التي تم اكتشافها في التجربة 1 لتزويد المدخلات التفاضلية، بدلاً من استخدام فروق عشوائية.
- تتبع الانتشار (Diffusion Tracking): قياس احتمالات التصادم وتأثيرات الانهيار (avalanche effects) بعد 1، 2، 4، و8 جولات من QR-F.

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

التطبيق المبتكر لعلم السلاسل النصية: أول تطبيق معروف لخوارزميات KMP وBM المصممة خصيصاً لتحليل تشفير ARX بـ 32 بت، متجاوزة الاختبارات الإحصائية العالمية للبتات.
تصميم الخوارزمية الهجينة: تطوير خوارزمية هجينة (KMP-BM) محسنة لسلاسل مفاتيح التشفير، حققت دقة (0.97) واستدعاء (0.96) مع إنتاجية تصل إلى 3.6 جيجابايت/ثانية.
التقييم الهيكلي لـ EChaCha20: تقييم تجريبي شامل لمصفوفة الحالة 6×6 وQR-F المحسنة، مع التركيز بشكل خاص على الانحيازات الدورانية وعدم انتظام الانتشار.
التحليل الموجه نحو التمييز (Distinguisher-Oriented Analysis): يركز العمل على تحديد الانحرافات الهيكلية (التمييزات) بدلاً من استعادة المفتاح الكامل، مما يوفر مقياساً جديداً لتقييم هامش الأمان.

4. النتائج الرئيسية

أ. تحليل العشوائية الزائفة

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

ب. المقاومة التفاضلية والدورانية

سرعة الانتشار: حقق EChaCha20 انتشاراً كاملاً للحالة في غضون 3 جولات.
- بعد جولة واحدة: لوحظ 28 تصادماً ( $P \approx 2^{-19.2}$ ).
- بعد جولتين: لوحظ تصادم واحد ( $P \approx 2^{-24}$ ).
- بعد 3 جولات: صفر تصادمات لوحظت في $2^{24}$ تجربة.
تأثير الانهيار (Avalanche Effect): أظهر المشفر تأثير انهيار مثالياً تقريباً (احتمالية قلب البت تقترب من 0.5) بعد جولتين فقط، متفوقاً على التوقعات النظرية لـ ChaCha20 القياسي.
الثوابت الدورانية: ساهم تضمين الدورات غير القائمة على قوى العدد اثنين (4 بت و2 بت) في الحد من التماثل الدوراني بفعالية، حيث لم يتم العث على أي تصادمات دورانية ذات دلالة إحصائية ضمن الحدود التي تم تقييمها.

ج. الأداء

وفر نهج علم السلاسل النصية الهجين تسريعاً بمقدار 6.2 ضعفاً مقارنة بالتحليل الشامل (brute-force).
حقق إنتاجية قدرها 3.6 جيجابايت/ثانية، متجاوزاً معايير Boyer-Moore (3.2 جيجابايت/ثانية) وKMP (1.4 جيجابايت/ثانية).

5. الأهمية والخاتمة

تؤسس هذه الورقة التحليل التشفيري القائم على علم السلاسل النصية (SBC) كأداة قوية ومكملة لتقييم مشفرات التدفق القائمة على ARX.

التحقق من صحة EChaCha20: تؤكد الدراسة أن تحسينات تصميم EChaCha20 (مصفوفة 6×6 وتدويرات إضافية) تزيد من سرعة الانتشار والمقاومة ضد الهجمات التفاضلية الدورانية دون إدخال نقاط ضعف هيكلية قابلة للاستغلال.
التحول المنهجي: تثبت الورقة أن مواءمة التحليل التشفيري مع تدرج الكلمة الداخلي للمشفر (32 بت) يكشف عن رؤى قد تغفل عنها الاختبارات الإحصائية العالمية للبتات.
الآثار العملية: تشير النتائج إلى أن EChaCha20 مرشح قوي للتطبيقات عالية الضمان (TLS، IoT، VPNs)، حيث يوفر هوامش أمنية أقوى من ChaCha20 مع الحفاظ على الكفاءة الحسابية.
الاتجاهات المستقبلية: يقترح المؤلفون توسيع هذا الإطار ليشمل تحليل الأنماط متعدد الأبعاد، وسيناريوهات ما بعد الحوسبة الكمومية، واختبار مقاومة القنوات الجانبية (تنفيذ FPGA).

باختصار، تجادل الورقة بأنه بينما يعد EChaCha20 آمناً، فإن إطار عمل SBC المقترح ضروري للكشف عن الانحيازات الموضعية الدقيقة في الجيل القادم من المشفرات التي قد تغفل عنها المجموعات الإحصائية التقليدية.