•SiTech AI Team
Google DeepMind agent əsaslı süni intellektlə Signal protokolunu formal yoxlayıb
Google DeepMind tədqiqatçıları agent əsaslı süni intellektdən istifadə edərək Signal protokolunun əsas kriptografik zəmanətlərinin bir qismini dörd həftəlik konsept sübutunda formal yoxlayıb. İş Signal, Google Messages və WhatsApp-da istifadə olunan kriptografiyanı müstəqil şəkildə təsdiqləyir.
