Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Data.Curve.Weierstrass
- type PP = WPPoint BLS48581 Fq8 Fr
- type PJ = WJPoint BLS48581 Fq8 Fr
- type PA = WAPoint BLS48581 Fq8 Fr
- data W
- type Fq8 = Extension W Fq4
- data V
- type Fq4 = Extension V Fq2
- data U
- type Fq2 = Extension U Fq
- _a :: Fq8
- _b :: Fq8
- _h :: Natural
- _q :: Natural
- _r :: Natural
- _x :: Fq8
- _y :: Fq8
- gA :: PA
- gJ :: PJ
- gP :: PP
Documentation
module Data.Curve.Weierstrass