elliptic-curve-0.2.2: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Curve.Weierstrass.BLS12381T

Synopsis

Documentation

module Curve.Weierstrass

type PP = WPPoint BLS12381T Fq2 Fr Source #

Projective BLS12381T point.

type PJ = WJPoint BLS12381T Fq2 Fr Source #

Jacobian BLS12381T point.

type PA = WAPoint BLS12381T Fq2 Fr Source #

Affine BLS12381T curve point.

type Fr = PrimeField 52435875175126190479447740508185965837690552500527637822603658699938581184513 Source #

Field of coefficients of BLS12381T curve.

type Fq2 = ExtensionField Fq PolynomialU Source #

data PolynomialU Source #

Field of points of BLS12381T curve.

Instances
IrreducibleMonic Fq PolynomialU Source # 
Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

split :: ExtensionField Fq PolynomialU -> VPoly Fq #

deg' :: ExtensionField Fq PolynomialU -> Int

WPCurve BLS12381T Fq2 Fr Source #

Projective BLS12381T curve is a Weierstrass projective curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

gP_ :: WPPoint BLS12381T Fq2 Fr Source #

WJCurve BLS12381T Fq2 Fr Source #

Jacobian BLS12381T curve is a Weierstrass Jacobian curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

gJ_ :: WJPoint BLS12381T Fq2 Fr Source #

WACurve BLS12381T Fq2 Fr Source #

Affine BLS12381T curve is a Weierstrass affine curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

gA_ :: WAPoint BLS12381T Fq2 Fr Source #

Curve Weierstrass c BLS12381T Fq2 Fr => WCurve c BLS12381T Fq2 Fr Source #

BLS12381T curve is a Weierstrass curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

a_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

b_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

h_ :: WPoint c BLS12381T Fq2 Fr -> Integer Source #

q_ :: WPoint c BLS12381T Fq2 Fr -> Integer Source #

r_ :: WPoint c BLS12381T Fq2 Fr -> Integer Source #

x_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

y_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

data BLS12381T Source #

BLS12381T curve.

Instances
WPCurve BLS12381T Fq2 Fr Source #

Projective BLS12381T curve is a Weierstrass projective curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

gP_ :: WPPoint BLS12381T Fq2 Fr Source #

WJCurve BLS12381T Fq2 Fr Source #

Jacobian BLS12381T curve is a Weierstrass Jacobian curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

gJ_ :: WJPoint BLS12381T Fq2 Fr Source #

WACurve BLS12381T Fq2 Fr Source #

Affine BLS12381T curve is a Weierstrass affine curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

gA_ :: WAPoint BLS12381T Fq2 Fr Source #

Curve Weierstrass c BLS12381T Fq2 Fr => WCurve c BLS12381T Fq2 Fr Source #

BLS12381T curve is a Weierstrass curve.

Instance details

Defined in Curve.Weierstrass.BLS12381T

Methods

a_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

b_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

h_ :: WPoint c BLS12381T Fq2 Fr -> Integer Source #

q_ :: WPoint c BLS12381T Fq2 Fr -> Integer Source #

r_ :: WPoint c BLS12381T Fq2 Fr -> Integer Source #

x_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

y_ :: WPoint c BLS12381T Fq2 Fr -> Fq2 Source #

_a :: Fq2 Source #

Coefficient A of BLS12381T curve.

_b :: Fq2 Source #

Coefficient B of BLS12381T curve.

_h :: Integer Source #

Cofactor of BLS12381T curve.

_q :: Integer Source #

Characteristic of BLS12381T curve.

_r :: Integer Source #

Order of BLS12381T curve.

_x :: Fq2 Source #

Coordinate X of BLS12381T curve.

_y :: Fq2 Source #

Coordinate Y of BLS12381T curve.

gA :: PA Source #

Generator of affine BLS12381T curve.

gJ :: PJ Source #

Generator of Jacobian BLS12381T curve.

gP :: PP Source #

Generator of projective BLS12381T curve.