Pesquisadores do Google DeepMind usaram IA agêntica para verificar formalmente várias garantias criptográficas fundamentais do protocolo Signal, o sistema de criptografia amplamente utilizado. A verificação formal comprova matematicamente que um software se comporta conforme pretendido por seus criadores. Os pesquisadores afirmam que esperam estender a abordagem a todo o software do mundo.

O que o Google DeepMind verificou no protocolo de criptografia do Signal?

Pesquisadores do Google DeepMind usaram IA agêntica para provar matematicamente, ou "verificar formalmente", uma série de garantias criptográficas fundamentais do protocolo Signal, o sistema de criptografia amplamente utilizado no centro do trabalho.

O resultado é relevante para dois campos ao mesmo tempo. A WIRED descreve o feito como um marco histórico para a criptografia e para a própria IA, destacando que as ferramentas de IA foram usadas para confirmar propriedades de segurança que precisavam ser verificadas com rigor, e não simplesmente presumidas.

O que é verificação formal?

A verificação formal é um método que comprova, com certeza matemática, que um software se comporta da maneira pretendida por seus criadores. Nesse caso, os pesquisadores conseguiram confirmar que o protocolo de criptografia amplamente utilizado funciona como esperado, uma descoberta de grande peso para os milhões de pessoas que dependem dele para manter suas mensagens privadas.

Os pesquisadores não param por aí. Seu objetivo ambicioso é aplicar a mesma abordagem a "todo o software do mundo", uma expressão que indica o alcance que esperam atingir com a técnica, caso ela possa ser escalada.

A reportagem foi escrita por Lily Hay Newman, redatora sênior da WIRED que cobre segurança da informação, privacidade digital e hacking. Sua apuração é o principal relato do projeto disponível no material de origem, e os detalhes dos métodos de pesquisa e das garantias específicas verificadas não são descritos no trecho.

Cet article a été rédigé avec l'assistance de l'IA.
News Factory APP - actualités agentiques pour booster votre SEO et AEO.