Crypto.Curve

Definitions

interface Point : Type -> Type

Parameters: p
Methods:

to_affine : p -> (Integer, Integer)

generator : p

infinity : p

bits : Nat

modulus : Integer

order : Integer

point_add : p -> p -> p

mul : Integer -> p -> p

encode : p -> List Bits8

decode : List Bits8 -> Maybe p

to_affine : Point p => p -> (Integer, Integer)

Visibility: public export

generator : Point p => p

Visibility: public export

infinity : Point p => p

Visibility: public export

bits : Point p => Nat

Visibility: public export

modulus : Point p => Integer

Visibility: public export

order : Point p => Integer

Visibility: public export

point_add : Point p => p -> p -> p

Visibility: public export

mul : Point p => Integer -> p -> p

Visibility: public export

encode : Point p => p -> List Bits8

Visibility: public export

decode : Point p => List Bits8 -> Maybe p

Visibility: public export

data ECDSASignature : Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkSignature : Point p => p -> (Integer, Integer) -> ECDSASignature p

ecdsa_sign : (Point p, MonadRandom m) => Integer -> Integer -> m (ECDSASignature p)

Visibility: public export

ecdsa_verify : Integer -> ECDSASignature p -> Bool

Visibility: public export