Safe Haskell	None
Language	Haskell2010

Group.Field.BN254TF

Synopsis

module Group
module Group.Field
type P = Element Fr Fq12
type Fq12 = ExtensionField Fq6 PolynomialW
data PolynomialW
type Fq6 = ExtensionField Fq2 PolynomialV
data PolynomialV
type Fr = PrimeField 21888242871839275222246405745257275088548364400416034343698204186575808495617
_g :: P
_h :: Integer
_q :: Integer
_r :: Integer
_x :: Fq12

Documentation

module Group

Element of BN254TF group.

Instances

IrreducibleMonic Fq6 PolynomialW Source #
Instance details Defined in Group.Field.BN254TF Methods split :: ExtensionField Fq6 PolynomialW -> VPoly Fq6 # deg' :: ExtensionField Fq6 PolynomialW -> Int
FGroup Fr Fq12 Source #	BN254TF group is a field group.
Instance details Defined in Group.Field.BN254TF Methods g_ :: Element Fr Fq12 Source # h_ :: Element Fr Fq12 -> Integer Source # q_ :: Element Fr Fq12 -> Integer Source # r_ :: Element Fr Fq12 -> Integer Source #

Field of elements of BN254TF group.

Instances

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
FGroup Fr Fq12 Source #	BN254TF group is a field group.
Instance details Defined in Group.Field.BN254TF Methods g_ :: Element Fr Fq12 Source # h_ :: Element Fr Fq12 -> Integer Source # q_ :: Element Fr Fq12 -> Integer Source # r_ :: Element Fr Fq12 -> Integer Source #

type Fr = PrimeField 21888242871839275222246405745257275088548364400416034343698204186575808495617 Source #

Field of coefficients of BN254TF group.

Generator of BN254TF group.

Cofactor of BN254TF group.

Characteristic of BN254TF group.

Order of BN254TF group.

Element X of BN254TF group.