BallotVerifier

helios_verifier.verifiers.BallotVerifier.verify_ballot_audit(vote_with_plaintexts, election)

Verifies a vote and if it was properly encrypted. First calls verify_vote() to verify the proofs. For each encrypted answer it is then checked whether the ciphertexts of all the possible choices are properly generated with the randomness used for this election.

Parameters

• vote_with_plaintexts – cast vote of a voter with the encrypted answer accompanied with the respective plaintexts

• election – represents the election the ballot was cast for

Returns

bool indicating whether the verification succeeded or not