الخلاصة

  • يربط draft-mih-scitt-checkpointed-local-log-01 سجلاً خاصاً بنقاط تحقق مبنية على Merkle Mountain Range، لكن برهان الاتساق يؤكد فقط أن الفرع المعروض امتداد لسابقه هو.
  • يتطلب كشف فرعين صحيحين كل على حدة شاهداً مستقلاً يحتفظ بآخر نقطة تحقق قبلها لهوية السجل ذاتها. تسجيل SCITT العادي يثبت الإدراج، ولا يكتسب معنى الاستمرارية تلقائياً.

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

يحاول Checkpointed Local Log أن يجعل هذا التلاعب قابلاً للكشف من دون إخراج المحتوى الخاص. يضيف المنتج ملخص كل سجل إلى Merkle Mountain Range، ثم يوقع نقطة تحقق صغيرة تلزم بحجم السجل وحالة المراكم. يغادر الالتزام حدود المنتج، بينما تبقى السجلات في الداخل.

لكن نقطة تحقق صحيحة لا تجعل التاريخ وحيداً.

الاتساق يفحص الفرع الذي وصل فقط

تحمل نقطة التحقق log_size وcommitment للحالة الحالية، وprev_size وprev_commitment للسابق. يستطيع المدقق استخدام برهان الاتساق لإثبات أن الحالة الجديدة وسعت القديمة من دون حذف ما التزم به ذلك الفرع أو إعادة ترتيبه.

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

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

لا تأتي الاستمرارية من حقل توقيع منفرد. إنها نتيجة حفظ طرف مستقل للحالة السابقة وامتلاكه سلطة الرفض.

الإدراج في SCITT لا يساوي فحص الاستمرارية

تستخدم المسودة بنية SCITT في RFC 9943. يمكن تسجيل نقطة التحقق بوصفها Signed Statement، ثم يعيد Transparency Service إيصال COSE وفق RFC 9942. يثبت الإيصال أن الخدمة أدرجت الكائن تحت مفتاحها. ولا يثبت وقت الإدراج إلا إذا حمل ادعاء زمنياً موقعاً بالفعل.

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

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

ويجب على الشاهد الذي يقدم توقيعاً مضاداً مباشراً إجراء الاختبار نفسه. أما علامة الاختبار المحلية فليست شاهداً. نقلت المراجعة 01 صيغة stub إلى عمل مستقبلي لأن أي تنفيذ موزع لا ينشئ بنية RFC 9338 المقترحة. الحقل الخاص داخل أداة اختبار لا يجوز أن يتحول إلى دليل مستقل.

نسخة المنتج ليست شاهداً مستقلاً

تلزم المسودة المنتج بتسمية الشهود الذين يستند إليهم. الشاهد الذي يديره المنتج نفسه هو replica. قد يزيد التوافر، لكنه يبقي الذاكرة الحاسمة تحت السلطة نفسها القادرة على إنشاء الفرعين.

يزيد تعدد الشهود المستقلين تكلفة المراوغة لأن المنتج يحتاج إلى عزل كل شاهد يستشيره المدقق داخل رؤيته المخصصة. لكن العدد لا يفيد إذا اشترك الشهود في الإدارة أو المفاتيح أو لم يستشرهم المدقق فعلياً.

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

الشاهد يرى شكل التاريخ لا محتواه

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

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

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

تحدد المراجعة 01 تمثيلاً واحداً على السلك: قائمة قمم MMR بترميز CBOR حتمي. يمكن للتنفيذ الاحتفاظ بجذر مطوي داخلياً، لكن طريقة الطي ليست موحدة ولا يجوز إرسالها في حقول الالتزام. هذا اقتراح دقيق قابل للفحص، وليس تقرير تشغيل أو توافق. والوثيقة مسودة فردية لم تعتمدها مجموعة عمل ولا تحمل مكانة رسمية في IETF.

المصادر