Sistemas de Votação Fim-a-Fim: Teoria e Prática

Abstract

End-to-End voting systems provide greater security guarantees than the ones traditionally used. However, such systems are slightly used in large-scale elections, for positions such as president or governor. This short course aims to present the benefits and challenges of end-to-end voting systems, considering the Brazilian scenario as its potential target. In particular, the discussion is guided by the study of two examples: a system based on mixnets, similar to the first version of the Helios online voting system, implemented with the Verficatum library; and the ElectionGuard system. ResumoSistemas de votação fim-a-fim fornecem maiores garantias de segurança que os tradicionalmente utilizados. No entanto, tais sistemas ainda são pouco utilizados em eleições grande porte, para cargos políticos concorridos como presidente ou governador. Este minicurso tem como objetivo apresentar os benefícios e desafios de sistemas de votação fim-a-fim, considerando o cenário brasileiro como seu potencial alvo de aplicação. Em particular, a discussão é pautada pelo estudo de dois exemplos: um sistema baseado em redes de misturadores, similar à primeira versão do sistema de votação online Helios, implementado com o auxílio da biblioteca Verificatum; e o sistema ElectionGuard. IntroduçãoAtualmente, a democracia é o regime político legalmente mais adotado em escala global. Nesta forma de governo, o povo tem o direito de exercer o poder político, seja de maneira direta ou indireta. A democracia exercida de maneira indireta, ou democracia representativa, requer que o povo seja capaz de eleger seus representantes, que são legitimizados para atuar em seu lugar por um período determinado. Desta maneira, estes representantes,