secp256k1

commit 9c644cad0319f18b55c5e5c51e27fe46e713556c
parent 45e61f28b444664fda12222b2e32b54901907194
Author: Jared Tobin <jared@jtobin.io>
Date:   Sat,  1 Nov 2025 07:49:38 +0400

lib: address misc formatting nits

Diffstat:
M
flake.nix
 | 
1
+
M
lib/Crypto/Curve/Secp256k1.hs
 | 
5
++---

2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/flake.nix b/flake.nix
@@ -19,6 +19,7 @@
       ref  = "master";
       inputs.ppad-nixpkgs.follows = "ppad-nixpkgs";
     };
+    # transitive dependency via ppad-hmac-drbg
     ppad-sha512 = {
       type = "git";
       url  = "git://git.ppad.tech/sha512.git";
diff --git a/lib/Crypto/Curve/Secp256k1.hs b/lib/Crypto/Curve/Secp256k1.hs
@@ -915,7 +915,6 @@ _verify_schnorr _mul m (affine -> Affine x_p _) sig
       guard (dif /= _CURVE_ZERO)
       let Affine x_R y_R = affine dif
       guard $ not (I.integerTestBit y_R 0 || x_R /= r)
-      pure ()
 {-# INLINE _verify_schnorr #-}
 
 -- hardcoded tag of BIP0340/aux
@@ -1244,8 +1243,8 @@ _verify_ecdsa_unrestricted _mul (SHA256.hash -> h) p (ECDSA r s) = M.isJust $ do
 --   >>> secret_as_computed_by_alice == secret_as_computed_by_bob
 --   True
 ecdh
-  :: Projective    -- ^ public key
-  -> Integer       -- ^ secret key
+  :: Projective          -- ^ public key
+  -> Integer             -- ^ secret key
   -> Maybe BS.ByteString -- ^ shared secret
 ecdh pub _SECRET = do
   pt <- mul pub _SECRET