Codec.Encryption.ECC.Base

ECC Base algorithms & point formats

Documentation

type ECInt = Integer

this may change in the future if the need arises

class ECP a where

class of all Elliptic Curve Points

Methods

inf :: a

function returning the appropriate INF in the specific ECP-Format, for generic higher-level-algorithms

getx :: a -> EC -> ECInt

generic getters

gety :: a -> EC -> ECInt

generic getters

pdouble :: a -> EC -> a

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

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

add 2 elliptic points

Instances

ECP EPmj

ECP EPj

ECP EPp

ECP EPa

data EC

class of all Elliptic Curves

Constructors

EC (ECInt, ECInt, ECInt)

Instances

Eq EC

Show EC

modinv :: ECInt -> ECInt -> ECInt

computing the modular inverse

pmul :: ECP a => a -> ECInt -> EC -> a

this is a generic handle for Point Multiplication. The implementation will likely change.

ison :: ECP a => a -> EC -> Bool

generic verify, if generic ECP is on EC via getx and gety

data EPa

Elliptic Point Affine coordinates

Constructors

EPa (ECInt, ECInt)

Infa

Instances

Eq EPa

Show EPa

ECP EPa

data EPp

Elliptic Point Projective coordinates

Constructors

EPp (ECInt, ECInt, ECInt)

Infp

Instances

Eq EPp

Show EPp

ECP EPp

data EPj

Elliptic Point Jacobian coordinates

Constructors

EPj (ECInt, ECInt, ECInt)

Infj

Instances

Eq EPj

Show EPj

ECP EPj

data EPmj

Elliptic Point Modified Jacobian coordinates

Constructors

EPmj (ECInt, ECInt, ECInt, ECInt)

Infmj

Instances

Eq EPmj

Show EPmj

ECP EPmj