Criptografia inquebrável?

Um artigo recente cita o lançamento do EverCrypt, uma biblioteca de criptografia criada utilizando métodos formais contra ataques de criptografia específicos. Mais informações: Projeto EverCrypt no GitHubArtigo: Criptografia a prova de ‘hackers’ (em inglês)Artigo original: Schneier on Security