Curve.Weierstrass.BN462

Documentation

module Curve.Weierstrass

type PP = WPPoint BN462 Fq Fr

Projective BN462 point.

type PJ = WJPoint BN462 Fq Fr

Jacobian BN462 point.

type PA = WAPoint BN462 Fq Fr

Affine BN462 curve point.

type Fr = PrimeField 6701817056313037086248947066310538444882082605308124576230408038843354961099564416871567745979441241809893679037520753402159179772451651597

Field of coefficients of BN462 curve.

type Fq = PrimeField 6701817056313037086248947066310538444882082605308124576230408038843357549886356779857393369967010764802541005796711440355753503701056323603

Field of points of BN462 curve.

data BN462

BN462 curve.

Instances

WPCurve BN462 Fq Fr

Projective BN462 curve is a Weierstrass projective curve.

Defined in Curve.Weierstrass.BN462

Methods

gP_ :: WPPoint BN462 Fq Fr

WJCurve BN462 Fq Fr

Jacobian BN462 curve is a Weierstrass Jacobian curve.

Defined in Curve.Weierstrass.BN462

Methods

gJ_ :: WJPoint BN462 Fq Fr

WACurve BN462 Fq Fr

Affine BN462 curve is a Weierstrass affine curve.

Defined in Curve.Weierstrass.BN462

Methods

gA_ :: WAPoint BN462 Fq Fr

Curve Weierstrass c BN462 Fq Fr => WCurve c BN462 Fq Fr

BN462 curve is a Weierstrass curve.

Defined in Curve.Weierstrass.BN462

Methods

a_ :: WPoint c BN462 Fq Fr -> Fq

b_ :: WPoint c BN462 Fq Fr -> Fq

h_ :: WPoint c BN462 Fq Fr -> Integer

q_ :: WPoint c BN462 Fq Fr -> Integer

r_ :: WPoint c BN462 Fq Fr -> Integer

x_ :: WPoint c BN462 Fq Fr -> Fq

y_ :: WPoint c BN462 Fq Fr -> Fq

_a :: Fq

Coefficient A of BN462 curve.

_b :: Fq

Coefficient B of BN462 curve.

_h :: Integer

Cofactor of BN462 curve.

_q :: Integer

Characteristic of BN462 curve.

_r :: Integer

Order of BN462 curve.

_x :: Fq

Coordinate X of BN462 curve.

_y :: Fq

Coordinate Y of BN462 curve.

gA :: PA

Generator of affine BN462 curve.

gJ :: PJ

Generator of Jacobian BN462 curve.

gP :: PP

Generator of projective BN462 curve.