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

Export and test ECC.pointNegate

Browse Source
This commit is contained in:
Olivier Chéron 2017-11-10 13:10:20 +01:00
parent c55dd4d27f
commit 4f7d742461
2 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Crypto/PubKey/ECC/Prim.hs
View File

@ -4,6 +4,7 @@
module Crypto.PubKey.ECC.Prim module Crypto.PubKey.ECC.Prim
( scalarGenerate ( scalarGenerate
, pointAdd , pointAdd
, pointNegate
, pointDouble , pointDouble
, pointBaseMul , pointBaseMul
, pointMul , pointMul

7
tests/KAT_PubKey/ECC.hs
View File

@ -155,6 +155,13 @@ eccTests = testGroup "ECC"
p2 = ECC.pointMul aCurve r2 curveGen p2 = ECC.pointMul aCurve r2 curveGen
pR = ECC.pointMul aCurve ((r1 + r2) `mod` curveN) curveGen pR = ECC.pointMul aCurve ((r1 + r2) `mod` curveN) curveGen
in pR `propertyEq` ECC.pointAdd aCurve p1 p2 in pR `propertyEq` ECC.pointAdd aCurve p1 p2
, testProperty "point-negate-add" $ \aCurve -> do
p <- arbitraryPoint aCurve
let o = ECC.pointAdd aCurve p (ECC.pointNegate aCurve p)
return $ ECC.PointO `propertyEq` o
, testProperty "point-negate-negate" $ \aCurve -> do
p <- arbitraryPoint aCurve
return $ p `propertyEq` ECC.pointNegate aCurve (ECC.pointNegate aCurve p)
, localOption (QuickCheckTests 20) $ , localOption (QuickCheckTests 20) $
testProperty "point-mul-mul" $ \aCurve (QAInteger n1) (QAInteger n2) -> do testProperty "point-mul-mul" $ \aCurve (QAInteger n1) (QAInteger n2) -> do
p <- arbitraryPoint aCurve p <- arbitraryPoint aCurve