Voting.Protocol.Tally

Type Tally

data Tally q

Constructors

Tally

Fields

• tally_countMax :: Natural

  The maximal number of supportive Opinions that a choice can get, which is here the same as the number of Ballots.

  Used in proveTally to decrypt the actual count of votes obtained by a choice, by precomputing all powers of groupGens up to it.

• tally_encByChoiceByQuest :: EncryptedTally q

  Encryption by Question by Ballot.

• tally_decShareByTrustee :: [DecryptionShare q]

  DecryptionShare by trustee.

• tally_countByChoiceByQuest :: [[Natural]]

  The decrypted count of supportive Opinions, by choice by Question.

Instances

Eq (Tally q)

Defined in Voting.Protocol.Tally

Methods

(==) :: Tally q -> Tally q -> Bool

(/=) :: Tally q -> Tally q -> Bool

Show (Tally q)

Defined in Voting.Protocol.Tally

Methods

showsPrec :: Int -> Tally q -> ShowS

show :: Tally q -> String

showList :: [Tally q] -> ShowS

Generic (Tally q)

Defined in Voting.Protocol.Tally

Associated Types

type Rep (Tally q) :: Type -> Type

Methods

from :: Tally q -> Rep (Tally q) x

to :: Rep (Tally q) x -> Tally q

NFData (Tally q)

Defined in Voting.Protocol.Tally

Methods

rnf :: Tally q -> ()

type Rep (Tally q)

Defined in Voting.Protocol.Tally

type Rep (Tally q) = D1 (MetaData "Tally" "Voting.Protocol.Tally" "hjugement-protocol-0.0.0.20190513-FHCeTArdaCC2IRctq0Wzr8" False) (C1 (MetaCons "Tally" PrefixI True) ((S1 (MetaSel (Just "tally_countMax") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural) :*: S1 (MetaSel (Just "tally_encByChoiceByQuest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (EncryptedTally q))) :*: (S1 (MetaSel (Just "tally_decShareByTrustee") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [DecryptionShare q]) :*: S1 (MetaSel (Just "tally_countByChoiceByQuest") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Natural]]))))

Type EncryptedTally

type EncryptedTally q = [[Encryption q]]

Encryption by Choice by Question.

encryptedTally :: SubGroup q => [Ballot q] -> (EncryptedTally q, Natural)

(encryptedTally ballots) returns the sum of the Encryptions of the given ballots, along with the number of Ballots.

Type DecryptionShareCombinator

type DecryptionShareCombinator q = [DecryptionShare q] -> Except ErrorDecryptionShare [[DecryptionFactor q]]

proveTally :: SubGroup q => (EncryptedTally q, Natural) -> [DecryptionShare q] -> DecryptionShareCombinator q -> Except ErrorDecryptionShare (Tally q)

verifyTally :: SubGroup q => Tally q -> DecryptionShareCombinator q -> Except ErrorDecryptionShare ()

Type DecryptionShare

data DecryptionShare q

A decryption share. It is computed by a trustee from its SecretKey share and the EncryptedTally, and contains a cryptographic Proof that it hasn't cheated.

Constructors

DecryptionShare

Fields

• decryptionShare_factors :: [[DecryptionFactor q]]

  DecryptionFactor by choice by Question.

• decryptionShare_proofs :: [[Proof q]]

  Proofs that decryptionShare_factors were correctly computed.

Instances

Eq (DecryptionShare q)

Defined in Voting.Protocol.Tally

Methods

(==) :: DecryptionShare q -> DecryptionShare q -> Bool

(/=) :: DecryptionShare q -> DecryptionShare q -> Bool

Show (DecryptionShare q)

Defined in Voting.Protocol.Tally

Methods

showsPrec :: Int -> DecryptionShare q -> ShowS

show :: DecryptionShare q -> String

showList :: [DecryptionShare q] -> ShowS

Generic (DecryptionShare q)

Defined in Voting.Protocol.Tally

Associated Types

type Rep (DecryptionShare q) :: Type -> Type

Methods

from :: DecryptionShare q -> Rep (DecryptionShare q) x

to :: Rep (DecryptionShare q) x -> DecryptionShare q

NFData (DecryptionShare q)

Defined in Voting.Protocol.Tally

Methods

rnf :: DecryptionShare q -> ()

type Rep (DecryptionShare q)

Defined in Voting.Protocol.Tally

type Rep (DecryptionShare q) = D1 (MetaData "DecryptionShare" "Voting.Protocol.Tally" "hjugement-protocol-0.0.0.20190513-FHCeTArdaCC2IRctq0Wzr8" False) (C1 (MetaCons "DecryptionShare" PrefixI True) (S1 (MetaSel (Just "decryptionShare_factors") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[DecryptionFactor q]]) :*: S1 (MetaSel (Just "decryptionShare_proofs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[Proof q]])))

Type DecryptionFactor

type DecryptionFactor = G

encryption_nonce ^trusteeSecKey

proveDecryptionShare :: Monad m => SubGroup q => RandomGen r => EncryptedTally q -> SecretKey q -> StateT r m (DecryptionShare q)

proveDecryptionFactor :: Monad m => SubGroup q => RandomGen r => SecretKey q -> Encryption q -> StateT r m (DecryptionFactor q, Proof q)

decryptionShareStatement :: SubGroup q => PublicKey q -> ByteString

Type ErrorDecryptionShare

data ErrorDecryptionShare

Constructors

ErrorDecryptionShare_Invalid Text

The number of DecryptionFactors or the number of Proofs is not the same or not the expected number.

ErrorDecryptionShare_Wrong

The Proof of a DecryptionFactor is wrong.

ErrorDecryptionShare_InvalidMaxCount

Instances

Eq ErrorDecryptionShare

Defined in Voting.Protocol.Tally

Methods

(==) :: ErrorDecryptionShare -> ErrorDecryptionShare -> Bool

(/=) :: ErrorDecryptionShare -> ErrorDecryptionShare -> Bool

Show ErrorDecryptionShare

Defined in Voting.Protocol.Tally

Methods

showsPrec :: Int -> ErrorDecryptionShare -> ShowS

show :: ErrorDecryptionShare -> String

showList :: [ErrorDecryptionShare] -> ShowS

Generic ErrorDecryptionShare

Defined in Voting.Protocol.Tally

Associated Types

type Rep ErrorDecryptionShare :: Type -> Type

Methods

from :: ErrorDecryptionShare -> Rep ErrorDecryptionShare x

to :: Rep ErrorDecryptionShare x -> ErrorDecryptionShare

NFData ErrorDecryptionShare

Defined in Voting.Protocol.Tally

Methods

rnf :: ErrorDecryptionShare -> ()

type Rep ErrorDecryptionShare

Defined in Voting.Protocol.Tally

type Rep ErrorDecryptionShare = D1 (MetaData "ErrorDecryptionShare" "Voting.Protocol.Tally" "hjugement-protocol-0.0.0.20190513-FHCeTArdaCC2IRctq0Wzr8" False) (C1 (MetaCons "ErrorDecryptionShare_Invalid" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "ErrorDecryptionShare_Wrong" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ErrorDecryptionShare_InvalidMaxCount" PrefixI False) (U1 :: Type -> Type)))

verifyDecryptionShare :: Monad m => SubGroup q => EncryptedTally q -> PublicKey q -> DecryptionShare q -> ExceptT ErrorDecryptionShare m ()

(verifyDecryptionShare encTally trusteePubKey trusteeDecShare) checks that trusteeDecShare (supposedly submitted by a trustee whose PublicKey is trusteePubKey) is valid with respect to the EncryptedTally encTally.

verifyDecryptionShareByTrustee :: Monad m => SubGroup q => EncryptedTally q -> [PublicKey q] -> [DecryptionShare q] -> ExceptT ErrorDecryptionShare m ()