← All repos

belenios

Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios

GitHubwww.belenios.net
Browse cluster: OCaml Systems and Utilities →
5,425commits
111contributors
10languages

Tech stack & purpose

Belenios is a verifiable online voting system that implements the Helios-C protocol, consisting of both a command-line tool and web server for organizing elections and performing cryptographic verifications. The system is built in OCaml with JavaScript and WebAssembly components, including big number arithmetic via JavaScript's BigInt and Ed25519 group operations via a WebAssembly build of libsodium. Belenios is developed by Inria and CNRS, and supports deployment via Docker or systemd-nspawn containers on Debian-based Linux systems, with elections involving administrators, credential authorities, trustees, and voters in a role-separated architecture.

Languages

OCaml
84.4%
JavaScript
7.5%
Shell
3.5%
CSS
3.3%
Makefile
0.4%
HTML
0.3%
Python
0.3%
Dockerfile
0.1%
C
0.1%
Dune
0.1%

Contributors (top 30 of 111)