Safe Haskell | None |
---|---|
Language | Haskell2010 |
Final quadratic extension of the tower:
- Fq
- Fq2 := Fq[u]/u^2 + 1
- Fq6 := Fq2[v]/v^3 - (9 + u)
- Fq12 := Fq6[w]/w^2 - v
Implementation follows "Multiplication and Squaring on Pairing-Friendly Fields" by Devigili, hEigeartaigh, Scott and Dahab.
Documentation
Field extension defined as Fq6[w]/w^2 - v
Create a new value in Fq12
by providing a list of twelve
coefficients in Fq
, should be used instead of the Fq12
constructor.
deconstruct :: Fq12 -> [Fq] Source #
Deconstruct a value in Fq12
into a list of twelve coefficients in Fq
.
random :: MonadRandom m => m Fq12 Source #