elliptic-curve-0.2.1: Elliptic curve library

Safe HaskellNone
LanguageHaskell2010

Group.Field.BN254TF

Synopsis

Documentation

module Group

module Group.Field

type P = Element Fq12 Source #

Element of BN254TF group.

type Fq12 = ExtensionField Fq6 PolynomialW Source #

data PolynomialW Source #

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 Fq6 PolynomialW Source # 
Instance details

Defined in Group.Field.BN254TF

Methods

split :: ExtensionField Fq6 PolynomialW -> VPoly Fq6 #

deg' :: ExtensionField Fq6 PolynomialW -> Int

type Fq6 = ExtensionField Fq2 PolynomialV Source #

data PolynomialV Source #

Field of BN254TF group.

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 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

_g :: P Source #

Generator of BN254TF group.

_q :: Integer Source #

Characteristic of BN254TF group.

_r :: Integer Source #

Order of BN254TF group.

_x :: Fq12 Source #

Element X of BN254TF group.