LabsVerificador

Verificar um recibo

Cole um recibo humanproof/1, ou um lote (array JSON), e a chave pública. A verificação roda inteira no seu navegador, com o mesmo código do verificador de linha de comando: nada é enviado a lugar algum. O recibo não carrega biometria, imagem nem identificador em claro: o que se refere à pessoa vai pseudonimizado, o que reduz a exposição e não torna o recibo anônimo.

O recibo é o comprovante assinado do que aconteceu num ato; o lote é um arquivo com vários recibos de uma vez. Pseudonimizado quer dizer que o dado da pessoa vira um código que não a identifica sozinho.

Pacote do painel (.zip) ou arquivos do pacote

Arraste aqui o pacote inteiro, como veio do painel (dossiê do ato ou pacote do auditor da campanha), ou escolha os arquivos:

A página reconhece cada arquivo pelo conteúdo, monta o lote e confere, além dos recibos, o que o pacote afirma: que o recibo é o que o dossiê declara, que cada ato da campanha tem recibo válido e, se houver um ponto de conferência, que o lote confere com ele. A chave usada é a publicada pela Hummand; a que vem no pacote só é comparada com ela.

Recibo ou lote (JSON)

Ou abra um arquivo:

Chave pública (JWKS)

A chave publicada com que qualquer um confere a assinatura; o kid, dentro do recibo, diz qual chave usar.

A chave também está em gateway.hummand.com.br/.well-known/humanproof/keys.json; guarde uma cópia junto com os recibos. Buscá-la é a única requisição que a página faz, e só quando você pede, abre um pacote ou abre a página pelo código de um dossiê.

O que é verificado

A assinatura contra a chave do kid declarado; o formato, que rejeita campo desconhecido; a coerência interna, como resultado compatível com etapas e nível compatível com garantias; e, num lote, a cadeia do cliente reconstruída pelos hashes, em qualquer ordem. O formato está descrito na nota O formato humanproof/1. Para verificar fora do navegador, o verificador de linha de comando faz o mesmo, offline, e é distribuído aos clientes com checksum.

Confere que o recibo não foi alterado depois de assinado, que está bem formado e coerente, e, num lote, que nenhum recibo foi removido, inserido ou trocado de lugar no meio da série.

Para escrever o próprio verificador, a especificação dos formatos traz as regras completas e os vetores de teste, com o resultado esperado de cada um.

1.0