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. IA do Google verifica segurança do Signal contra computadores quânticos Foto: Reprodução/C 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ânticaAo 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.