Voting.Protocol.Trustee.Indispensable

Type TrusteePublicKey

data TrusteePublicKey c

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)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

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

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

Show (TrusteePublicKey c)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

showsPrec :: Int -> TrusteePublicKey c -> ShowS

show :: TrusteePublicKey c -> String

showList :: [TrusteePublicKey c] -> ShowS

Generic (TrusteePublicKey c)

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)

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)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

parseJSON :: Value -> Parser (TrusteePublicKey c)

parseJSONList :: Value -> Parser [TrusteePublicKey c]

NFData (TrusteePublicKey c)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

rnf :: TrusteePublicKey c -> ()

type Rep (TrusteePublicKey c)

Defined in Voting.Protocol.Trustee.Indispensable

type Rep (TrusteePublicKey c) = D1 (MetaData "TrusteePublicKey" "Voting.Protocol.Trustee.Indispensable" "hjugement-protocol-0.0.4.20190711-9XKUqaKqeIWGSUJTM0D5D" 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))))

Type ErrorTrusteePublicKey

data ErrorTrusteePublicKey

Constructors

ErrorTrusteePublicKey_WrongProof

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 :: Reifies c FFC => Monad m => RandomGen r => SecretKey c -> StateT r m (TrusteePublicKey c)

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

verifyIndispensableTrusteePublicKey :: Reifies c FFC => Monad m => TrusteePublicKey c -> 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 c -> ByteString

Election's PublicKey

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

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