---
title: "Google DeepMind verifica protocolo Signal com framework de IA"
url: https://dailyjournal.news/news/2026-11-10/google-deepmind-usa-ia-para-verificar-protocolo-signal
published: 2026-11-10T12:16:22.730681+00:00
updated: 2026-11-10T13:01:28.279703+00:00
categories: ["technology"]
source_count: 6
outlet_count: 2
language: pt-BR
publisher: "Daily Journal"
---

# Google DeepMind verifica protocolo Signal com framework de IA

O AlphaProof Code, framework de IA do Google DeepMind, provou matematicamente propriedades de segurança do código do protocolo Signal em quatro semanas.

## Pontos principais

- O Google DeepMind usou o AlphaProof Code, framework de agentes com vários modelos de linguagem, para verificação formal de código.
- A prova cobre propriedades de segurança do código executado nos dispositivos, entre elas a proteção das mensagens antes e depois do comprometimento temporário de um aparelho.
- Agentes com o modelo Gemini Carbon geraram mais de seis milhões de linhas de Lean, e especialistas humanos revisaram cada especificação.
- Os agentes apontaram cerca de 1% da base de código para revisão humana; o Lean verifica o restante.
- O processo levou quatro semanas, tempo que, segundo a DeepMind, equipes de especialistas levariam anos para cumprir.
- Dois bugs já corrigidos, reintroduzidos numa versão isolada, levaram o sistema a produzir prova verificada por máquina de que a versão era insegura.
- A DeepMind afirma que é a primeira vez que a implementação de um protocolo amplamente implantado é verificada formalmente por qualquer método.
- O CTO do Signal, Ehren Kret, diz que a verificação dá mais confiança nas garantias de privacidade do código.
- O material de verificação está sendo publicado como código aberto; a DeepMind não detalha as demais propriedades verificadas nem nomeia os bugs testados.

Pesquisadores do Google DeepMind usaram o AlphaProof Code para verificar formalmente o código do protocolo de criptografia do Signal, tecnologia que protege as conversas privadas no Signal e no Google Messages. Segundo a DeepMind, a maior parte das verificações de protocolos para no nível do desenho, enquanto esta chegou ao código executado nos dispositivos, onde vulnerabilidades reais costumam se esconder na distância entre desenho e implementação.

A empresa descreve o método como uma divisão de trabalho: especialistas decidem o que provar e agentes fazem as provas. Ela também diz que escalar essas técnicas exige mais pesquisa, e aponta como aplicações futuras o firmware de dispositivos médicos e o software de redes elétricas.

## Fontes

- [Google DeepMind combina humanos e agentes de IA para verificar as técnicas do Signal](https://www.theregister.com/ai-and-ml/2026/11/10/google-deepmind-melds-humans-and-ai-agents-to-vet-signals-secure-messaging-techniques/5308625) (2026-11-10)
- [Google DeepMind usa IA para provar que a criptografia do Signal funciona](https://www.axios.com/2026/11/10/google-code-verification-signal) (2026-11-10)
- [Nova ferramenta de IA do Google DeepMind provou que o protocolo Signal é seguro](https://www.wired.com/story/a-new-ai-tool-from-google-deepmind-formally-verified-the-signal-protocol/) (2026-11-10)
- [@pushmeet: Announcing a major milestone achieved by my team @GoogleDeepMind: we have proven key security properties of the machine code underlying the Signal messaging protocol. This is the f…](https://x.com/pushmeet/status/2120127611137634376) (2026-11-10)
- [Introducing AlphaProof Code: a breakthrough in verifying complex software at depth](https://deepmind.google/blog/introducing-alphaproof-code/) — DeepMind (2026-11-10)
- [Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept (Lily Hay Newman/Wired)](https://www.techmeme.com/261110/p14#a261110p14) — Techmeme (2026-11-10)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-11-10/google-deepmind-usa-ia-para-verificar-protocolo-signal