Modulecrypto-api-tests-0.3Haskell98

Test.Crypto

Basic tests for some common cryptographic algorithms Most user only need to run the {make,run}Tests functions:

        runTests (makeMD5Tests (undefined :: MD5Digest))

       runTests =<< makeAESTests (undefined :: AESKey)

TODO: More KATs are needed - particularly ones for non-AES, SHA, or MD5 algorithms.

4 values

Packagecrypto-api-tests-0.3
Exports4
LanguageHaskell98
LicenceBSD-3-Clause
SourceCrypto.hs

Block Cipher KATs

1 declaration

valuemakeBlockCipherPropTests :: BlockCipher k => k -> [Test]

Build test groups for encrypt/decrypt identity and equality of operations on strict and lazy ByteStrings.

Admittedly, these tests conflate testing the algorithm in question and testing the mode implementation in 'crypto-api', but more testing isn't exactly a bad thing.

Hash property tests

1 declaration

valuemakeHashPropTests :: Hash c d => d -> Test

Construct a test group to check common hash properties. Properties include:

Operating on lazy bytestrings obtains the same result as on strict bytestrings.
The length of the digest (instance definition) matches the Serialize definition.
encode . decode == id
Hash block length is byte aligned (the 'crypto-api' operations require this!)
The digest (output) length is byte aligned (also needed by 'crypto-api')

Utils

1 declaration

valuehexStringToBS :: String -> ByteString

Convert hex strings to bytestrings, for example:

"3adf91c0" ==> B.pack [0x3a, 0xdf, 0x91, 0xc0]

Strings of odd length will cause an exception as will non-hex characters such as '0x'.

Re-exported

1 declaration

valuedefaultMain :: [Test] -> IO ()

Orphan instances

2 instances

Arbitrary ByteString
Arbitrary ByteString