Crypto.MAC.KMAC

Provide the KMAC (Keccak Message Authentication Code) algorithm, derived from the SHA-3 base algorithm Keccak and defined in NIST SP800-185.

Documentation

class HashAlgorithm a => HashSHAKE a

Type class of SHAKE algorithms.

Minimal complete definition

cshakeInternalFinalize, cshakeOutputLength

Instances

KnownNat bitlen => HashSHAKE (SHAKE256 bitlen)

Defined in Crypto.Hash.SHAKE

Methods

cshakeInternalFinalize :: Ptr (Context (SHAKE256 bitlen)) -> Ptr (Digest (SHAKE256 bitlen)) -> IO ()

cshakeOutputLength :: SHAKE256 bitlen -> Int

KnownNat bitlen => HashSHAKE (SHAKE128 bitlen)

Defined in Crypto.Hash.SHAKE

Methods

cshakeInternalFinalize :: Ptr (Context (SHAKE128 bitlen)) -> Ptr (Digest (SHAKE128 bitlen)) -> IO ()

cshakeOutputLength :: SHAKE128 bitlen -> Int

kmac :: (HashSHAKE a, ByteArrayAccess string, ByteArrayAccess key, ByteArrayAccess ba) => string -> key -> ba -> KMAC a

Compute a KMAC using the supplied customization string and key.

newtype KMAC a

Represent a KMAC that is a phantom type with the hash used to produce the mac.

The Eq instance is constant time. No Show instance is provided, to avoid printing by mistake.

Constructors

KMAC

Fields

• kmacGetDigest :: Digest a

Instances

Eq (KMAC a)

Defined in Crypto.MAC.KMAC

Methods

(==) :: KMAC a -> KMAC a -> Bool

(/=) :: KMAC a -> KMAC a -> Bool

ByteArrayAccess (KMAC a)

Defined in Crypto.MAC.KMAC

Methods

length :: KMAC a -> Int

withByteArray :: KMAC a -> (Ptr p -> IO a0) -> IO a0

copyByteArrayToPtr :: KMAC a -> Ptr p -> IO ()

Incremental

data Context a

Represent an ongoing KMAC state, that can be appended with update and finalized to a KMAC with finalize.

initialize :: forall a string key. (HashSHAKE a, ByteArrayAccess string, ByteArrayAccess key) => string -> key -> Context a

Initialize a new incremental KMAC context with the supplied customization string and key.

update :: (HashSHAKE a, ByteArrayAccess ba) => Context a -> ba -> Context a

Incrementally update a KMAC context.

updates :: (HashSHAKE a, ByteArrayAccess ba) => Context a -> [ba] -> Context a

Incrementally update a KMAC context with multiple inputs.

finalize :: forall a. HashSHAKE a => Context a -> KMAC a

Finalize a KMAC context and return the KMAC.