Safe Haskell	None
Language	Haskell2010

Voting.Protocol.Trustee.Indispensable

Contents

Type TrusteePublicKey
Election's PublicKey

Synopsis

data TrusteePublicKey c = TrusteePublicKey {
- trustee_PublicKey :: !(PublicKey c)
- trustee_SecretKeyProof :: !(Proof c)
}
proveIndispensableTrusteePublicKey :: Reifies c FFC => Monad m => RandomGen r => SecretKey c -> StateT r m (TrusteePublicKey c)
verifyIndispensableTrusteePublicKey :: Reifies c FFC => Monad m => TrusteePublicKey c -> ExceptT ErrorTrusteePublicKey m ()
data ErrorTrusteePublicKey = ErrorTrusteePublicKey_WrongProof
indispensableTrusteePublicKeyStatement :: PublicKey c -> ByteString
combineIndispensableTrusteePublicKeys :: Reifies c FFC => [TrusteePublicKey c] -> PublicKey c
verifyIndispensableDecryptionShareByTrustee :: Reifies c FFC => Monad m => EncryptedTally c -> [PublicKey c] -> [DecryptionShare c] -> ExceptT ErrorTally m ()
combineIndispensableDecryptionShares :: Reifies c FFC => [PublicKey c] -> DecryptionShareCombinator c

Type `TrusteePublicKey`

data TrusteePublicKey c Source #

Constructors

TrusteePublicKey

Fields

trustee_PublicKey :: !(PublicKey c)
trustee_SecretKeyProof :: !(Proof c)
NOTE: It is important to ensure that each trustee generates its key pair independently of the PublicKeys published by the other trustees. Otherwise, a dishonest trustee could publish as PublicKey its genuine PublicKey divided by the PublicKeys of the other trustees. This would then lead to the election_PublicKey being equal to this dishonest trustee's PublicKey, which means that knowing its SecretKey would be sufficient for decrypting messages encrypted to the election_PublicKey. To avoid this attack, each trustee publishing a PublicKey must prove knowledge of the corresponding SecretKey. Which is done in proveIndispensableTrusteePublicKey and verifyIndispensableTrusteePublicKey.

Instances

Eq (TrusteePublicKey c) Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Methods (==) :: TrusteePublicKey c -> TrusteePublicKey c -> Bool # (/=) :: TrusteePublicKey c -> TrusteePublicKey c -> Bool #
Show (TrusteePublicKey c) Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Methods showsPrec :: Int -> TrusteePublicKey c -> ShowS # show :: TrusteePublicKey c -> String # showList :: [TrusteePublicKey c] -> ShowS #
Generic (TrusteePublicKey c) Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Associated Types type Rep (TrusteePublicKey c) :: Type -> Type # Methods from :: TrusteePublicKey c -> Rep (TrusteePublicKey c) x # to :: Rep (TrusteePublicKey c) x -> TrusteePublicKey c #
ToJSON (TrusteePublicKey c) Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Methods toJSON :: TrusteePublicKey c -> Value # toEncoding :: TrusteePublicKey c -> Encoding # toJSONList :: [TrusteePublicKey c] -> Value # toEncodingList :: [TrusteePublicKey c] -> Encoding #
Reifies c FFC => FromJSON (TrusteePublicKey c) Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Methods parseJSON :: Value -> Parser (TrusteePublicKey c) # parseJSONList :: Value -> Parser [TrusteePublicKey c] #
NFData (TrusteePublicKey c) Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Methods rnf :: TrusteePublicKey c -> () #
type Rep (TrusteePublicKey c) Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable type Rep (TrusteePublicKey c) = D1 (MetaData "TrusteePublicKey" "Voting.Protocol.Trustee.Indispensable" "hjugement-protocol-0.0.7.20190815-As1rduHXqx8BecfrJje01q" False) (C1 (MetaCons "TrusteePublicKey" PrefixI True) (S1 (MetaSel (Just "trustee_PublicKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (PublicKey c)) :*: S1 (MetaSel (Just "trustee_SecretKeyProof") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Proof c))))

Generating a `TrusteePublicKey`

proveIndispensableTrusteePublicKey :: Reifies c FFC => Monad m => RandomGen r => SecretKey c -> StateT r m (TrusteePublicKey c) Source #

(proveIndispensableTrusteePublicKey trustSecKey) returns the PublicKey associated to trustSecKey and a Proof of its knowledge.

Checking a `TrusteePublicKey` before incorporating it into the `Election'`s `PublicKey`

verifyIndispensableTrusteePublicKey :: Reifies c FFC => Monad m => TrusteePublicKey c -> ExceptT ErrorTrusteePublicKey m () Source #

(verifyIndispensableTrusteePublicKey trustPubKey) returns True iif. the given trustee_SecretKeyProof does prove that the SecretKey associated with the given trustee_PublicKey is known by the trustee.

Type `ErrorTrusteePublicKey`

data ErrorTrusteePublicKey Source #

Constructors

ErrorTrusteePublicKey_WrongProof

The trustee_SecretKeyProof is wrong.

Instances

Eq ErrorTrusteePublicKey Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Methods (==) :: ErrorTrusteePublicKey -> ErrorTrusteePublicKey -> Bool # (/=) :: ErrorTrusteePublicKey -> ErrorTrusteePublicKey -> Bool #
Show ErrorTrusteePublicKey Source #
Instance details Defined in Voting.Protocol.Trustee.Indispensable Methods showsPrec :: Int -> ErrorTrusteePublicKey -> ShowS # show :: ErrorTrusteePublicKey -> String # showList :: [ErrorTrusteePublicKey] -> ShowS #