Voting.Protocol.Credential

Type Credential

newtype Credential

A Credential is a word of (tokenLength+1 == 15)-characters from a base alphabet of (tokenBase == 58) characters: "123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz" (beware the absence of "0", "O", "I", and "l"). The last character is a checksum. The entropy is: (tokenLength * log tokenBase / log 2) == 82.01… bits.

Constructors

Credential Text

Instances

Eq Credential

Defined in Voting.Protocol.Credential

Methods

(==) :: Credential -> Credential -> Bool

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

Show Credential

Defined in Voting.Protocol.Credential

Methods

showsPrec :: Int -> Credential -> ShowS

show :: Credential -> String

showList :: [Credential] -> ShowS

Generic Credential

Defined in Voting.Protocol.Credential

Associated Types

type Rep Credential :: Type -> Type

Methods

from :: Credential -> Rep Credential x

to :: Rep Credential x -> Credential

NFData Credential

Defined in Voting.Protocol.Credential

Methods

rnf :: Credential -> ()

type Rep Credential

Defined in Voting.Protocol.Credential

type Rep Credential = D1 (MetaData "Credential" "Voting.Protocol.Credential" "hjugement-protocol-0.0.0.20190511-LA4cRAbw6ds9q7ND2QPV9H" True) (C1 (MetaCons "Credential" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

credentialAlphabet :: [Char]

tokenBase :: Int

tokenLength :: Int

randomCredential :: Monad m => RandomGen r => StateT r m Credential

randomCredential generates a random Credential.

readCredential :: Text -> Either CredentialError Credential

readCredential reads and check the well-formedness of a Credential from raw Text.

Type CredentialError

data CredentialError

Constructors

CredentialError_BadChar Char

CredentialError_Checksum

CredentialError_Length

Instances

Eq CredentialError

Defined in Voting.Protocol.Credential

Methods

(==) :: CredentialError -> CredentialError -> Bool

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

Show CredentialError

Defined in Voting.Protocol.Credential

Methods

showsPrec :: Int -> CredentialError -> ShowS

show :: CredentialError -> String

showList :: [CredentialError] -> ShowS

Generic CredentialError

Defined in Voting.Protocol.Credential

Associated Types

type Rep CredentialError :: Type -> Type

Methods

from :: CredentialError -> Rep CredentialError x

to :: Rep CredentialError x -> CredentialError

NFData CredentialError

Defined in Voting.Protocol.Credential

Methods

rnf :: CredentialError -> ()

type Rep CredentialError

Defined in Voting.Protocol.Credential

type Rep CredentialError = D1 (MetaData "CredentialError" "Voting.Protocol.Credential" "hjugement-protocol-0.0.0.20190511-LA4cRAbw6ds9q7ND2QPV9H" False) (C1 (MetaCons "CredentialError_BadChar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Char)) :+: (C1 (MetaCons "CredentialError_Checksum" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "CredentialError_Length" PrefixI False) (U1 :: Type -> Type)))

Type UUID

newtype UUID

Constructors

UUID Text

Instances

Eq UUID

Defined in Voting.Protocol.Credential

Methods

(==) :: UUID -> UUID -> Bool

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

Ord UUID

Defined in Voting.Protocol.Credential

Methods

compare :: UUID -> UUID -> Ordering

(<) :: UUID -> UUID -> Bool

(<=) :: UUID -> UUID -> Bool

(>) :: UUID -> UUID -> Bool

(>=) :: UUID -> UUID -> Bool

max :: UUID -> UUID -> UUID

min :: UUID -> UUID -> UUID

Show UUID

Defined in Voting.Protocol.Credential

Methods

showsPrec :: Int -> UUID -> ShowS

show :: UUID -> String

showList :: [UUID] -> ShowS

Generic UUID

Defined in Voting.Protocol.Credential

Associated Types

type Rep UUID :: Type -> Type

Methods

from :: UUID -> Rep UUID x

to :: Rep UUID x -> UUID

NFData UUID

Defined in Voting.Protocol.Credential

Methods

rnf :: UUID -> ()

type Rep UUID

Defined in Voting.Protocol.Credential

type Rep UUID = D1 (MetaData "UUID" "Voting.Protocol.Credential" "hjugement-protocol-0.0.0.20190511-LA4cRAbw6ds9q7ND2QPV9H" True) (C1 (MetaCons "UUID" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

randomUUID :: Monad m => RandomGen r => StateT r m UUID

randomUUID generates a random UUID.

Type SecretKey

type SecretKey = E

credentialSecretKey :: SubGroup q => UUID -> Credential -> SecretKey q

(credentialSecretKey uuid cred) returns the SecretKey derived from given uuid and cred using fastPBKDF2_SHA256.

Type PublicKey

type PublicKey = G

publicKey :: SubGroup q => SecretKey q -> PublicKey q

(publicKey secKey) returns the PublicKey derived from given SecretKey.