Safe Haskell	None
Language	Haskell2010

Curve.Montgomery.M511

Synopsis

module Curve.Montgomery
type PA = MAPoint M511 Fq Fr
type Fr = PrimeField 837987995621412318723376562387865382967460363787024586107722590232610251879607410804876779383055508762141059258497448934987052508775626162460930737942299
type Fq = PrimeField 6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861
data M511
_a :: Fq
_b :: Fq
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq
_y :: Fq
gA :: PA

Documentation

module Curve.Montgomery

type PA = MAPoint M511 Fq Fr Source #

Affine M511 curve point.

type Fr = PrimeField 837987995621412318723376562387865382967460363787024586107722590232610251879607410804876779383055508762141059258497448934987052508775626162460930737942299 Source #

Field of coefficients of M511 curve.

type Fq = PrimeField 6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503041861 Source #

Field of points of M511 curve.

data M511 Source #

M511 curve.

Instances

MACurve M511 Fq Fr Source #	Affine M511 curve is a Montgomery affine curve.
Instance details Defined in Curve.Montgomery.M511 Methods gA_ :: MAPoint M511 Fq Fr Source #
Curve Montgomery c M511 Fq Fr => MCurve c M511 Fq Fr Source #	M511 curve is a Montgomery curve.
Instance details Defined in 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 -> Integer Source # q_ :: MPoint c M511 Fq Fr -> Integer Source # r_ :: MPoint c M511 Fq Fr -> Integer Source # x_ :: MPoint c M511 Fq Fr -> Fq Source # y_ :: MPoint c M511 Fq Fr -> Fq Source #

_a :: Fq Source #

Coefficient A of M511 curve.

_b :: Fq Source #

Coefficient B of M511 curve.

_h :: Integer Source #

Cofactor of M511 curve.

_q :: Integer Source #

Characteristic of M511 curve.

_r :: Integer 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.