| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Voting.Protocol.Trustees.All
Synopsis
- data TrusteePublicKey q = TrusteePublicKey {}
- randomSecretKey :: Monad m => RandomGen r => SubGroup q => StateT r m (SecretKey q)
- data ErrorTrusteePublicKey = ErrorTrusteePublicKey_Wrong
- proveTrusteePublicKey :: Monad m => RandomGen r => SubGroup q => SecretKey q -> StateT r m (TrusteePublicKey q)
- verifyTrusteePublicKey :: Monad m => SubGroup q => TrusteePublicKey q -> ExceptT ErrorTrusteePublicKey m ()
- trusteePublicKeyStatement :: PublicKey q -> ByteString
- electionPublicKey :: SubGroup q => [TrusteePublicKey q] -> PublicKey q
- combineDecryptionShares :: SubGroup q => [[Encryption q]] -> [PublicKey q] -> DecryptionShareCombinator q
Type TrusteePublicKey
data TrusteePublicKey q Source #
Constructors
| TrusteePublicKey | |
Fields | |
Instances
| Eq (TrusteePublicKey q) Source # | |
Defined in Voting.Protocol.Trustees.All Methods (==) :: TrusteePublicKey q -> TrusteePublicKey q -> Bool # (/=) :: TrusteePublicKey q -> TrusteePublicKey q -> Bool # | |
| Show (TrusteePublicKey q) Source # | |
Defined in Voting.Protocol.Trustees.All Methods showsPrec :: Int -> TrusteePublicKey q -> ShowS # show :: TrusteePublicKey q -> String # showList :: [TrusteePublicKey q] -> ShowS # | |
Type ErrorTrusteePublicKey
data ErrorTrusteePublicKey Source #
Constructors
| ErrorTrusteePublicKey_Wrong | The |
Instances
| Eq ErrorTrusteePublicKey Source # | |
Defined in Voting.Protocol.Trustees.All Methods (==) :: ErrorTrusteePublicKey -> ErrorTrusteePublicKey -> Bool # (/=) :: ErrorTrusteePublicKey -> ErrorTrusteePublicKey -> Bool # | |
| Show ErrorTrusteePublicKey Source # | |
Defined in Voting.Protocol.Trustees.All Methods showsPrec :: Int -> ErrorTrusteePublicKey -> ShowS # show :: ErrorTrusteePublicKey -> String # showList :: [ErrorTrusteePublicKey] -> ShowS # | |
proveTrusteePublicKey :: Monad m => RandomGen r => SubGroup q => SecretKey q -> StateT r m (TrusteePublicKey q) Source #
(
returns the proveTrusteePublicKey trustSecKey)PublicKey associated to trustSecKey
and a Proof of its knowledge.
verifyTrusteePublicKey :: Monad m => SubGroup q => TrusteePublicKey q -> ExceptT ErrorTrusteePublicKey m () Source #
(
returns verifyTrusteePublicKey trustPubKey)True iif. the given trustee_SecretKeyProof
does prove that the SecretKey associated with
the given trustee_PublicKey is known by the trustee.
Hashing
electionPublicKey :: SubGroup q => [TrusteePublicKey q] -> PublicKey q Source #
combineDecryptionShares :: SubGroup q => [[Encryption q]] -> [PublicKey q] -> DecryptionShareCombinator q Source #
(
returns the combineDecryptionShares checker pubKeyByTrustee decShareByTrustee)DecryptionFactors by voter by question