Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Curve.Binary
- type PP = BPPoint SECT571R1 F2m Fr
- type PA = BAPoint SECT571R1 F2m Fr
- type Fr = PrimeField 3864537523017258344695351890931987344298927329706434998657235251451519142289560424536143999389415773083133881121926944486246872462816813070234528288303332411393191105285703
- type F2m = BinaryField 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909
- data SECT571R1
- _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 3864537523017258344695351890931987344298927329706434998657235251451519142289560424536143999389415773083133881121926944486246872462816813070234528288303332411393191105285703 Source #
Field of coefficients of SECT571R1 curve.
type F2m = BinaryField 7729075046034516689390703781863974688597854659412869997314470502903038284579120849072387533163845155924927232063004354354730157322085975311485817346934161497393961629647909 Source #
Field of points of SECT571R1 curve.
SECT571R1 curve.
Instances
BPCurve SECT571R1 F2m Fr Source # | Projective SECT571R1 curve is a binary projective curve. |
BACurve SECT571R1 F2m Fr Source # | Affine SECT571R1 curve is a binary affine curve. |
Curve Binary c SECT571R1 F2m Fr => BCurve c SECT571R1 F2m Fr Source # | SECT571R1 curve is a binary curve. |
Defined in Curve.Binary.SECT571R1 |