module Curve.Weierstrass.BrainpoolP224R1
( module Curve.Weierstrass
, module Curve.Weierstrass.BrainpoolP224R1
) where
import Protolude
import PrimeField
import Curve.Weierstrass
data BrainpoolP224R1
type Fq = PrimeField 0xd7c134aa264366862a18302575d1d787b09f075797da89f57ec8c0ff
type Fr = PrimeField 0xd7c134aa264366862a18302575d0fb98d116bc4b6ddebca3a5a7939f
instance Curve 'Weierstrass c BrainpoolP224R1 Fq Fr => WCurve c BrainpoolP224R1 Fq Fr where
a_ = const _a
{-# INLINABLE a_ #-}
b_ = const _b
{-# INLINABLE b_ #-}
h_ = const _h
{-# INLINABLE h_ #-}
q_ = const _q
{-# INLINABLE q_ #-}
r_ = const _r
{-# INLINABLE r_ #-}
x_ = const _x
{-# INLINABLE x_ #-}
y_ = const _y
{-# INLINABLE y_ #-}
type PA = WAPoint BrainpoolP224R1 Fq Fr
instance WACurve BrainpoolP224R1 Fq Fr where
gA_ = gA
{-# INLINABLE gA_ #-}
type PJ = WJPoint BrainpoolP224R1 Fq Fr
instance WJCurve BrainpoolP224R1 Fq Fr where
gJ_ = gJ
{-# INLINABLE gJ_ #-}
type PP = WPPoint BrainpoolP224R1 Fq Fr
instance WPCurve BrainpoolP224R1 Fq Fr where
gP_ = gP
{-# INLINABLE gP_ #-}
_a :: Fq
_a = 0x68a5e62ca9ce6c1c299803a6c1530b514e182ad8b0042a59cad29f43
{-# INLINABLE _a #-}
_b :: Fq
_b = 0x2580f63ccfe44138870713b1a92369e33e2135d266dbb372386c400b
{-# INLINABLE _b #-}
_h :: Integer
_h = 0x1
{-# INLINABLE _h #-}
_q :: Integer
_q = 0xd7c134aa264366862a18302575d1d787b09f075797da89f57ec8c0ff
{-# INLINABLE _q #-}
_r :: Integer
_r = 0xd7c134aa264366862a18302575d0fb98d116bc4b6ddebca3a5a7939f
{-# INLINABLE _r #-}
_x :: Fq
_x = 0xd9029ad2c7e5cf4340823b2a87dc68c9e4ce3174c1e6efdee12c07d
{-# INLINABLE _x #-}
_y :: Fq
_y = 0x58aa56f772c0726f24c6b89e4ecdac24354b9e99caa3f6d3761402cd
{-# INLINABLE _y #-}
gA :: PA
gA = A _x _y
{-# INLINABLE gA #-}
gJ :: PJ
gJ = J _x _y 1
{-# INLINABLE gJ #-}
gP :: PP
gP = P _x _y 1
{-# INLINABLE gP #-}