Struct chain_vote::tally::ValidatedTally

pub struct ValidatedTally {
    r: Vec<Ciphertext>,
    decrypt_shares: Vec<TallyDecryptShare>,
    max_stake: u64,
}

ValidatedTally can only be constructed by valid TallyDecryptShares, and the corresponding EncryptedTally. This intermediate structure ensures that only validated decryptions are used to compute the election outcome, i.e. if the committee members do not present valid shares, the tally decryption cannot be computed. This intermediate structure is particularly of interest during the distributed decryption protocol, where, in case there is a misbehaving party, one needs to perform certain actions between the verification of a decryption share, and its use in the decrypted tally computation.

Fields

r: Vec<Ciphertext>

decrypt_shares: Vec<TallyDecryptShare>

max_stake: u64

Implementations

impl ValidatedTally

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

fn decrypt(&self) -> Vec<GroupElement>

pub fn decrypt_tally( &self, table: &TallyOptimizationTable ) -> Result<Tally, TallyError>

Given the decrypt_shares of all committee members, max_votes, and a tally optimization table, decrypt_tally first decrypts self, and then computes the discrete logarithm of each resulting plaintext.

Trait Implementations

impl Clone for ValidatedTally

fn clone(&self) -> ValidatedTally

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValidatedTally

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for ValidatedTally

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<ValidatedTally> for ValidatedTally

fn eq(&self, other: &ValidatedTally) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ValidatedTally

impl StructuralEq for ValidatedTally

impl StructuralPartialEq for ValidatedTally