Mac.Implementation

An implementation for simple MAC which is based on a cryptographic hash. This construction is safe only for certain hashes like blake2 and therefore should not be used indiscriminately. In particular, sha2 hashes should not be used in this mode as they are prone to length extension attack.

If you want to use sha2 hashs for message authentication, you should make use of the more complicated HMAC construction.

Documentation

type Prim = Keyed Prim

name :: String

Name of the implementation.

description :: String

Description of the implementation.

data Internals

The internal memory used by the implementation.

Instances

Memory Internals

Defined in Mac.Implementation

Methods

memoryAlloc :: Alloc Internals

unsafeToPointer :: Internals -> Ptr Word8

Extractable Internals Prim

Defined in Mac.Implementation

Methods

extract :: Internals -> IO Prim

Initialisable Internals (Key (Keyed Prim))

Defined in Mac.Implementation

Methods

initialise :: Key (Keyed Prim) -> Internals -> IO ()

type BufferAlignment = BufferAlignment

type BufferPtr = AlignedBlockPtr BufferAlignment Prim

processBlocks :: BufferPtr -> BlockCount Prim -> Internals -> IO ()

The function that process bytes in multiples of the block size of the primitive.

processLast :: BufferPtr -> BYTES Int -> Internals -> IO ()

Process the last bytes of the stream.

additionalBlocks :: BlockCount Prim

The additional space required in the buffer for processing the data.

data family Key p

Instances

Initialisable Internals (Key (Keyed Prim))

Defined in Mac.Implementation

Methods

initialise :: Key (Keyed Prim) -> Internals -> IO ()

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

IsString (Key (Keyed prim))

Defined in Raaz.Primitive.Keyed.Internal

Methods

fromString :: String -> Key (Keyed prim)

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)

newtype Key (Keyed prim)

Defined in Raaz.Primitive.Keyed.Internal

newtype Key (Keyed prim) = Key ByteString