From 416e7c2ef0ca080a98e9ea2c8af9e5965c1c3986 Mon Sep 17 00:00:00 2001 From: Jonathan Lange Date: Sun, 14 Jan 2018 14:30:24 +0000 Subject: [PATCH] Remove unproven shortcut from `safeScalarMultiply` --- src/Crypto/Spake2/Groups/Ed25519.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Crypto/Spake2/Groups/Ed25519.hs b/src/Crypto/Spake2/Groups/Ed25519.hs index a1b6049..93ae6e9 100644 --- a/src/Crypto/Spake2/Groups/Ed25519.hs +++ b/src/Crypto/Spake2/Groups/Ed25519.hs @@ -301,7 +301,6 @@ safeScalarMultiply n = scalarMultiplyExtendedPoint addExtendedPoints n scalarMultiplyExtendedPoint :: (ExtendedPoint a -> ExtendedPoint a -> ExtendedPoint a) -> Integer -> ExtendedPoint a -> ExtendedPoint a scalarMultiplyExtendedPoint _ 0 _ = extendedZero scalarMultiplyExtendedPoint add n x - | n >= l = scalarMultiplyExtendedPoint add (n `mod` l) x | even n = doubleExtendedPoint (scalarMultiplyExtendedPoint add (n `div` 2) x) | n == 1 = x | n <= 0 = panic $ "Unexpected negative multiplier: " <> show n