fixed

Pure Haskell large fixed-width integers and Montgomery arithmetic.
git clone git://git.ppad.tech/fixed.git
Log | Files | Refs | README | LICENSE

commit 150b356c3e9c8d8cb8792ebe4b83db5ed3b7c925
parent 1ed06104158a825aeee9ae94a30c499f24cea862
Author: Jared Tobin <jared@jtobin.io>
Date:   Wed, 24 Dec 2025 08:02:26 -0330

lib: no need for local magichash

Diffstat:
Mlib/Numeric/Montgomery/Secp256k1/Curve.hs | 4++--
Mlib/Numeric/Montgomery/Secp256k1/Scalar.hs | 6+++---
2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/lib/Numeric/Montgomery/Secp256k1/Curve.hs b/lib/Numeric/Montgomery/Secp256k1/Curve.hs @@ -1527,7 +1527,7 @@ sqrt# a = -- 1024 exp :: Montgomery -> Wider -> Montgomery exp (Montgomery b) (Wider e) = - let !one# = (# Limb 0x1000003D1##, Limb 0##, Limb 0##, Limb 0## #) + let !o = (# Limb 0x1000003D1##, Limb 0##, Limb 0##, Limb 0## #) loop !r !_ !_ 0 = r loop !r !m !ex !n = let !(# ne, bit #) = WW.shr1_c# ex @@ -1535,7 +1535,7 @@ exp (Montgomery b) (Wider e) = !nr = select# r candidate bit !nm = sqr# m in loop nr nm ne (n - 1) - in Montgomery (loop one# b e (256 :: Word)) + in Montgomery (loop o b e (256 :: Word)) odd# :: (# Limb, Limb, Limb, Limb #) -> C.Choice odd# = WW.odd# diff --git a/lib/Numeric/Montgomery/Secp256k1/Scalar.hs b/lib/Numeric/Montgomery/Secp256k1/Scalar.hs @@ -951,8 +951,8 @@ inv (Montgomery w) = Montgomery (inv# w) -- 1024 exp :: Montgomery -> Wider -> Montgomery exp (Montgomery b) (Wider e) = - let !one# = (# Limb 0x402DA1732FC9BEBF##, Limb 0x4551231950B75FC4## - , Limb 0x0000000000000001##, Limb 0x0000000000000000## #) + let !o = (# Limb 0x402DA1732FC9BEBF##, Limb 0x4551231950B75FC4## + , Limb 0x0000000000000001##, Limb 0x0000000000000000## #) loop !r !_ !_ 0 = r loop !r !m !ex !n = let !(# ne, bit #) = WW.shr1_c# ex @@ -960,7 +960,7 @@ exp (Montgomery b) (Wider e) = !nr = select# r candidate bit !nm = sqr# m in loop nr nm ne (n - 1) - in Montgomery (loop one# b e (256 :: Word)) + in Montgomery (loop o b e (256 :: Word)) odd# :: (# Limb, Limb, Limb, Limb #) -> C.Choice odd# = WW.odd#