Google DeepMind verifica segurança do protocolo usado por WhatsApp e Signal

A Google DeepMind usou inteligência artificial para verificar formalmente a segurança do protocolo Signal, empregado no aplicativo Signal e também no WhatsApp e no Google Messages. O trabalho representa um avanço na análise de sistemas de criptografia, mas não funciona como uma auditoria completa desses aplicativos.

A equipe descreveu o resultado como um marco, embora ressalte que ainda há um longo caminho até aplicar o método a todo tipo de software. Na prática, a verificação matemática ajuda a avaliar se o protocolo cumpre suas alegações de segurança, mas não certifica cada parte dos serviços que o utilizam.

O que a Google DeepMind verificou no protocolo Signal

Verificação formal é o processo de provar matematicamente se um algoritmo ou protocolo criptográfico atende às próprias garantias de segurança sob todas as condições consideradas. É um nível diferente dos testes convencionais, que procuram vulnerabilidades, mas não conseguem provar que nenhuma outra existe.

Segundo a publicação 9to5Mac, a análise da Google DeepMind levou quatro semanas e aproveitou trabalhos anteriores de verificação formal feitos sem inteligência artificial. A equipe também testou o método em versões antigas do Signal com vulnerabilidades conhecidas: nesses casos, a análise as identificou e apontou que elas não passavam na verificação.

Resultado não certifica o WhatsApp inteiro

O ponto que pede pé no chão é o alcance do trabalho. A validação trata do protocolo Signal, não do aplicativo Signal como um todo. Portanto, também não equivale a uma revisão completa do WhatsApp ou do Google Messages, embora os três usem o protocolo.

A Google disse à revista Wired que ainda não sabe quão viável será ampliar a técnica. O custo computacional é alto, e a empresa não divulgou o volume de recursos necessário para a análise. Swarat Chaudhuri, pesquisador da Google DeepMind, afirmou à Wired que ainda há um longo caminho até levar o método a todo o software do mundo.

Para quem usa o WhatsApp ou o Signal, o estudo reforça a confiança no protocolo compartilhado pelos serviços, mas não deve ser lido como um atestado de segurança para cada recurso dos aplicativos. A própria equipe trata o resultado como uma etapa de um processo maior, não como ponto final.

📲 Se você acompanha as mudanças de segurança nos mensageiros, siga o Canal do TS no WhatsApp para receber os destaques.

O trabalho mostra também onde a IA pode ajudar na criptografia: não só procurando falhas, mas participando de provas formais. Por enquanto, o tempo e os recursos exigidos ainda limitam o quanto essa abordagem pode ser ampliada.

Fonte: 9to5Mac