Google DeepMind bevisar säkerheten i Signals kryptering

Forskare på Google DeepMind, en del av Alphabet Inc. ↘ 0.21%, har använt ett nytt AI-ramverk kallat AlphaProof Code för att matematiskt bevisa flera av de viktigaste kryptografiska garantierna i Signal-protokollet. Det fyra veckor långa projektet, som fungerade som ett konceptbevis, fann inga nya sårbarheter i de delar av protokollet som granskades, rapporterade WIRED den 10 november.wired.com

Resultatet är betydelsefullt även utanför Signal-appen. Protokollet säkrar även meddelanden i Google Messages och WhatsApp, som ägs av Meta Platforms, Inc. ↗ 0.22%, vilket innebär att analysen utgör en oberoende kontroll av den kryptering som skyddar en stor del av världens kommunikation, enligt WIRED. Det visar också att AI-agenter kan påskynda formell verifiering, en eftertraktad men tidskrävande metod för att med matematik visa att mjukvara fungerar som avsett.wired.com

Vad analysen visade

Forskarna testade AlphaProof Code på äldre versioner av Signal som innehöll kända sårbarheter, vilka sedan länge har åtgärdats. Verktyget identifierade korrekt dessa brister och visade att de versionerna inte kunde verifieras formellt, rapporterade WIRED. DeepMind publicerar nu specifikationen och bevisen de tagit fram så att andra verifieringsinsatser kan dra nytta av dem.wired.com

Omfattningen var begränsad. Arbetet verifierade inte hela Signal-appen, och forskarna beskrev det som en milstolpe i en längre process. "Vi är mycket entusiastiska över resultatet, men det är en lång väg kvar innan vi kan skala upp detta till all mjukvara i världen, och det är vad vi vill göra", säger DeepMind-forskaren Swarat Chaudhuri till WIRED.wired.com

Teamet uppgav att tidigare formellt verifieringsarbete utfört av Signal gav dem ett försprång. "Medan tidigare formell verifiering fokuserade på mindre delar av koden, möjliggör Google DeepMinds tillvägagångssätt en betydande expansion", säger Signals teknikchef Ehren Kret i ett uttalande och tillägger att verifieringen ger företaget "ännu större förtroende" i takt med att AI-drivna säkerhetshot ökar.wired.com

Ett växande område

DeepMinds arbete kommer samtidigt som andra grupper arbetar mot liknande mål. I april 2026 lanserade Signal, Beneficial AI Foundation och Lean FRO projektet Signal Shot, en offentlig satsning för att verifiera Signal-protokollet och dess Rust-implementering med hjälp av bevisassistenten Lean. Projektet syftar till att översätta Signals faktiska kod till Lean och bevisa att den matchar en verifierad modell av protokollet, enligt stiftelsen. DeepMinds resultat är fristående från det projektet, noterar Startup Fortune.beneficialaifoundation.org+2

Öppna frågor om kostnad

Det är fortfarande oklart om AI-automatiserad verifiering kan skalas upp till en rimlig kostnad. DeepMind utförde Signal-analysen gratis som ett forskningsprojekt. Google har avböjt att kommentera kostnaden eller om de planerar en kommersiell verifieringsprodukt, rapporterade WIRED.wired.com

Chaudhuri menar att ett viktigt framsteg var processen där AI-agenter bidrar och korrigerar sitt eget arbete medan människor granskar det vid kritiska punkter. "Vi vill inte ha en värld där AI genererar målen och AI genererar bevisen och i princip skriver sina egna prov", säger han. "Det finns en medelväg."wired.com