I think proving that there is a backdoor isn't a concern. A useful backdoor could probably be passed off as an engineering error. The bigger issue is that the backdoor, if exploitable by anyone, could become known.