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 => ByteString -> m (Maybe G1)
- groupFromX :: (Validate (Point a), FromX a) => Bool -> a -> Maybe (Point a)
- fromByteStringG1 :: ByteString -> Either Text G1
- fromByteStringG2 :: ByteString -> Either Text G2
- fromByteStringGT :: ByteString -> Either Text GT
Documentation
class Monoid g => CyclicGroup g where Source #
order :: Proxy g -> Integer Source #
expn :: AsInteger e => g -> e -> g Source #
random :: MonadRandom m => g -> m g 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
fromByteStringG1 :: ByteString -> Either Text G1 Source #
fromByteStringG2 :: ByteString -> Either Text G2 Source #
fromByteStringGT :: ByteString -> Either Text GT Source #