Safe Haskell	None
Language	Haskell2010

Data.Curve.Montgomery.M511

Contents

M511 curve

Synopsis

module Data.Curve.Montgomery
type PA = MAPoint M511 Fq Fr
type R = 837987995621412318723376562387865382967460363787024586107722590232610251879607410804876779383055508762141059258497448934987052508775626162460930737942299
type Fr = Prime R
type Q = 6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861
type Fq = Prime Q
data M511
_a :: Fq
_b :: Fq
_h :: Natural
_q :: Natural
_r :: Natural
_x :: Fq
_y :: Fq
gA :: PA

Documentation

module Data.Curve.Montgomery

M511 curve

type PA = MAPoint M511 Fq Fr Source #

Affine M511 curve point.

type R = 837987995621412318723376562387865382967460363787024586107722590232610251879607410804876779383055508762141059258497448934987052508775626162460930737942299 Source #

type Fr = Prime R Source #

Field of coefficients of M511 curve.

type Q = 6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 Source #

type Fq = Prime Q Source #

Field of points of M511 curve.

data M511 Source #

M511 curve.

Instances

MACurve M511 Fq Fr Source #
Instance details Defined in Data.Curve.Montgomery.M511 Methods gA_ :: MAPoint M511 Fq Fr Source #
Curve Montgomery c M511 Fq Fr => MCurve c M511 Fq Fr Source #
Instance details Defined in Data.Curve.Montgomery.M511 Methods a_ :: MPoint c M511 Fq Fr -> Fq Source # b_ :: MPoint c M511 Fq Fr -> Fq Source # h_ :: MPoint c M511 Fq Fr -> Natural Source # q_ :: MPoint c M511 Fq Fr -> Natural Source # r_ :: MPoint c M511 Fq Fr -> Natural Source #

_a :: Fq Source #

Coefficient A of M511 curve.

_b :: Fq Source #

Coefficient B of M511 curve.

_h :: Natural Source #

Cofactor of M511 curve.

_q :: Natural Source #

Characteristic of M511 curve.

_r :: Natural Source #

Order of M511 curve.

_x :: Fq Source #

Coordinate X of M511 curve.

_y :: Fq Source #

Coordinate Y of M511 curve.

gA :: PA Source #

Generator of affine M511 curve.