الرياضيات، التشفير، الكم on kenji.blog

【PQC】الصورة الكاملة لـ "تشفير ما بعد الكم" تشفير الجيل القادم في عصر الحوسبة الكمومية

Sat, 05 Sep 2026 22:09:22 +0900

مقدمة: “التهديد” الذي تشكله الحواسيب الكمومية على تقنيات التشفير

في الوقت الحاضر، يتم حماية الغالبية العظمى من الاتصالات اليومية التي نجريها عبر الإنترنت - بدءًا من المدفوعات المصرفية عبر الإنترنت، وتصفح الويب (HTTPS)، وتبادل الرسائل في التطبيقات، وصولاً إلى معاملات البلوكشين والأصول المشفرة - بواسطة تقنية تُعرف باسم “تشفير المفتاح العام”. وعلى وجه التحديد، تشكل خوارزميات مثل تشفير RSA وتشفير المنحنى الإهليلجي (ECC) الأساس الذي تقوم عليه موثوقية المجتمع الرقمي الحديث.

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

في عام 1994، نشر بيتر شور “خوارزمية شور”، والتي أثبتت رياضيًا أنه يمكن حل مسائل تحليل الأعداد الأولية واللوغاريتم المتقطع في وقت قصير جدًا باستخدام حاسوب كمومي ذي أداء كافٍ. وهذا يعني أن هناك خطرًا من أن جميع الاتصالات المشفرة التي تحمي الإنترنت اليوم سيتم فك تشفيرها في المستقبل (وهي مشكلة تعرف باسم Y2Q: سنوات حتى الكم، أو Q-Day).

وما يزيد الأمر خطورة هو وجود أسلوب هجوم يُعرف باسم “احصد الآن، وفك التشفير لاحقًا (Harvest Now, Decrypt Later)” (أي سرقة البيانات الآن وتخزينها، وفك تشفيرها عندما يصبح التشفير قابلاً للكسر في المستقبل). فالبيانات التي يجب الحفاظ على سريتها لعقود، مثل أسرار الدولة، والملكية الفكرية للشركات، والمعلومات البيومترية للأفراد، ربما تكون بالفعل هدفًا للسرقة على افتراض أنه سيتم فك تشفيرها مستقبلاً.

استجابة لهذه الأزمة غير المسبوقة، يعمل خبراء التشفير ومعاهد الأبحاث في جميع أنحاء العالم بكل طاقتهم لتطوير تقنية تشفير من الجيل القادم قادرة على مقاومة هجمات الحواسيب الكمومية، وهي تشفير ما بعد الكم (PQC: Post-Quantum Cryptography) . في هذه المقالة، سنشرح بالتفصيل أساسيات PQC، وآليات الخوارزميات الرئيسية، وأحدث اتجاهات التوحيد القياسي العالمي التي يقودها المعهد الوطني الأمريكي للمعايير والتكنولوجيا (NIST).

ما هو تشفير ما بعد الكم (PQC)؟

يُعد تشفير ما بعد الكم (PQC) مصطلحًا شاملاً لخوارزميات التشفير المصممة للعمل على الحواسيب الكلاسيكية الحالية مع الاحتفاظ بالقدرة على مقاومة الهجمات من الحواسيب الكمومية واسعة النطاق في المستقبل (مثل خوارزمية شور).

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

من ناحية أخرى، تُعد PQC تقنية تشفير تعتمد على البرامج وتستند بالكامل إلى “الرياضيات” . وبالتالي، يمكن دمجها كتحديث برمجي في البنية التحتية الحالية للإنترنت، والخوادم، والهواتف الذكية، والمتصفحات، وغيرها، مما يجعل قابليتها للتطبيق في العالم الحقيقي عالية جدًا. وتعتبر شركات تكنولوجيا المعلومات والوكالات الحكومية في جميع أنحاء العالم الآن أن استبدال (ترحيل) خوارزميات RSA و ECC المستخدمة حاليًا بتقنية PQC هذه يمثل أولوية قصوى.

المناهج الرياضية الرئيسية الأربعة التي تدعم PQC

تم اقتراح العديد من خوارزميات PQC بناءً على مسائل رياضية يصعب حلها بكفاءة حتى باستخدام الحواسيب الكمومية (مثل المسائل صعبة الحل NP-hard). نستعرض هنا الفئات الأربع الرئيسية السائدة حاليًا.

المناهج الرئيسية لتشفير ما بعد الكم (PQC)

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12


graph LR
 PQC[تشفير ما بعد الكم PQC] --> L[التشفير القائم على الشبكة Lattice-based]
 PQC --> H[التشفير القائم على التجزئة Hash-based]
 PQC --> M[تشفير متعدد المتغيرات Multivariate]
 PQC --> C[التشفير القائم على الكود Code-based]

 L --> L1(FIPS 203: ML-KEM)
 L --> L2(FIPS 204: ML-DSA)

 H --> H1(FIPS 205: SLH-DSA)

 style PQC fill:#f9f,stroke:#333,stroke-width:2px

1. التشفير القائم على الشبكة (Lattice-based Cryptography)

يُعد التشفير القائم على الشبكة حاليًا التوجه الأبرز والأكثر الواعدة في مجال PQC. يعتمد هذا التشفير في أمانه على المسائل المتعلقة بالنقاط المرتبة بانتظام (نقاط الشبكة) في المساحات متعددة الأبعاد. تشمل المسائل الشهيرة “مسألة أقصر متجه (SVP)” و “مسألة التعلم مع الأخطاء (LWE)”.

نظرة عامة على الآلية: تخيل عددًا لا يحصى من النقاط المرتبة في نمط شبكي في مساحة عالية الأبعاد (مئات إلى آلاف الأبعاد). من السهل العثور على نقطة شبكة معينة في بعدين أو ثلاثة أبعاد، ولكن في مئات الأبعاد، لم يتم العثور على خوارزمية فعالة للعثور عليها سواء للحواسيب الكلاسيكية أو الكمومية. وتستفيد مسألة LWE تحديدًا من الخاصية التي تنص على أن “إضافة ‘ضوضاء (خطأ)’ صغيرة عمدًا إلى نظام من المعادلات الخطية يجعل تخمين المتغيرات الأصلية أمرًا بالغ الصعوبة”.

المزايا:

قابل للتطبيق لكل من تبادل المفاتيح (KEM) والتوقيعات الرقمية.
سرعة المعالجة عالية جدًا (تكون أحيانًا أسرع من RSA أو ECC).
حجم المفتاح والنص المشفر صغير نسبيًا، مما يجعله متوازنًا.

تعتمد معظم الخوارزميات التي تقوم NIST بتوحيدها حاليًا (مثل ML-KEM و ML-DSA) على هذا التشفير القائم على الشبكة.

2. التشفير القائم على التجزئة (Hash-based Cryptography)

التشفير القائم على التجزئة هو خوارزمية PQC مخصصة للتوقيعات الرقمية. يعتمد أمانها حصريًا على مقاومة الاصطدام والاتجاه الواحد لـ “وظائف التجزئة التشفيرية” الآمنة، مثل SHA-2 أو SHA-3.

نظرة عامة على الآلية: يبدأ الأمر بمخطط توقيع يُستخدم لمرة واحدة يُسمى “توقيع لامبورت (Lamport Signature)"، والذي لا يمكن استخدامه إلا مرة واحدة. من خلال تجميع هذه التوقيعات في بنية بيانات شجرية تسمى “شجرة ميركل (Merkle Tree)"، فإنها تتيح توقيعات متعددة باستخدام زوج مفاتيح واحد.

المزايا:

أساس الأمان قوي للغاية، مع إثبات قوي على أنه “طالما كانت وظيفة التجزئة آمنة، فهو آمن”.
نظرًا لقلة الاعتماد على الهياكل الرياضية، فإن خطر العثور على طرق غير متوقعة لكسر التشفير منخفض جدًا.

العيوب:

لا يمكن استخدامه لتبادل المفاتيح (KEM)، فقط للتوقيعات الرقمية.
يميل حجم التوقيع إلى أن يكون كبيرًا.
توجد إصدارات “تحتفظ بالحالة (stateful)” و “بدون حالة (stateless)”. تمثل الإصدارات التي تحتفظ بالحالة (مثل XMSS) تحديًا كبيرًا في التنفيذ نظرًا للحاجة إلى إدارة عدد مرات استخدام المفاتيح بدقة.

قامت NIST بتوحيد “SLH-DSA (سابقًا SPHINCS+)” كمعيار لتوقيعات التجزئة بدون حالة.

3. التشفير متعدد المتغيرات (Multivariate Cryptography)

يعتمد التشفير متعدد المتغيرات في أمانه على صعوبة حل أنظمة المعادلات التربيعية المتعددة التي تحتوي على العديد من المتغيرات (مسألة MQ: Multivariate Quadratic problem). من المعروف أن هذه المسألة صعبة الحل (NP-hard).

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

المزايا:

حجم التوقيع صغير جدًا.
سرعة التحقق من التوقيع سريعة للغاية. مناسب لأجهزة إنترنت الأشياء (IoT) ذات الموارد المحدودة.

العيوب:

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

4. التشفير القائم على الكود (Code-based Cryptography)

التشفير القائم على الكود هو تطبيق لنظرية “أكواد تصحيح الأخطاء” المستخدمة لتصحيح الأخطاء في قنوات الاتصال في مجال التشفير. يعتبر “تشفير ماك إيليس (McEliece Cryptography)” المقترح في عام 1978 هو الأكثر شهرة، وهو أحد أقدم التقنيات في مجال PQC.

نظرة عامة على الآلية: يقوم المرسل بتشفير النص العادي باستخدام المفتاح العام للمتلقي (مصفوفة التوليد لكود تصحيح الأخطاء التي تخفي بنية معينة)، ويضيف أخطاءً متعمدة (ضوضاء) قبل الإرسال. يستخدم المتلقي المفتاح السري لإزالة الأخطاء واستخراج النص العادي. ويجب على المهاجم تصحيح الأخطاء من كود عشوائي دون معرفة بنيته، وهو ما يسمى “مسألة فك تشفير المتلازمة العامة” وهي مثبتة كمسألة صعبة الحل (NP-hard).

المزايا:

تمت دراسته بدقة لأكثر من 40 عامًا دون العثور على هجمات فعالة، مما يضمن موثوقية عالية للأمان.
سرعة عالية في عمليات التشفير وفك التشفير.

العيوب:

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

أحدث اتجاهات التوحيد القياسي لـ PQC من قبل NIST

أطلق المعهد الوطني الأمريكي للمعايير والتكنولوجيا (NIST) دعوة عالمية لتقديم خوارزميات تشفير ما بعد الكم من الجيل القادم في عام 2016، وأجرى جولات متعددة من التقييم الصارم على مدى سنوات عديدة.

في عام 2024، أعلنت NIST أخيرًا عن الخوارزميات الثلاث التالية كمعايير لمعالجة المعلومات الفيدرالية (FIPS) الرسمية. وهذا يضع أساسًا قويًا للمؤسسات في جميع أنحاء العالم للبدء في تنفيذها في بيئات الإنتاج.

معايير FIPS المعتمدة (2024)

FIPS 203: ML-KEM (سابقًا CRYSTALS-Kyber)
- الغرض: آلية تغليف المفتاح (KEM) / التشفير وتبادل المفاتيح
- التقنية الأساسية: التشفير القائم على الشبكة (Module-LWE)
- الميزات: يوفر توازنًا ممتازًا بين حجم المفتاح والسرعة، وسيعمل كمعيار افتراضي لتبادل مفاتيح PQC في تطبيقات الإنترنت العامة مثل اتصالات الويب (TLS) وتطبيقات المراسلة الآمنة.
FIPS 204: ML-DSA (سابقًا CRYSTALS-Dilithium)
- الغرض: التوقيع الرقمي
- التقنية الأساسية: التشفير القائم على الشبكة (Module-LWE)
- الميزات: المعيار الرئيسي للتوقيعات الرقمية. يوفر معالجة فعالة، وسيصبح المعيار الجديد لجميع حالات استخدام التوقيع الإلكتروني، مثل توقيع البرامج والمصادقة على المستندات.
FIPS 205: SLH-DSA (سابقًا SPHINCS+)
- الغرض: التوقيع الرقمي
- التقنية الأساسية: التشفير القائم على التجزئة (بدون حالة)
- الميزات: يلعب دورًا مهمًا كخيار احتياطي في حالة اكتشاف ثغرات أمنية في التشفير القائم على الشبكة في المستقبل. ورغم أن حجم التوقيع أكبر، إلا أنه مناسب للاستخدامات التي تتطلب موثوقية طويلة المدى.

السعي نحو مزيد من التنوع

بينما أنهت NIST عملية التوحيد القياسي الأولية، فإنها تواصل البحث عن خوارزميات إضافية. ونظرًا لأن المعايير تميل بشكل كبير نحو “التشفير القائم على الشبكة”، يعتبر ضمان “تنوع التشفير (Crypto Diversity)” أمرًا بالغ الأهمية. ويجري تقييم التشفير القائم على الكود وغيرها كمعايير احتياطية لتبادل المفاتيح، مما سيعزز من قوة أساس PQC في المستقبل.

سيناريوهات وتحديات الانتقال إلى PQC: أهمية “رشاقة التشفير”

مع إصدار المعايير الرسمية من قبل NIST، ستعمل الوكالات الحكومية والمؤسسات المالية وشركات التكنولوجيا في جميع أنحاء العالم على تسريع انتقالها (الهجرة) من RSA/ECC الحالي إلى PQC. كما توصي المبادئ التوجيهية الصادرة عن وكالة الأمن القومي الأمريكية (NSA) وغيرها بالانتهاء من الانتقال في وقت مبكر.

اعتماد النهج الهجين

نظرًا لأن خوارزميات PQC جديدة، فإنها لم تخضع لـ “اختبار الزمن” مثل التشفير الكلاسيكي. وبالنظر إلى مخاطر الأخطاء الخفية في التنفيذ أو اكتشاف أساليب هجوم جديدة، يوصى باتباع “النهج الهجين” خلال الفترة الانتقالية. يجمع هذا الأسلوب بين تقنيات التشفير الحالية والمثبتة (مثل ECDHE) مع خوارزميات PQC الجديدة (مثل ML-KEM) لتبادل المفاتيح. في الوقت الحالي، يتم اختبار هذا النهج بشكل متسارع في المتصفحات والخدمات السحابية الرئيسية.

تحقيق رشاقة التشفير (Crypto-Agility)

إن أهم شيء يجب على الشركات ومطوري الأنظمة إدراكه للمضي قدمًا هو ضمان “رشاقة التشفير (Crypto-Agility)” . من الضروري تصميم بنية مرنة تسمح بتبديل خوارزميات التشفير أو تحديثها بسرعة دون إيقاف النظام في حالة اكتشاف عيوب في الخوارزمية أو ظهور معايير جديدة.

يعد إنشاء قائمة مواد التشفير (CBOM: Cryptography Bill of Materials) لفهم “أين” و “أي تشفير” و “لأي غرض” يتم استخدامه داخل الأنظمة الداخلية بدقة، بمثابة خطوة أولى مهمة نحو الانتقال إلى PQC.

الخاتمة: الاستعداد لـ “Q-Day” القادم

في حين أن تطور الحواسيب الكمومية سيجلب فوائد هائلة للبشرية، فإنه يشكل أيضًا التهديد الأكبر لأمن التشفير الذي يمثل أساس مجتمعنا الرقمي الحالي. لم يعد تشفير ما بعد الكم (PQC) مجرد “موضوع بحثي للمستقبل البعيد”. فبعد الإنجاز المتمثل في إصدار معايير FIPS من قبل NIST، دخلت PQC الآن مرحلة التوسع في “التنفيذ والانتقال”.

بالنظر إلى تهديد “احصد الآن، وفك التشفير لاحقًا”، فإن الانتقال إلى PQC هو أولوية قصوى يجب أن تبدأ “الآن” لأي مؤسسة تتعامل مع بيانات حساسة. دعونا نتجاوز عصر الحواسيب الكمومية القادم بأمان من خلال الفهم العميق لتقنيات تشفير الجيل القادم وتعزيز رشاقة التشفير في أنظمتنا.

الهيكل الرياضي الحقيقي لغربال حقل الأعداد العام (GNFS)

Sat, 05 Sep 2026 02:26:13 +0900

الهيكل الرياضي الحقيقي لغربال حقل الأعداد العام (GNFS)

الهدف النهائي لـ GNFS هو العثور على $X, Y$ بحيث يكون $X^2 \equiv Y^2 \pmod N$. لتحقيق ذلك، بنى علماء الرياضيات جسرًا بين “عالم الأعداد الصحيحة الحقيقي” و “عالم الحقول الجبرية”. هذا الجسر هو ما يُعرف بـ “التشاكل” (Homomorphism).

المرحلة الأولى: “التشاكل” الذي يربط العالمين

1. اختيار المتعددة الحدود وتعريف الجذور

لعدد مركب ضخم $N$، نختار عددًا صحيحًا $m$ ومتعددة حدود $f(x)$ بحيث $f(m) \equiv 0 \pmod N$. (مثال: توسيع $N$ في الأساس $m$، وبناء $f(x)$ من معاملاته. في هذه الحالة، يُفترض أن $f(x)$ غير قابل للاختزال على حقل الأعداد الكسرية $\mathbb{Q}$).

بعد ذلك، لنفترض أن $\alpha$ هو أحد “الجذور المركبة” للمعادلة $f(x) = 0$. بالطبع، $f(\alpha) = 0$. لاحظ أن $\alpha$ ليس عددًا صحيحًا، بل عددًا مركبًا (عددًا جبريًا) قد يحتوي على جذور أو أعداد تخيلية.

2. بناء الحلقة (Ring) والتشاكل

هنا، نقوم بإعداد “حلقتين” رياضيتين (عالمان حيث يُعرّف الجمع والضرب):

العالم A: $\mathbb{Z}[\alpha]$ (حلقة الأعداد الصحيحة الجبرية التي تحتوي على $\alpha$) هذا هو عالم الأعداد التي تُعبّر عن شكل $a + b\alpha + c\alpha^2 + \dots$.
العالم B: $\mathbb{Z}/N\mathbb{Z}$ (حلقة البواقي بعد القسمة على $N$) عالم التطابق (modulo) الذي يتكون فقط من الأعداد الصحيحة من $0$ إلى $N-1$.

هنا، نُعرّف تعيينًا (Mapping) يُسمى $\phi$ من العالم A إلى العالم B على النحو التالي: $$\phi : \mathbb{Z}[\alpha] \to \mathbb{Z}/N\mathbb{Z}$$ $$\phi(\alpha) = m \pmod N$$

هذا التعيين $\phi$ هو عملية سحرية تستبدل المتغير $\alpha$ في العالم A بالعدد الصحيح $m$ في العالم B بشكل كامل. هذا الـ $\phi$ يمتلك خاصية قوية جدًا تُسمى “تشاكل الحلقة” (Ring Homomorphism). التشاكل هو خاصية “الانتقال إلى عالم آخر دون تدمير هيكل الجمع والضرب”. وهذا يعني أن المعادلات التالية صحيحة:

$\phi(X \times Y) = \phi(X) \times \phi(Y)$
$\phi(X^2) = \phi(X)^2$

ماذا يعني كل هذا؟ إذا تمكنا من صنع “مربع كامل” ($\gamma^2$) من عنصر معقد $\gamma$ في “العالم A” (عالم $\alpha$)، فيمكننا القفز إلى “العالم B” (عالم البواقي) باستخدام $\phi$، و سيتم الحفاظ على شكل المربع $\phi(\gamma)^2$ تمامًا.

المرحلة الثانية: انهيار التحليل إلى العوامل الأولية وولادة “المثالي” (Ideal)

نريد جمع الكثير من العناصر المناسبة $(a - b\alpha)$ في العالم A ($\mathbb{Z}[\alpha]$) وضربها معًا لتكوين “مربع كامل”. عادةً، يمكننا “التحليل إلى العوامل الأولية” للعناصر $(a - b\alpha)$ المجمعة، ودمجها بحيث تصبح كل أسس الأعداد الأولية زوجية (محلولة باستخدام المصفوفات) لإنشاء مربع.

ولكن، هنا يقف جدار اليأس الجبري في طريقنا. في عالم الحقول الجبرية مثل $\mathbb{Z}[\alpha]$، فإن “وحدانية التحليل إلى العوامل الأولية (يمكن التعبير عن كل عدد بطريقة واحدة فقط كحاصل ضرب أعداد أولية)” التي تعلمناها في المدرسة الإعدادية تنهار تمامًا.

(مثال: في بعض عوالم الحقول الجبرية، $6 = 2 \times 3$، وفي نفس الوقت $6 = (1+\sqrt{-5}) \times (1-\sqrt{-5})$، مما يجعل من المستحيل معرفة أي منها هي الأعداد الأولية الحقيقية).

إذا لم يكن التحليل إلى العوامل الأولية فريدًا، فإن لغز “حساب الأعداد الأولية لجعلها زوجية” (طريقة الغربال) مستحيل من حيث المبدأ.

إنقاذ كومر وديديكيند: “المثالي” (Ideal)

تم إنقاذ هذا الانهيار من خلال مفهوم “المثالي” (Ideal) الذي ابتكره علماء الرياضيات في القرن التاسع عشر. بدلًا من النظر إلى العنصر نفسه، من خلال النظر في “مجموعة المضاعفات (المثالي)” التي يولدها هذا العنصر، أصبح التحليل إلى العوامل الأولية ممكنًا مرة أخرى.

في حلقة الأعداد الصحيحة للحقل الجبري $\mathcal{O}_K$ (الحلقة الأكثر كمالًا التي تحتوي على $\mathbb{Z}[\alpha]$)، حتى لو لم يكن بالإمكان تحليل العناصر بشكل فريد، فقد تم إثبات أن “المثالي يمكن دائمًا تحليله بشكل فريد كحاصل ضرب ‘مثاليات أولية’ ($\mathfrak{p}$)”.

لذلك، في GNFS، بدلًا من تحليل العنصر $(a - b\alpha)$ نفسه، نقوم بـ التحليل إلى المثاليات الأولية للمثالي الرئيسي $\langle a - b\alpha \rangle$ الذي يولده.

المرحلة الثالثة: المعيار (Norm) والغربالان (Sieve)

إذن، كيف نعرف ما هي المثاليات الأولية التي يتحلل إليها المثالي $\langle a - b\alpha \rangle$؟ هنا نستخدم دالة تسمى “المعيار” (Norm). المعيار هو دالة تحول العناصر المعقدة في الحقل الجبري إلى “أعداد صحيحة عادية $\mathbb{Z}$” في العالم الحقيقي.

يُحسب معيار العنصر $(a - b\alpha)$ بواسطة متعددة الحدود البسيطة $b^d f(a/b)$ (حيث $d$ هي درجة $f(x)$).

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

لذلك، يحسب GNFS الأمرين التاليين في وقت واحد لعدد كبير من أزواج الأعداد الصحيحة $(a, b)$، ويجمع فقط الأزواج التي يكون كلاهما “أعدادًا ملساء”:

الغربال النسبي (Rational Sieve): $a - bm$ (القيمة في العالم الحقيقي)
الغربال الجبري (Algebraic Sieve): $b^d f(a/b)$ (المعيار في عالم الحقل الجبري)

نجمع عشرات الملايين من الأزواج $(a, b)$ الملساء معًا، ونحل بيانات التحليل إلى المثاليات الأولية (كم عدد المثاليات الأولية الموجودة) كمصفوفة عملاقة (الجبر الخطي على GF(2))، ونجد مجموعة $S$ من الأزواج بحيث “عند ضربها، تصبح أسس جميع المثاليات الأولية زوجية”.

المرحلة الرابعة: “العقبتان” وزمرة أصناف المثاليات

من خلال حساب المصفوفة، وجدنا أن ضرب جميع المثاليات $(a - b\alpha)$ في المجموعة $S$ ينتج مربعًا لمثالي ما $I$.

$$\prod_{S} \langle a - b\alpha \rangle = I^2$$

لكن الأمر لم ينتهِ بعد. أعمق وأصعب جدار رياضي في GNFS يكمن هنا.

ما نريده في النهاية ليس “مربع المثالي”، بل “مربع العنصر” ($\gamma^2$) لتعويضه في التعيين $\phi$. فقط لأن المثالي تم تربيعه، لا يعني أن العنصر نفسه تم تربيعه. توجد عقبتان رياضيتان قويتان جدًا (Obstructions) هنا.

العقبة 1: جدار زمرة أصناف المثاليات (Ideal Class Group)

المثالي $I$ ليس دائمًا “مثاليًا مولدًا بواسطة عنصر واحد (مثالي رئيسي)”. من المستحيل استخراج العنصر المحدد $\gamma$ من مثالي ليس مثاليًا رئيسيًا.

هنا يظهر مفهوم “زمرة أصناف المثاليات (Class Group, $Cl_K$)”. زمرة أصناف المثاليات هي زمرة تقيس “مدى وجود مثاليات غير رئيسية في عالم الحقل الجبري (إلى أي مدى تم تدمير وحدانية التحليل إلى العوامل الأولية)”. حتى لو أصبح $\prod \langle a - b\alpha \rangle$ هو $I^2$، إذا لم يكن $I$ عنصرًا محايدًا (مثاليًا رئيسيًا) في زمرة أصناف المثاليات، فلا يمكننا سحبه مرة أخرى إلى مربع عنصر.

العقبة 2: جدار زمرة الوحدات (Unit Group)

لنفترض أننا محظوظون وأن $I$ هو مثالي رئيسي $\langle \gamma \rangle$. إذن، $\prod \langle a - b\alpha \rangle = \langle \gamma^2 \rangle$. قد تعتقد، “رائع، العنصر مربع أيضًا!"، لكنك مخطئ تمامًا.

حقيقة أن المثاليات (مجموعات المضاعفات) متساوية لا تعني أن العناصر متساوية تمامًا. سيكون هناك دائمًا إزاحة بواسطة “الوحدة” (Unit: عدد مقلوبه هو أيضًا عدد صحيح، مثل 1 أو -1). بمعنى آخر، معادلة العنصر الفعلي هي كالتالي:

$$\prod_{S} (a - b\alpha) = u \cdot \gamma^2$$

(حيث $u$ هو عنصر من زمرة الوحدات $U_K$)

ما لم تكن هذه الوحدة $u$ بحد ذاتها مربعًا لشيء ما، فلن يكون الجانب الأيسر أبدًا “مربع عنصر كامل”.

المرحلة الخامسة: سحر أدلمان “الرموز التربيعية” (Quadratic Characters)

عقبة زمرة أصناف المثاليات وعقبة زمرة الوحدات. كيف نتغلب عليهما؟ هنا يأتي دور الطريقة العبقرية التي تسمى “الرموز التربيعية” (Quadratic Characters)، والتي أدخلها عالم التشفير ليونارد أدلمان (حرف “A” في RSA) وزملاؤه.

لتحديد ما إذا كان “عنصر ما هو مربع كامل في الحقل الجبري”، نستخدم إصدار الحقل الجبري من رمز ليجاندر (الباقي التربيعي). في المصفوفة العملاقة السابقة (اللغز لجعل عدد المثاليات الأولية زوجيًا)، نضيف سرًا بضع عشرات من الشروط الإضافية (الأعمدة) التي تنص على أن “الرموز التربيعية لبعض المثاليات الأولية الخاصة $\mathfrak{q}$ تصبح جميعها $1$ (زوجية)”.

عندما نجد المجموعة $S$ التي تستوفي هذه الشروط الإضافية من خلال حساب المصفوفة، تضمن مبرهنة عميقة في نظرية الأعداد الجبرية أن “كل من عقبة زمرة أصناف المثاليات وعقبة زمرة الوحدات ستختفيان بشكل طبيعي باحتمال ساحق”.

وبهذا، نحصل أخيرًا على المعادلة الحقيقية:

$$\prod_{S} (a - b\alpha) = \gamma^2$$

المرحلة النهائية: اندماج العوالم وانهيار التشفير

أخيرًا، اكتملت جميع قطع اللغز.

[العنصر في عالم الحقل الجبري (العالم A)] $\gamma^2 = \prod (a - b\alpha)$ (استخدم خوارزمية الجذر التربيعي لإيجاد $\gamma$)

[العنصر في العالم الحقيقي (عالم الأعداد الكسرية)] $V^2 = \prod (a - bm)$ (هذا مجرد ضرب أعداد صحيحة عادي، لذا يمكن العثور على الجذر التربيعي $V$ بسهولة)

الآن، حان وقت عمل الجسر السحري الأول الذي صنعناه، التشاكل $\phi$. نقفز بالعنصر $\gamma$ من العالم A إلى العالم B (عالم البواقي $N$) باستخدام $\phi$ (التعيين الذي يعوض بـ $m$ بدلًا من $\alpha$).

$$Y = \phi(\gamma) \pmod N$$

من ناحية أخرى، نأخذ $V$ الذي تم إنشاؤه في العالم الحقيقي مباشرة إلى عالم البواقي ونسميه $X$.

$$X = V \pmod N$$

بفضل خاصية “الحفاظ على الهيكل” للتشاكل، فإن علاقة التربيع التي كانت صحيحة في العالم A يتم حفظها تمامًا في العالم B (عالم المقياس $N$). علاوة على ذلك، نظرًا لأن الأزواج الأصلية $(a, b)$ تم تشكيلها بطريقة متقابلة كـ $a - b\alpha$ و $a - bm$، فإن $X$ و $Y$ يصطدمان في عالم المقياس $N$ وينتجان المعادلة المطلقة التالية:

$$X^2 \equiv Y^2 \pmod N$$

الآن، كل ما علينا فعله هو أن نصلي ألا يكون $X$ و $Y$ حلولاً بديهية ($X \equiv \pm Y$)، ثم نحسب: $\gcd(X - Y, N)$

إذا كان حلاً غير بديهي، فستعمل خوارزمية إقليدس في 0.001 ثانية، وسيتم طباعة الأعداد الأولية السرية $p$ و $q$، والتي تعد قلب تشفير RSA، على شاشة الإخراج.

هذا هو الشكل الكامل لـ “غربال حقل الأعداد العام (GNFS)” الذي يجمع خلاصة الرياضيات الحديثة.

مبدأ كيركهوفس

Wed, 16 Apr 2025 23:53:08 +0900

مبدأ كيركهوفس

مرحباً!

اليوم أود أن أتحدث عن شيء مثير للاهتمام وفي الواقع مهم جداً، وهو “مبدأ كيركهوفس”.

أوه، انتظر لحظة.
قد يفكر البعض منكم: “لم أسمع أبداً عن ‘مبدأ كيركهوفس’ ويبدو معقداً جداً…” لا تقلق. هذا المقال مخصص بالضبط للأشخاص الذين يشعرون بذلك.

ماذا تعني “التعمية الآمنة”؟

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

للوهلة الأولى، يبدو هذا آمناً للغاية، أليس كذلك؟
لكن إذا فكرت في الأمر مرة أخرى، أليس هذا مقلقاً بعض الشيء؟

مثل، “إذا تم الكشف عن هذا السر، فقد انتهى كل شيء، صحيح؟”

في الواقع، هذا هو سبب تقديم مبدأ كيركهوفس.

ما هو “مبدأ كيركهوفس” بالضبط؟

باختصار شديد، إنه:

فكرة أن “التشفير يجب أن يبقى آمناً حتى لو تم الكشف عن آليته” .

وبشكل أدق، “يجب أن يعتمد الأمان فقط على ‘المفتاح السري’، ولا بأس إذا تم نشر طريقة التشفير نفسها!”

على العكس من ذلك، “النظام الذي يعتمد فقط على سرية خوارزمية (آلية) التشفير الخاصة به يعتبر ضعيف الموثوقية.”

“آمن طالما أن الآلية سرية” قد يكون أمراً خطيراً بعض الشيء

طريقة التفكير هذه شائعة جداً:

“لم أري محتويات هذا التطبيق لأي شخص، لذلك فالأمان مضمون.”

أنا أفهم هذا الشعور.
لكن هذا يوازي قول: “بما أن أحداً لم يره، فلن يتم العثور على أي ثغرات، لذا فكل شيء على ما يرام، أليس كذلك؟”

في الواقع، حقيقة أن “لا أحد قد رآه” بحد ذاتها يمكن أن تكون خطراً.

لكن لماذا يعد مثل هذا المبدأ مهماً؟

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

كقياس، تخيل قفل باب بآلية معقدة جداً، ولكن يمكن فتحه فعلياً بمفتاح منسوخ مصنوع في متجر رخيص.

ليس المهم هو “إنه آمن لأن المفتاح سري”، بل المهم هو “حتى لو تم عرض الآلية بالكامل، لا يمكن فتحه بدون المفتاح الصحيح.”

شعور “لكن، أليس هذا مخيفاً؟”

الشيء الذي يشعر به الكثير من الناس هنا هو،

“كشف الآلية بأكملها، أليس هذا مخيفاً بعض الشيء؟”

أنا أتفهم هذا القلق.

لأنك بالتأكيد ستفكر: “إذا أظهرت كل شيء، ألن يتم تقليده أو إساءة استخدامه؟”

ومع ذلك، هذا هو بالضبط جوهر مبدأ كيركهوفس.
“القوة التي لا تنهار حتى لو تم عرض المحتويات” هو ما يمثل الأمان الحقيقي.

ومع ذلك، يتطلب الأمر القليل من الشجاعة في البداية

إذا حاولت وضع نفسك مكان مطور، فإن “نشر الآلية = كشف نقاط الضعف أيضاً” هو بالتأكيد أمر مثير للتوتر.

لكن فكر في الأمر.

الشيء الذي يظهر آليته بصراحة ويقول: “يمكن لأي شخص التحقق من ذلك”، سيحظى بمزيد من الثقة في النهاية.

أليس هذا مشابهاً للعلاقات الإنسانية؟

“الشخص الذي يظهر طبيعته الحقيقية ويبقى من السهل التعامل معه”، هو بالتأكيد من يجعلك تشعر بأكبر قدر من الطمأنينة.

وهكذا

قد يبدو مبدأ كيركهوفس نظرياً بعض الشيء، لكن جوهره بسيط للغاية.

الأمر كله يتعلق بـ “دعونا نصنع آلية لن تنكسر بغض النظر عمن ينظر إليها” .

التصميم المناسب أهم من الأسرار السطحية.
التعليمات البرمجية التي لا تخجل من إظهارها أفضل من التعليمات البرمجية التي لا تريد أن تريها لأي شخص.

مثل هذه “القوة” ربما تكون مطلوبة أكثر فأكثر في المستقبل.

شكراً على القراءة!

موضوع الأمان قد يكون صعباً بعض الشيء، لكن هناك أجزاء ترتبط بـ “العلاقات الإنسانية” و “الشعور اليومي بالأمان”.
أنا متأكد من أنك إذا درسته شيئاً فشيئاً دون أن تشعر بالإرهاق، فستحدث أشياء جيدة.

مشكلة مونتي هول

Sun, 31 Mar 2024 23:41:51 +0900

ما هي مشكلة مونتي هول

مشكلة مونتي هول هي مشكلة مأخوذة من إحدى الألعاب التي كانت تقام في البرنامج التلفزيوني الأمريكي “Let’s Make a Deal”، وهي كالتالي.

الشروط المسبقة: يوجد جائزة في أحد الأبواب الثلاثة، بينما البابان الآخران فارغان.

يختار المشارك باباً واحداً من الأبواب الثلاثة.
يقوم المقدم، من بين البابين الآخرين غير الذي اختاره المشارك، بفتح باب واحد فارغ.
يُسأل المشارك عما إذا كان يريد تغيير الباب الذي اختاره.

في هذا الوقت، المشكلة هي التفكير فيما إذا كان من الأفضل للمشارك تغيير الباب أم لا.

الحل

حل مشكلة مونتي هول هو كالتالي.

إذا لم يقم المشارك بتغيير الباب الذي اختاره في البداية
- احتمال الفوز: 1/3
- احتمال الخسارة: 2/3
بعد أن يفتح المقدم الباب الفارغ
- إذا لم يغير، احتمال الفوز: 1/3 (لا يتغير عن احتمال الفوز في النقطة 1)
- إذا غير، احتمال الفوز: 2/3 (احتمال عدم الفوز في النقطة 1)

لذلك، من الأفضل للمشارك تغيير الباب لزيادة فرصة الفوز.

مرجع

ويكيبيديا Monty Hall problem

كيفية رسم الرسوم البيانية باستخدام Python (matplotlib.pyplot)

Sun, 09 Apr 2023 01:02:19 +0900

المتطلبات

حساب جوجل

الخطوات

اذهب إلى https://colab.research.google.com/
اختر “ملف” -> “دفتر ملاحظات جديد”
الصق الكود التالي وقم بتشغيله

1
2
3
4
5
6
7


import matplotlib.pyplot as plt
import numpy as np
x = np.linspace(0, 2*np.pi, 500)
plt.plot(x, np.sin(x), label="sin curve")
plt.plot(x, np.cos(x), label="cos curve")
plt.legend() # إظهار وسيلة الإيضاح
plt.show()

النتيجة

المراجع

matplotlib.pyplot — Matplotlib 3.5.3 documentation