Input

Output

The user’s private key pair, the 256-bit encryption key K, pseudorandom number S of 256-bit

The server’s key share pair where both and are 512-bit integers

・ Calculate

・ Calculate

・ Output