Voting.Protocol.Trustee.Indispensable

Type TrusteePublicKey

data TrusteePublicKey crypto v c

Constructors

TrusteePublicKey

Fields

• trustee_PublicKey :: !(PublicKey crypto c)
• trustee_SecretKeyProof :: !(Proof crypto v 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 (FieldElement crypto c) => Eq (TrusteePublicKey crypto v c)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

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

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

(Show (FieldElement crypto c), Show (PublicKey crypto c)) => Show (TrusteePublicKey crypto v c)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

showsPrec :: Int -> TrusteePublicKey crypto v c -> ShowS

show :: TrusteePublicKey crypto v c -> String

showList :: [TrusteePublicKey crypto v c] -> ShowS

Generic (TrusteePublicKey crypto v c)

Defined in Voting.Protocol.Trustee.Indispensable

Associated Types

type Rep (TrusteePublicKey crypto v c) :: Type -> Type

Methods

from :: TrusteePublicKey crypto v c -> Rep (TrusteePublicKey crypto v c) x

to :: Rep (TrusteePublicKey crypto v c) x -> TrusteePublicKey crypto v c

(Group crypto, ToJSON (FieldElement crypto c)) => ToJSON (TrusteePublicKey crypto v c)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

toJSON :: TrusteePublicKey crypto v c -> Value

toEncoding :: TrusteePublicKey crypto v c -> Encoding

toJSONList :: [TrusteePublicKey crypto v c] -> Value

toEncodingList :: [TrusteePublicKey crypto v c] -> Encoding

(Reifies c crypto, Group crypto, FromJSON (PublicKey crypto c)) => FromJSON (TrusteePublicKey crypto v c)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

parseJSON :: Value -> Parser (TrusteePublicKey crypto v c)

parseJSONList :: Value -> Parser [TrusteePublicKey crypto v c]

NFData (FieldElement crypto c) => NFData (TrusteePublicKey crypto v c)

Defined in Voting.Protocol.Trustee.Indispensable

Methods

rnf :: TrusteePublicKey crypto v c -> ()

type Rep (TrusteePublicKey crypto v c)

Defined in Voting.Protocol.Trustee.Indispensable

type Rep (TrusteePublicKey crypto v c) = D1 (MetaData "TrusteePublicKey" "Voting.Protocol.Trustee.Indispensable" "hjugement-protocol-0.0.8.20191027-9HiW8HrEuPGHgxG7ahMSfc" False) (C1 (MetaCons "TrusteePublicKey" PrefixI True) (S1 (MetaSel (Just "trustee_PublicKey") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (PublicKey crypto c)) :*: S1 (MetaSel (Just "trustee_SecretKeyProof") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Proof crypto v c))))

Generating a TrusteePublicKey

proveIndispensableTrusteePublicKey :: Reifies v Version => Reifies c crypto => Group crypto => Key crypto => Multiplicative (FieldElement crypto c) => ToNatural (FieldElement crypto c) => Monad m => RandomGen r => SecretKey crypto c -> StateT r m (TrusteePublicKey crypto v c)

(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 v Version => Reifies c crypto => Group crypto => Multiplicative (FieldElement crypto c) => ToNatural (FieldElement crypto c) => Monad m => TrusteePublicKey crypto v 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.

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

Hashing

indispensableTrusteePublicKeyStatement :: Reifies c crypto => ToNatural (FieldElement crypto c) => PublicKey crypto c -> ByteString

Election's PublicKey

Generating an Election's PublicKey from multiple TrusteePublicKeys.

combineIndispensableTrusteePublicKeys :: Reifies c crypto => Multiplicative (FieldElement crypto c) => ToNatural (FieldElement crypto c) => [TrusteePublicKey crypto v c] -> PublicKey crypto c

Checking the trustee's DecryptionShares before decrypting an EncryptedTally.

verifyIndispensableDecryptionShareByTrustee :: Reifies v Version => Reifies c crypto => Group crypto => Multiplicative (FieldElement crypto c) => ToNatural (FieldElement crypto c) => Monad m => EncryptedTally crypto v c -> [PublicKey crypto c] -> [DecryptionShare crypto v c] -> ExceptT ErrorTally m ()

Decrypting an EncryptedTally from multiple TrusteePublicKeys.

combineIndispensableDecryptionShares :: Reifies v Version => Reifies c crypto => Group crypto => Multiplicative (FieldElement crypto c) => ToNatural (FieldElement crypto c) => [PublicKey crypto c] -> DecryptionShareCombinator crypto v c

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