Claude löst 25 Jahre altes NIST-Krypto-Rätsel in unter 30 Minuten

Claude hat ein kryptografisches Rätsel, das 25 Jahre lang ungelöst blieb, in weniger als 30 Minuten gelöst.

Im Jahr 2000 veröffentlichte die US-Regierung NIST-Elliptic-Curve-Kurven wie P-256, die in ECDSA verwendet werden, einem der weltweit verbreitetsten Standards für digitale Signaturen. Bitcoin nutzt ebenfalls ECDSA, aber mit einer anderen Kurve, secp256k1, die nicht zu den NIST-Kurven gehört.

Die NSA stellte diese Zahlen ohne Erläuterungen bereit, weshalb über Jahre der Verdacht bestand, sie könnten absichtlich für eine Backdoor ausgewählt worden sein. Einer verbreiteten Version zufolge generierte der NSA-Mitarbeiter Jerry Solinas sie anhand eines scherzhaften Satzes wie „Gebt Bob und Jerry eine Gehaltserhöhung“. Er starb 2023, ohne die Details zu kennen; Anthropic-Mitarbeitende hatten bereits versucht, diese Version zu überprüfen, aber ohne Erfolg.

Anschließend bat ein Mitarbeiter eine interne Forschungsversion von Claude herauszufinden, wie die Zahlen erzeugt wurden, ohne dem Modell den vermuteten Satz mitzuteilen.

Claude fand die Antwort: Es gab keinen Satz. Die Zahlen wurden mit einem verbreiteten Pseudorandom-Generator der Programmiersprache C erzeugt, wobei als Seed die Systemuhrzeit des Computers verwendet wurde. Die Generierung erfolgte zwischen Mai 1997 und April 1998. Nun kann jeder diese Zahlen reproduzieren. Details stehen in der Anthropic-Forschung.

Anthropic betont, dass diese Erkenntnis die Sicherheit bestehender Systeme nicht gefährdet und keine neuen Schwachstellen erzeugt. Im Gegenteil: Die Theorie einer absichtlich eingebauten Backdoor wird deutlich unwahrscheinlicher, sodass keine Änderungen erforderlich sind.

Einige Fragen bleiben dennoch offen. Zum Beispiel ist weiterhin unklar, warum andere Zahlen verworfen wurden, die für die Aufgabe ebenfalls geeignet gewesen wären.

Am beeindruckendsten ist selbst die Lösungsmethode.

Viele Forschende suchten jahrelang nach dem vermeintlichen Satz. Diese Hypothese wurde zum Ausgangspunkt, um den herum nahezu alle Suchen aufgebaut wurden.

Claude ging einen anderen Weg. Statt nach einem Satz zu suchen, leitete das Modell ab, wie ein 1997 geschriebenes Programm solche Zahlen hätte erzeugen können, und prüfte diese Hypothese anschließend.

Und löste damit das Problem.