Curve.Weierstrass.BN384

Documentation

module Curve.Weierstrass

type PP = WPPoint BN384 Fq Fr

Projective BN384 point.

type PJ = WJPoint BN384 Fq Fr

Jacobian BN384 point.

type PA = WAPoint BN384 Fq Fr

Affine BN384 curve point.

type Fr = PrimeField 39402006196394479212278605372068645601647601647604977711035712095477795040353349547661912204165862202002491141937013

Field of coefficients of BN384 curve.

type Fq = PrimeField 39402006196394479212278605372068645601647601647604977711041989197213181721117185302456933847594895764913993728971019

Field of points of BN384 curve.

data BN384

BN384 curve.

Instances

WPCurve BN384 Fq Fr

Projective BN384 curve is a Weierstrass projective curve.

Defined in Curve.Weierstrass.BN384

Methods

gP_ :: WPPoint BN384 Fq Fr

WJCurve BN384 Fq Fr

Jacobian BN384 curve is a Weierstrass Jacobian curve.

Defined in Curve.Weierstrass.BN384

Methods

gJ_ :: WJPoint BN384 Fq Fr

WACurve BN384 Fq Fr

Affine BN384 curve is a Weierstrass affine curve.

Defined in Curve.Weierstrass.BN384

Methods

gA_ :: WAPoint BN384 Fq Fr

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

BN384 curve is a Weierstrass curve.

Defined in Curve.Weierstrass.BN384

Methods

a_ :: WPoint c BN384 Fq Fr -> Fq

b_ :: WPoint c BN384 Fq Fr -> Fq

h_ :: WPoint c BN384 Fq Fr -> Integer

q_ :: WPoint c BN384 Fq Fr -> Integer

r_ :: WPoint c BN384 Fq Fr -> Integer

x_ :: WPoint c BN384 Fq Fr -> Fq

y_ :: WPoint c BN384 Fq Fr -> Fq

_a :: Fq

Coefficient A of BN384 curve.

_b :: Fq

Coefficient B of BN384 curve.

_h :: Integer

Cofactor of BN384 curve.

_q :: Integer

Characteristic of BN384 curve.

_r :: Integer

Order of BN384 curve.

_x :: Fq

Coordinate X of BN384 curve.

_y :: Fq

Coordinate Y of BN384 curve.

gA :: PA

Generator of affine BN384 curve.

gJ :: PJ

Generator of Jacobian BN384 curve.

gP :: PP

Generator of projective BN384 curve.