Zcash developers audited their protocol using frontier artificial intelligence models to discover vulnerabilities that evaded human cryptographers