| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Crypto.Spake2.Groups
Contents
Description
Each of these implements the Group typeclass.
- data Ed25519 = Ed25519
- data IntegerGroup = IntegerGroup {}
- makeIntegerGroup :: Integer -> Integer -> Integer -> Maybe IntegerGroup
- i1024 :: IntegerGroup
- newtype IntegerAddition = IntegerAddition {}
Documentation
Constructors
| Ed25519 |
data IntegerGroup Source #
A finite group of integers with respect to multiplication modulo the group order.
Construct with makeIntegerGroup.
Constructors
| IntegerGroup | |
Instances
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.
For testing only
newtype IntegerAddition Source #
Simple integer addition group.
Do NOT use this for anything cryptographic.
Constructors
| IntegerAddition | |
Instances