Google DeepMind-AI har bevist sentrale sikkerhetsgarantier i Signal

Forskere hos Google DeepMind, et datterselskap av Alphabet Inc. ↘ 0.21%, har brukt et nytt AI-rammeverk kalt AlphaProof Code for å matematisk bevise flere av de viktigste kryptografiske garantiene i Signal-protokollen. Det fire uker lange konseptbevis-prosjektet fant ingen nye sårbarheter i delene av protokollen som ble undersøkt, rapporterte WIRED den 10. november.wired.com

Resultatet har betydning utover selve Signal-appen. Protokollen sikrer også meldinger i Google Messages og WhatsApp, eid av Meta Platforms, Inc. ↗ 0.22%, så analysen fungerer som en uavhengig kontroll av krypteringen som beskytter en stor del av verdens kommunikasjon, ifølge WIRED. Det viser også at AI-agenter kan forkorte formell verifisering, en ettertraktet, men tidkrevende metode for å bruke matematikk til å bevise at programvare fungerer som tiltenkt.wired.com

Hva analysen avdekket

Forskerne testet AlphaProof Code på eldre versjoner av Signal som inneholdt kjente sårbarheter, som alle ble rettet for lenge siden. Verktøyet fant korrekt disse feilene og viste at disse versjonene ikke kunne verifiseres formelt, melder WIRED. DeepMind frigir nå spesifikasjonen og beviset de har bygget, slik at andre verifiseringsprosjekter kan benytte seg av dem.wired.com

Omfanget var begrenset. Arbeidet verifiserte ikke hele Signal-mobilappen, og forskerne beskrev det som én milepæl i en lengre prosess. "Vi er veldig begeistret for dette resultatet, men det er lang vei å gå før vi kan skalere dette til all programvare i verden, og det er det vi ønsker å gjøre," sa DeepMind-forsker Swarat Chaudhuri til WIRED.wired.com

Teamet uttalte at tidligere formelt verifiseringsarbeid utført av Signal ga dem et forsprang. "Mens tidligere formell verifisering fokuserte på mindre deler av koden, muliggjør Google DeepMinds tilnærming en betydelig utvidelse," sa teknologidirektør i Signal, Ehren Kret, i en uttalelse. Han la til at verifiseringen gir selskapet "enda større trygghet" etter hvert som AI-drevne sikkerhetstrusler øker.wired.com

Et felt i vekst

DeepMind-arbeidet kommer samtidig som andre grupper forfølger lignende mål. I april 2026 lanserte Signal, Beneficial AI Foundation og Lean FRO prosjektet Signal Shot, et offentlig initiativ for å verifisere Signal-protokollen og dens Rust-implementering ved hjelp av Lean-bevisassistenten. Prosjektet tar sikte på å oversette Signals faktiske kode til Lean og bevise at den samsvarer med en verifisert modell av protokollen, ifølge stiftelsen. DeepMinds resultat er uavhengig av dette prosjektet, bemerket Startup Fortune.beneficialaifoundation.org+2

Åpne spørsmål om kostnader

Det er fortsatt uklart om AI-automatisert verifisering kan skaleres til en forsvarlig kostnad. DeepMind utførte Signal-analysen gratis som et forskningsprosjekt. Google ønsket ikke å opplyse hva det kostet eller om de planlegger et kommersielt verifiseringsprodukt, rapporterte WIRED.wired.com

Chaudhuri sa at et viktig fremskritt var en prosess der AI-agenter bidrar og korrigerer sitt eget arbeid, mens mennesker kontrollerer det ved kritiske punkter. "Vi ønsker ikke en verden der AI genererer målene og AI genererer bevisene, og i praksis tar tester som er selvskrevne," sa han. "Det finnes en mellomvei."wired.com