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