Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
Documentation
module Data.Pairing
module Data.Pairing.Ate
BLS12381 curve
BLS12381 curve.
Instances
Pairing BLS12381 Source # | |
WACurve BLS12381 Fq2 Fr | |
WACurve BLS12381 Fq Fr | |
WJCurve BLS12381 Fq2 Fr | |
WJCurve BLS12381 Fq Fr | |
WPCurve BLS12381 Fq2 Fr | |
WPCurve BLS12381 Fq Fr | |
Curve Weierstrass c BLS12381 Fq2 Fr => WCurve c BLS12381 Fq2 Fr | |
Curve Weierstrass c BLS12381 Fq Fr => WCurve c BLS12381 Fq Fr | |
type G1 BLS12381 Source # | |
Defined in Data.Pairing.BLS12381 | |
type G2 BLS12381 Source # | |
Defined in Data.Pairing.BLS12381 | |
type GT BLS12381 Source # | |
Defined in Data.Pairing.BLS12381 |
parameterBin :: [Int8] Source #
BLS12381 curve parameter s = t
in signed binary.
parameterHex :: Integer Source #
BLS12381 curve parameter t
in hexadecimal.
Fields
Groups
Roots of unity
getRootOfUnity :: Int -> Fr Source #
Precompute primitive roots of unity for binary powers that divide r - 1
.