Raaz.Primitive.Keyed.Internal

Keyed Hashing.

The keyed version of a cryptographic hash. Certain hashes like blake2 can be used for message authentication where the message is essentially appended to the key and hashed. This module is meant to handle such keyed primitives. Note that this naive message authentication is vulnerable to length extension attack when combined with a Merkel-Damgrad like hash like the sha2 family of hashes; they require a more complicated HMAC construction.

newtype Keyed prim

The message authentication code associated with the hashes.

Constructors

Keyed prim

Instances

Eq prim => Eq (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Methods

(==) :: Keyed prim -> Keyed prim -> Bool

(/=) :: Keyed prim -> Keyed prim -> Bool

Show (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

showsPrec :: Int -> Key (Keyed prim) -> ShowS

show :: Key (Keyed prim) -> String

showList :: [Key (Keyed prim)] -> ShowS

Show prim => Show (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Methods

showsPrec :: Int -> Keyed prim -> ShowS

show :: Keyed prim -> String

showList :: [Keyed prim] -> ShowS

IsString (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

fromString :: String -> Key (Keyed prim)

IsString prim => IsString (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Methods

fromString :: String -> Keyed prim

Storable prim => Storable (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Methods

sizeOf :: Keyed prim -> Int

alignment :: Keyed prim -> Int

peekElemOff :: Ptr (Keyed prim) -> Int -> IO (Keyed prim)

pokeElemOff :: Ptr (Keyed prim) -> Int -> Keyed prim -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Keyed prim)

pokeByteOff :: Ptr b -> Int -> Keyed prim -> IO ()

peek :: Ptr (Keyed prim) -> IO (Keyed prim)

poke :: Ptr (Keyed prim) -> Keyed prim -> IO ()

Equality prim => Equality (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Methods

eq :: Keyed prim -> Keyed prim -> Result

EndianStore prim => EndianStore (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Methods

store :: Ptr (Keyed prim) -> Keyed prim -> IO ()

load :: Ptr (Keyed prim) -> IO (Keyed prim)

adjustEndian :: Ptr (Keyed prim) -> Int -> IO ()

Encodable (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

toByteString :: Key (Keyed prim) -> ByteString

fromByteString :: ByteString -> Maybe (Key (Keyed prim))

unsafeFromByteString :: ByteString -> Key (Keyed prim)

Encodable prim => Encodable (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Methods

toByteString :: Keyed prim -> ByteString

fromByteString :: ByteString -> Maybe (Keyed prim)

unsafeFromByteString :: ByteString -> Keyed prim

Primitive prim => Primitive (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

Associated Types

type WordType (Keyed prim)

type WordsPerBlock (Keyed prim) :: Nat

newtype Key (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

newtype Key (Keyed prim) = Key ByteString

type WordType (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

type WordType (Keyed prim) = WordType prim

type WordsPerBlock (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

type WordsPerBlock (Keyed prim) = WordsPerBlock prim

class KeyedHash prim where

Class of primitives, typically cryptographic hashes, that when used as a keyed hash gives a safe MAC.

Methods

hashInit :: BYTES Int -> prim

Instances

KeyedHash Blake2s

Defined in Raaz.Primitive.Blake2.Internal

Methods

hashInit :: BYTES Int -> Blake2s

KeyedHash Blake2b

Defined in Raaz.Primitive.Blake2.Internal

Methods

hashInit :: BYTES Int -> Blake2b

data family Key p :: Type

The type family that captures the key of a keyed primitive.

Instances

Initialisable ChaCha20Mem (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

initialise :: Key ChaCha20 -> ChaCha20Mem -> IO ()

Eq (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

(==) :: Key ChaCha20 -> Key ChaCha20 -> Bool

(/=) :: Key ChaCha20 -> Key ChaCha20 -> Bool

Show (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

showsPrec :: Int -> Key XChaCha20 -> ShowS

show :: Key XChaCha20 -> String

showList :: [Key XChaCha20] -> ShowS

Show (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

showsPrec :: Int -> Key ChaCha20 -> ShowS

show :: Key ChaCha20 -> String

showList :: [Key ChaCha20] -> ShowS

Show (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

showsPrec :: Int -> Key (Keyed prim) -> ShowS

show :: Key (Keyed prim) -> String

showList :: [Key (Keyed prim)] -> ShowS

Show (Key Poly1305)

Defined in Raaz.Primitive.Poly1305.Internal

Methods

showsPrec :: Int -> Key Poly1305 -> ShowS

show :: Key Poly1305 -> String

showList :: [Key Poly1305] -> ShowS

IsString (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

fromString :: String -> Key XChaCha20

IsString (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

fromString :: String -> Key ChaCha20

IsString (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

fromString :: String -> Key (Keyed prim)

Storable (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

sizeOf :: Key XChaCha20 -> Int

alignment :: Key XChaCha20 -> Int

peekElemOff :: Ptr (Key XChaCha20) -> Int -> IO (Key XChaCha20)

pokeElemOff :: Ptr (Key XChaCha20) -> Int -> Key XChaCha20 -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Key XChaCha20)

pokeByteOff :: Ptr b -> Int -> Key XChaCha20 -> IO ()

peek :: Ptr (Key XChaCha20) -> IO (Key XChaCha20)

poke :: Ptr (Key XChaCha20) -> Key XChaCha20 -> IO ()

Storable (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

sizeOf :: Key ChaCha20 -> Int

alignment :: Key ChaCha20 -> Int

peekElemOff :: Ptr (Key ChaCha20) -> Int -> IO (Key ChaCha20)

pokeElemOff :: Ptr (Key ChaCha20) -> Int -> Key ChaCha20 -> IO ()

peekByteOff :: Ptr b -> Int -> IO (Key ChaCha20)

pokeByteOff :: Ptr b -> Int -> Key ChaCha20 -> IO ()

peek :: Ptr (Key ChaCha20) -> IO (Key ChaCha20)

poke :: Ptr (Key ChaCha20) -> Key ChaCha20 -> IO ()

Equality (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

eq :: Key ChaCha20 -> Key ChaCha20 -> Result

EndianStore (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

store :: Ptr (Key XChaCha20) -> Key XChaCha20 -> IO ()

load :: Ptr (Key XChaCha20) -> IO (Key XChaCha20)

adjustEndian :: Ptr (Key XChaCha20) -> Int -> IO ()

EndianStore (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

store :: Ptr (Key ChaCha20) -> Key ChaCha20 -> IO ()

load :: Ptr (Key ChaCha20) -> IO (Key ChaCha20)

adjustEndian :: Ptr (Key ChaCha20) -> Int -> IO ()

Encodable (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

toByteString :: Key XChaCha20 -> ByteString

fromByteString :: ByteString -> Maybe (Key XChaCha20)

unsafeFromByteString :: ByteString -> Key XChaCha20

Encodable (Key ChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

toByteString :: Key ChaCha20 -> ByteString

fromByteString :: ByteString -> Maybe (Key ChaCha20)

unsafeFromByteString :: ByteString -> Key ChaCha20

Encodable (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

toByteString :: Key (Keyed prim) -> ByteString

fromByteString :: ByteString -> Maybe (Key (Keyed prim))

unsafeFromByteString :: ByteString -> Key (Keyed prim)

Initialisable (MemoryCell (Key ChaCha20)) (Key XChaCha20)

Defined in Raaz.Primitive.ChaCha20.Internal

Methods

initialise :: Key XChaCha20 -> MemoryCell (Key ChaCha20) -> IO ()

newtype Key XChaCha20

Defined in Raaz.Primitive.ChaCha20.Internal

newtype Key XChaCha20 = XKey KEY

newtype Key ChaCha20

Defined in Raaz.Primitive.ChaCha20.Internal

newtype Key ChaCha20 = Key KEY

data Key Poly1305

Defined in Raaz.Primitive.Poly1305.Internal

data Key Poly1305 = Key R S

newtype Key (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

newtype Key (Keyed prim) = Key ByteString

unsafeToKeyed :: prim -> Keyed prim

Converts the hash value to the corresponding Keyed value. This function violates the principle that semantically distinct values should be of distinct types and hence should be considered unsafe.

unsafeToPrim :: Keyed prim -> prim

Converts a Keyed value to the corresponding hash value. This function violates the principle that semantically distinct values should be of distinct types and hence should be considered unsafe