Crypto.Spake2.Groups

data Ed25519

data IntegerGroup

makeIntegerGroup

i1024

For testing only

data IntegerAddition