Crypto.Spake2.Math
data Spake2 group
data Params group
startSpake2
data Spake2Exchange group
computeOutboundMessage
generateKeyMaterial