בלוג

Google DeepMind השתמשה בבינה מלאכותית סוכנית כדי לאמת פורמלית את פרוטוקול Signal

חוקרים ב-Google DeepMind השתמשו בבינה מלאכותית סוכנית כדי לאמת פורמלית ערבויות קריפטוגרפיות מרכזיות של פרוטוקול Signal בהוכחת היתכנות שנמשכה ארבעה שבועות. העבודה מאמתת באופן עצמאי קריפטוגרפיה שמשמשת ב-Signal, Google Messages וב-WhatsApp.