Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Binary
- type PP = BPPoint SECT571K1 F2m Fr
- type PA = BAPoint SECT571K1 F2m Fr
- type Fr = PrimeField 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268133978522706711834706712800825351461273674974066617311929682421617092503555733685276673
- type F2m = BinaryField 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909
- data SECT571K1
- _a :: F2m
- _b :: F2m
- _h :: Integer
- _p :: Integer
- _r :: Integer
- _x :: F2m
- _y :: F2m
- gA :: PA
- gP :: PP
Documentation
module Curve.Binary
type Fr = PrimeField 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268133978522706711834706712800825351461273674974066617311929682421617092503555733685276673 Source #
Field of coefficients of SECT571K1 curve.
type F2m = BinaryField 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909 Source #
Field of points of SECT571K1 curve.
SECT571K1 curve.
Instances
BPCurve SECT571K1 F2m Fr Source # | Projective SECT571K1 curve is a binary projective curve. |
BACurve SECT571K1 F2m Fr Source # | Affine SECT571K1 curve is a binary affine curve. |
Curve Binary c SECT571K1 F2m Fr => BCurve c SECT571K1 F2m Fr Source # | SECT571K1 curve is a binary curve. |
Defined in Curve.Binary.SECT571K1 |