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.