e-Democracia

Sistema de Votação On-line – Helios

O Sistema de Votação On-Line e-Democracia disponível no endereço https://e-democracia.ufsc.br  utiliza o sistema Helios e permite a realização de eleições através da Internet, com auditoria aberta ao público (End-to-end voter verifiable – E2E). Trata-se de um software livre, com documentação técnica e de usuário, facilitando assim o processo de auditoria da solução. Na UFSC foi utilizada uma modificação feita pelo IFSC da versão original do projeto, disponível em https://vote.heliosvoting.org, para permitir integrar com nossa base de usuários, para traduzir a interface para a língua portuguesa e também alguns ajustes para melhorar sua usabilidade. O código fonte desta versão do IFSC, bem como os manuais para instalação, estão disponíveis no endereço: https://github.com/ifsc/server . O Helios faz uso de criptografia homomórfica de forma que é possível computar o resultado final de uma eleição sem que seja necessário ter acesso ao voto em claro (descriptografar o voto) individual de cada eleitor.

O Helios permite que:

  • O eleitor verifique se seu voto foi depositado corretamente
  • Que todos os votos depositados na urna sejam exibidos publicamente em sua forma criptografada
  • Que qualquer um possa verificar que os votos depositados na urna foram corretamente apurados

O Helios não permite que:

  • A escolha de um eleitor (seu voto) seja revelada, mesmo que este eleitor queira revelar (p.e. apresentando um recibo de votação)
  • O voto de um eleitor seja adulterado ou excluído

Nesta página tem a documentação técnica caso o interessado queira desenvolver a sua própria ferramenta para auditoria. Tom Roeder, Engenheiro de Software da Google  (2015) e pesquisador em segurança e criptografia, com base nessa documentação, implementou o Pyrios, uma biblioteca em Go para verificar as eleições conduzidas por qualquer instalação do Helios versão 3. O código fonte desta biblioteca, bem como as instruções de uso, estão disponíveis no github.