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