Ερευνητές της Google DeepMind, θυγατρικής της Alphabet Inc., χρησιμοποίησαν ένα νέο πλαίσιο τεχνητής νοημοσύνης με την ονομασία AlphaProof Code για να αποδείξουν μαθηματικά αρκετές από τις κύριες κρυπτογραφικές εγγυήσεις του πρωτοκόλλου Signal. Το έργο απόδειξης της ιδέας, το οποίο διήρκεσε…
Η Google DeepMind ανακοίνωσε ότι το νέο της πλαίσιο τεχνητής νοημοσύνης, AlphaProof Code, απέδειξε μαθηματικά αρκετές βασικές εγγυήσεις ασφαλείας του πρωτοκόλλου Signal κατά τη διάρκεια ενός τετραεβδομαδιαίου έργου, σύμφωνα με το WIREDwired.com.
Το εργαλείο εντόπισε σωστά κενά ασφαλείας που είχαν διορθωθεί εδώ και καιρό σε παλαιότερες εκδόσεις του Signal, ενώ η έρευνα δεν κάλυψε το σύνολο της εφαρμογής και η DeepMind σχεδιάζει να δημοσιοποιήσει την απόδειξή τηςwired.com.
Ο CTO του Signal, Ehren Kret, δήλωσε ότι το έργο προσφέρει «ακόμη μεγαλύτερη εμπιστοσύνη», ενώ η Google δεν αποκάλυψε το κόστος ή το αν σχεδιάζει κάποιο εμπορικό προϊόνwired.com.