Safe Haskell | None |
---|---|
Language | Haskell2010 |
Definitions of the groups the pairing is defined on
Synopsis
- class Monoid g => CyclicGroup g where
- type G1 = Point Fq
- type G2 = Point Fq2
- type GT = Fq12
- isOnCurveG1 :: G1 -> Bool
- isOnCurveG2 :: G2 -> Bool
- isInGT :: GT -> Bool
- g1 :: G1
- g2 :: G2
- b1 :: Fq
- b2 :: Fq2
- hashToG1 :: (MonadIO m, MonadRandom m) => ByteString -> m G1
- randomG1 :: (MonadIO m, MonadRandom m) => m G1
- randomG2 :: (MonadIO m, MonadRandom m) => m G2
Documentation
class Monoid g => CyclicGroup g where Source #
Instances
CyclicGroup GT Source # | |
CyclicGroup G2 Source # | |
CyclicGroup G1 Source # | |
isOnCurveG1 :: G1 -> Bool Source #
Test whether a value in G1 satisfies the corresponding curve equation
isOnCurveG2 :: G2 -> Bool Source #
Test whether a value in G2 satisfies the corresponding curve equation
hashToG1 :: (MonadIO m, MonadRandom m) => ByteString -> m G1 Source #