This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
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.
