数字加密工具EverCrypt是在数学上被完全定义的软件，不存在可被黑客利用的bug。