Modulecrypton-1.0.4Haskell2010

Crypto.MAC.KeyedBlake2

Expose a MAC interface to the keyed Blake2 algorithms defined in RFC 7693.

classclass HashAlgorithm a => HashBlake2 a where

Typeclass for the Blake2 family of digest functions.

Instances4HashBlake2

(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256) => HashBlake2 (Blake2s bitlen)Defined in crypton-1.0.4 · Crypto.Hash.Blake2
(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256) => HashBlake2 (Blake2sp bitlen)Defined in crypton-1.0.4 · Crypto.Hash.Blake2
(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512) => HashBlake2 (Blake2b bitlen)Defined in crypton-1.0.4 · Crypto.Hash.Blake2
(IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512) => HashBlake2 (Blake2bp bitlen)Defined in crypton-1.0.4 · Crypto.Hash.Blake2

newtypenewtype KeyedBlake2 a

Represent a Blake2b MAC 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

Eq (KeyedBlake2 a)Defined in crypton-1.0.4 · Crypto.MAC.KeyedBlake2
NFData (KeyedBlake2 a)Defined in crypton-1.0.4 · Crypto.MAC.KeyedBlake2
ByteArrayAccess (KeyedBlake2 a)Defined in crypton-1.0.4 · Crypto.MAC.KeyedBlake2

valuekeyedBlake2

Compute a Blake2 MAC using the supplied key.

valuekeyedBlake2Lazy

Compute a Blake2 MAC using the supplied key, for a lazy input.

Incremental

5 declarations

newtypenewtype Context a

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

valueinitialize :: (HashBlake2 a, ByteArrayAccess key) => key -> Context a

Initialize a new incremental keyed Blake2 context with the supplied key.

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

Incrementally update a keyed Blake2 context.

valueupdates

Incrementally update a keyed Blake2 context with multiple inputs.

valuefinalize :: HashBlake2 a => Context a -> KeyedBlake2 a

Finalize a keyed Blake2 context and return the computed MAC.