Every keyed DNA operation is affine: algebraic limits of DNA diffusion layers in image encryption
تثبت هذه الورقة أن كل عملية حمض نووي (DNA) مفتاحية تُستخدم في تشفير الصور هي عملية تآلفية بنيوياً فوق الحقل الثنائي، مما يجعل طبقات الانتشار هذه ضعيفة جبرياً وعرضة للهجمات، بينما تقترح بديلاً موثوقاً وعديم التكلفة للتغلب على هذه القيود المتأصلة.
في العالم الرقمي، غالبًا ما تتضمن حماية صورة من الأعين المتطفلة تشفير بياناتها بشكل دقيق للغاية بحيث تصبح الصورة الأصلية غير قابلة للتمييز. لأكثر من خمسة عشر عامًا، استعارت طريقة شائعة للقيام بذلك مفهومًا من علم الأحياء: الحمض النووي (DNA). تمامًا كما يستخدم الحمض النووي البيولوجي أربعة قواعد كيميائية لتخزين التعليمات الوراثية، تعامل هذه المخططات التشفيرية القواعد الأربعة —الأدينين، والسايتوسين، والجوانين، والثايمين— كشفرة سرية لبكسلات الصورة. تعمل العملية عن طريق ترجمة الأرقام التي تشكل الصورة إلى هذه الحروف الأربعة، وخلطها مع مفتاح فوضوي وغير متوقع، ثم ترجمتها مرة أخرى. كان الأمل هو أن هذا الاستعارة البيولوجية تضيف طبقة من التعقيد تجعل الصورة مستحيلة الاختراق. وقد أمضى الباحثون سنوات في تصميم هذه الأنظمة، واختبارها باستخدام فحوصات إحصائية قياسية لضمان أن الصور المشفرة تبدو عشوائية، وأن تغيير بكسل واحد في الصورة الأصلية يؤدي إلى تغيير فوضوي هائل في النسخة المشفرة.
ومع ذلك، يشير تحليل جديد إلى أن هذا المجال بأكمله قد بُني على سوء فهم هيكلي. فقد اكتشف فريق من علماء الرياضيات في جامعة تبریز أن الميزة التي اعتقد المصممون أنها تمنح هذه الأنظمة المرونة —وهي القدرة على إعادة ترتيب حروف الحمض النووي الأربعة بأي ترتيب— هي في الواقع نقطة ضعف قاتلة. وجدوا أنه نظرًا لوجود أربعة حروف فقط في الأبجدية، فإن كل طريقة ممكنة لإعادة ترتيبها تتبع نمطًا رياضيًا بسيطًا يمكن التنبؤ به. الأمر كما لو أنه، بغضًا عن كيفية خلط مجموعة من أربع بطاقات، فإن النتيجة تكون دائمًا تنويعًا لقاعدة واحدة أساسية. هذا الإدراك يعني أنه لأكثر من عقد من الزمان، كانت طرق التشفير التي تعتمد على طبقة الحمض النووي هذه خطية رياضيًا، وهي خاصية تسم تسمح بكسرها باستخدام تقنيات بدائية، بغض النظر عن مدى تعقيد بقية النظام.
لم يكتفِ الباحثون بالإشارة إلى خلل في تصميم محدد، بل فحصوا مساحة التصميم بأكملها. لقد نظروا في كل جدول عمليات ممكن يمكن استخدامه لخلط حروف الحمض النووي، مغطين مئات الآلاف من التباينات، واختبروها تحت كل قاعدة ترميز وطريقة جدولة ممكنة. استنتاجهم قاطع: كل عملية من هذه العمليات هي "أفينية" (affine) رياضيًا، وهو مصطلح يصف علاقة هي في الأساس خط مستقيم. في عالم التشفير، الخطوط المستقيمة خطيرة لأنه يمكن حلها بسهء. أثبت الفريق أنه مهما كرر المصمم العملية أو مهما قام بخلط القواعد، فإن النتيجة تظل خطًا مستقيمًا. وهذا يفسر لماذا سقطت الكثير من مخططات التشفير المختلفة، المقترحة من مجموعات مختلفة على مر السنين، أمام هجمات متطابقة تقريبًا. لم يكن الفشل ناتجًا عن اختيار تصميم سيئ بالصدفة؛ بل كان نتيجة حتمية لاستخدام أبجدية مكونة من أربعة رموز فقط.
كما بحثت الدراسة في نهج أحدث حيث حاول المصممون إصلاح ذلك عن طريق خلط جزأين مختلفين من الصورة معًا، آملين في خلق تأثير أكثر تعقيدًا وغير خطي. وبينما ترفع هذه الطريقة التعقيد قليلاً، وجد الباحثون أنها تصطدم بسقف صلب. فحتى مع مدخلين، لا يمكن للتعقيد الرياضي أن يرتفع فوق مستوى منخفض جدًا. علاوة على ذلك، فإن العمليات المحددة المستخدمة في التصميمات الحديثة تعاني من مشكلة ثانية: فهي "تبادلية" (associative)، مما يعني أن ترتيب حدوث الخلط لا يهم. هذه الخاصية تسبب انهيار سلسلة الخلط بأكملها إلى مجرد مجموع بسيط، مما يؤدي إلى تراكم أنماط خفية يمكن للمهاجم اكتشافها دون الحاجة إلى معرفة المفتاح السري. حدد الباحثون أن نصف العمليات المستخدمة حاليًا خطية تمامًا، والنصف الآخر، رغم كونه أكثر تعقيدًا قليلاً، لا يزال يفشل في توفير الحماية اللازمة.
ولمعالجة هذه المشكلات، اقترح الفريق بديلًا بسيطًا لا يكلف شيئًا. فقد حددوا مجموعة محددة من قواعد الخلط التي ليست تبادلية وتسمح للتعقيد بالنمو مع طول سلسلة الخلط. تزيل هذه الطة الجديدة الأنماط الخفية وتضمن أن النظام لا يعتمد على الصدفة ليكون آمنًا. وعندما اختبروا هذا البديل على صور طبية حقيقية، تم التحقق من أنها قابلة للعكس تمامًا، مما يعني إمكانية استعادة الصورة الأصلية بدقة، بينما تحسنت خصائص الأمان بشكل كبير. والأهم من ذلك، أن الاختبارات الإحصائية القياسية المستخدمة في هذا المجال للحكم على الأمان فشلت في التمييز بين التصميمات المكسورة والتصميم المحسن، حيث أظهرت الاختبارات الإحصاسية القياسية نفس النتائج "المثالية" للجميع، مما يثبت أن هذه المقاييس الشائعة عمياء عن نقاط الضعف الجبرية التي تحدد الأمان فعليًا.
يخلص البحث إلى أن المجال كان يبحث في المكان الخاطئ عن أدلة القوة. ويجادل الباحثون بأن المجتمع يجب أن يتوقف عن الاعتماد فقط على الفحوصات الإحصائية ويبدأ في قياس التعقيد الجبري لعمليات الخلط مباشرة. يمكن إجراء هذا القياس في ثوانٍ وسيكشف فورًا ما إذا كان التصميم آمنًا جوهريًا أو محكومًا عليه بالفشل. وجدوا أنه في أكثر من مائة ورقة بحثية للتصميم، لم يتم ذكر مفهوم التعقيد الجبري قط، بينما تم الاستشهاد بعدد ترتيبات الحمض النووي الممكنة مرارًا وتكرارًا كعلامة على التنوع. أظهر الباحثون أن هذا الرقم، الذي اعتبره المصممون رمزًا للحرية، هو في الواقع فخ. ومن خلال تجاوز الأبجدية المكونة من أربعة حروف أو من خلال الاختيار الدقيق لعمليات غير تبادلية، يمكن للمصممين الهروب من هذا الفخ، لكن الاعتماد الحالي على استعارة الحمض النووي ذات الحروف الأربعة قد خلق حاجزًا هيكليًا لا يمكن لأي تعديل إحصائي تجاوزه.
ملخص تقني: "كل عملية DNA مفتاحية هي عملية تآلفية: الحدود الجبرية لطبقات انتشار DNA في تشفير الصور"
بيان المشكلة على مدار أكثر من خمسة عشر عاماً، استخدمت مخططات تشفير الصور ترميز DNA بالتزامن مع الأنظمة الفوضوية (chaotic systems). وبالرغم من التقييمات الإحصائية المكثفة (الاعتلاج، المدرجات التكرارية، الارتباط)، فقد تم كسر هذه المخططات مراراً بهجمات جبرية متشابهة بشكل صارخ. لقد تعاملت الأدبيات مع قواعد الترميز الـ 4!=24 الممكنة كقائمة خيارات، لكنها فشلت في إدراك أن هذا الرقم يتوافق مع رتبة المجموعة التآلفية AGL(2,2). وبناءً على ذلك، تم التغاضي عن الضعف الجبري الجوهري لطبقة انتشار DNA، وتحديداً افتقارها للخطية. تعالج الورقة السؤال الهيكلي: ما هي الدرجات الجبرية التي يمكن تحقيقها ضمن فضاء تصميم DNA، ولماذا نجحت عمليات التحليل الجبري السابقة باستمرار؟
المنهجية يستخدم المؤلفون تحليلاً جبرياً هيكلياً بدلاً من تحليل كسر المخططات بشكل محدد. تستند الدراسة إلى الفرضيات العاملة التالية التي تعكس البناءات المنشورة:
الأبجدية: تعمل الطبقة على أبجدية مكونة من 4 رموز (Σ={A,C,G,T})، والتي يتم تحديدها بـ F22.
العملية: يتم تنفيذ الانتشار رمزياً عبر جدول عمليات 4×4.
قابلية فك التشفير: يجب أن تكون العملية قابلة للعكس في الوسيط الأول (دالة تقابل لثابت المفتاح).
التوازن: في البناءات المتسلسلة، يجب أن تكون العملية متوازنة في الوسيط الثاني (دالة تقابل للبيانات الصافية الثابتة).
تتضمن المنهجية ما يلي:
البرهان النظري للمجموعات: مقارنة حجم المجموعة المتناظرة Sym(Σ) مع المجموعة التآلفية AGL(2,2) لتحديد طبيعة جميع الدوال التقابلية.
الحصر الشامل: التحقق الآلي من جميع جداول العمليات الـ 331,776 المقبولة وجميع عمليات المربع اللاتيني الـ 576 (التي تحقق كل من القابلية للعكس والتوازن).
المؤشرات الجبرية: حساب الدرجة الجبرية، والانتظام التفاضلي (DU)، واللاخطية (NL) لجميع العمليات المقبولة.
التحليل المقارن: تقييم التصاميم "المتسلسلة" الحديثة (حيث تعتمد الكتل الحالية على الكتل السابقة) واقتراح عملية استبدال ذات تكلفة صفرية.
تحليل المتون: مراجة ببليومترية لـ 154 وثيقة لتقييم مدى اعتماد المقاييس الجبرية في هذا المجال.
المساهمات الرئيسية
مبرهنة الاستحالة (المبرهنة 1): تثبت الورقة أن كل عملية DNA مفتاحية قابلة لفك التشفير هي عملية تآلفية. بما أن ∣AGL(2,2)∣=24=∣Sym(Σ)∣، فإن كل دالة تقابل لأبجدية DNA هي دالة تآلفية فوق F2. وبالتالي، فإن أي تركيب لقواعد الترميز، وجداول المفاتيح، والجولات ينتج عنه تحويل تآلفي بدرجة جبرية 1. وهذا يفسر سبب نجاح الهجمات السابقة (مثل [4, 13, 14])؛ فهي لم تكن تستغل عيوباً محددة بل البنية الجوهرية لفضاء التصميم.
مبرهنة السقف (المبرهنة 6): يبحث المؤلفون في المخرج المحتمل الوحيد: استخدام وسيطين يعتمدان على النص الصافي (التسلسل). يثبتون أنه حتى في هذه الحالة، تظل الدرجة الجبرية محصورة في 2. علاوة على ذلك، بالنسبة لجميع العمليات الـ 576 المقبولة (المربعات اللاتينية من الرتبة 4)، فإن الانتظام التفاضلي مثبت عند أسوأ قيمة ممكنة (DU=16) واللاخطية هي صفر (NL=0). لا يمكن لأي اختيار للعملية تحسين هذه المقاييس.
مبرهنة الحدود (المبرهنة 8): تم تحديد العائق كخاصية لحجم الأبجدية، وليس للعمليات. تثبت الورقة أن AGL(m,2)=Sym(Σm) إذا وفقط إذا كان m≤2. وبالتالي، فإن أبجدية DNA المكونة من 4 أحرف هي أكبر حجم يمكن أن تكون فيه كل دالة تقابل هي دالة تآلفية. تسمح الأبجديات الأكبر (مثل 8 أحرف) بوجود العديد من الاستبدالات غير التآلفية.
تشخيص التصاميم المتسلسلة: تحلل الورقة أربعة مخططات حديثة تستخدم بناءً متسلسلاً. وتحدد عيبين:
قائمة التآلف: نصف قائمة العمليات (XOR, XNOR) تظل تآلفية حتى مع وجود وسيطين، مما يترك خطية السلسلة للصدفة.
الانهيار الترابطي: يؤدي استخدام العمليات الترابطية (مثل الجمع في Z4) إلى انهيار السلسلة إلى مجموع جزئي (prefix sum)، مما يؤدي لتراكم 2k−1 من البنى الخطية المستقلة عن الصورة.
الاستبدال ذو التكلفة الصفرية: تم اقتراح عملية محددة غير ترابطية وذات درجة 2. تحافظ هذه العملية على نفس حجم الجدول وتكلفة فك التشفير، ولكنها تضمن نمو الدرجة الجبرية للسلسلة مع طولها وتحد من البنى الخطية إلى ثابت (3)، مما يزيل العيوب المحددة للتصاميم الترابطية.
التحقق التجريبي: يوضح المؤلفون أن البطاريات الإحصائية القياسية (الاعتلاج، NPCR، UACI) عمياء عن هذه التمايزات الجبرية. وقد تبين أن "تأثير الانهيار" (avalanche effect) المذكور في الأدبيات هو نتاج لعملية بذّر (seeding) هاش الصورة (والتي تغير سلسلة المفاتيح بالكامل) وليس نتاج طبقة الانتشار نفسها. فعند تثبيت البذرة، يكون انتشار الطبقة ضئيلاً.
النتائج
التآلفية: جميع العمليات المفتاحية الـ 331,776 المقبولة هي عمليات تآلفية (درجة 1).
حدود التسلسل: حتى مع وجود وسيطين للنص الصافي، فإن الدرجة القصوى هي 2، وDU=16,NL=0 لجميع العمليات المقبولة.
البنى الخطية: يراكم التسلسل الترابطي 2k−1 من البنى الخطية، بينما يحافظ البديل غير الترابطي المقترح عليها ثابتة عند 3.
العمى الإحصائي: النسخ الثلاث (المنشور، المقيد، البديل) لا يمكن تمييزها إحصائياً باستخدام المقاييس القياسية، رغم اختلاف خصائصها الجبرية بشكل كبير.
الفجوة في المتون: في مراجعة لـ 122 ورقة تصميم، ظهرت مصطلحات "الدرجة الجبرية"، "الانتظام التفاضلي"، و"الضعف الجبري" صفر مرة. المعرفة موجودة في المراجع ولكنها لم تصل إلى مجتمع التصميم.
الأهمية والادعاءات تدعي الورقة أن الدرجة الجبرية هي المقياس الحرج المفقود من تقييم تشفير الصور القائم على DNA. وتجادل بأن:
الإخفاقات المتكررة لمخططات DNA ليست حوادث بل نتائج حتمية للبنية الجبرية لأبجدية الـ 4 أحرف.
البطارية الإحصائية القياسية غير كافية للكشف عن هذه الضعفات الهيكلية.
يجب على المجال إما تقييد/استبدال العمليات ضمن أبجدية الـ 4 أحرف (تحسين، وليس إصلاحاً) أو التخلي عن أبجدية الـ 4 أحرف تماماً لتحقيق اللاخطية.
يتسم المؤلفون بالتواضع في ادعاءاتهم، حيث يصفون العملية البديلة المقترحة بأنها "تحسين، وليس إصلاحاً"، لأن الحدود الأساسية لأبجدية الـ 4 أحرف (الدرجة ≤2، DU=16,NL=0) لا يمكن تجاوزها دون تغيير حجم الأبجدية. يعمل هذا العمل كتشخيص من جانب التصميم بدلاً من كونه ناقل هجوم جديد.