Voting.Protocol.Trustee.Indispensable

Type TrusteePublicKey

data TrusteePublicKey q

Constructors

TrusteePublicKey

Fields

• trustee_PublicKey :: PublicKey q
• trustee_SecretKeyProof :: Proof q

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

Defined in Voting.Protocol.Trustee.Indispensable

Methods

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

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

Show (TrusteePublicKey q)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

showsPrec :: Int -> TrusteePublicKey q -> ShowS

show :: TrusteePublicKey q -> String

showList :: [TrusteePublicKey q] -> ShowS

Type ErrorTrusteePublicKey

data ErrorTrusteePublicKey

Constructors

ErrorTrusteePublicKey_Wrong

The trustee_SecretKeyProof is wrong.

Instances

Eq ErrorTrusteePublicKey

Defined in Voting.Protocol.Trustee.Indispensable

Methods

(==) :: ErrorTrusteePublicKey -> ErrorTrusteePublicKey -> Bool

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

Show ErrorTrusteePublicKey

Defined in Voting.Protocol.Trustee.Indispensable

Methods

showsPrec :: Int -> ErrorTrusteePublicKey -> ShowS

show :: ErrorTrusteePublicKey -> String

showList :: [ErrorTrusteePublicKey] -> ShowS

proveIndispensableTrusteePublicKey :: Monad m => RandomGen r => SubGroup q => SecretKey q -> StateT r m (TrusteePublicKey q)

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

verifyIndispensableTrusteePublicKey :: Monad m => SubGroup q => TrusteePublicKey q -> ExceptT ErrorTrusteePublicKey m ()

(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.

Hashing

indispensableTrusteePublicKeyStatement :: PublicKey q -> ByteString

Election's PublicKey

combineIndispensableTrusteePublicKeys :: SubGroup q => [TrusteePublicKey q] -> PublicKey q

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

combineIndispensableDecryptionShares :: SubGroup q => [PublicKey q] -> EncryptedTally q -> DecryptionShareCombinator q

(combineDecryptionShares pubKeyByTrustee decShareByTrustee) returns the DecryptionFactors by choice by Question