💻 computer science

Symfrog-512: High-Capacity Sponge-Based AEAD Cipher (1024-bit State)

تقدم هذه الورقة Symfrog-512، وهو تشفير AEAD بسعة عالية وحجم حالة 1024 بت يعتمد على بنية الإسفنج (sponge-based)، مصحوباً بتنفيذ مرجعي كامل، ومتجهات اختبار حتمية، ومعايير أداء قابلة لإعادة الإنتاج، مع تقييد جميع الادعاءات الأمنية بدقة وفق نموذج التبديل المثالي (ideal permutation model)، وقد تم إصدار المشروع بموجب رخصة MIT لتشجيع التحقق المستقل.

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

نُشر 2026-02-23

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

CC BY 4.0

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

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

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

SymFrog-512 هو "صندوق رقمي محكم" جديد وتجريبي، صُمم للقيام بهذا العمل تماماً. إنه برنامج يقوم بتشفير بياناتك (يخلطها لتبدو كأنها لغة غير مفهومة) ويضيف إليها ختماً خاصاً (وسماً) لإثبات أنها لم تُغير.

إليك كيف يعمل، مشروحاً عبر تشبيهات بسيطة:

1. وعاء الخلط الضخم (الإسفنجة)

تستخدم معظم الأقفال الرقمية صندوقاً صغيراً وثابت الحجم لخلط الأشياء. أما SymFrog-512 فيستخدم وعاء خلط ضخماً بسعة 1024 بت.

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

2. رقصة الأرقام (التبديل/Permutation)

داخل هذا الوعاء الضخم، توجد مجموعة محددة من حركات الرقص تسمى P1024-v2.

التشبيه: تخيل 16 راقصاً (يمثلون 16 قطعة من البيانات) يقفون في دائرة. في كل مرة تعمل فيها الموسيقى (جولة/round)، يؤدون روتيناً معقداً:
1. إضافة التوابل: يضيفون مكوناً سرياً (ثوابت الجولات).
2. الخلط: يتبادلون الشركاء ويمزجون حركاتهم.
3. الالتواء: يقومون بالتواء غير خطي (خطوة "Chi") مما يجعل النمط مستحيلاً التنبؤ به.
4. الركل: يركلون البيانات حولهم باستخدام الضرب (طبقة "الركلة"/Kick layer).
5. الدوران والتبديل: يدورون في أماكنهم ويتبادلون المواقع بترتيب محدد.
الهدف: يؤدون هذه الرقصة 24 مرة متتالية. وبحلول النهاية، تكون البيانات الأصلية قد اختلطت بعمق شديد لدرجة أنها تبدو كضوضاء عشوائية بحتة.

3. العملية ذات الخطوتين (وضع Duplex)

لا يكتفي SymFrog-512 بقفل الصندوق فحسب؛ بل يفعل ذلك بينما لا تزال تتحدث إليه.

التشبيه: فكر في جهاز إنتركوم ثنائي الاتجاه (Duplex Intercom). يمكنك التحدث فيه (إرسال البيانات) والاستماع إليه (الحصول على البيانات المشفرة) في نفس الوقت.
كيف يعمل:
1. الامتصاص (Absorb): تقوم بتغذية الخلاط الضخم برسالتك السرية.
2. العصر (Squeeze): يخرج الخلاط تدفقاً من الأرقام التي تبدو عشوائية (مفتاح التشفير/keystream).
3. الخلط: تدمج رسالتك السرية مع هذا التدفق العشوائي لإنشاء الملف المقفل النهائي.
4. التكرار: تستمر في تغذية الخلاط بالرسالة المقفلة للحفاظ على استمرار التدفق. هذا يضمن أنه إذا قام شخص ما بتغيير حرف واحد من رسالتك، فإن التدفق بأكمله سيتغير، مما يؤدي لكسر الختم.

4. الختم السحري (المصادقة)

عند الانتهاء، يقوم النظام بإنشاء "ختم سحري" بقوة 256 بت (وسم/tag).

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

5. تنسيق الملف (الظرف)

يصف الورقة البحثي أيضاً كيف يبدو هذا كملف على جهاز الكمبيوتر الخاص بك.

الرأس (Header): يبدأ الملف بـ "ظرف" حجمه 152 بايت. يحتوي على رمز سحري ("SYMFROG1") ليعرف جهاز الكمبيوتر الخاص بك نوع القفل المستخدم.
المفتاح: يمكنه استخدام مفتاح خام بسعة 1024 بت (كلمة مرور طويلة جداً) أو تحويل كلمة مرور عادية إلى "مفتاح خارق" باستخدام "مطحنة كلمات مرور" خاصة تسمى Argon2id. هذه المطحنة تجعل من الصعب جداً على المخترقين تجربة ملايين كلمات المرور بسرعة.
الفحص: قبل أن يحاول حتى فتح ملفك، فإنه يتحقق من "ختم الرأس". إذا لم يتطابق الختم، يتوقف فوراً. هذا يوفر الوقت ويمنع الأخطاء.

6. ما مدى سرعته؟

اختبر الباحثون هذا النظام على جهاز كمبيوتر قياسي.

السرعة: يمكنه معالجة البيانات بسرعة تقارب 131 ميجابايت في الثانية.
التشبيه: هذه السرعة كافية لتشفير فيلم كامل في ثوانٍ معدودة. ليس هو الأسرع في العالم، لكنه سريع جداً بالنسبة لقفل بهذه القوة الأمنية العالية.

لماذا نحتاج إلى هذا؟

المؤلف، فيكتور دوارتي ميلو، هو باحث مستقل. هو لا يدعي أن هذا هو "القفل المثالي" الذي لا يمكن كسره أبداً. بدلاً من ذلك، هو يقول:

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

باختصار: SymFrog-512 هو صندوق رقمي محكم وقوي، يستخدم خلاطاً داخلياً ضخماً لخلط بياناتك بعمق، ويستخدم ختماً فائق القوة لحمايةها. لقد صُمم ليكون آمناً، شفافاً، وسريعاً بما يكفي للاستخدام الواقعي، داعياً العالم لمحاولة كسر لغزه لإثبات قوته.

إليك ملخص تقني مفصل لورقة البحث "Symfrog-512: High-Capacity Sponge-Based AEAD Cipher (1024-bit State)" للباحث فيكتور دوارتي ميلو.

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

تعالج الورقة الحاجة إلى مخطط تشفير مصادق مع بيانات مرتبطة (AEAD) قوي وعالي السعة، يعتمد على التشفير القائم على الإسفنج (Sponge-based). وبينما تُعد المعايير الحالية مثل Keccak (SHA-3) وAscon معايير راسخة، إلا أن هناك توجهاً مستمراً لاستكشاف عمليات تبديل (permutations) مخصصة ذات أحجام حالة أكبر لتحقيق حدود أمنية تحفظية. وتشمل التحديات المحددة التي تمت معالجتها ما يلي:

هوامش الأمان: تحقيق مقاومة عالية ضد الهجمات العامة (التصادم والتزوير) من خلال استخدام سعة داخلية كبيرة ( $c=512$ بت).
سلامة التنفيذ: تصميم نظام مقاوم لأخطاء التنفيذ (مثل إعادة استخدام الـ nonce أو الاقتطاع) ويوفر تنسيقات ملفات واضحة وقابلة للتحقق.
مرونة المفتاح: دعم كل من المفاتيح الخام عالية الإنتروبيا والمفات keys المشتقة من كلمات المرور عبر دالات صعبة الذاكرة (Argon2id).

2. المنهجية

يقترح المؤلفون Symfrog-512، وهو مخطط AEAD جديد مبني على عملية تبديل مخصصة بقدرة 1024 بت ( $P_{1024-v2}$ ) تعمل بنمط الإسفنج المزدوج (duplex sponge mode).

أ. المعلمات الأساسية

حجم الحالة (State Size): 1024 بت (128 بايت)، مقسمة إلى:
- المعدل (Rate - $r$ ): 512 بت (64 بايت) لامتصاص واستخراج البيانات.
- السعة (Capacity - $c$ ): 512 بت (64 بايت) للأمان.
طول العلامة (Tag Length): 256 بت (32 بايت).
طول الـ Nonce: 256 بت (32 بايت).
طول المفتاح: 1024 بت (128 بايت).
الجولات (Rounds): 24 جولة لكل استدعاء للتبديل.

ب. عملية التبديل $P_{1024-v2}$

تعمل عملية التبديل على 16 كلمة (word) بطول 64 بت بنظام Little-endian. وتطبق كل من الـ 24 جولة الطبقات التالية:

إضافة ثوابت الجولة (AddRoundConstants): تقوم بعمل XOR لثوابت الجولة (المستمدة من SHAKE256) في كلمات السعة ( $S[8..15]$ ).
الخلاط (Mixer): يقوم بعمل XOR لكلمات المعدل مع كلمات السعة ( $S[i] \leftarrow S[i] \oplus S[i+8]$ ).
لاخطية Chi (Chi Nonlinearity): تطبق لاخطية بولينية مكونة من 4 كلمات (مشابهة لـ Keccak) على مجموعات من الكلمات.
طبقة الركل (Kick Layer): تُدخل خلطاً يعتمد على البيانات باستخدام الضرب بـ 64 بت وقناع الفردية (oddness mask)، يليه التدوير.
التدوير والخلط (Rotate and Shuffle): تقوم بتدوير الكلمات (19 أو 61 بت) وتغيير مواقع الكلمات عبر P-box ثابت لضمان الانتشار (diffusion).

ج. نمط AEAD (الإسفنج المزدوج)

التهيئة (Initialization): يتم تهيئة الحالة بالمفتاح، والـ Nonce، ومعرّف ASCII ثابت، متبوعاً بعملية تبديل واحدة.
البيانات المرتبطة (AD): يتم امتصاصها في كتل بحجم 64 بايت مع ثوابت فصل النطاق ( $0xA0$ ).
التشفير/فك التشفير:
- توليد كتلة تدفق مفاتيح (keystream) بحجم 512 بت باستخدام تحويل مخرجات (Output Transform) مخصص (خلط مسارات المعدل والسعة، ثم تطبيق نهائي SplitMix64).
- إجراء XOR للنص الصريح مع تدفق المفاتيح لإنتاج النص المشفر.
- بشكل حاسم، يتم امتصاص النص المشفر الناتج مرة أخرى في الحالة (تغذية راجعة للنص المشفر)، مما يضمن شفافية متماثلة لعمليات التشفير وفك التشفير.
الإنهاء (Finalization): عملية تبديل نهائية مع ثابت نطاق العلامة ( $0xF0$ ) لإنتاج علامة المصادقة بطول 256 بت.

د. تنسيق الملف والمتانة

يحدد التنفيذ ترويسة (header) بحجم 152 بايت تحتوي على بايتات سحرية (magic bytes)، الإصدار، الأعلام (flags) الخاصة بـ Argon2id، الملح (salt)، الـ Nonce، وعلامة مصادقة ترويسة موثقة (keyed header authentication tag).

الرفض المبكر (Early Reject): يتم التحقق من علامة الترويسة قبل فك تشفير النص المشفر، مما يمنع هدر الحوسبة على مفاتيح غير صالحة.
اشتقاق المفتاح: دعم اختياري لـ Argon2id (عبر libsodium) للمفات keys المشتقة من كلمات المرور.
السلامة: يتضمن مقارنة العلامة في وقت ثابت (constant-time)، وكتابات ذرية للملفات (atomic writes)، وتصفير الذاكرة.

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

توصيف SymFrog-512: توصيف مفتوح كامل لمخطط AEAD عالي السعة بحالة 1024 بت، مصمم لمعماريات 64 بت.
التحليل الأمني في نموذج التبديل المثالي: تقدم الورقة براهين رسمية لـ:
- السرية (IND-CPA): محددة بحد يوم ميلاد السعة ( $q^2/2^{c+1}$ ). مع $c=512$ ، تكون هذه القيمة ضئيلة جداً.
- الموثوقية (INT-CTXT): محددة باحتمالية تصادم السعة بالإضافة إلى احتمالية تخمين العلامة ( $2^{-256}$ ).
تحويل مخرجات مخصص: دالة استخراج مبتكرة تمزج مسارات المعدل والسعة قبل تطبيق نهائي SplitMix64، مما يكسر أنماط "قراءة المعدل" البسيطة الموجودة في بنيات الإسفنج القياسية.
التحقق التجريبي:
- الاختبارات المرجعية (Benchmarks): حققت 435.1 نانو ثانية لكل عملية تبديل وإنتاجية قدرها 131.7 ميجابايت/ثانية على ذاكرة مؤقتة بحجم 64 ميجابايت.
- فحوصات الانتشار (Diffusion Checks):): أظهرت أن فرق مدخلات ببت واحد ينتشر إلى حوالي 512 بت (شبه عشوائي) خلال 4 جولات، مع انتشار كامل بحلول الجولة 24.
- آثار التراجع (Regression Artifacts): قدمت قيم SHA-256 لمتجهات الاختبار عبر أطوال مختلفة من النصوص الصريحة لضمان قابلية التكرار.

4. النتائج

الأداء: التنفيذ المرجعي فعال للغاية، حيث يعالج البيانات بسرعة تزيد عن 130 ميجابايت/ثانية على الأجهزة القياسية، ويقتصر ذلك أساساً على سرعة عملية التبديل.
الحدود الأمنية: يحقق التصميم مستوى أمني نظري قدره 256 بت ضد التزوير و256 بت ضد هجمات التمييز القائمة على التصادم، بافتراض أن عملية التبديل تتصرف بشكل مثالي.
الصحة: نجح التنفيذ المرجعي في تشفير وفك تشفير ملفات بأحجام متفاوتة (من 0 إلى 1 ميجابايت+) بدقة تامة في رحلة الذهاب والإياب، وتم التحقق من ذلك عبر المجموعات التدقيقية (checksums).

5. الأهمية

الأمان التحفظي: من خلال استخدام سعة 512 بت، يوفر SymFrog-512 هامش أمان هائلاً ضد الهجمات العامة، وهو ما يتجاوز بكثير المتطلبات لمعظم التطبيقات العملية. وهذا أمر مهم بشكل خاص لحماية البيانات طويلة الأمد.
الشفافية وقابلية التكرار: تربط الورقة صراحةً التوصيف بتنفيذ مرجعي عام، وتتضمن متجهات اختبار، وتشجع على التحليل التشفيري العام لعملية التبديل $P_{1024-v2}$ .
أفضل الممارسات الهندسية: إن تضمين تنسيق ملف قوي مع مصادقة الترويسة وعمليات الوقت الثابت يعالج الثغرات العملية الشائعة (مثل هجمات التوقيت، أو فك التشفير الجزئي عند استخدام مفاتيح سيئة) التي غالباً ما يتم تجاهلها في التصاميم النظرية.
المساهمة في المجال: يعد مثالاً ملموساً لكيفية بناء AEAD عالي الأداء باستخدام عملية تبديل ذات حالة كبيرة، مما يساهم في تنوع الأوليات التشفيرية القائمة على التبديل وما بعد الكم.

ملاحظة بشأن القيود: يذكر المؤلفون صراحةً أن أمن عملية التبديل نفسها ( $P_{1024-v2}$ ) ضد التحليل التشفيري المخصص (مثل الهجمات الجبرية أو التحليل التفاضلي) لم يتم إثباته ويظل مفتوحاً للتدقيق العام. تعتمد الادعاءات الأمنية على نموذج التبديل المثالي (Ideal Permutation Model).