Voting.Protocol.Tally

Type Tally

data Tally c

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 c)

  Encryption by Question by Ballot.

• tally_decShareByTrustee :: ![DecryptionShare c]

  DecryptionShare by trustee.

• tally_countByChoiceByQuest :: ![[Natural]]

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

Instances

Eq (Tally c)

Defined in Voting.Protocol.Tally

Methods

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

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

Show (Tally c)

Defined in Voting.Protocol.Tally

Methods

showsPrec :: Int -> Tally c -> ShowS

show :: Tally c -> String

showList :: [Tally c] -> ShowS

Generic (Tally c)

Defined in Voting.Protocol.Tally

Associated Types

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

Methods

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

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

Reifies c FFC => ToJSON (Tally c)

Defined in Voting.Protocol.Tally

Methods

toJSON :: Tally c -> Value

toEncoding :: Tally c -> Encoding

toJSONList :: [Tally c] -> Value

toEncodingList :: [Tally c] -> Encoding

Reifies c FFC => FromJSON (Tally c)

Defined in Voting.Protocol.Tally

Methods

parseJSON :: Value -> Parser (Tally c)

parseJSONList :: Value -> Parser [Tally c]

NFData (Tally c)

Defined in Voting.Protocol.Tally

Methods

rnf :: Tally c -> ()

type Rep (Tally c)

Defined in Voting.Protocol.Tally

type Rep (Tally c) = D1 (MetaData "Tally" "Voting.Protocol.Tally" "hjugement-protocol-0.0.4.20190711-9XKUqaKqeIWGSUJTM0D5D" False) (C1 (MetaCons "Tally" PrefixI True) ((S1 (MetaSel (Just "tally_countMax") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Natural) :*: S1 (MetaSel (Just "tally_encByChoiceByQuest") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (EncryptedTally c))) :*: (S1 (MetaSel (Just "tally_decShareByTrustee") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [DecryptionShare c]) :*: S1 (MetaSel (Just "tally_countByChoiceByQuest") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 [[Natural]]))))

Type EncryptedTally

type EncryptedTally c = [[Encryption c]]

Encryption by choice by Question.

encryptedTally :: Reifies c FFC => [Ballot c] -> (EncryptedTally c, Natural)

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

emptyEncryptedTally :: Reifies c FFC => (EncryptedTally c, Natural)

The initial EncryptedTally which tallies no Ballot.

insertEncryptedTally :: Reifies c FFC => Ballot c -> (EncryptedTally c, Natural) -> (EncryptedTally c, Natural)

(insertEncryptedTally ballot encTally) returns the EncryptedTally adding the votes of the given (ballot) to those of the given (encTally).

Type DecryptionShareCombinator

type DecryptionShareCombinator c = EncryptedTally c -> [DecryptionShare c] -> Except ErrorTally [[DecryptionFactor c]]

proveTally :: Reifies c FFC => (EncryptedTally c, Natural) -> [DecryptionShare c] -> DecryptionShareCombinator c -> Except ErrorTally (Tally c)

verifyTally :: Reifies c FFC => Tally c -> DecryptionShareCombinator c -> Except ErrorTally ()

Type DecryptionShare

newtype DecryptionShare c

A decryption share is a DecryptionFactor and a decryption Proof, by choice by Question. Computed by a trustee in proveDecryptionShare.

Constructors

DecryptionShare

Fields

• unDecryptionShare :: [[(DecryptionFactor c, Proof c)]]

Instances

Eq (DecryptionShare c)

Defined in Voting.Protocol.Tally

Methods

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

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

Show (DecryptionShare c)

Defined in Voting.Protocol.Tally

Methods

showsPrec :: Int -> DecryptionShare c -> ShowS

show :: DecryptionShare c -> String

showList :: [DecryptionShare c] -> ShowS

Generic (DecryptionShare c)

Defined in Voting.Protocol.Tally

Associated Types

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

Methods

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

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

ToJSON (DecryptionShare c)

Defined in Voting.Protocol.Tally

Methods

toJSON :: DecryptionShare c -> Value

toEncoding :: DecryptionShare c -> Encoding

toJSONList :: [DecryptionShare c] -> Value

toEncodingList :: [DecryptionShare c] -> Encoding

Reifies c FFC => FromJSON (DecryptionShare c)

Defined in Voting.Protocol.Tally

Methods

parseJSON :: Value -> Parser (DecryptionShare c)

parseJSONList :: Value -> Parser [DecryptionShare c]

NFData (DecryptionShare c)

Defined in Voting.Protocol.Tally

Methods

rnf :: DecryptionShare c -> ()

type Rep (DecryptionShare c)

Defined in Voting.Protocol.Tally

type Rep (DecryptionShare c) = D1 (MetaData "DecryptionShare" "Voting.Protocol.Tally" "hjugement-protocol-0.0.4.20190711-9XKUqaKqeIWGSUJTM0D5D" True) (C1 (MetaCons "DecryptionShare" PrefixI True) (S1 (MetaSel (Just "unDecryptionShare") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [[(DecryptionFactor c, Proof c)]])))

Type DecryptionFactor

type DecryptionFactor = G

encryption_nonce ^trusteeSecKey

proveDecryptionShare :: Monad m => Reifies c FFC => RandomGen r => EncryptedTally c -> SecretKey c -> StateT r m (DecryptionShare c)

proveDecryptionFactor :: Monad m => Reifies c FFC => RandomGen r => SecretKey c -> Encryption c -> StateT r m (DecryptionFactor c, Proof c)

decryptionShareStatement :: Reifies c FFC => PublicKey c -> ByteString

Type ErrorTally

data ErrorTally

Constructors

ErrorTally_NumberOfQuestions

The number of Questions is not the one expected.

ErrorTally_NumberOfChoices

The number of choices is not the one expected.

ErrorTally_NumberOfTrustees

The number of trustees is not the one expected.

ErrorTally_WrongProof

The Proof of a DecryptionFactor is wrong.

ErrorTally_CannotDecryptCount

Raised by proveTally when the discrete logarithm of groupGen ^count cannot be computed, likely because tally_countMax is wrong, or because the EncryptedTally or DecryptionShares have not been verified.

Instances

Eq ErrorTally

Defined in Voting.Protocol.Tally

Methods

(==) :: ErrorTally -> ErrorTally -> Bool

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

Show ErrorTally

Defined in Voting.Protocol.Tally

Methods

showsPrec :: Int -> ErrorTally -> ShowS

show :: ErrorTally -> String

showList :: [ErrorTally] -> ShowS

Generic ErrorTally

Defined in Voting.Protocol.Tally

Associated Types

type Rep ErrorTally :: Type -> Type

Methods

from :: ErrorTally -> Rep ErrorTally x

to :: Rep ErrorTally x -> ErrorTally

NFData ErrorTally

Defined in Voting.Protocol.Tally

Methods

rnf :: ErrorTally -> ()

type Rep ErrorTally

Defined in Voting.Protocol.Tally

type Rep ErrorTally = D1 (MetaData "ErrorTally" "Voting.Protocol.Tally" "hjugement-protocol-0.0.4.20190711-9XKUqaKqeIWGSUJTM0D5D" False) ((C1 (MetaCons "ErrorTally_NumberOfQuestions" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ErrorTally_NumberOfChoices" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ErrorTally_NumberOfTrustees" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ErrorTally_WrongProof" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ErrorTally_CannotDecryptCount" PrefixI False) (U1 :: Type -> Type))))

verifyDecryptionShare :: Monad m => Reifies c FFC => EncryptedTally c -> PublicKey c -> DecryptionShare c -> ExceptT ErrorTally 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 => Reifies c FFC => EncryptedTally c -> [PublicKey c] -> [DecryptionShare c] -> ExceptT ErrorTally m ()