Pesquisadores do Google DeepMind conseguiram usar inteligência artificial (IA) para realizar a verificação formal da segurança das mensagens do Signal. A conquista marca a primeira vez que sistemas automatizados ajudam a criar uma prova matemática que liga garantias de segurança de um protocolo à implementação real em código. A descoberta foi divulgada por meio de um relatório técnico publicado
O trabalho utilizou o AlphaProof Code, um sistema baseado em agentes de IA criado para especificação e verificação de software. Com a ajuda dessa tecnologia, a equipe validou que o aplicativo protege as conversas e roubos de dados, o que responde a um desafio lançado pela Beneficial AI Foundation em abril deste ano.
O processo envolveu transformar metas de segurança em especificações matemáticas revisadas por humanos, enquanto o modelo de IA gerou milhões de linhas de código em Lean (linguagem de programação especial) para testar a correção de software.
Pesquisador da Google DeepMind e professor da Universidade do Texas, nos Estados Unidos, Swat Chaudhuri destacou, ao veículo especializado The Register, a importância da colaboração humano-máquina nesse processo:
O desafio da era quântica
Ao passo em que computadores quânticos avançam com ameaças potenciais à criptografia tradicional baseada em curvas elípticas, o Signal implementou defesas para proteger dados atuais e futuros. A introdução do Sparse Post Quantum Ratchet (SPQR) junto ao sistema atual forma o chamado Triple Ratchet, pois mistura chaves tradicionais e pós-quânticas por meio de funções de derivação. Isto é, essa proteção forma um sistema reforçado para manter os dados mais seguros.
A verificação desse tipo de protocolo complexo costumava exigir esforço humano passivo, como os anos investidos em sistemas anteriores. Com o AlphaProof Code, a equipe reduziu prazos e custos operacionais e manteve a verificação integrada ao fluxo de desenvolvimento do software no GitHub.
“O sonho é definitivamente escalar isso”, pontuou Chaudhuri ao discutir o futuro da aplicação de IA na segurança de códigos ao redor do mundo. Para o especialista da Google DeepMind, o próximo passo envolve levar essa tecnologia diretamente para a fase de design de novas ferramentas em sistemas digitais.
Siga o TecMundo no X, Instagram, Facebook e YouTube e assine a nossa newsletter para receber as principais notícias e análises diretamente no seu e-mail.