أثبتت السلسلة أن إحدى الساعات مخطئة، لكنها لم تحدد المذنبة

الخلاصة

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

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

هذه هي الحدود الصريحة في الإصدار 19 من Roughtime. الوثيقة مسودة نشطة لمجموعة NTP، تستهدف النشر التجريبي وتوجد في مسار RFC Editor، لكنها ليست RFC. والفارق عن الإصدار 18 تحريري في معظمه، لذلك لا ننسب إلى الإصدار 19 آلية إسناد جديدة.

يرسل العميل nonce. يربط الخادم الطلب بورقة في شجرة Merkle ويوقّع استجابة تتضمن MIDP وRADI والجذر. يوقّع مفتاح Ed25519 مؤقت الاستجابة، ويوقّع المفتاح طويل الأجل التفويض المقيد بـMINT وMAXT. يفحص العميل التوقيعين وإدراج الطلب والفترة.

مع ذلك تقول المسودة صراحة إن الصلاحية لا تثبت صحة قيمة الوقت؛ إنها تثبت ضمان الخادم بأنه وقّع الادعاء داخل (MIDP-RADI, MIDP+RADI). يحمي التشفير مصدر القول وسلامته، لا الواقع الفيزيائي للساعة.

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

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

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

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

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

يساعد Roughtime في بدء التحقق من الشهادات أو تقييد قياسات NTP/PTP. لكنه ليس ختماً زمنياً قانونياً ولا ترتيباً كاملاً للمعاملات ولا دليلاً على سلامة الجهاز أو إنجاز العمل الواقعي.