haskell/cryptonite
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove tests add-n-1 and sub-n-1

Browse Source 
Operation with value close to the curve order is now tested in other
tests.  This tests substraction with 0 instead.
This commit is contained in:
Olivier Chéron 2019-03-25 06:47:21 +01:00
parent 399fc891da
commit 15f117d9c3
1 changed files with 4 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
tests/KAT_PubKey/P256.hs
View File

@ -79,11 +79,6 @@ tests = testGroup "P256"
let v = unP256 r `mod` curveN let v = unP256 r `mod` curveN
v' = P256.scalarAdd (unP256Scalar r) P256.scalarZero v' = P256.scalarAdd (unP256Scalar r) P256.scalarZero
in v `propertyEq` p256ScalarToInteger v' in v `propertyEq` p256ScalarToInteger v'
, testProperty "add-n-1" $ \r ->
let nm1 = throwCryptoError $ P256.scalarFromInteger (curveN - 1)
v = unP256 r `mod` curveN
v' = P256.scalarAdd (unP256Scalar r) nm1
in (((curveN - 1) + v) `mod` curveN) `propertyEq` p256ScalarToInteger v'
, testProperty "sub" $ \r1 r2 -> , testProperty "sub" $ \r1 r2 ->
let r = (unP256 r1 - unP256 r2) `mod` curveN let r = (unP256 r1 - unP256 r2) `mod` curveN
r' = P256.scalarSub (unP256Scalar r1) (unP256Scalar r2) r' = P256.scalarSub (unP256Scalar r1) (unP256Scalar r2)
@ -93,11 +88,10 @@ tests = testGroup "P256"
[ eqTest "r1-r2" r (p256ScalarToInteger r') [ eqTest "r1-r2" r (p256ScalarToInteger r')
, eqTest "r2-r1" v (p256ScalarToInteger v') , eqTest "r2-r1" v (p256ScalarToInteger v')
] ]
, testProperty "sub-n-1" $ \r -> , testProperty "sub0" $ \r ->
let nm1 = throwCryptoError $ P256.scalarFromInteger (curveN - 1) let v = unP256 r `mod` curveN
v = unP256 r v' = P256.scalarSub (unP256Scalar r) P256.scalarZero
v' = P256.scalarSub (unP256Scalar r) nm1 in v `propertyEq` p256ScalarToInteger v'
in ((v - (curveN - 1)) `mod` curveN) `propertyEq` p256ScalarToInteger v'
, testProperty "inv" $ \r' -> , testProperty "inv" $ \r' ->
let inv = inverseCoprimes (unP256 r') curveN let inv = inverseCoprimes (unP256 r') curveN
inv' = P256.scalarInv (unP256Scalar r') inv' = P256.scalarInv (unP256Scalar r')