الخلاصة

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

تضع RFC 9942 طريقة COSE لحمل براهين عن بنية بيانات قابلة للتحقق. ويسجل الملف الأول RFC9162_SHA256 برهان الإدراج وبرهان الاتساق. كل منهما مفيد ما دام السؤال الذي يجيب عنه محدوداً.

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

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

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

Cédric Fournet واحد من المؤلفين الأربعة. يثبت ملف Microsoft Research العام هويته وسياقه المهني فقط، ولا يثبت تشغيل سجل أو امتثال خدمة أو أمان نتيجة معينة.

Sources