Кратко

  • RFC 9942 может подтвердить включение кандидата в подписанный корень Merkle или согласованность двух наблюдённых корней; она не подтверждает полноту журнала.
  • Доверие к ключу, история наблюдения корней, действительность, приостановка и решение полагающейся стороны — самостоятельные записи.

RFC 9942 задаёт COSE Receipts для свойств проверяемой структуры данных. В начальном профиле RFC9162_SHA256 есть доказательства включения и согласованности. Их ценность — в точной, а не расширенной области вывода.

При включении проверяющий применяет доказательство к байтам записи-кандидата. Если получается ожидаемый корень Merkle, он становится нагрузкой COSE_Sign1, после чего проверяется подпись. Успех означает, что эти байты были включены в это состояние структуры. Он не означает, что журнал получил все обязательные события, и не означает, что проверяющий увидел каждый опубликованный корень.

Доказательство согласованности связывает старый и новый размеры дерева; новый корень может быть отделённой нагрузкой. RFC 9942 требует сначала проверить подпись, затем — согласованность с использованием прежнего наблюдения включения. Прохождение поддерживает свойство append-only для двух предъявленных состояний. Оно не обнаруживает скрытую ветвь, не подтверждает полномочия оператора и не превращает выборку в полную историю.

Нельзя принимать верную подпись над неверным доказательством; поэтому RFC рекомендует единый булев результат совместной проверки. Но происхождение доверия к ключу, способ получения корней, срок действия, приостановка и разрешение действовать остаются за пределами квитанции. Формат сроков и статусов оставлен профилям, а длина журнала и заголовки могут раскрывать сведения.

Седрик Фурне указан среди четырёх авторов коллективного документа. Его открытый профиль Microsoft Research подтверждает личность и профессиональный контекст, но не работу, честность или внедрение конкретного журнала.

Sources