Input
Output
The user’s key share, the server’s key share
The 256-bit encryption key K
・ Calculate
・ Output