Safe Haskell	None
Language	Haskell2010

Data.Pairing.BLS12381

Contents

BLS12381 curve
Orphan instances

Synopsis

module Data.Pairing
module Data.Pairing.Ate
data BLS12381
parameterBin :: [Int8]
parameterHex :: Integer
type Fq = Prime Q
type Fq2 = Extension U Fq
type Fq6 = Extension V Fq2
type Fq12 = Extension W Fq6
type Fr = Prime R
type G1' = PA
type G2' = PA
type GT' = RootsOfUnity R Fq12
getRootOfUnity :: Int -> Fr

Documentation

module Data.Pairing

module Data.Pairing.Ate

BLS12381 curve

data BLS12381 #

BLS12381 curve.

Instances

Pairing BLS12381 Source #
Instance details Defined in Data.Pairing.BLS12381 Associated Types type G1 BLS12381 = (g :: Type) Source # type G2 BLS12381 = (g :: Type) Source # type GT BLS12381 = (g :: Type) Source # Methods pairing :: G1 BLS12381 -> G2 BLS12381 -> GT BLS12381 Source #
WACurve BLS12381 Fq2 Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381T Methods gA_ :: WAPoint BLS12381 Fq2 Fr #
WACurve BLS12381 Fq Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381 Methods gA_ :: WAPoint BLS12381 Fq Fr #
WJCurve BLS12381 Fq2 Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381T Methods gJ_ :: WJPoint BLS12381 Fq2 Fr #
WJCurve BLS12381 Fq Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381 Methods gJ_ :: WJPoint BLS12381 Fq Fr #
WPCurve BLS12381 Fq2 Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381T Methods gP_ :: WPPoint BLS12381 Fq2 Fr #
WPCurve BLS12381 Fq Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381 Methods gP_ :: WPPoint BLS12381 Fq Fr #
Curve Weierstrass c BLS12381 Fq2 Fr => WCurve c BLS12381 Fq2 Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381T Methods a_ :: WPoint c BLS12381 Fq2 Fr -> Fq2 # b_ :: WPoint c BLS12381 Fq2 Fr -> Fq2 # h_ :: WPoint c BLS12381 Fq2 Fr -> Natural # q_ :: WPoint c BLS12381 Fq2 Fr -> Natural # r_ :: WPoint c BLS12381 Fq2 Fr -> Natural #
Curve Weierstrass c BLS12381 Fq Fr => WCurve c BLS12381 Fq Fr
Instance details Defined in Data.Curve.Weierstrass.BLS12381 Methods a_ :: WPoint c BLS12381 Fq Fr -> Fq # b_ :: WPoint c BLS12381 Fq Fr -> Fq # h_ :: WPoint c BLS12381 Fq Fr -> Natural # q_ :: WPoint c BLS12381 Fq Fr -> Natural # r_ :: WPoint c BLS12381 Fq Fr -> Natural #
type G1 BLS12381 Source #
Instance details Defined in Data.Pairing.BLS12381 type G1 BLS12381 = G1'
type G2 BLS12381 Source #
Instance details Defined in Data.Pairing.BLS12381 type G2 BLS12381 = G2'
type GT BLS12381 Source #
Instance details Defined in Data.Pairing.BLS12381 type GT BLS12381 = GT'

parameterBin :: [Int8] Source #

BLS12381 curve parameter s = t in signed binary.

parameterHex :: Integer Source #

BLS12381 curve parameter t in hexadecimal.

Fields

type Fq = Prime Q #

Field of points of BLS12381 curve.

type Fq2 = Extension U Fq #

Field of points of BLS12381 curve over Fq2.

type Fq6 = Extension V Fq2 Source #

Field of points of BLS12381 curve over Fq6.

type Fq12 = Extension W Fq6 Source #

Field of points of BLS12381 curve over Fq12.

type Fr = Prime R #

Field of coefficients of BLS12381 curve.

Groups

type G1' = PA Source #

BLS12381 curve left group G1 = E(Fq).

type G2' = PA Source #

BLS12381 curve right group G2 = E'(Fq2).

type GT' = RootsOfUnity R Fq12 Source #

Fq12 multiplicative target group GT.

Roots of unity

getRootOfUnity :: Int -> Fr Source #

Precompute primitive roots of unity for binary powers that divide r - 1.

Orphan instances

Pairing BLS12381 Source #
Instance details Associated Types type G1 BLS12381 = (g :: Type) Source # type G2 BLS12381 = (g :: Type) Source # type GT BLS12381 = (g :: Type) Source # Methods pairing :: G1 BLS12381 -> G2 BLS12381 -> GT BLS12381 Source #