I doubt the general public would approve of a budget for buying thousands and thousands of AMD video cards. I'm not so sure that would get past any budget hearing.
I'm sure the government has enough computers that they could pull a big enough hash rate to seriously cripple the system if the wanted.