Кратко

  • Валидный ответ доказывает подпись ограниченного временного утверждения и включение запроса, но не правильность часов.
  • Связанный отчёт доказывает порядок ответов и ошибку хотя бы одного сервера. Он сам не устанавливает виновного и не отзывает ключ.

Три сервера предъявили проверяемые подписи. Каждый следующий запрос связан с предыдущим ответом, однако временные интервалы не помещаются в доказанный порядок. Факт противоречия закрыт, вопрос личности — нет.

Такова честная граница Roughtime редакции 19. Активный Internet-Draft рабочей группы NTP предназначен для Experimental и находится в процессе RFC Editor, но ещё не является RFC. Отличия от редакции 18 в основном редакционные; новой нормы атрибуции здесь не приписывается.

Клиент отправляет nonce. Сервер включает запрос листом дерева Merkle и подписывает ответ с MIDP, RADI и корнем. Временный ключ Ed25519 подписывает ответ, долгосрочный — делегирование с MINT и MAXT. Клиент проверяет обе подписи, включение запроса и интервал делегирования.

Спецификация подчёркивает: валидность не доказывает правильность времени. Она доказывает гарантию сервера, что значение подписано в (MIDP-RADI, MIDP+RADI). Криптография фиксирует автора и целостность заявления, а не физическую истину его часов.

Многосерверный режим требует как минимум трёх работающих серверов разных операторов. Клиент опрашивает их последовательно и повторяет порядок. Каждый последующий nonce зависит от полного предыдущего ответа и новой случайности, поэтому причинный порядок входит в доказательство.

Если валидные интервалы нарушают этот порядок, возникает malfeasance. Отчёт сохраняет ожидаемые ключи, случайные значения, запросы и ответы. Он показывает, что хотя бы один сервер сообщил неверное время.

Но «хотя бы один» не называет субъект. Два сервера с общей неверной опорой могут сделать честное меньшинство подозрительным. Независимость операторов, источников времени и происхождение списка — часть доказательной модели.

Форматы списка и отчёта стандартизованы, а приём сервера, рассмотрение дела, атрибуция, апелляция и отзыв — нет. Форум наблюдателей упомянут лишь как вариант. При этом обслуживание списка и разбор нарушений названы необходимыми для безопасности.

Следует отдельно хранить сырой ответ, криптографическую валидность, противоречивую пару, версию списка, подачу, проверку, атрибуцию, отзыв, доставку и исправление последствий. Компрометация временного ключа после MAXT тоже опасна: ложные ответы можно датировать старым допустимым интервалом.

Roughtime помогает запускать проверку сертификатов и ограничивать наблюдения NTP/PTP. Это не юридическая метка времени, не глобальный порядок транзакций, не доказательство целостности устройства и не квитанция реального исполнения.