Even if they contract it out, at $350/hr (which is not a price that would raise any flags), that is less that $750k. Even with a fancy office, couple of laptops and 5' monitors, this is less than a day at the bombing range or a few minutes keeping an aircraft carrier operational.

Even a team of 10 people working on this - the code and social aspect - would be a drop in the bucket for any nation-state.