Summary

  • وافق IESG في 2 نوفمبر على نشر النسخة 06 من مشروع HPKE خليفةً للمعيار السابق في مرتبة «معيار مقترح»، وفيها اشتقاق للمفاتيح بمرحلة واحدة أو مرحلتين.
  • يذكر المشروع أن براهين الأمن التي يستشهد بها عالجت البناء ذا المرحلتين؛ أما نقلها رسمياً إلى البناء أحادي المرحلة فلم يكتمل.

وُضع ختم الموافقة على التصميم، وبقي حدّ البرهان مرئياً في صفحاته. يعلن قرار IESG الصادر في 2 نوفمبر الموافقة على نشر draft-ietf-hpke-hpke-06 معياراً مقترحاً. ويعرض سجل IETF حالة «Approved-announcement sent». سيأتي رقم RFC ونصه النهائي في سجل لاحق. أما قرار اليوم فهو قبول تصميم يتيح طريقين لاشتقاق المفاتيح داخل HPKE.

يجمع HPKE تغليف المفتاح واشتقاقه والتشفير الموثق. الطريق المألوف ينفذ Extract() ثم Expand(). تصف النسخة 06 طريقاً ثانياً يستدعي Derive() مرة واحدة على مدخلات مرمّزة وموسومة باسم المجموعة الخوارزمية. وينعكس الاختيار على جدول المفاتيح وسرّ التغليف وتصدير الأسرار. ظهر هذا الطريق بالفعل في النسخة 05؛ ما أضافته النسخة التي أُجيزت هو وصف أكثر صراحة لنطاق التحليل الأمني.

في القسم 1.1 يربط المؤلفون التحليلات المستشهد بها بوظائف الاشتقاق ذات المرحلتين. وفي القسم 9.1 يتوقعون إمكان نقل المنطق إلى دالة Derive() قابلة للنمذجة كعرافة عشوائية، لكنهم يصرحون بأن هذا النقل لم يتحقق منه برهانياً بعد. يحدد القسم 9.3 الشرط: يجب أن يبقى خرج جدول المفاتيح شبه عشوائي عندما يجهل المهاجم السر المشترك أو المفتاح المتفق عليه مسبقاً، حتى لو عرف بقية المدخلات أو اختارها. ويورد النص SHAKE مثالاً لدالة ذات خرج قابل للتمديد تصلح لهذا النموذج.

سجل الأسماء سبق سجل البرهان. يضم سجل IANA لـ HPKE أربعة معرفات لـ SHAKE وTurboSHAKE من 0x0010 إلى 0x0013، ويحيل إلى مشروع HPKE ما بعد الكم الذي ما زال في حالة I-D Exists. تطلب النسخة 06 إضافة عمود Two-Stage ووضع N أمام هذه المعرفات الأربعة. وفي 3 نوفمبر كانت الصفحة العامة تعرض الأعمدة القديمة. يتيح المعرف للبرامج الاتفاق على اسم الطريقة؛ أما مقدار ما ثبت عنها فيُقرأ في تحليلها.

ثمة حدود عددية قابلة للفحص مباشرة. في البناء أحادي المرحلة لا يزيد طول كل من psk وpsk_id وinfo على 65,535 بايت بسبب ترميز الطول ببايتين. وللخرج المصدّر حد منفصل بالقيمة نفسها. يمكن لاختبارات التنفيذ كشف تجاوز هذه الحدود. ولا يقدم إعلان IESG قائمة بالتطبيقات التي اختارت هذا الطريق؛ مثل تلك القائمة ستحدد حجم التغيير في التشغيل الفعلي.