Η Anthropic ανακοίνωσε ότι το μοντέλο της Claude έλυσε ένα κρυπτογραφικό αίνιγμα που απασχολούσε την κοινότητα της ασφάλειας για περίπου 25 χρόνια: την προέλευση των αρχικών τιμών που είχε δώσει η NSA για ορισμένες ελλειπτικές καμπύλες του προτύπου ECDSA. Σύμφωνα με την εταιρεία, το μοντέλο έφτασε στη λύση σε λιγότερο από 30 λεπτά.
Ποιο ήταν το μυστήριο
Το 2000, το αμερικανικό Εθνικό Ινστιτούτο Προτύπων και Τεχνολογίας (NIST) τυποποίησε μια σειρά από ελλειπτικές καμπύλες στο πρότυπο ECDSA, το πιο διαδεδομένο πλαίσιο για ψηφιακές υπογραφές που βασίζονται στην κρυπτογραφία ελλειπτικών καμπυλών. Οι ψηφιακές υπογραφές επιβεβαιώνουν ότι ένα μήνυμα, ένα αρχείο ή μια ιστοσελίδα προέρχεται πράγματι από αυτόν που ισχυρίζεται ότι το στέλνει και ότι δεν έχει αλλοιωθεί.
Για να παραχθούν οι παράμετροι των καμπυλών χρησιμοποιήθηκαν ορισμένοι «σπόροι» (seeds), δηλαδή αρχικές τιμές από τις οποίες προκύπτουν οι αριθμοί που ορίζουν κάθε καμπύλη. Τους σπόρους αυτούς τους είχε παράσχει η NSA, η αμερικανική υπηρεσία πληροφοριών που ειδικεύεται στις υποκλοπές επικοινωνιών, χωρίς καμία εξήγηση για το πώς δημιουργήθηκαν. Η αδιαφάνεια αυτή τροφοδότησε για χρόνια υποψίες ότι οι τιμές ίσως είχαν επιλεγεί σκόπιμα ώστε να κρύβουν κάποια «πίσω πόρτα», μια κρυφή αδυναμία που θα επέτρεπε σε όποιον τη γνωρίζει να παρακάμπτει την προστασία.
Όπως μεταδίδει το The Decoder, το ερώτημα είχε προσελκύσει ακόμη και χρηματικό έπαθλο για όποιον το έλυνε, καθώς και προσπάθειες ερασιτεχνών ερευνητών. Ο εκλιπών υπάλληλος της NSA Jerry Solinas είχε υποστηρίξει ότι οι σπόροι ήταν το αποτέλεσμα συνάρτησης κατακερματισμού (hash) πάνω σε μια χιουμοριστική φράση, όμως η εκδοχή αυτή αποδείχθηκε λανθασμένη.
Πώς έφτασε το Claude στη λύση
Σύμφωνα με την Anthropic, οι σπόροι προέρχονταν από τη lrand48, μια απλή γεννήτρια ψευδοτυχαίων αριθμών της γλώσσας προγραμματισμού C. Η γεννήτρια είχε αρχικοποιηθεί με μια χρονοσφραγίδα Unix, δηλαδή με την ένδειξη της ώρας του υπολογιστή, από την περίοδο μεταξύ Μαΐου 1997 και Απριλίου 1998.
Το κλειδί ήταν μια λεπτομέρεια στη μορφή των αριθμών. Η lrand48 παράγει τιμές μόνο 31 bit, κάτι που αφήνει ένα χαρακτηριστικό αποτύπωμα: σε ορισμένους από τους σπόρους, τα ανώτερα bit ήταν συστηματικά μηδενικά. Το Claude εντόπισε αυτό το μοτίβο και, με βάση αυτό, ταυτοποίησε τη γεννήτρια και το χρονικό διάστημα της αρχικοποίησης.
Τι σημαίνει για την ασφάλεια και για την AI
Κατά την Anthropic, το εύρημα κάνει λιγότερο πιθανό το ενδεχόμενο να είχαν τοποθετηθεί σκόπιμα πίσω πόρτες στις συγκεκριμένες καμπύλες. Αν οι σπόροι προήλθαν από μια κοινή γεννήτρια με βάση την ώρα, ο χώρος για συστηματική χειραγώγηση των τιμών περιορίζεται. Πρόκειται για αξιολόγηση της ίδιας της εταιρείας· οι πηγές δεν αναφέρουν ανεξάρτητο έλεγχο από κρυπτογράφους.
Το θέμα έχει ευρύτερη σημασία, επειδή η κρυπτογραφία ελλειπτικών καμπυλών χρησιμοποιείται ευρέως σε συστήματα που προστατεύουν τις διαδικτυακές συναλλαγές και επικοινωνίες. Παράλληλα, η περίπτωση δείχνει πώς τα μεγάλα γλωσσικά μοντέλα αξιοποιούνται όλο και συχνότερα σε τεχνικά προβλήματα έρευνας, όπου η αναγνώριση μοτίβων σε δεδομένα μπορεί να οδηγήσει γρήγορα σε υποθέσεις που στη συνέχεια επαληθεύονται.
Η Anthropic ανακοίνωσε ότι θα δωρίσει το έπαθλο των 36.864 δολαρίων στην Internet Security Research Group, τον μη κερδοσκοπικό οργανισμό που είναι γνωστός για την υπηρεσία δωρεάν πιστοποιητικών ασφαλείας Let’s Encrypt.
