biçimsel doğrulama

Signal'deki özel sohbetleri koruyan kodun artık makine tarafından denetlenmiş bir ispatı var: bir anahtar çalınsa bile mesajlar gizli kalıyor. Yapay zekâ ajanları ispatı dört haftada yazdı ve yeni bir açık bulmadı, ancak grup sohbetleri kapsam dışında kaldı.