Test.Hash.SHA

Details can be found here:

https://csrc.nist.gov/csrc/media/projects/cryptographic-algorithm-validation-program/documents/shs/shavs.pdf.

Response files are available here:

https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Algorithm-Validation-Program/documents/shs/shabytetestvectors.zip

Selected Long Messages Test for Byte-Oriented Implementations

data MsgFile

Constructors

MsgFile

Fields

• _msgDescription :: !Text
• _msgL :: !Natural
• _msgVectors :: !(Vector MsgVector)

Instances

Show MsgFile

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> MsgFile -> ShowS

show :: MsgFile -> String

showList :: [MsgFile] -> ShowS

Eq MsgFile

Defined in Test.Hash.Internal

Methods

(==) :: MsgFile -> MsgFile -> Bool

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

Ord MsgFile

Defined in Test.Hash.Internal

Methods

compare :: MsgFile -> MsgFile -> Ordering

(<) :: MsgFile -> MsgFile -> Bool

(<=) :: MsgFile -> MsgFile -> Bool

(>) :: MsgFile -> MsgFile -> Bool

(>=) :: MsgFile -> MsgFile -> Bool

max :: MsgFile -> MsgFile -> MsgFile

min :: MsgFile -> MsgFile -> MsgFile

Lift MsgFile

Defined in Test.Hash.Internal

Methods

lift :: Quote m => MsgFile -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => MsgFile -> Code m MsgFile

data MsgVector

Constructors

MsgVector

Fields

• _msgLen :: !Natural
• _msgMsg :: !ByteString
• _msgMd :: !ByteString

Instances

Show MsgVector

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> MsgVector -> ShowS

show :: MsgVector -> String

showList :: [MsgVector] -> ShowS

Eq MsgVector

Defined in Test.Hash.Internal

Methods

(==) :: MsgVector -> MsgVector -> Bool

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

Ord MsgVector

Defined in Test.Hash.Internal

Methods

compare :: MsgVector -> MsgVector -> Ordering

(<) :: MsgVector -> MsgVector -> Bool

(<=) :: MsgVector -> MsgVector -> Bool

(>) :: MsgVector -> MsgVector -> Bool

(>=) :: MsgVector -> MsgVector -> Bool

max :: MsgVector -> MsgVector -> MsgVector

min :: MsgVector -> MsgVector -> MsgVector

Lift MsgVector

Defined in Test.Hash.Internal

Methods

lift :: Quote m => MsgVector -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => MsgVector -> Code m MsgVector

sha1LongMsg :: MsgFile

SHA1LongMsg.rsp

sha224LongMsg :: MsgFile

SHA224LongMsg.rsp

sha256LongMsg :: MsgFile

SHA256LongMsg.rsp

sha384LongMsg :: MsgFile

SHA384LongMsg.rsp

sha512LongMsg :: MsgFile

SHA512LongMsg.rsp

sha512_224LongMsg :: MsgFile

SHA512_224LongMsg.rsp

sha512_256LongMsg :: MsgFile

SHA512_256LongMsg.rsp

Selected Short Messages Test for Byte-Oriented Implementations

sha1ShortMsg :: MsgFile

SHA1ShortMsg.rsp

sha224ShortMsg :: MsgFile

SHA224ShortMsg.rsp

sha256ShortMsg :: MsgFile

SHA256ShortMsg.rsp

sha384ShortMsg :: MsgFile

SHA384ShortMsg.rsp

sha512ShortMsg :: MsgFile

SHA512ShortMsg.rsp

sha512_224ShortMsg :: MsgFile

SHA512_224ShortMsg.rsp

sha512_256ShortMsg :: MsgFile

SHA512_256ShortMsg.rsp

The Pseudorandomly Generated Messages (Monte Carlo) Tests

data MonteFile

Constructors

MonteFile

Fields

• _monteDescription :: !Text
• _monteL :: !Natural
• _monteSeed :: !ByteString
• _monteVectors :: !(Vector MonteVector)

Instances

Show MonteFile

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> MonteFile -> ShowS

show :: MonteFile -> String

showList :: [MonteFile] -> ShowS

Eq MonteFile

Defined in Test.Hash.Internal

Methods

(==) :: MonteFile -> MonteFile -> Bool

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

Ord MonteFile

Defined in Test.Hash.Internal

Methods

compare :: MonteFile -> MonteFile -> Ordering

(<) :: MonteFile -> MonteFile -> Bool

(<=) :: MonteFile -> MonteFile -> Bool

(>) :: MonteFile -> MonteFile -> Bool

(>=) :: MonteFile -> MonteFile -> Bool

max :: MonteFile -> MonteFile -> MonteFile

min :: MonteFile -> MonteFile -> MonteFile

Lift MonteFile

Defined in Test.Hash.Internal

Methods

lift :: Quote m => MonteFile -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => MonteFile -> Code m MonteFile

data MonteVector

Constructors

MonteVector

Fields

• _monteCount :: !Natural
• _monteMd :: !ByteString

Instances

Show MonteVector

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> MonteVector -> ShowS

show :: MonteVector -> String

showList :: [MonteVector] -> ShowS

Eq MonteVector

Defined in Test.Hash.Internal

Methods

(==) :: MonteVector -> MonteVector -> Bool

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

Ord MonteVector

Defined in Test.Hash.Internal

Methods

compare :: MonteVector -> MonteVector -> Ordering

(<) :: MonteVector -> MonteVector -> Bool

(<=) :: MonteVector -> MonteVector -> Bool

(>) :: MonteVector -> MonteVector -> Bool

(>=) :: MonteVector -> MonteVector -> Bool

max :: MonteVector -> MonteVector -> MonteVector

min :: MonteVector -> MonteVector -> MonteVector

Lift MonteVector

Defined in Test.Hash.Internal

Methods

lift :: Quote m => MonteVector -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => MonteVector -> Code m MonteVector

sha1Monte :: MonteFile

SHA1Monte.rsp

sha224Monte :: MonteFile

SHA224Monte.rsp

sha256Monte :: MonteFile

SHA256Monte.rsp

sha384Monte :: MonteFile

SHA384Monte.rsp

sha512Monte :: MonteFile

SHA512Monte.rsp

sha512_224Monte :: MonteFile

SHA512_224Monte.rsp

sha512_256Monte :: MonteFile

SHA512_256Monte.rsp

Test Utils

msgTest :: (ByteString -> ByteString) -> MsgFile -> Bool

Check that all test vectors in a File are satisfied by a given hash implementation.

msgAssert

Arguments

:: Monad m

=> (String -> ByteString -> ByteString -> m ())

Function to assertion Equality. The first argument is a test label, the second argument is the actual value, and the thrid value is the expected value.

-> (ByteString -> ByteString)

Hash function

-> MsgFile

-> m ()

For a given hash implementation, assert the correct result for each test vector in a MsgFile.

The function to assert equality is usually provided by some testing framework.

monteTest :: (ByteString -> ByteString) -> MonteFile -> Bool

Test a given SHA1 or SHA2 implementation for the test vectors in a monte file. See monteAssert for details.

monteAssert

Arguments

:: Monad m

=> (String -> ByteString -> ByteString -> m ())

Function to assertion Equality. The first argument is a test label, the second argument is the actual value, and the thrid value is the expected value.

-> (ByteString -> ByteString)

Hash function

-> MonteFile

-> m ()

For a given SHA1 or SHA2 implementation, assert the correct result for each test vector in a MonteFile.

The function to assert equality is usually provided by some testing framework.

NOTE that the test algorithms for SHA (SHA1 and SHA2) and SHA3 are different.

The test algorithm is describe in cf. https://csrc.nist.gov/csrc/media/projects/cryptographic-algorithm-validation-program/documents/shs/shavs.pdf. The pseudo code is as follows:

INPUT: Seed - A random seed n bits long
{
    for (j=0; j<100; j++) {
        MD0 = MD1 = MD2 = Seed;
        for (i=3; i<1003; i++) {
            Mi = MDi-3 || MDi-2 || MDi-1;
            MDi = SHA(Mi);
        }
        MDj = Seed = MD1002;
        OUTPUT: MDj
    }
}