الخلاصة

  • نشر CFRG في 7 سبتمبر 2026 المراجعة 14 من draft-irtf-cfrg-pairing-friendly-curves. وهي Internet-Draft نشطة صادرة عن مجموعة بحثية ضمن IRTF ومقصود بها النشر بصفة Informational، وليست RFC ولا معياراً من IETF.
  • تحدد المراجعة إجراءات معيارية لتسلسل نقاط BLS12-381 وBLS48-581 وفك تسلسلها، وللأعداد القياسية في هذين المنحنيين وفي BN462. ويتحقق المفكك من الصيغة القانونية والمنحنى والمجموعة الفرعية قبل أن يعيد عنصر مجموعة أو INVALID.
  • تبقى ثلاثة قرارات للمواصفة المستدعية: هل تقبل النقاط المضغوطة أو غير المضغوطة أو كليهما، وهل تقبل عنصر الهوية، وهل تقبل العدد القياسي الصفري. والقراران الأخيران مستقلان.
  • تحذف المراجعة 14 توصية المراجعة 13 العامة برفض الهوية افتراضياً، وتفصل الصفر عن تلك السياسة، وتضيف قرار شكل النقطة صراحة. كما تتعمد عدم تعريف ترميز معياري لنقاط BN462 لأن الممارسات القائمة لم تتقارب.
  • يقترح Daniel Kade ملف قبول من سبعة حقول كي تصبح هذه الحدود قابلة للمقارنة. هذا اقتراح تحليلي في المقال، وليس مطلباً من CFRG أو من المسودة.

صحة النقطة رياضياً لا تحسم صلاحيتها في الرسالة

تجمع كلمة «التحقق» في مواصفات التشفير سؤالين مختلفين. يسأل الأول عما إذا كان طول البايتات وبتات البيانات الوصفية صحيحين، والإحداثي قانونياً وحيد التمثيل، والنقطة واقعة على المنحنى المقصود وعضواً في المجموعة الفرعية المطلوبة. ويسأل الثاني عما إذا كان ذلك العنصر الصحيح مسموحاً في هذا الحقل من المفتاح أو التوقيع أو البرهان.

تفصّل المراجعة 14 الطبقة الأولى. تعيد إجراءات فك تسلسل النقاط عنصراً من المجموعة أو INVALID. وترفض إحداثياً يساوي معامل الحقل أو يتجاوزه بدلاً من اختزاله، فلا تحصل النقطة نفسها على تمثيلات بايتية متعددة بسبب الاختزال. ثم تعيد بناء النقطة وتختبر معادلة المنحنى والانتماء إلى المجموعة الفرعية. ولا تجعل تساوي طول ترميز نوعين من النقاط أحدهما صالحاً في مسار الآخر.

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

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

ثلاثة مفاتيح مستقلة لا «وضع صارم» واحد

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

القرار الثاني هو عنصر الهوية. لدى بعض التركيبات سبب خاص لرفضه. فمسودة توقيعات BLS تستبعد الهوية في إجراء التحقق من المفتاح، في سياق المفتاح السري الصفري غير الصالح وتوقيع الهوية. وقد تكون للهوية وظيفة مشروعة في تركيب جبري آخر. لذلك لا تضع المراجعة 14 افتراضاً عاماً، بل تربط القرار بدلالة التركيب ونموذج التهديد الخاص به.

القرار الثالث هو العدد القياسي الصفري، وهو منفصل عن الهوية. كانت المراجعة 13 تصف رفض الهوية بأنه الخيار الافتراضي الموصى به، وتربط معاملة الصفر بالسياسة نفسها. تفك المراجعة 14 هذا الربط. ويقدم RFC 9591 مثالاً عملياً: يرفض فك تسلسل العناصر فيه عنصر الهوية، بينما لا يضيف فك تسلسل الأعداد القياسية رفضاً مماثلاً للصفر.

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

يحدد BN462 نهاية الطريق المشترك

تضع المراجعة صيغة لنقاط BLS12-381 وBLS48-581، لكنها لا تضع صيغة لنقاط BN462. يشغل معامل الحقل الأساسي لـBN462 مقدار 462 بتاً. وتحتوي 58 بايتاً على 464 بتاً، فلا يبقى سوى بتين، في حين يحتاج التنسيق المضغوط المشترك إلى ثلاث إشارات وصفية.

يسجل الملحق المعلوماتي أساليب غير متوافقة في برمجيات قائمة: بايت نوع شبيه بأسلوب SEC1، أو بايت مستقل للأعلام، أو صيغ محزّمة لا تستخدم اتفاق البيانات الوصفية نفسه. ويقول المؤلفون إن المواصفات التي فحصوها لا تحتاج إلى ترميز نقاط BN462 وإن الممارسة لم تتقارب. لذلك لم تختَر المراجعة 14 أحد الأساليب وتفرضه مساراً معيارياً.

لا يعني هذا أن BN462 بلا تنفيذات، أو أن الصيغ المذكورة ضعيفة أمنياً، أو أن كل الأنظمة مطالبة بالتغيير. معناه الأدق أن البروتوكول الذي ينقل نقاط BN462 لا يستطيع إكمال عقد البايتات بالإشارة إلى المراجعة 14 وحدها؛ عليه تسمية مواصفة ترميز خارجية أو كتابة اتفاقه كاملاً.

الاستقلال المحلي يحتاج إلى سجل ظاهر

يوضح سجل التطوير سبب إنشاء طبقة مشتركة. طلبت القضية 74 في مستودع CFRG تعريفاً موثوقاً واحداً للتسلسل بدلاً من نسخ متباينة في الوثائق التابعة. ونقل طلب السحب 108 إلى المراجعة 14 إجراءات مسماة، واختبارات للانتماء، وقرارات متروكة للبروتوكول، وعملاً على متجهات الاختبار. ونبهت رسائل قائمة CFRG مؤلفي المواصفات التابعة إلى القسم الجديد. وتوضح مسودتا توقيعات BBS وتمثيل مفاتيح BLS في COSE أن الاعتماد عملي لا نظري.

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

لذلك أقترح أن تنشر كل مواصفة مستدعية ملف قبول يضم سبعة حقول: المراجعة الدقيقة لوثيقة المنحنيات، والمنحنى المختار، وأشكال النقطة المقبولة، وقاعدة عنصر الهوية، وقاعدة العدد القياسي الصفري، ومسار التحقق من المجموعة الفرعية، والمرجع الخارجي الدقيق لترميز BN462 عند استخدام نقاطه. ويمكن وضع الحقول نفسها في تقارير التوافق والاختبارات المتبادلة.

اسم «ملف القبول» وبنيته من اقتراح Daniel Kade؛ لا تفرضهما المراجعة 14. الغرض ليس توحيد القرارات المحلية، بل كشف صاحب كل قرار وإصداره وأثره قبل أن تصبح القيمة الافتراضية جزءاً دائماً من البيانات.

المصادر