Safe Haskell	None
Language	Haskell2010

Curve.Weierstrass.BN254T

Synopsis

module Curve.Weierstrass
type PP = WPPoint BN254T Fq2 Fr
type PJ = WJPoint BN254T Fq2 Fr
type PA = WAPoint BN254T Fq2 Fr
type Fr = PrimeField 21888242871839275222246405745257275088548364400416034343698204186575808495617
type Fq2 = ExtensionField Fq PolynomialU
data PolynomialU
data BN254T
_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 BN254T Fq2 Fr Source #

Projective BN254T point.

type PJ = WJPoint BN254T Fq2 Fr Source #

Jacobian BN254T point.

type PA = WAPoint BN254T Fq2 Fr Source #

Affine BN254T curve point.

type Fr = PrimeField 21888242871839275222246405745257275088548364400416034343698204186575808495617 Source #

Field of coefficients of BN254T curve.

type Fq2 = ExtensionField Fq PolynomialU Source #

data PolynomialU Source #

Field of points of BN254T curve.

Instances

FGroup Fq12 Source #	BN254TF group is a field group.
Instance details Defined in Group.Field.BN254TF Methods g_ :: Element Fq12 Source # q_ :: Element Fq12 -> Integer Source # r_ :: Element Fq12 -> Integer Source # x_ :: Fq12 Source #
IrreducibleMonic Fq PolynomialU Source #
Instance details Defined in Curve.Weierstrass.BN254T Methods split :: ExtensionField Fq PolynomialU -> VPoly Fq # deg' :: ExtensionField Fq PolynomialU -> Int
IrreducibleMonic Fq2 PolynomialV Source #
Instance details Defined in Group.Field.BN254TF Methods split :: ExtensionField Fq2 PolynomialV -> VPoly Fq2 # deg' :: ExtensionField Fq2 PolynomialV -> Int
IrreducibleMonic Fq6 PolynomialW Source #
Instance details Defined in Group.Field.BN254TF Methods split :: ExtensionField Fq6 PolynomialW -> VPoly Fq6 # deg' :: ExtensionField Fq6 PolynomialW -> Int
WPCurve BN254T Fq2 Fr Source #	Projective BN254T curve is a Weierstrass projective curve.
Instance details Defined in Curve.Weierstrass.BN254T Methods gP_ :: WPPoint BN254T Fq2 Fr Source #
WJCurve BN254T Fq2 Fr Source #	Jacobian BN254T curve is a Weierstrass Jacobian curve.
Instance details Defined in Curve.Weierstrass.BN254T Methods gJ_ :: WJPoint BN254T Fq2 Fr Source #
WACurve BN254T Fq2 Fr Source #	Affine BN254T curve is a Weierstrass affine curve.
Instance details Defined in Curve.Weierstrass.BN254T Methods gA_ :: WAPoint BN254T Fq2 Fr Source #
Curve Weierstrass c BN254T Fq2 Fr => WCurve c BN254T Fq2 Fr Source #	BN254T curve is a Weierstrass curve.
Instance details Defined in Curve.Weierstrass.BN254T Methods a_ :: WPoint c BN254T Fq2 Fr -> Fq2 Source # b_ :: WPoint c BN254T Fq2 Fr -> Fq2 Source # h_ :: WPoint c BN254T Fq2 Fr -> Integer Source # q_ :: WPoint c BN254T Fq2 Fr -> Integer Source # r_ :: WPoint c BN254T Fq2 Fr -> Integer Source # x_ :: WPoint c BN254T Fq2 Fr -> Fq2 Source # y_ :: WPoint c BN254T Fq2 Fr -> Fq2 Source #

data BN254T Source #

BN254T curve.

Instances

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