MLKEM1024_PUBLIC_KEY_BYTES
k_len = MLKEM1024_PUBLIC_KEY_BYTES;
MLKEM768_PUBLIC_KEY_BYTES : MLKEM1024_PUBLIC_KEY_BYTES))
MLKEM768_PUBLIC_KEY_BYTES : MLKEM1024_PUBLIC_KEY_BYTES;
MLKEM1024_PUBLIC_KEY_BYTES))
MLKEM1024_PUBLIC_KEY_BYTES);
return MLKEM1024_PUBLIC_KEY_BYTES;