Modulecrypton-2.1.7Haskell2010

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.

classclass HashAlgorithm a => HashSHAKE a where

Type class of SHAKE algorithms.

Instances2HashSHAKE

KnownNat bitlen => HashSHAKE (SHAKE128 bitlen)Defined in crypton-2.1.7 · Crypto.Hash.SHAKE
KnownNat bitlen => HashSHAKE (SHAKE256 bitlen)Defined in crypton-2.1.7 · Crypto.Hash.SHAKE

valuekmac

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

Compute a KMAC using the supplied customization string and key.

newtypenewtype 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.

Instances3Eq, NFData, ByteArrayAccess

Incremental

5 declarations

newtypenewtype Context a

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

valueinitialize

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

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

Incrementally update a KMAC context.

valueupdates

Incrementally update a KMAC context with multiple inputs.

valuefinalize :: HashSHAKE a => Context a -> KMAC a

Finalize a KMAC context and return the KMAC.