libcrux_ml_kem_ind_cca_validate_private_key_only_52
return libcrux_ml_kem_ind_cca_validate_private_key_only_52(private_key);