formell verifisering

Koden bak Signals private chatter har nå et maskinsjekket bevis for at meldinger forblir hemmelige, selv etter at en nøkkel er stjålet. KI-agenter skrev det på fire uker og fant ingen nye feil, men gruppechatter er ikke dekket.