Welcome to HeliosVerifier’s documentation!

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 implementation of the core methods in this repository responsible for verifying the different components of an election is based on and inspired by the Helios v4 specs

Source available on https://github.com/domfre/helios_verifier.

Verifiers

• ProofVerifier
  • verify_disjunctive_0_max_proof()
  • verify_proof()
• VoteVerifier
  • verify_vote()
• ElectionVerifier
  • retally_election()
• BallotVerifier
  • verify_ballot_audit()
• DecryptionFactorVerifier
  • verify_partial_decryption_proof()

Data

• DataRetriever

Indices and tables

• Index

• Module Index

• Search Page