المكوّن المعياري نقطة بداية للمراجعة، وليس شهادة لتطبيق المراسلة بأكمله.
تساعد ML-KEM-768 طرفين على إنشاء سر مشترك يمكن استخدامه لاحقاً لحماية الرسائل. وهي مكوّن واحد في نظام مراسلة، لا بروتوكول محادثة كاملاً، ولا خوارزمية لتشفير الرسائل، ولا شهادة بأن التطبيق آمن.
نشرت NIST المعيار FIPS 203 في 13 أغسطس 2024، واضعة معياراً لـ ML-KEM ومجموعات معلماتها 512 و768 و1024. ويستند أمانها إلى مسائل رياضية قائمة على الشبكيات يُعتقد أنها تقاوم الهجمات الكمية. «يُعتقد أنها تقاوم» افتراض أمني تدعمه التحليلات، وليس وعداً باستحالة ظهور أي ضعف مستقبلي. NIST FIPS 203.
موقع KEM في المحادثة المشفرة
من الطرق المفيدة لفهم ادعاء تشفير تتبّع مواد المفاتيح:
- صادِق على هوية الطرف المقصود. فتبادل المفاتيح مع منتحل شخصية يظل تبادلاً مع الشخص الخطأ.
- أنشئ مواد سرية مشتركة. تسهم KEM بسر من خلال التغليف وفك التغليف.
- اشتق مفاتيح لأغراضها المحددة. تفصل دالة اشتقاق المفاتيح المواد المستخدمة في الأجزاء المختلفة من البروتوكول.
- شفّر الرسائل ووثّقها. يحمي نظام التشفير الموثَّق المحتوى ويكشف التعديل غير المصرح به.
- أدر الجلسة بمرور الوقت. تحدد دورة المفاتيح وحذفها وتغييرات الأجهزة والاسترداد ما يمكن أن يكشفه اختراق لاحق.
توضح هذه الخطوات لماذا لا يستطيع معيار للخطوة الثانية أن يتحقق من التطبيق كله. وتوفر الأسئلة الشائعة عن التشفير ما بعد الكمي لدى NIST سياقاً لنشر المعايير الجديدة.
لماذا تُدمَج ML-KEM مع اتفاق مفاتيح تقليدي؟
يستخدم التصميم الهجين مكوّناً ما بعد كمي إلى جانب مكوّن تقليدي، مثل Diffie–Hellman على المنحنيات الإهليلجية. والفائدة المقصودة هي تجنب الاعتماد حصرياً على أي من مجموعتي الافتراضات أثناء الانتقال.
يتعلق الادعاء الأمني بـ آلية الدمج والبروتوكول الكاملين، لا بمجرد قائمة من خوارزميتين. يحتاج المراجعون إلى معرفة المدخلات التي تُوثَّق، وكيف تُرمَّز وتُدمج، والسياق المرتبط بالاشتقاق، وما يحدث عند إخفاق أحد المكونات. وصل الأسرار ببعضها دون تركيب محدد ليس حجة أمنية.
بالنسبة إلى المستخدم، ليس السؤال العملي «هل تقول صفحة الإعدادات إنه آمن كمياً؟»، بل «أي محادثات وإصدارات تستخدم هذا التركيب فعلياً، وما الأدلة التي تدعم هذا القول؟».
ما الذي توثقه Livara؟
تصف وثائق أمان Livara جلسات المحادثة المباشرة LVR1 باستخدام مواد P-256 التقليدية وML-KEM-768، مع AES-256-GCM للمحتوى. وتصف مجموعات LGS1 الخاصة بأنها سلاسل مرسلين تُوزَّع عبر جلسات LVR1 ثنائية. هذه طبقات مختلفة؛ فالرسالة الجماعية العادية ليست بالضرورة تبادلاً جديداً لـ ML-KEM لكل مستلم.
اقرأ تلك الوثائق بوصفها وصف المطوّر. لا يثبت ذكر لبنات تشفير معيارية أن التركيب الخاص بـ Livara خضع لتدقيق مستقل، أو أن كل نسخة مثبّتة تنفذه بصورة صحيحة. يحدد Proof Lab صراحة حدود عرضه في المتصفح: لا ينفذ آليات التحديث المتدرج الكاملة لـ LVR1/LGS1، ولا يمثل تدقيقاً للبروتوكول.
ما الذي لا تغطيه الحماية ما بعد الكمية؟
| السؤال | لماذا لا تجيب عنه ML-KEM وحدها؟ |
|---|---|
| هل يستطيع المستلم نسخ رسالتي؟ | يتلقى المستلم محتوى مقروءاً. |
| هل جهازي خالٍ من برامج التجسس؟ | سلامة نقطة النهاية افتراض ثقة منفصل. |
| هل النسخ الاحتياطية محمية؟ | تحتاج مفاتيح النسخ الاحتياطي وقواعد الاسترداد إلى تصميم خاص. |
| هل تغييرات عضوية المجموعة آمنة؟ | قواعد المصادقة والعضوية وتجديد المفاتيح مهمة. |
| هل تحتفظ الخدمة بالبيانات الوصفية؟ | تشفير المحتوى لا يخفي التوجيه أو التوقيت تلقائياً. |
| هل تُحمى المكالمة بالطريقة نفسها التي تُحمى بها المحادثة النصية؟ | قد تستخدم إشارات المكالمات ووسائطها بروتوكولات مختلفة. |
يميّز نموذج تهديد Livara أيضاً المحادثات الخاصة عن القنوات العامة ويقر بالتعرض على مستوى الجهاز. لا توسّع ادعاءً يتعلق بالمحادثة المباشرة ليشمل كل جوانب المنتج.
قائمة تحقق للمشتري بشأن «مراسلة FIPS 203»
اطلب مجموعة المعلمات وإصدار البروتوكول بدقة؛ ووصفاً لمصادقة الطرف الآخر ودمج المفاتيح؛ وإصدارات العملاء المدعومة؛ والسلوك مع العملاء غير المتوافقين؛ والاختبارات أو نتائج المراجعة المرتبطة بالتنفيذ الموزَّع فعلياً. إذا ادعى المورّد التحقق وفق FIPS، فاطلب سجل التحقق المعني ونطاقه. استخدام خوارزمية موصوفة في منشور FIPS ليس بحد ذاته دليلاً على التحقق من منتج أو وحدة.
لا تستنتج عمر البطارية أو معدل النقل أو استجابة التطبيق من اسم المعلمات. فهذه تحتاج إلى قياسات توثّق الجهاز والنسخة وعبء العمل.
التغيير المفيد للمراسلة هو أداة جديدة للسرية طويلة الأمد. وتتوقف قيمتها على الدمج والتنفيذ والحدود التشغيلية، لا على استبدال وصف تسويقي بآخر.
