No system can be proven to have no exploits, but a backdoor is when there is a hidden prepared exploit planted on the inside (in this case presumably because they were funded by the government they assume they would get this in return, even though if that was the case they would do a crypto transaction and not openly fund them)