SPAKE2 password-authenticated key exchange (pure python)