Group.Field

Documentation

class (Arbitrary g, Eq g, Generic g, Monoid g, Pretty g, Random g, Show g) => Group g where

Groups.

Minimal complete definition

add, dbl, def, gen, id, inv, order

Methods

add :: g -> g -> g

Element addition.

dbl :: g -> g

Element doubling.

def :: g -> Bool

Check well-defined.

gen :: g

Group generator.

id :: g

Identity element.

inv :: g -> g

Element inversion.

mul' :: g -> Integer -> g

Element multiplication.

order :: g -> Integer

Curve order.

rnd :: MonadRandom m => m g

Random element.

Instances

FGroup r q => Group (Element r q)

Defined in Group.Field

Methods

add :: Element r q -> Element r q -> Element r q

dbl :: Element r q -> Element r q

def :: Element r q -> Bool

gen :: Element r q

id :: Element r q

inv :: Element r q -> Element r q

mul' :: Element r q -> Integer -> Element r q

order :: Element r q -> Integer

rnd :: MonadRandom m => m (Element r q)

WPCurve e q r => Group (WPPoint e q r)

Defined in Curve.Weierstrass

Methods

add :: WPPoint e q r -> WPPoint e q r -> WPPoint e q r

dbl :: WPPoint e q r -> WPPoint e q r

def :: WPPoint e q r -> Bool

gen :: WPPoint e q r

id :: WPPoint e q r

inv :: WPPoint e q r -> WPPoint e q r

mul' :: WPPoint e q r -> Integer -> WPPoint e q r

order :: WPPoint e q r -> Integer

rnd :: MonadRandom m => m (WPPoint e q r)

WJCurve e q r => Group (WJPoint e q r)

Defined in Curve.Weierstrass

Methods

add :: WJPoint e q r -> WJPoint e q r -> WJPoint e q r

dbl :: WJPoint e q r -> WJPoint e q r

def :: WJPoint e q r -> Bool

gen :: WJPoint e q r

id :: WJPoint e q r

inv :: WJPoint e q r -> WJPoint e q r

mul' :: WJPoint e q r -> Integer -> WJPoint e q r

order :: WJPoint e q r -> Integer

rnd :: MonadRandom m => m (WJPoint e q r)

WACurve e q r => Group (WAPoint e q r)

Defined in Curve.Weierstrass

Methods

add :: WAPoint e q r -> WAPoint e q r -> WAPoint e q r

dbl :: WAPoint e q r -> WAPoint e q r

def :: WAPoint e q r -> Bool

gen :: WAPoint e q r

id :: WAPoint e q r

inv :: WAPoint e q r -> WAPoint e q r

mul' :: WAPoint e q r -> Integer -> WAPoint e q r

order :: WAPoint e q r -> Integer

rnd :: MonadRandom m => m (WAPoint e q r)

MACurve e q r => Group (MAPoint e q r)

Defined in Curve.Montgomery

Methods

add :: MAPoint e q r -> MAPoint e q r -> MAPoint e q r

dbl :: MAPoint e q r -> MAPoint e q r

def :: MAPoint e q r -> Bool

gen :: MAPoint e q r

id :: MAPoint e q r

inv :: MAPoint e q r -> MAPoint e q r

mul' :: MAPoint e q r -> Integer -> MAPoint e q r

order :: MAPoint e q r -> Integer

rnd :: MonadRandom m => m (MAPoint e q r)

EPCurve e q r => Group (EPPoint e q r)

Defined in Curve.Edwards

Methods

add :: EPPoint e q r -> EPPoint e q r -> EPPoint e q r

dbl :: EPPoint e q r -> EPPoint e q r

def :: EPPoint e q r -> Bool

gen :: EPPoint e q r

id :: EPPoint e q r

inv :: EPPoint e q r -> EPPoint e q r

mul' :: EPPoint e q r -> Integer -> EPPoint e q r

order :: EPPoint e q r -> Integer

rnd :: MonadRandom m => m (EPPoint e q r)

EACurve e q r => Group (EAPoint e q r)

Defined in Curve.Edwards

Methods

add :: EAPoint e q r -> EAPoint e q r -> EAPoint e q r

dbl :: EAPoint e q r -> EAPoint e q r

def :: EAPoint e q r -> Bool

gen :: EAPoint e q r

id :: EAPoint e q r

inv :: EAPoint e q r -> EAPoint e q r

mul' :: EAPoint e q r -> Integer -> EAPoint e q r

order :: EAPoint e q r -> Integer

rnd :: MonadRandom m => m (EAPoint e q r)

BPCurve e q r => Group (BPPoint e q r)

Defined in Curve.Binary

Methods

add :: BPPoint e q r -> BPPoint e q r -> BPPoint e q r

dbl :: BPPoint e q r -> BPPoint e q r

def :: BPPoint e q r -> Bool

gen :: BPPoint e q r

id :: BPPoint e q r

inv :: BPPoint e q r -> BPPoint e q r

mul' :: BPPoint e q r -> Integer -> BPPoint e q r

order :: BPPoint e q r -> Integer

rnd :: MonadRandom m => m (BPPoint e q r)

BACurve e q r => Group (BAPoint e q r)

Defined in Curve.Binary

Methods

add :: BAPoint e q r -> BAPoint e q r -> BAPoint e q r

dbl :: BAPoint e q r -> BAPoint e q r

def :: BAPoint e q r -> Bool

gen :: BAPoint e q r

id :: BAPoint e q r

inv :: BAPoint e q r -> BAPoint e q r

mul' :: BAPoint e q r -> Integer -> BAPoint e q r

order :: BAPoint e q r -> Integer

rnd :: MonadRandom m => m (BAPoint e q r)

newtype Element r q

Field elements.

Constructors

F q

Instances

Functor (Element r)

Defined in Group.Field

Methods

fmap :: (a -> b) -> Element r a -> Element r b

(<$) :: a -> Element r b -> Element r a

Eq q => Eq (Element r q)

Defined in Group.Field

Methods

(==) :: Element r q -> Element r q -> Bool

(/=) :: Element r q -> Element r q -> Bool

Read q => Read (Element r q)

Defined in Group.Field

Methods

readsPrec :: Int -> ReadS (Element r q)

readList :: ReadS [Element r q]

readPrec :: ReadPrec (Element r q)

readListPrec :: ReadPrec [Element r q]

Show q => Show (Element r q)

Defined in Group.Field

Methods

showsPrec :: Int -> Element r q -> ShowS

show :: Element r q -> String

showList :: [Element r q] -> ShowS

Generic (Element r q)

Defined in Group.Field

Associated Types

type Rep (Element r q) :: Type -> Type

Methods

from :: Element r q -> Rep (Element r q) x

to :: Rep (Element r q) x -> Element r q

FGroup r q => Semigroup (Element r q)

Defined in Group.Field

Methods

(<>) :: Element r q -> Element r q -> Element r q

sconcat :: NonEmpty (Element r q) -> Element r q

stimes :: Integral b => b -> Element r q -> Element r q

FGroup r q => Monoid (Element r q)

Defined in Group.Field

Methods

mempty :: Element r q

mappend :: Element r q -> Element r q -> Element r q

mconcat :: [Element r q] -> Element r q

FGroup r q => Random (Element r q)

Defined in Group.Field

Methods

randomR :: RandomGen g => (Element r q, Element r q) -> g -> (Element r q, g)

random :: RandomGen g => g -> (Element r q, g)

randomRs :: RandomGen g => (Element r q, Element r q) -> g -> [Element r q]

randoms :: RandomGen g => g -> [Element r q]

randomRIO :: (Element r q, Element r q) -> IO (Element r q)

randomIO :: IO (Element r q)

FGroup r q => Arbitrary (Element r q)

Defined in Group.Field

Methods

arbitrary :: Gen (Element r q)

shrink :: Element r q -> [Element r q]

NFData q => NFData (Element r q)

Defined in Group.Field

Methods

rnf :: Element r q -> ()

FGroup r q => Pretty (Element r q)

Defined in Group.Field

Methods

pretty :: Element r q -> Doc

prettyList :: [Element r q] -> Doc

FGroup r q => Group (Element r q)

Defined in Group.Field

Methods

add :: Element r q -> Element r q -> Element r q

dbl :: Element r q -> Element r q

def :: Element r q -> Bool

gen :: Element r q

id :: Element r q

inv :: Element r q -> Element r q

mul' :: Element r q -> Integer -> Element r q

order :: Element r q -> Integer

rnd :: MonadRandom m => m (Element r q)

type Rep (Element r q)

Defined in Group.Field

type Rep (Element r q) = D1 (MetaData "Element" "Group.Field" "elliptic-curve-0.2.2-GZMYFFpur3HJhgxx5eqVvs" True) (C1 (MetaCons "F" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 q)))

class (GaloisField q, PrimeField' r) => FGroup r q where

Field groups.

Methods

g_

Arguments

:: Element r q

Group generator.

h_

Arguments

:: Element r q

-> Integer

Group cofactor.

q_

Arguments

:: Element r q

-> Integer

Group characteristic.

r_

Arguments

:: Element r q

-> Integer

Group order.

Instances

FGroup Fr Fq12

BN254TF group is a field group.

Defined in Group.Field.BN254TF

Methods

g_ :: Element Fr Fq12

h_ :: Element Fr Fq12 -> Integer

q_ :: Element Fr Fq12 -> Integer

r_ :: Element Fr Fq12 -> Integer