From 51b36f77b8f569f549297b766632729e6709a5ad Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Olivier=20Ch=C3=A9ron?= Date: Sun, 1 Jan 2017 13:41:25 +0100 Subject: [PATCH] Test for Ed25519 signature verification --- tests/KAT_Ed25519.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/KAT_Ed25519.hs b/tests/KAT_Ed25519.hs index 62132f1..286d137 100644 --- 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)