🔢 mathematics

Infinite families of APN permutations in constrained trivariate classes over $\mathbb{F}_{2^m}$

تُنشئ هذه الورقة عائلات لانهائية من التباديل الجديدة غير المتكافئة وفق تكافؤ CCZ والمتبادلة لتباديل شبه مثالية غير خطية (APN) فوق الحقل $\mathbb{F}_{2^{3m}}$ عن طريق توسيع بناءين ثلاثي المتغيرات لـ "لي" و"كاليـسكي"، حيث تُثبت أن معاملات قياسية محددة تُنتج تباديل APN إذا وفقط إذا لم يكن لكثير حدود أحادي المتغير المرتبط بها جذور في $\mathbb{F}_{2^m}^*$ ، وتُبين أن هذه العائلات الجديدة متميزة عن الأصلية وعن بعضها البعض تحت التكافؤ القطري وتكافؤ CCZ.

المؤلفون الأصليون: Daniele Bartoli, Pantelimon Stanica

نُشر 2026-03-17

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

CC0 1.0

المؤلفون الأصليون: Daniele Bartoli, Pantelimon Stanica

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

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

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

لفترة طويلة، كان العثور على أقفال تكون (APN) مثالية وآمنة وفي نفس الوقت (Permutations) قابلة للعكس في الأبعاد الزوجية يشبه البحث عن إبرة في كومة قش. لم تكن هناك سوى بضعة أقفال "محظوظة" معروفة.

قصة هذه الورقة البحثية

لقد اكتشف باحثان، دانييلي بارتوليلي وبانتليمون ستانيكا، عائلتين لانهائيتين من هذه الأقفال المثالية. لم يكتفيا بإيجاد قفل واحد؛ بل وجدا مصنعاً كاملاً يمكنه إنتاج هذه الأقفال.

إليك تفصيل لاكتشافهما باستخدام تشبيهات بسيطة:

1. "وصفة" الأقفال

يعمل المؤلفان مع نوع معين من البنية الرياضية التي تتضمن ثلاثة متغيرات (لنسمها x، y، و z). فكر في هذه كأنها ثلاث أقراص في قفل رقمي.

لقدا أخذا قفلين "محظوظين" تم اكتشافهما سابقاً من قبل علماء آخرين (Li و Kaleyski) وسألا: "ماذا لو قمنا بتعديل المكونات؟"

في الوصفات الأصلية، كانت المكونات (المعاملات) أرقاماً ثابتة (مثل استخدام الرقم 1 دائماً). سأل المؤلفان: "ماذا لو جعلنا المكونات أي رقم نريده من مجموعة محددة؟"

وقد أنشآ عائلتين جديدتين من الوصفات، وأطلقتا عليهما اسم العائلة G والعائلة H.

العائلة G: مزيج محدد من الأقراص الثلاثة مع "رقم سحري" (لنسمه $a$ ) ممزوج فيها.
العائلة H: مزيج مختلف قليلاً، يستخدم أيضاً الرقم السحري $a$ .

2. اختبار "الرقم السحري"

السؤال الكبير هو: أي قيم لـ $a$ تجعل القفل مثالياً؟

إذا اخترت قيمة خاطئة لـ $a$ ، فقد يتعطل القفل (لن يكون تبديلة/Permutation) أو قد يكون من السهل اختراقه (لن يكون APN).

اكتشف المؤلفان طريقاً مختصراً عبقرياً. فبدلاً من اختبار كل قيمة لـ $a$ عن طريق محاولة كسر القفل، وجدا اختباراً واحداً بسيطاً:

قاما بكتابة معادلة حدودية محددة (معادلة رياضية) تتضمن $a$ .
القاعدة: إذا لم يكن لهذه المعادلة أي حلول (جذور) في نظام الأرقام الذي تستخدمه، فإن $a$ هو رقم سحري جيد.
إذا كان للمعادلة حل، فإن القفل معطل أو غير آمن.

هذا يشبه امتلاك جهاز كشف معادن يصدر صوتاً فقط إذا كان القفل سيئاً. إذا ظل الجهاز صامتاً، فأنت تعلم أن لديك قفلاً مثالياً وآمناً.

3. "السيف ذو الحدين"

الجزء الأكثر روعة هنا هو أن المؤلفين أثبتا أنه بالنسبة لهذه العائلات المحددة، كون القفل تبديلة (Permutation) وكونه APN هما أمران متلازمان.

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

4. هل هذه أقفال جديدة أم مجرد أقفال قديمة متنكرة؟

في علم التشفير، يُعتبر القفلان "نفس الشيء" إذا كان بإمكانك تحويل أحدهما إلى الآخر بسهء (مثل إعادة طلاء سيارة أو تغيير شكل المفتاح قليلاً). وهذا ما يسمى التكافؤ (Equivalence).

سأل المؤلفون: "هل هذه العائلات الجديدة مجرد أقفال Li-Kaleyski القدية ترتدي قناعاً؟"

وقد أثبتا ما يلي:

غالباً لا: في معظم حالات "الرقم السحري" الجيد $a$ ، تكون هذه الأقفال جديدة حقاً. فهي مختلفة هيكلياً عن الأقفال القديمة.
الاستثناء: فقط إذا كان الرقم السحري $a$ يحقق شرطاً محدداً ونادراً جداً (رياضياً، $a^{q^2+q+1} = 1$ )، فإن القفل الجديد سيتحول إلى قفل قديم متنكر.
العائلة G مقابل العائلة H: أثبتا أيضاً أن القفل من العائلة G لا يمكن أبداً تحويله إلى قفل من العائلة H. إنهما نوعان مختلفان تماماً من الأقفال المثالية.

5. لماذا يهم هذا؟

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

الخلا الخلاصة

فكر في هذه الورقة البحثية كأنها مخطط لـ مصنع.

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

هذا يحل لغزاً كبيراً في علم التشفير، ويوفر مساحة لعب واسعة وجديدة من اللبنات الأمنية المتينة لأنظمة الأمن الرقمي المستقبلية.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "عائلات لانهائية من التبديلات شبه المثالية (APN) في فئات ثلاثية المتغيرات مقيدة فوق $\mathbb{F}_{2^m}$ " من تأليف دانييلي بارتولي وبانتليمون ستانيكا.

1. بيان المشكلة والسياق

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

عمل حديث لـ "لي وكاليسكي" (2024) عمم عائلتين من التبديلات شبه المثالية التربيعية التي وُجدت بشكل متفرق في البعد 9 إلى عائلات لانهائية من الدوال ثلاثية المتغيرات فوق $\mathbb{F}_{2^{3m}}$ مع قيود على المعاملات القياسية لتكون ضمن $\mathbb{F}_2$ .

المشكلة الجوهرية: تبحث هذه الورقة في تعميم هذه العائلات حيث يُسمح للمعامل القياسي بالتراوح بحرية عبر المجموعة الضربية $\mathbb{F}_{2^m}^*$ . يهدف المؤلفون إلى:

توصيف الشروط التي تجعل هذه الدوال الموّلدة تبديلات ودوال APN.
تحديد عدد المعاملات الصالحة.
تحديد فئات التكافؤ لهذه الدوال الجديدة بالنسبة للعائلات الموجودة (تحديدًا ممثلات لي-كاليسكي).

2. المنهجية

يستخدم المؤلفون مزيجًا من الهندسة الجبرية، ونظرية الحقول المنتهية، وتحليل كثيرات الحدود.

تعريفات ثلاثية المتغيرات: تم تعريف عائلتين من الدوال $G_a, H_a: \mathbb{F}_{2^m}^3 \to \mathbb{F}_{2^m}^3$ $G_{a}, H_{a} : F_{2^{m}}^{3} \to F_{2^{m}}^{3}$ ، حيث $q = 2^i$ $q = 2^{i}$ مع $\gcd(i, m) = 1$ $g cd (i, m) = 1$ و $m$ $m$ فردي.
- $G_a(x, y, z) = (x^{q+1} + ax^qz + yz^q, \ x^qz + y^{q+1}, \ xy^q + ay^qz + z^{q+1})$
- $H_a(x, y, z) = (x^{q+1} + axy^q + yz^q, \ xy^q + z^{q+1}, \ x^qz + y^{q+1} + ay^qz)$
التوصيف القائم على نظرية الجذور: اختزل المؤلفون مشكلات التبديل والـ APN متعددة المتغيرات إلى دراسة كثيرات حدود أحادية المتغير فوق $\mathbb{F}_{2^m}$ . وقد أثبتوا أن خاصية التبديل وخاصية APN متكافئتان لهذه العائلات، وكلاهما محكوم بغياب جذور لكثيرات حدود محددة في $\mathbb{F}_{2^m}^*$ .
أدوات الهندسة الجبرية: لعدّ المعاملات "الجيدة" (التي تنتج دوال APN تبديلية)، استخدم المؤلفون حد لانغ-ويل (Lang–Weil bound) وحد هاسي-ويل (Hasse–Weil bound). قاموا بتحليل منحنى التصادم المرتبط بدالة رسم المعاملات $g(u) = \frac{u^d+1}{u}$ (حيث $d = q^2+q+1$ ) لتقدير حجم الصورة والمتمم (مجموعة المعاملات الجيدة).
تحليل التكافؤ: تبحث الورقة في تكافؤ CCZ (Carlet–Charpin–Zinoviev). بالنسبة للدوال التربيعية الـ APN التي تنعدم عند الصفر، استفاد المؤلفون من نتائج حديثة (Shi et al., 2025) لإظهار أن تكافؤ CCZ يختزل إلى تكافؤ EL (Extended Linear)، والذي بدوره يختزل إلى التكافؤ القطري لهذه الأشكال الثلاثية المحددة. سمح لهم ذلك باستخدام الأنظمة الجبرية لإثبات عدم التكافؤ.

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

أ. توصيف التبديلات شبه المثالية (APN)

تثبت الورقة أنه بالنسبة لكلتا العائلتين $G_a$ و $H_a$ ، فإن ما يلي متكافئ:

الدالة هي تبديل.
الدالة هي APN.
كثيرة حدود أحادية المتغير مرتبطة محددة ليس لها جذور في $\mathbb{F}_{2^m}^*$ .

بالنسبة لـ $G_a$ ، الشرط هو أن $Q_a(T) = T^{q^2+q+1} + aT + 1$ ليس لها جذور في $\mathbb{F}_{2^m}$ .
بالنسبة لـ $H_a$ ، يتضمن الشرط كثيرة حدود $P'_a(T)$ والتي ثبت أنها متكافئة جذريًا لـ $Q_a(T)$ .
الاستنتاج: نفس مجموعة المعاملات $a$ تنتج تبديلات APN لكلتا العائلتين.

ب. الوجود والحدود الكمية

الحد الأدنى: اشتق المؤلفون حدًا أدنى كميًا لعدد المعاملات الجيدة $a \in \mathbb{F}_{2^m}^*$ . ليكن $d = q^2+q+1$ . عدد المعاملات الجيدة هو على الأقل:
$\frac{2^m + 1 - (d-1)(d-2)2^{m/2} - d}{d}$
وهذا يثبت وجود عائلات لانهائية من تبديلات APN لأي $m$ فردي.
الحالة الثنائية ( $q=2$ ): عندما يكون $q=2$ ، يتبسط الشرط. أثبت المؤلفون أن $a=1$ هو معامل "جيد" (ينتج تبديل APN) إذا وفقط إذا كان $7 \nmid m$ . وهذا يستعيد عائلة لي-كاليسكي كحالة خاصة.

ج. نتائج عدم التكافؤ

تقدم الورقة نتائج قوية فيما يتعلق بحداثة هذه العائلات:

التكافؤ القطري لـ لي-كاليسكي: $G_a$ $G_{a}$ (أو $H_a$ $H_{a}$ ) مكافئة قطريًا لممثل لي-كاليسكي ( $G_1$ $G_{1}$ أو $H_1$ $H_{1}$ ) إذا وفقط إذا كان $a^{q^2+q+1} = 1$ $a^{q^{2} + q + 1} = 1$ .
- بالنسبة لـ $q=2$ و $7 \nmid m$ ، الحل الوحيد هو $a=1$ . وبالتالي، كل معامل جيد آخر $a \neq 1$ ينتج تبديل APN غير مكافئ لـ CCZ لعائلة لي-كاليسكي.
عدم التكافؤ المتبادل: بالنسبة لـ $m > 4, m \neq 6, 7 \nmid m$ $m > 4, m \neq = 6, 7 ∤ m$ ، لا يوجد أي عضو من عائلة $G_a$ $G_{a}$ يكافئ CCZ لأي عضو من عائلة $H_b$ $H_{b}$ (لنفس $q$ $q$ ).
- يثبت هذا أن العائلتين توفران مصادر جديدة تمامًا وغير متكافئة متبادلًا لتبديلات APN.

4. الأهمية

توسيع العائلات المعروفة: توسع هذه الورقة بشكل كبير المشهد المعروف لتبديلات APN من خلال تعميم الأمثلة المتفرقة إلى عائلات لانهائية ذات معامل حر $a$ .
الاختزال إلى مشكلات أحادية المتغير: توضح الورقة أنه يمكن اختزال مشكلات التبديل والـ APN متعددة المتغيرات المعقدة إلى التحقق من خلو كثيرات حدود أحادية المتغير من الجذور، وهي مسألة جبرية أكثر قابلية للمعالجة.
فئات CCZ جديدة: من خلال إثبات أن الغالبية العظمى من المعاملات تنتج دوال غير مكافئة لـ CCZ للعائلات المعروفة (ولبعضها البعض)، تؤكد الورقة وجود عدد كبير من البدائل التشفيرية المتميزة.
التقدم المنهجي: يقدم تطبيق الهندسة الجبرية (حدود Lang–Weil/Hasse–Weil) لعدّ المعاملات الجيدة في الفئات ثلاثية المتغيرات المقيدة إطارًا قويًا للبناء المستقبلي.

5. المشكلات المفتوحة

يختتم المؤلفون بعدة أسئلة مفتوحة:

توصيف المعاملات الجيدة صراحةً لحالة $7 \mid m$ (حيث يفشل $a=1$ ).
توسيع التبديلات من "النوع الأول" التي وُجدت حسابيًا لـ $m=3$ إلى عائلات لانهائية.
التحقيق فيما إذا كانت هناك بناءات مماثلة للأبعاد الزوجية $m$ .
تعميم هذه البناءات ذات $n$ من المتغيرات ( $n > 3$ ) وتحديد ما إذا كان نهج معيار الجذر يمكن تعميمه.

باختالام، توفر هذه الورقة أساسًا جبريًا رصينًا لفئة جديدة من تبديلات APN، حيث تثبت وجودها، وتحدد وفرتها، وتؤكد تميزها عن جميع العائلات اللانهائية المعروفة سابقًا.