Safe Haskell	None
Language	Haskell2010

Curve.Weierstrass.BN462T

Synopsis

module Curve.Weierstrass
type PP = WPPoint BN462T Fq2 Fr
type PJ = WJPoint BN462T Fq2 Fr
type PA = WAPoint BN462T Fq2 Fr
type Fr = PrimeField 6701817056313037086248947066310538444882082605308124576230408038843354961099564416871567745979441241809893679037520753402159179772451651597
type Fq2 = ExtensionField Fq PolynomialU
data PolynomialU
data BN462T
_a :: Fq2
_b :: Fq2
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq2
_y :: Fq2
gA :: PA
gJ :: PJ
gP :: PP

Documentation

module Curve.Weierstrass

type PP = WPPoint BN462T Fq2 Fr Source #

Projective BN462T point.

type PJ = WJPoint BN462T Fq2 Fr Source #

Jacobian BN462T point.

type PA = WAPoint BN462T Fq2 Fr Source #

Affine BN462T curve point.

type Fr = PrimeField 6701817056313037086248947066310538444882082605308124576230408038843354961099564416871567745979441241809893679037520753402159179772451651597 Source #

Field of coefficients of BN462T curve.

type Fq2 = ExtensionField Fq PolynomialU Source #

data PolynomialU Source #

Field of points of BN462T curve.

Instances

IrreducibleMonic Fq PolynomialU Source #
Instance details Defined in Curve.Weierstrass.BN462T Methods split :: ExtensionField Fq PolynomialU -> VPoly Fq # deg' :: ExtensionField Fq PolynomialU -> Int
WPCurve BN462T Fq2 Fr Source #	Projective BN462T curve is a Weierstrass projective curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods gP_ :: WPPoint BN462T Fq2 Fr Source #
WJCurve BN462T Fq2 Fr Source #	Jacobian BN462T curve is a Weierstrass Jacobian curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods gJ_ :: WJPoint BN462T Fq2 Fr Source #
WACurve BN462T Fq2 Fr Source #	Affine BN462T curve is a Weierstrass affine curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods gA_ :: WAPoint BN462T Fq2 Fr Source #
Curve Weierstrass c BN462T Fq2 Fr => WCurve c BN462T Fq2 Fr Source #	BN462T curve is a Weierstrass curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods a_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source # b_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source # h_ :: WPoint c BN462T Fq2 Fr -> Integer Source # q_ :: WPoint c BN462T Fq2 Fr -> Integer Source # r_ :: WPoint c BN462T Fq2 Fr -> Integer Source # x_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source # y_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source #

data BN462T Source #

BN462T curve.

Instances

WPCurve BN462T Fq2 Fr Source #	Projective BN462T curve is a Weierstrass projective curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods gP_ :: WPPoint BN462T Fq2 Fr Source #
WJCurve BN462T Fq2 Fr Source #	Jacobian BN462T curve is a Weierstrass Jacobian curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods gJ_ :: WJPoint BN462T Fq2 Fr Source #
WACurve BN462T Fq2 Fr Source #	Affine BN462T curve is a Weierstrass affine curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods gA_ :: WAPoint BN462T Fq2 Fr Source #
Curve Weierstrass c BN462T Fq2 Fr => WCurve c BN462T Fq2 Fr Source #	BN462T curve is a Weierstrass curve.
Instance details Defined in Curve.Weierstrass.BN462T Methods a_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source # b_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source # h_ :: WPoint c BN462T Fq2 Fr -> Integer Source # q_ :: WPoint c BN462T Fq2 Fr -> Integer Source # r_ :: WPoint c BN462T Fq2 Fr -> Integer Source # x_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source # y_ :: WPoint c BN462T Fq2 Fr -> Fq2 Source #