This work-in-progress library aims at implementing an online voting protocol named Helios-C (Helios with Credentials) by its authors from the CNRS, the INRIA and the Université de Lorraine: Véronique Cortier, David Galindo, Pierrick Gaudry, Stéphane Glondu and Malika Izabachène. A large-public introduction (in french) to Helios-C is available here: Bulletin de la société informatique de France – numéro 9, novembre 2016. A more scientific (yet understandable) introduction (in english) to Belenios (an implementation of Helios-C) is available here: Belenios: a simple private and verifiable electronic voting system. The main properties of this protocol are: fully correct: the published result are proven to correspond to the (sum of) intended votes of the voters, while accounting for a malicious bulletin board (BB) (adding fake ballots) by requiring a registration authority (RA) (responsible for generating and sending voters' credentials). Assuming that the BB and the RA are not simultaneously dishonest. verifiable: each voter is able to check that: his/her ballot did contribute to the outcome (individual verifiability), and that the tallying authorities did their job properly (universal verifiability). private: the identities of the voters who cast a vote are not publicly revealed.
cabal install hjugement-protocol