10 de novembro de 2026 · 5 fontes independentes
A verificação avaliou propriedades do código implementado, e não apenas o projeto teórico do protocolo.
O resultado se limita ao protocolo e ao código analisado, não a toda a segurança do aplicativo.
A verificação pode ser relevante para outros serviços de mensagens que usam a mesma tecnologia criptográfica.
A equipe ressalta que o resultado é um marco inicial, e não uma solução já escalável para todo tipo de código.
O prazo mostra a rapidez do processo em comparação com a verificação manual, que poderia levar anos.
Confirmado por