Safe Haskell | None |
---|---|
Language | Haskell2010 |
Prime field with characteristic _q, over which the elliptic curve is defined and the other finite field extensions. First field in the tower:
- Fq
- Fq2 := Fq[u]/u^2 + 1
- Fq6 := Fq2[v]/v^3 - (9 + u)
- Fq12 := Fq6[w]/w^2 - v
Documentation
Prime field with characteristic _q
Instances
Eq Fq Source # | |
Fractional Fq Source # | |
Num Fq Source # | |
Ord Fq Source # | |
Show Fq Source # | |
Generic Fq Source # | |
Semigroup G1 Source # | |
Monoid G1 Source # | |
Bits Fq Source # | |
Defined in Pairing.Fq | |
NFData Fq Source # | |
Defined in Pairing.Fq | |
CyclicGroup G1 Source # | |
Arbitrary (Point Fq) Source # | |
type Rep Fq Source # | |
Defined in Pairing.Fq |
Turn an integer into an Fq
number, should be used instead of
the Fq
constructor.
euclidean :: Integral a => a -> a -> a Source #
Euclidean algorithm to compute inverse in an integral domain a
random :: MonadRandom m => m Fq Source #