Helios Verifier

This repository provides an application for a full verification of an election and its components conducted by the Helios Voting System or any equivalent voting system respecting the guidelines defined by the official Helios v4 specs regarding the data formats and verification protocols.

The Helios v4 specs also provides the basis for the implementation of the core methods in this repository responsible for verifying the different components of an election.

Documentation

Please visit the HeliosVerifierDocs for the official documentation. For new contributions, the documentation will be updated automatically. For any local building, from within the docs folder, execute

(helios_verifier/docs)$ make clean
(helios_verifier/docs)$ make html

Setup:

$ git clone ...
$ cd ... # into the project directory
$ python3 -m venv --prompt helios_verifier venv
$ source venv/bin/activate
(helios_verifier)$ pip install --upgrade pip
(helios_verifier)$ pip install -r requirements.txt
(helios_verifier)$ pip deactivate

Usage

In order to run the verifier with the predefined configuration navigate into /helios_verifier (root of the project) and run

(helios_verifier)$ python3.10 -m helios_verifier.helios_verifier_app $election_uuid $vote_hash

Adjust the command for your python installation.
If no election_uuid is passed, the verifier runs in default mode, verifying an example election.
Same holds true for the vote_hash, which is the hash of an audited ballot to perform audited ballot verification.

In case of missing dependencies, please run from the root of the project:

pip install -r requirements.txt

Remarks

Currently, the verifier only works for elections hosted on the helios server. This can easily be changed by adjusting the host url in the DataUrls module.