hjugement-protocol: A cryptographic protocol for the Majority Judgment.
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.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- hjugement-protocol-0.0.10.20191104.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.0.20190428, 0.0.0.20190501, 0.0.0.20190511, 0.0.0.20190513, 0.0.0.20190519, 0.0.1.20190623, 0.0.4.20190711, 0.0.7.20190815, 0.0.8.20191027, 0.0.9.20191031, 0.0.10.20191104 |
---|---|
Dependencies | aeson (>=1.3), base (>=4.6 && <5), base64-bytestring (>=1.0), binary (>=0.8), bytestring (>=0.10), containers (>=0.5), cryptonite (>=0.25), deepseq (>=1.4), memory (>=0.14), random (>=1.1), reflection (>=2.1), text (>=1.2), transformers (>=0.5), unordered-containers (>=0.2.8) [details] |
Tested with | ghc ==8.4.4 |
License | GPL-3.0-only |
Author | Julien Moutinho <julm+hjugement@autogeree.net> |
Maintainer | Julien Moutinho <julm+hjugement@autogeree.net> |
Category | Politic |
Bug tracker | Julien Moutinho <julm+hjugement@autogeree.net> |
Source repo | head: git clone git://git.autogeree.net/hjugement |
Uploaded | by julm at 2019-11-05T03:33:21Z |
Distributions | |
Downloads | 4048 total (16 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2019-11-05 [all 1 reports] |