Input

Output

The user’s key share, the server’s key share

The 256-bit encryption key K

・ Calculate

・ Calculate

・ Output