haskell/cryptonite
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

check for at least one byte and at most 256 or 512 (blake2s or blake2b)

Browse Source
This commit is contained in:
Nicolas DI PRIMA 2017-03-13 18:53:07 +00:00
parent f0286281fb
commit 8b6bd1ed5e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Crypto/Hash/Blake2.hs
View File

@ -60,7 +60,7 @@ import Crypto.Internal.Nat
data Blake2s (bitlen :: Nat) = Blake2s
deriving (Show, Typeable)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256)
=> HashAlgorithm (Blake2s bitlen)
where
hashBlockSize _ = 64
@ -92,7 +92,7 @@ foreign import ccall unsafe "cryptonite_blake2s_finalize"
data Blake2b (bitlen :: Nat) = Blake2b
deriving (Show, Typeable)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512)
=> HashAlgorithm (Blake2b bitlen)
where
hashBlockSize _ = 128
@ -112,7 +112,7 @@ foreign import ccall unsafe "cryptonite_blake2b_finalize"
data Blake2sp (bitlen :: Nat) = Blake2sp
deriving (Show, Typeable)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 256)
=> HashAlgorithm (Blake2sp bitlen)
where
hashBlockSize _ = 64
@ -132,7 +132,7 @@ foreign import ccall unsafe "cryptonite_blake2sp_finalize"
data Blake2bp (bitlen :: Nat) = Blake2bp
deriving (Show, Typeable)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen)
instance (IsDivisibleBy8 bitlen, KnownNat bitlen, IsAtLeast bitlen 8, IsAtMost bitlen 512)
=> HashAlgorithm (Blake2bp bitlen)
where
hashBlockSize _ = 128