A lista é lacrada antes do sorteio. A aleatoriedade vem de fora. O resultado pode ser reproduzido por qualquer condômino.
Um processo, três etapas
O compromisso da lista é lavrado em ata antes de existir o número que vai embaralhá-la. Não há como escolher a lista sabendo o sorteio, nem o sorteio sabendo a lista.
A lista é fechada e o resumo criptográfico dela é lido em voz alta e registrado em ata.
Um número da Loteria Federal ou do drand, publicado depois do congelamento.
A mesma conta produz um único resultado possível, para quem quer que a repita.
Ninguém pode escolher os dois.
Um processo simples, com garantias que não dependem de acreditar em quem organizou.
Encerrada a discussão sobre quem participa e quais vagas são sorteáveis, a relação é congelada na assembleia e dela se extrai um resumo criptográfico. Ele é lido em voz alta e lançado em ata. Qualquer alteração posterior, mesmo de um único caractere, faz esse resumo deixar de bater.
Só então se colhe o número que vai embaralhar a lista: os prêmios da Loteria Federal daquela noite, ou uma rodada do sorteio distribuído drand, publicada minutos depois do congelamento. Nos dois casos ninguém, nem a administração, pode conhecer esse número no momento em que a lista foi fechada.
Compromisso mais aleatoriedade produzem um único resultado possível. Quem repetir a conta com os mesmos dados chega necessariamente ao mesmo lugar, hoje ou daqui a dez anos.
Tudo o que segue consta da ata da assembleia, e o síndico deve fornecer a qualquer condômino que pedir, no dever de informação que acompanha a administração de coisa alheia.
É o que entra no cálculo, exatamente como foi fechado.
Prova que a lista não mudou depois que o sorteio aconteceu.
Você confere na origem: no portal da Caixa ou em api.drand.sh, não conosco.
Prova que o resultado anunciado é o mesmo que a conta produz.
A ata registra o resumo criptográfico do arquivo do
verificador. Confira que o arquivo que você baixou é o mesmo, antes de confiar no
que ele diz. No Windows: certutil -hashfile verificador.html SHA256.
No Linux ou no Mac: sha256sum verificador.html.
Se a sua ata cita outro hash, ela é de uma versão
anterior do verificador, que continua publicada em
/v/<hash da ata>/verificador.html.
O mesmo cálculo está implementado em Python, de forma
independente, e as duas implementações são conferidas uma contra a outra por
vetores de teste. Baixe sorteio.py e rode
python3 sorteio.py payload.txt "<valor da fonte>".
Duas implementações independentes que concordam valem muito mais que uma. O protocolo inteiro está escrito em linguagem normativa.
Uma tela grande, de alto contraste, para ser projetada durante a assembleia. Todo mundo acompanha o mesmo painel, e ninguém precisa acreditar no que está sendo narrado.
Exemplo A demonstração usa dados fictícios, só para mostrar a tela.
A condução do sorteio é feita pela administradora, em app.garagemjusta.com.br, com login. Não há cadastro aberto. Isso não muda a sua conferência: o verificador desta página funciona sem login e sem servidor, e é essa independência que faz a conferência valer alguma coisa.
2c7d19ab40e6f3855be0417c9d2a86f31e59b0c4a7d8365e1fb9240c8e73da15
Escaneie e confira este sorteio no seu celular.
Escaneie e confira este sorteio no seu celular.