majurity-protocol: A cryptographic protocol for the Majority Judgment.
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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.
Properties
| Versions | 0.0.10.20191104 |
|---|---|
| Change log | None available |
| 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] |
| License | AGPL-3.0-or-later |
| Copyright | Julien Moutinho <julm+majurity@sourcephile.fr> |
| Author | Julien Moutinho <julm+majurity@sourcephile.fr> |
| Maintainer | mailto:~julm/majurity@todo.hut.sourcephile.fr |
| Category | Politic |
| Home page | https://git.hut.sourcephile.fr/~julm/majurity |
| Bug tracker | https://todo.hut.sourcephile.fr/~julm/majurity |
| Source repo | head: git clone https://git.hut.sourcephile.fr/~julm/majurity |
| Uploaded | by julm at 2021-09-03T09:59:32Z |
Modules
[Index] [Quick Jump]
Downloads
- majurity-protocol-0.0.10.20191104.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees