secp256k1

commit 409df42762d06c0fed4307919e9197ffb787bdb2
parent 5cfcc8cf9e16e6792dd16598ed324d390e4fe50a
Author: Jared Tobin <jared@jtobin.io>
Date:   Mon, 14 Oct 2024 15:11:36 +0400

test: qualify ecdsa

Diffstat:
M
test/Noble.hs
 | 
2
+-
M
test/Wycheproof.hs
 | 
4
++--

2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/test/Noble.hs b/test/Noble.hs
@@ -62,7 +62,7 @@ execute_invalid_verify (label, InvalidVerifyTest {..}) =
       Nothing -> assertBool "no parse" True
       Just pub -> do
         let sig = parse_compact ivv_signature
-            ver = verify ivv_m pub sig
+            ver = verify_ecdsa ivv_m pub sig
         assertBool mempty (not ver)
 
 fi :: (Integral a, Num b) => a -> b
diff --git a/test/Wycheproof.hs b/test/Wycheproof.hs
@@ -45,8 +45,8 @@ execute ty pub EcdsaVerifyTest {..} = testCase report $ do
       Left _  -> assertBool mempty (t_result == "invalid")
       Right s -> do
         let ver = case ty of
-              LowS -> verify msg pub s
-              Unrestricted -> verify_unrestricted msg pub s
+              LowS -> verify_ecdsa msg pub s
+              Unrestricted -> verify_ecdsa_unrestricted msg pub s
         if   t_result == "invalid"
         then assertBool mempty (not ver)
         else assertBool mempty ver