Crypto.Hash.SHA512

A module containing SHA-512 bindings

Incremental API

This API is based on 4 different functions, similar to the lowlevel operations of a typical hash:

• init: create a new hash context
• update: update non-destructively a new hash context with a strict bytestring
• updates: same as update, except that it takes a list of strict bytestrings
• finalize: finalize the context and returns a digest bytestring.

all those operations are completely pure, and instead of changing the context as usual in others language, it re-allocates a new context each time.

Example:

import qualified Data.ByteString
import qualified Crypto.Hash.SHA512 as SHA512

main = print digest
  where
    digest = SHA512.finalize ctx
    ctx    = foldl SHA512.update ctx0 (map Data.ByteString.pack [ [1,2,3], [4,5,6] ])
    ctx0   = SHA512.init

newtype Ctx

SHA-512 Context

The context data is exactly 208 bytes long, however the data in the context is stored in host-endianness.

The context data is made up of

• Two Word64s representing the number of bytes already feed to hash algorithm so far (lower word first),
• a 128-element Word8 buffer holding partial input-chunks, and finally
• a 8-element Word64 array holding the current work-in-progress digest-value.

Constructors

Ctx ByteString

Instances

Eq Ctx

Defined in Crypto.Hash.SHA512.FFI

Methods

(==) :: Ctx -> Ctx -> Bool

(/=) :: Ctx -> Ctx -> Bool

init :: Ctx

create a new hash context

update :: Ctx -> ByteString -> Ctx

update a context with a bytestring

updates :: Ctx -> [ByteString] -> Ctx

updates a context with multiple bytestrings

finalize :: Ctx -> ByteString

finalize the context into a digest bytestring (64 bytes)

finalizeAndLength :: Ctx -> (ByteString, Word64)

Variant of finalize also returning length of hashed content

Since: 0.11.101.0

start :: ByteString -> Ctx

hash a strict bytestring into a Ctx

Since: 0.11.101.0

startlazy :: ByteString -> Ctx

hash a lazy bytestring into a Ctx

Since: 0.11.101.0

Single Pass API

This API use the incremental API under the hood to provide the common all-in-one operations to create digests out of a ByteString and lazy ByteString.

• hash: create a digest (init + update + finalize) from a strict ByteString
• hashlazy: create a digest (init + update + finalize) from a lazy ByteString

Example:

import qualified Data.ByteString
import qualified Crypto.Hash.SHA512 as SHA512

main = print $ SHA512.hash (Data.ByteString.pack [0..255])

NOTE: The returned digest is a binary ByteString. For converting to a base16/hex encoded digest the base16-bytestring package is recommended.

hash :: ByteString -> ByteString

hash a strict bytestring into a digest bytestring (64 bytes)

hashlazy :: ByteString -> ByteString

hash a lazy bytestring into a digest bytestring (64 bytes)

hashlazyAndLength :: ByteString -> (ByteString, Word64)

Variant of hashlazy which simultaneously computes the hash and length of a lazy bytestring.

Since: 0.11.101.0

HMAC-SHA-512

RFC2104-compatible HMAC-SHA-512 digests

hmac

Arguments

:: ByteString

secret

-> ByteString

message

-> ByteString

Compute 64-byte RFC2104-compatible HMAC-SHA-512 digest for a strict bytestring message

Since: 0.11.100.0

hmaclazy

Arguments

:: ByteString

secret

-> ByteString

message

-> ByteString

Compute 64-byte RFC2104-compatible HMAC-SHA-512 digest for a lazy bytestring message

Since: 0.11.100.0

hmaclazyAndLength

Arguments

:: ByteString

secret

-> ByteString

message

-> (ByteString, Word64)

digest (64 bytes) and length of message

Variant of hmaclazy which also returns length of message

Since: 0.11.101.0