Safe Haskell	None
Language	Haskell2010

Crypto.Spake2.Groups

Description

Each of these implements the Group typeclass.

Synopsis

data Ed25519 = Ed25519
data IntegerGroup = IntegerGroup {
- order :: !Integer
- subgroupOrder :: !Integer
- generator :: !Integer
}
makeIntegerGroup :: Integer -> Integer -> Integer -> Maybe IntegerGroup
i1024 :: IntegerGroup

Documentation

data Ed25519 Source #

Constructors

Ed25519

Instances

Instances details

Eq Ed25519 Source #
Instance details Defined in Crypto.Spake2.Groups.Ed25519 Methods (==) :: Ed25519 -> Ed25519 -> Bool # (/=) :: Ed25519 -> Ed25519 -> Bool #
Show Ed25519 Source #
Instance details Defined in Crypto.Spake2.Groups.Ed25519 Methods showsPrec :: Int -> Ed25519 -> ShowS # show :: Ed25519 -> String # showList :: [Ed25519] -> ShowS #
AbelianGroup Ed25519 Source #
Instance details Defined in Crypto.Spake2.Groups.Ed25519 Associated Types type Scalar Ed25519 Source # Methods scalarMultiply :: Ed25519 -> Scalar Ed25519 -> Element Ed25519 -> Element Ed25519 Source # integerToScalar :: Ed25519 -> Integer -> Scalar Ed25519 Source # scalarToInteger :: Ed25519 -> Scalar Ed25519 -> Integer Source # scalarSizeBits :: Ed25519 -> Int Source # generateElement :: MonadRandom randomly => Ed25519 -> randomly (KeyPair Ed25519) Source #
Group Ed25519 Source #
Instance details Defined in Crypto.Spake2.Groups.Ed25519 Associated Types type Element Ed25519 Source # Methods elementAdd :: Ed25519 -> Element Ed25519 -> Element Ed25519 -> Element Ed25519 Source # elementNegate :: Ed25519 -> Element Ed25519 -> Element Ed25519 Source # elementSubtract :: Ed25519 -> Element Ed25519 -> Element Ed25519 -> Element Ed25519 Source # groupIdentity :: Ed25519 -> Element Ed25519 Source # encodeElement :: ByteArray bytes => Ed25519 -> Element Ed25519 -> bytes Source # decodeElement :: ByteArray bytes => Ed25519 -> bytes -> CryptoFailable (Element Ed25519) Source # elementSizeBits :: Ed25519 -> Int Source # arbitraryElement :: ByteArrayAccess bytes => Ed25519 -> bytes -> Element Ed25519 Source #
type Scalar Ed25519 Source #
Instance details Defined in Crypto.Spake2.Groups.Ed25519 type Scalar Ed25519 = Integer
type Element Ed25519 Source #
Instance details Defined in Crypto.Spake2.Groups.Ed25519 type Element Ed25519

data IntegerGroup Source #

A finite group of integers with respect to multiplication modulo the group order.

Construct with makeIntegerGroup.

Constructors

IntegerGroup
Fields order :: !Integer subgroupOrder :: !Integer generator :: !Integer

Instances

Instances details

Eq IntegerGroup Source #
Instance details Defined in Crypto.Spake2.Groups.IntegerGroup Methods (==) :: IntegerGroup -> IntegerGroup -> Bool # (/=) :: IntegerGroup -> IntegerGroup -> Bool #
Show IntegerGroup Source #
Instance details Defined in Crypto.Spake2.Groups.IntegerGroup Methods showsPrec :: Int -> IntegerGroup -> ShowS # show :: IntegerGroup -> String # showList :: [IntegerGroup] -> ShowS #
AbelianGroup IntegerGroup Source #
Instance details Defined in Crypto.Spake2.Groups.IntegerGroup Associated Types type Scalar IntegerGroup Source # Methods scalarMultiply :: IntegerGroup -> Scalar IntegerGroup -> Element IntegerGroup -> Element IntegerGroup Source # integerToScalar :: IntegerGroup -> Integer -> Scalar IntegerGroup Source # scalarToInteger :: IntegerGroup -> Scalar IntegerGroup -> Integer Source # scalarSizeBits :: IntegerGroup -> Int Source # generateElement :: MonadRandom randomly => IntegerGroup -> randomly (KeyPair IntegerGroup) Source #
Group IntegerGroup Source #
Instance details Defined in Crypto.Spake2.Groups.IntegerGroup Associated Types type Element IntegerGroup Source # Methods elementAdd :: IntegerGroup -> Element IntegerGroup -> Element IntegerGroup -> Element IntegerGroup Source # elementNegate :: IntegerGroup -> Element IntegerGroup -> Element IntegerGroup Source # elementSubtract :: IntegerGroup -> Element IntegerGroup -> Element IntegerGroup -> Element IntegerGroup Source # groupIdentity :: IntegerGroup -> Element IntegerGroup Source # encodeElement :: ByteArray bytes => IntegerGroup -> Element IntegerGroup -> bytes Source # decodeElement :: ByteArray bytes => IntegerGroup -> bytes -> CryptoFailable (Element IntegerGroup) Source # elementSizeBits :: IntegerGroup -> Int Source # arbitraryElement :: ByteArrayAccess bytes => IntegerGroup -> bytes -> Element IntegerGroup Source #
type Scalar IntegerGroup Source #
Instance details Defined in Crypto.Spake2.Groups.IntegerGroup type Scalar IntegerGroup = Integer
type Element IntegerGroup Source #
Instance details Defined in Crypto.Spake2.Groups.IntegerGroup type Element IntegerGroup = Integer

makeIntegerGroup :: Integer -> Integer -> Integer -> Maybe IntegerGroup Source #

Construct an IntegerGroup.

Will fail if generator is '1', since having the identity for a generator means the subgroup is the entire group.

TODO: Find other things to check for validity.

i1024 :: IntegerGroup Source #

1024 bit integer group.

Originally from http://haofeng66.googlepages.com/JPAKEDemo.java, via python-spake2.