formell verifiering

Koden bakom Signals privata chattar har nu ett maskinkontrollerat bevis för att meddelanden förblir hemliga, även efter att en nyckel har stulits. AI-agenter skrev det på fyra veckor och hittade inga nya brister, men gruppchattar ingår inte.