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

Use heterogeneous equality

Browse Source
This commit is contained in:
Olivier Chéron 2019-01-10 21:17:43 +01:00
parent 3de65a43a1
commit d964064d80
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Crypto/PubKey/RSA/PSS.hs
View File

@ -30,7 +30,7 @@ import Data.Bits (xor, shiftR, (.&.))
import Data.Word import Data.Word
import Crypto.Internal.ByteArray (ByteArrayAccess, ByteArray) import Crypto.Internal.ByteArray (ByteArrayAccess, ByteArray)
import qualified Crypto.Internal.ByteArray as B (convert) import qualified Crypto.Internal.ByteArray as B (convert, eq)
import Data.ByteString (ByteString) import Data.ByteString (ByteString)
import qualified Data.ByteString as B import qualified Data.ByteString as B
@ -165,7 +165,7 @@ verifyDigest params pk digest s
| B.last em /= pssTrailerField params = False | B.last em /= pssTrailerField params = False
| not (B.all (== 0) ps0) = False | not (B.all (== 0) ps0) = False
| b1 /= B.singleton 1 = False | b1 /= B.singleton 1 = False
| otherwise = h == B.convert h' | otherwise = B.eq h h'
where -- parameters where -- parameters
hashLen = hashDigestSize (pssHash params) hashLen = hashDigestSize (pssHash params)
mHash = B.convert digest mHash = B.convert digest