Una delle domande più ricorrenti nel mondo della messaggistica è tanto semplice quanto cruciale: la crittografia di WhatsApp e Signal funziona davvero come promesso? La risposta, stavolta, arriva dalla matematica formale, e a fornirla è nientemeno che Google DeepMind. Il laboratorio di ricerca ha utilizzato AlphaProof Code, un framework di intelligenza artificiale agentica basato su Gemini, per dimostrare in modo rigoroso che il protocollo di Signal rispetta le garanzie di sicurezza dichiarate.
Una verifica formale, non un semplice test
Il punto centrale è la natura della dimostrazione: non si tratta di un audit empirico né di un test di penetrazione, ma di una prova matematica formale. Il protocollo di Signal, adottato anche da WhatsApp e da Google Messages, è alla base della crittografia end-to-end di miliardi di conversazioni quotidiane. Finora la sua solidità era affidata a revisioni tra pari e analisi accademiche; ora un sistema di IA è riuscito a verificare le proprietà di sicurezza passo dopo passo, riducendo lo spazio per errori umani o ambiguità nelle specifiche.
Perché è una svolta per la fiducia digitale
L'impatto pratico è rilevante su più fronti. Da un lato, gli utenti ottengono una conferma indipendente che le promesse di riservatezza non sono solo marketing. Dall'altro, il settore della sicurezza informatica guadagna un modello replicabile: l'IA agentica può diventare uno strumento standard per validare protocolli crittografici complessi, accelerando controlli che prima richiedevano mesi di lavoro specialistico. Con AlphaProof Code, DeepMind dimostra che l'IA non serve solo a generare testo o codice, ma può contribuire a rendere dimostrabile ciò che fino a ieri era affidato alla fiducia.
