Test.Hash.SHAKE

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/shakebytetestvectors.zip

Selected Short Messages Test for Byte-Oriented Implementations

data ShakeMsgFile

Constructors

ShakeMsgFile

Fields

• _shakeMsgDescription :: !Text
• _shakeMsgOutputLen :: !Natural
• _shakeMsgVectors :: !(Vector MsgVector)

Instances

Show ShakeMsgFile

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> ShakeMsgFile -> ShowS

show :: ShakeMsgFile -> String

showList :: [ShakeMsgFile] -> ShowS

Eq ShakeMsgFile

Defined in Test.Hash.Internal

Methods

(==) :: ShakeMsgFile -> ShakeMsgFile -> Bool

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

Ord ShakeMsgFile

Defined in Test.Hash.Internal

Methods

compare :: ShakeMsgFile -> ShakeMsgFile -> Ordering

(<) :: ShakeMsgFile -> ShakeMsgFile -> Bool

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

(>) :: ShakeMsgFile -> ShakeMsgFile -> Bool

(>=) :: ShakeMsgFile -> ShakeMsgFile -> Bool

max :: ShakeMsgFile -> ShakeMsgFile -> ShakeMsgFile

min :: ShakeMsgFile -> ShakeMsgFile -> ShakeMsgFile

Lift ShakeMsgFile

Defined in Test.Hash.Internal

Methods

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

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

data ShakeMsgVector

Constructors

ShakeMsgVector

Fields

• _shakeMsgLen :: !Natural
• _shakeMsgMsg :: !ByteString
• _shakeMsgOutput :: !ByteString

Instances

Show ShakeMsgVector

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> ShakeMsgVector -> ShowS

show :: ShakeMsgVector -> String

showList :: [ShakeMsgVector] -> ShowS

Eq ShakeMsgVector

Defined in Test.Hash.Internal

Methods

(==) :: ShakeMsgVector -> ShakeMsgVector -> Bool

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

Ord ShakeMsgVector

Defined in Test.Hash.Internal

Methods

compare :: ShakeMsgVector -> ShakeMsgVector -> Ordering

(<) :: ShakeMsgVector -> ShakeMsgVector -> Bool

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

(>) :: ShakeMsgVector -> ShakeMsgVector -> Bool

(>=) :: ShakeMsgVector -> ShakeMsgVector -> Bool

max :: ShakeMsgVector -> ShakeMsgVector -> ShakeMsgVector

min :: ShakeMsgVector -> ShakeMsgVector -> ShakeMsgVector

Lift ShakeMsgVector

Defined in Test.Hash.Internal

Methods

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

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

shake128ShortMsg :: ShakeMsgFile

SHAKE128ShortMsg.rsp

shake256ShortMsg :: ShakeMsgFile

SHAKE256ShortMsg.rsp

Selected Long Messages Test for Byte-Oriented Implementations

shake128LongMsg :: ShakeMsgFile

SHAKE128LongMsg.rsp

shake256LongMsg :: ShakeMsgFile

SHAKE256LongMsg.rsp

Pseudorandomly Generated Messages (Monte Carlo) Tests

data ShakeMonteFile

Constructors

ShakeMonteFile

Fields

• _shakeMonteDescription :: !Text
• _shakeMonteMinOutputBits :: !Natural
• _shakeMonteMaxOutputBits :: !Natural
• _shakeMonteMsg :: !ByteString
• _shakeMonteVectors :: !(Vector ShakeMonteVector)

Instances

Show ShakeMonteFile

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> ShakeMonteFile -> ShowS

show :: ShakeMonteFile -> String

showList :: [ShakeMonteFile] -> ShowS

Eq ShakeMonteFile

Defined in Test.Hash.Internal

Methods

(==) :: ShakeMonteFile -> ShakeMonteFile -> Bool

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

Ord ShakeMonteFile

Defined in Test.Hash.Internal

Methods

compare :: ShakeMonteFile -> ShakeMonteFile -> Ordering

(<) :: ShakeMonteFile -> ShakeMonteFile -> Bool

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

(>) :: ShakeMonteFile -> ShakeMonteFile -> Bool

(>=) :: ShakeMonteFile -> ShakeMonteFile -> Bool

max :: ShakeMonteFile -> ShakeMonteFile -> ShakeMonteFile

min :: ShakeMonteFile -> ShakeMonteFile -> ShakeMonteFile

Lift ShakeMonteFile

Defined in Test.Hash.Internal

Methods

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

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

data ShakeMonteVector

Constructors

ShakeMonteVector

Fields

• _shakeMonteCount :: !Natural
• _shakeMonteOutputLen :: !Natural
• _shakeMonteOutput :: !ByteString

Instances

Show ShakeMonteVector

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> ShakeMonteVector -> ShowS

show :: ShakeMonteVector -> String

showList :: [ShakeMonteVector] -> ShowS

Eq ShakeMonteVector

Defined in Test.Hash.Internal

Methods

(==) :: ShakeMonteVector -> ShakeMonteVector -> Bool

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

Ord ShakeMonteVector

Defined in Test.Hash.Internal

Methods

compare :: ShakeMonteVector -> ShakeMonteVector -> Ordering

(<) :: ShakeMonteVector -> ShakeMonteVector -> Bool

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

(>) :: ShakeMonteVector -> ShakeMonteVector -> Bool

(>=) :: ShakeMonteVector -> ShakeMonteVector -> Bool

max :: ShakeMonteVector -> ShakeMonteVector -> ShakeMonteVector

min :: ShakeMonteVector -> ShakeMonteVector -> ShakeMonteVector

Lift ShakeMonteVector

Defined in Test.Hash.Internal

Methods

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

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

shake128Monte :: ShakeMonteFile

SHAKE128Monte.rsp

shake256Monte :: ShakeMonteFile

SHAKE256Monte.rsp

Variable Output Tests for Byte-Oriented Implementations

data ShakeVarOutFile

Constructors

ShakeVarOutFile

Fields

• _shakeVarOutDescription :: !Text
• _shakeVarOutInputLength :: !Natural
• _shakeVarOutMinOutputBits :: !Natural
• _shakeVarOutMaxOutputBits :: !Natural
• _shakeVarOutVectors :: !(Vector ShakeVarOutVector)

Instances

Show ShakeVarOutFile

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> ShakeVarOutFile -> ShowS

show :: ShakeVarOutFile -> String

showList :: [ShakeVarOutFile] -> ShowS

Eq ShakeVarOutFile

Defined in Test.Hash.Internal

Methods

(==) :: ShakeVarOutFile -> ShakeVarOutFile -> Bool

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

Ord ShakeVarOutFile

Defined in Test.Hash.Internal

Methods

compare :: ShakeVarOutFile -> ShakeVarOutFile -> Ordering

(<) :: ShakeVarOutFile -> ShakeVarOutFile -> Bool

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

(>) :: ShakeVarOutFile -> ShakeVarOutFile -> Bool

(>=) :: ShakeVarOutFile -> ShakeVarOutFile -> Bool

max :: ShakeVarOutFile -> ShakeVarOutFile -> ShakeVarOutFile

min :: ShakeVarOutFile -> ShakeVarOutFile -> ShakeVarOutFile

Lift ShakeVarOutFile

Defined in Test.Hash.Internal

Methods

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

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

data ShakeVarOutVector

Constructors

ShakeVarOutVector

Fields

• _shakeVarOutCount :: !Natural
• _shakeVarOutOutputLen :: !Natural
• _shakeVarOutMsg :: !ByteString
• _shakeVarOutOutput :: !ByteString

Instances

Show ShakeVarOutVector

Defined in Test.Hash.Internal

Methods

showsPrec :: Int -> ShakeVarOutVector -> ShowS

show :: ShakeVarOutVector -> String

showList :: [ShakeVarOutVector] -> ShowS

Eq ShakeVarOutVector

Defined in Test.Hash.Internal

Methods

(==) :: ShakeVarOutVector -> ShakeVarOutVector -> Bool

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

Ord ShakeVarOutVector

Defined in Test.Hash.Internal

Methods

compare :: ShakeVarOutVector -> ShakeVarOutVector -> Ordering

(<) :: ShakeVarOutVector -> ShakeVarOutVector -> Bool

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

(>) :: ShakeVarOutVector -> ShakeVarOutVector -> Bool

(>=) :: ShakeVarOutVector -> ShakeVarOutVector -> Bool

max :: ShakeVarOutVector -> ShakeVarOutVector -> ShakeVarOutVector

min :: ShakeVarOutVector -> ShakeVarOutVector -> ShakeVarOutVector

Lift ShakeVarOutVector

Defined in Test.Hash.Internal

Methods

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

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

shake128VarOut :: ShakeVarOutFile

SHAKE128VarOut.rsp

shake256VarOut :: ShakeVarOutFile

SHAKE256VarOut.rsp