Em uma assinatura digital baseada em certificado emitido no âmbito da ICP-Brasil, qual mecanismo criptográfico e matemático permite a verificação irrefutável de que o documento assinado não sofreu nenhuma alteração posterior à assinatura?