libcrux_ml_kem_ind_cca_validate_private_key_only_d6
return libcrux_ml_kem_ind_cca_validate_private_key_only_d6(private_key);