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