Test.Hash.SHA3

Details can be found here:

https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Algorithm-Validation-Program/documents/sha3/sha3vs.pdf

Response files are available here:

https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Algorithm-Validation-Program/documents/sha3/sha-3bytetestvectors.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

sha3_224LongMsg :: MsgFile

SHA3_224LongMsg.rsp

sha3_256LongMsg :: MsgFile

SHA3_256LongMsg.rsp

sha3_384LongMsg :: MsgFile

SHA3_384LongMsg.rsp

sha3_512LongMsg :: MsgFile

SHA3_512LongMsg.rsp

Selected Short Messages Test for Byte-Oriented Implementations

sha3_224ShortMsg :: MsgFile

SHA3_224ShortMsg.rsp

sha3_256ShortMsg :: MsgFile

SHA3_256ShortMsg.rsp

sha3_384ShortMsg :: MsgFile

SHA3_384ShortMsg.rsp

sha3_512ShortMsg :: MsgFile

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

sha3_224Monte :: MonteFile

Monte Carlo SHA-3 Hash Function Tests for Hashing Byte-Oriented Messages

SHA3_224Monte.rsp

sha3_256Monte :: MonteFile

SHA3_256Monte.rsp

sha3_384Monte :: MonteFile

SHA3_384Monte.rsp

sha3_512Monte :: MonteFile

SHA3_512Monte.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 SHA3 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 SHA3 implementation, assert the correct result for each test vector in a MonteFile.

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

The test algorithm is describe in cf. https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Algorithm-Validation-Program/documents/sha3/sha3vs.pdf The pseudo code is as follows:

INPUT: A random Seed n bits long
{
    MD0 = Seed;
    for (j=0; j<100; j++) {
        for (i=1; i<1001; i++) {
            Msgi = MDi-1;
            MDi = SHA3(Msgi);
        }
        MD0 = MD1000;
        OUTPUT: MD0
    }
}

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