Resumo

  • A RFC 9942 pode provar a inclusão de uma entrada candidata em uma raiz assinada, ou a consistência entre duas raízes vistas; não prova que o log registrou tudo que deveria.
  • Chave confiável, histórico de raízes, validade, suspensão e autorização para agir pertencem a camadas próprias de evidência.

Os COSE Receipts da RFC 9942 descrevem provas sobre uma estrutura de dados verificável. O perfil inicial, RFC9162_SHA256, traz inclusão e consistência. A utilidade aparece quando cada termo conserva sua fronteira.

Na inclusão, o verificador aplica a prova aos bytes da entrada candidata. Se chega à raiz Merkle esperada, essa raiz vira o payload do COSE_Sign1 e a assinatura é verificada. O êxito estabelece a inclusão daqueles bytes naquele estado da estrutura. Não estabelece que todos os fatos obrigatórios foram enviados ao log, nem que o verificador recebeu todas as raízes publicadas.

Na consistência, a prova liga um tamanho anterior a um tamanho posterior, e a raiz nova pode estar destacada. A RFC manda verificar primeiro a assinatura e depois a prova usando uma observação prévia de inclusão. Quando passa, ela sustenta a propriedade append-only entre as duas observações fornecidas. Não revela automaticamente uma bifurcação escondida, não prova o mandato do operador e não converte a amostra em histórico completo.

Uma assinatura válida sobre prova inválida não é um recibo válido; por isso a RFC recomenda um resultado booleano único para a operação conjunta. Mesmo então ficam abertos a origem da confiança na chave, a coleta das raízes, a janela de validade, eventual suspensão e a decisão do destinatário. A própria RFC deixa expressão de validade e status aos perfis e alerta que tamanho do log e cabeçalhos podem expor informação.

Cédric Fournet é um dos quatro autores nomeados. Seu perfil público na Microsoft Research oferece contexto profissional e retrato de identidade, não prova de um log real, de implementação ou de resultado operacional.

Sources