If there was public evidence allowed to be released nobody would be using those algorithms obviously. The point of those algorithms is to make them hard to break for the public and easy to break for the agencies . E.g. None of your mentioned products use quantum hard encryption. It is not far fetched to assume that all the relevant agencies have access to a working quantum computer. But I doubt you need even sophisticated hardware. Most "government approved" encryption algorithms should be considered compromised from the get-go.