I thought the whole point of such things is it's near impossible to prove?

Also complaining means you reveal what you know, which helps narrow what you don't know.

I think they're pretty good at keeping it hidden and remote. It was proven the US did economic espionage on a German firm but the snowden files showed a range of other European companies also targeted. No doubt they also focus on "less friendly" targets industry, infrastructure and politics.