formel verifikation

Koden bag Signals private chats har nu et maskintjekket bevis for, at beskeder forbliver hemmelige, selv efter at en nøgle er stjålet. AI-agenter skrev det på fire uger og fandt ingen nye fejl, men gruppechats er ikke med.