Safe Haskell	None
Language	Haskell2010

Curve.Weierstrass.BLS48581T

Synopsis

module Curve.Weierstrass
type PP = WPPoint BLS48581T Fq8 Fr
type PJ = WJPoint BLS48581T Fq8 Fr
type PA = WAPoint BLS48581T Fq8 Fr
type Fr = PrimeField 476342299743339008482451055637099285448102090246347886165811576342746904451443552831892849773706409097740116059681046950759420830087773258940488535108951041
type Fq8 = ExtensionField Fq4 PolynomialW
data PolynomialW
type Fq4 = ExtensionField Fq2 PolynomialV
data PolynomialV
type Fq2 = ExtensionField Fq PolynomialU
data PolynomialU
data BLS48581T
_a :: Fq8
_b :: Fq8
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq8
_y :: Fq8
gA :: PA
gJ :: PJ
gP :: PP

Documentation

module Curve.Weierstrass

type PP = WPPoint BLS48581T Fq8 Fr Source #

Projective BLS48581T point.

type PJ = WJPoint BLS48581T Fq8 Fr Source #

Jacobian BLS48581T point.

type PA = WAPoint BLS48581T Fq8 Fr Source #

Affine BLS48581T curve point.

type Fr = PrimeField 476342299743339008482451055637099285448102090246347886165811576342746904451443552831892849773706409097740116059681046950759420830087773258940488535108951041 Source #

Field of coefficients of BLS48581T curve.

type Fq8 = ExtensionField Fq4 PolynomialW Source #

data PolynomialW Source #

Instances

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

type Fq4 = ExtensionField Fq2 PolynomialV Source #

data PolynomialV Source #

Instances

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

type Fq2 = ExtensionField Fq PolynomialU Source #

data PolynomialU Source #

Field of points of BLS48581T curve.

Instances

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

data BLS48581T Source #

BLS48581T curve.

Instances

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