SHAKE128
Input
Output