Module chain_vote::encrypted_vote

Structs

• Ballot
  Submitted ballot, which contains an always verified vote. Used for early verification of a vote without requiring additional checks down the chain.
• BallotVerificationError
• Ptp
  To achieve logarithmic communication complexity in the unit_vector ZKP, we represent votes as Power of Two Padded vector structures.
• UnitVector
  Represents a Unit vector which size is @size and the @ith element (0-indexed) is enabled
• UnitVectorInitializationError
• UnitVectorIter

Functions

• binrep

Type Aliases

• EncryptedVote
  Encrypted vote is a unit vector where each element is an ElGamal Ciphertext, encrypted with the Election Public Key.
• ProofOfCorrectVote
  A proof of correct vote encryption consists of a unit vector zkp, where the voter proves that the EncryptedVote is indeed a unit vector, and contains a vote for a single candidate.
• Vote
  A vote is represented by a standard basis unit vector of an N dimensional space