Test for Ed25519 signature verification

2017-01-01 13:41:25 +01:00 · 2017-01-01 13:41:25 +01:00 · 51b36f77b8
commit 51b36f77b8
parent b3b2e86b53
1 changed files with 1 additions and 0 deletions
--- a/tests/KAT_Ed25519.hs
+++ b/tests/KAT_Ed25519.hs
@ -25,6 +25,7 @@ testVec s vec =
    [ testCase (s ++ " gen publickey") (pub @=? Ed25519.toPublic sec)
    , testCase (s ++ " gen secretkey") (Ed25519.generateSecretKey *> pure ())
    , testCase (s ++ " gen signature") (sig @=? Ed25519.sign sec pub (vecMsg vec))
+    , testCase (s ++ " verify sig") (True @=? Ed25519.verify pub (vecMsg vec) sig)
    ]
  where
        !sig = throwCryptoError $ Ed25519.signature (vecSig vec)