MLKEM_PUBLIC_KEY_INITIALIZED
public_key->state = MLKEM_PUBLIC_KEY_INITIALIZED;
key->state == MLKEM_PUBLIC_KEY_INITIALIZED &&