Crypto.ECC.Weierstrass.Internal

quasi-safe re-exports

Documentation

type FPrime = Integer

a simple wrapper to ease transition

data EC a

all Elliptic Curves, the parameters being the BitLength L, A, B and P

Instances

Show (EC a)

Defined in Crypto.ECC.Weierstrass.Internal.Curvemath

Methods

showsPrec :: Int -> EC a -> ShowS

show :: EC a -> String

showList :: [EC a] -> ShowS

Eq (EC a)

Defined in Crypto.ECC.Weierstrass.Internal.Curvemath

Methods

(==) :: EC a -> EC a -> Bool

(/=) :: EC a -> EC a -> Bool

data ECPF a

data of Elliptic Curve Points

Instances

Show (ECPF a)

Defined in Crypto.ECC.Weierstrass.Internal.Curvemath

Methods

showsPrec :: Int -> ECPF a -> ShowS

show :: ECPF a -> String

showList :: [ECPF a] -> ShowS

Eq (ECPF a)

Defined in Crypto.ECC.Weierstrass.Internal.Curvemath

Methods

(==) :: ECPF a -> ECPF a -> Bool

(/=) :: ECPF a -> ECPF a -> Bool

affine :: EC a -> ECPF a -> (Integer, Integer)

generic getter, returning the affine x and y-value

export :: EC a -> ECPF a -> (Integer, Integer)

translate point in internal format to a pair of Integers in affine x and y coordinate | this is intended as interface to other libraries

padd :: EC a -> ECPF a -> ECPF a -> ECPF a

add 2 elliptic points

pdouble :: EC a -> ECPF a -> ECPF a

add an elliptic point onto itself, base for padd a a

pmul :: EC a -> ECPF a -> FPrime -> ECPF a

Point Multiplication.

ison :: EC a -> ECPF a -> Bool

"generic" verify, if generic ECP is on EC via getxA and getyA

isinf :: EC a -> ECPF a -> Bool

internal function, codifies point at infinity, is used in comparisons