إيصال CCF يثبت الجذر ولا يحدد دائماً موضع الورقة

الخلاصة

تحمل المراجعة 04 من ملف إيصالات CCF الخاص بـSCITT الورقة المرشحة وسلسلة من تجزئات الأشقاء مع إشارة يسار أو يمين، لكنها لا تحمل حجم الشجرة ولا فهرساً صريحاً للورقة.
يظل التحقق من الإدراج سليماً: يعيد المدقق حساب الجذر ويطابقه مع الجذر المحمي بتوقيع COSE. يبدأ الالتباس عندما تتحول هذه النتيجة إلى ادعاء عن الترتيب أو الموضع.

لا يحتاج الأمر إلى مثال معقد. في شجرة من ورقتين، يخص المسار 1 الورقة ذات الفهرس 1. وفي أشجار من ثلاث وخمس وتسع أوراق، يخص المسار نفسه الفهارس 2 و4 و8. الإشارة لم تتغير؛ الذي تغير هو شكل الشجرة الذي لا يظهر في الإثبات.

برزت الملاحظة خلال Last Call في IETF بشأن المراجعة 04 من CCF Profile for COSE Receipts. يصف سجل Datatracker النص بأنه Internet-Draft ضمن مسار IETF، مخصصاً مبدئياً لحالة Proposed Standard، ومقدماً إلى IESG، وما زال “In Last Call”. بدأت المهلة في 24 أغسطس وتنتهي في 7 سبتمبر 2026. هذه مرحلة مراجعة، لا RFC نهائي ولا قرار قبول أو رفض.

صحة الجذر لا تمنح الورقة إحداثيات

يتبع الملف قاعدة شبيهة ببناء Certificate Transparency. عندما يزيد عدد الأوراق على واحدة، يقع الانقسام عند أكبر قوة للعدد اثنين أصغر من العدد الإجمالي. الأحجام التي تساوي قوة للعدد اثنين تنتج أشجاراً متوازنة؛ وما بينها يترك شجرة فرعية أصغر في اليمين.

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

في 6 سبتمبر، صحح Henri Sirkkavaara مراجعته السابقة بعد اختبار الأحجام من 2 إلى 11. كانت الأشجار 2 و4 و8 دقيقة لكل الأوراق. أما كل حجم ليس قوة للعدد اثنين فاحتوى على ورقة واحدة على الأقل يُفك مسارها إلى رقم ترتيبي خاطئ.

ثم أعاد Emek Can Dogru النتيجة بصورة مستقلة ونشر برنامجاً من أحد عشر سطراً. عند توسيع المجال إلى 1,024 ورقة، ظلت القوى العشر للعدد اثنين وحدها دقيقة لكل ورقة، وظهر عدم التطابق في 1,013 حجماً آخر. يوضح مصدر إعادة الاختبار أن السبب بنيوي، لا تصادم تجزئة ولا تزوير.

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

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

المواصفات المرجعية تربط نظام الإحداثيات

في RFC 9162، يتلقى التحقق من إدراج Certificate Transparency الإصدار 2 حجم الشجرة وفهرس الورقة صراحة. ويشفر ملف إيصالات COSE في RFC 9942 القيمتين، ويبين أن الفهرس نسبي إلى حجم محدد.

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

قد تمتلك بيئة CCF سياقاً إضافياً. تعرض وثائق Microsoft للتحقق من إيصالات CCF طلب الإيصال بواسطة معرّف معاملة، وقد يكشف commit_evidence معرّف TxID كاملاً. كما يتضمن ملف SCITT سلسلة internal-evidence. لكن يسمح للمدقق بتجاهلها ولا يحددها القسم 3 كلغة موضع قابلة للتبادل بين التطبيقات. قد تحل قاعدة محلية الاستعلام محلياً؛ لكنها لا تجعل الإثبات مكتفياً بذاته.

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

السلطة الإضافية تُنشأ بعد نجاح التحقق

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

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

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

صُدِّق الجذر، لكن موضع الورقة لم يُثبت بعد

لماذا هذا مهم

الخلاصة

صحة الجذر لا تمنح الورقة إحداثيات

المواصفات المرجعية تربط نظام الإحداثيات

السلطة الإضافية تُنشأ بعد نجاح التحقق

المصادر

سياق أعمق للملف الشخصي

الدائرة الاستراتيجية

تحالف القيادات

إحاطة الدائرة الاستراتيجية

إحاطة تحالف القيادات