Add infered cipher version.

Crypto/ConstructHash/MiyaguchiPreneel.hs

@@ -10,7 +10,7 @@
 --
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 module Crypto.ConstructHash.MiyaguchiPreneel
-       ( mp
+       ( mp, mp'
        , MiyaguchiPreneel(..)
        , cipherInit'
        ) where
@@ -31,12 +31,11 @@ instance Eq (MiyaguchiPreneel a) where
 
 
 -- | Compute Miyaguchi-Preneel one way compress using the supplied block cipher.
---   Simple usage /mp (cipherInit' :: ByteString -> AES128) msg/
+mp' :: (ByteArrayAccess bin, BlockCipher cipher)
-mp :: (ByteArrayAccess bin, ByteArray ba, BlockCipher cipher)
+    => (Bytes -> cipher)       -- ^ key build function to compute Miyaguchi-Preneel. care about block-size and key-size
-   => (ba -> cipher)          -- ^ key build function to compute Miyaguchi-Preneel
+    -> bin                     -- ^ input message
-   -> bin                     -- ^ input message
+    -> MiyaguchiPreneel cipher -- ^ output tag
-   -> MiyaguchiPreneel cipher -- ^ output tag
+mp' g = MP . foldl' (step $ g) (B.replicate bsz 0) . chunks . B.convert
-mp g = MP . foldl' (step $ g . B.convert) (B.replicate bsz 0) . chunks . B.convert
   where
     bsz = blockSize ( g B.empty {- dummy to get block size -} )
     chunks msg
@@ -49,6 +48,15 @@ mp g = MP . foldl' (step $ g . B.convert) (B.replicate bsz 0) . chunks . B.conve
 cipherInit' :: (ByteArray ba, Cipher k) => ba -> k
 cipherInit' = either (error . show) id . eitherCryptoError . cipherInit
 
+-- | Compute Miyaguchi-Preneel one way compress using the infered block cipher.
+--   Only safe when KEY-SIZE equals to BLOCK-SIZE.
+--
+--   Simple usage /mp' msg :: MiyaguchiPreneel AES128/
+mp :: (ByteArrayAccess bin, BlockCipher cipher)
+   => bin                     -- ^ input message
+   -> MiyaguchiPreneel cipher -- ^ output tag
+mp = mp' cipherInit'
+
 -- | computation step of Miyaguchi-Preneel
 step :: (ByteArray ba, BlockCipher k)
      => (ba -> k)

tests/KAT_MiyaguchiPreneel.hs

@@ -12,7 +12,7 @@ import qualified Data.ByteArray as B
 
 
 runMP128 :: ByteString -> ByteString
-runMP128 s = B.convert $ mp (cipherInit' :: ByteString -> AES128) s
+runMP128 s = B.convert (mp s :: MiyaguchiPreneel AES128)
 
 hxs :: String -> ByteString
 hxs = BS.pack . rec' where