LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE
for (size_t i = (size_t)0U; i < LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE; i++)
#define LIBCRUX_ML_KEM_MLKEM768_IMPLICIT_REJECTION_HASH_INPUT_SIZE (LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE + LIBCRUX_ML_KEM_MLKEM768_CPA_PKE_CIPHERTEXT_SIZE)
#define LIBCRUX_ML_KEM_MLKEM768_SECRET_KEY_SIZE (LIBCRUX_ML_KEM_MLKEM768_CPA_PKE_SECRET_KEY_SIZE + LIBCRUX_ML_KEM_MLKEM768_CPA_PKE_PUBLIC_KEY_SIZE + LIBCRUX_ML_KEM_CONSTANTS_H_DIGEST_SIZE + LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE)
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE),
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE,
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE);
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE,
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE);
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE,
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE);
LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE,