Module app

High-level applications for proofs defined in this crate.

For now, the applications are:

• EncryptedChoice. Single-choice or multi-choice selection from a predefined list of options, with summable selection ciphertexts.
• QuadraticVotingBallot. Quadratic voting on a predefined list of options, with summable selection ciphertexts.

Structs

• ChoiceParams
  Parameters of an EncryptedChoice polling.
• EncryptedChoice
  Zero or more encrypted choices from n options (n >= 1) together with zero-knowledge proofs of correctness.
• MultiChoice
  Multi-choice setup for EncryptedChoice, in which it can contain any possible number of selected options (0..=n, where n is the number of options).
• QuadraticVotingBallot
  Encrypted ballot for quadratic voting together with zero-knowledge proofs of correctness.
• QuadraticVotingParams
  Quadratic voting parameters prepared for a certain Group.
• SingleChoice
  Single-choice setup for EncryptedChoice, in which it can contain a single selected option.

Enums

• ChoiceVerificationError
  Error verifying an EncryptedChoice.
• QuadraticVotingError
  Errors that can occur when verifying QuadraticVotingBallots.

Traits

• ProveSum
  Encapsulation of functionality for proving and verifying correctness of the sum of option ciphertexts in an EncryptedChoice.