Safe Haskell	None
Language	Haskell2010

Curve.Montgomery.Curve448

Synopsis

module Curve.Montgomery
type PA = MAPoint Curve448 Fq Fr
type Fr = PrimeField 181709681073901722637330951972001133588410340171829515070372549795146003961539585716195755291692375963310293709091662304773755859649779
type Fq = PrimeField 726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439
data Curve448
_a :: Fq
_b :: Fq
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq
_y :: Fq
gA :: PA

Documentation

module Curve.Montgomery

type PA = MAPoint Curve448 Fq Fr Source #

Affine Curve448 curve point.

type Fr = PrimeField 181709681073901722637330951972001133588410340171829515070372549795146003961539585716195755291692375963310293709091662304773755859649779 Source #

Field of coefficients of Curve448 curve.

type Fq = PrimeField 726838724295606890549323807888004534353641360687318060281490199180612328166730772686396383698676545930088884461843637361053498018365439 Source #

Field of points of Curve448 curve.

data Curve448 Source #

Curve448 curve.

Instances

MACurve Curve448 Fq Fr Source #	Affine Curve448 curve is a Montgomery affine curve.
Instance details Defined in Curve.Montgomery.Curve448 Methods gA_ :: MAPoint Curve448 Fq Fr Source #
Curve Montgomery c Curve448 Fq Fr => MCurve c Curve448 Fq Fr Source #	Curve448 curve is a Montgomery curve.
Instance details Defined in Curve.Montgomery.Curve448 Methods a_ :: MPoint c Curve448 Fq Fr -> Fq Source # b_ :: MPoint c Curve448 Fq Fr -> Fq Source # h_ :: MPoint c Curve448 Fq Fr -> Integer Source # q_ :: MPoint c Curve448 Fq Fr -> Integer Source # r_ :: MPoint c Curve448 Fq Fr -> Integer Source # x_ :: MPoint c Curve448 Fq Fr -> Fq Source # y_ :: MPoint c Curve448 Fq Fr -> Fq Source #

_a :: Fq Source #

Coefficient A of Curve448 curve.

_b :: Fq Source #

Coefficient B of Curve448 curve.

_h :: Integer Source #

Cofactor of Curve448 curve.

_q :: Integer Source #

Characteristic of Curve448 curve.

_r :: Integer Source #

Order of Curve448 curve.

_x :: Fq Source #

Coordinate X of Curve448 curve.

_y :: Fq Source #

Coordinate Y of Curve448 curve.

gA :: PA Source #

Generator of affine Curve448 curve.