Claude פענח בתוך פחות מחצי שעה תעלומה קריפטוגרפית בת 25 שנה של ה-NSA
מודל ה-AI של אנתרופיק, Claude, גילה בתוך פחות מ-30 דקות מאיפה הגיעו ערכי הזרע שה-NSA סיפקה לעקומות ההצפנה של תקן ECDSA. לדברי אנתרופיק, הם נוצרו במחולל המספרים הפשוט lrand48, ולכן פחות סביר שהוסתרה בהם דלת אחורית מכוונת. זה 25 שנה שאיש לא ידע איך הערכים האלה נוצרו.
במשך 25 שנה איש מחוץ ל-NSA לא ידע איך נוצרו כמה מספרים שנמצאים בבסיס חלק מתקני ההצפנה הנפוצים בעולם. עכשיו, לפי דיווח באתר The Decoder שמתבסס על אנתרופיק, מודל ה-AI של החברה, Claude, מצא את התשובה בפחות מ-30 דקות. לדברי אנתרופיק, הממצא מקטין את הסבירות שבמספרים האלה הוסתרה דלת אחורית מכוונת.
מה הייתה התעלומה
בשנת 2000 הכניס NIST, מכון התקנים האמריקאי, כמה עקומות אליפטיות לתקן ECDSA. זו המסגרת הנפוצה ביותר לחתימות דיגיטליות שמבוססות על עקומות אליפטיות. בעזרת חתימות כאלה מערכות מוודאות, למשל, שהאתר או התוכנה שמולן הם באמת מי שהם טוענים להיות.
את הפרמטרים של העקומות מפיקים מנקודת התחלה שנקראת "זרע" (seed). את הזרעים האלה סיפקה ה-NSA, סוכנות הביון האמריקאית, בלי שום הסבר על הדרך שבה נוצרו. כשלא יודעים מאיפה הגיעו ערכים כאלה, אי אפשר לשלול שמי שבחר אותם בחר דווקא ערכים שמחלישים את ההצפנה באופן שרק הוא מכיר. לכן הזרעים עוררו לאורך השנים חשד שיש בהם דלת אחורית.
התעלומה משכה גם חוקרים חובבים, ואף הוצע פרס כספי למי שיפתור אותה. ג'רי סולינס, עובד NSA שהלך לעולמו, העלה בעבר את האפשרות שהזרעים הם ערך hash (טביעת אצבע מתמטית) של משפט הומוריסטי כלשהו. ההשערה הזו התבררה כשגויה.
איך Claude פיצח את זה
לפי הדיווח, הזרעים הופקו ב-lrand48, מחולל מספרים אקראיים פשוט של שפת C. נקודת ההתחלה של המחולל הייתה חותמת זמן של Unix מהתקופה שבין מאי 1997 לאפריל 1998. Claude זיהה את הדפוס משום ש-lrand48 מפיק בכל פעם רק 31 ביטים, ובחלק מהזרעים הביטים העליונים היו אפס באופן עקבי. זו טביעת אצבע של הכלי שיצר את המספרים.
אנתרופיק תורמת את הפרס, בסך 36,864 דולר, ל-Internet Security Research Group. זה הארגון שמפעיל את Let's Encrypt, שירות תעודות האבטחה החינמי לאתרים.
למה זה חשוב
בעולם ההצפנה, אמון בתקן תלוי במידה רבה בשקיפות של הדרך שבה הוא נבנה. החשדנות כלפי ערכים שה-NSA סיפקה לא נולדה בחלל ריק. היא התחזקה בעשור הקודם, אחרי שנחשפו חשדות לדלת אחורית במחולל מספרים אקראיים אחר שתוקנן בארה"ב. מכאן שהסבר פשוט ומוחשי למקור הזרעים, תוכנה שגרתית ושעון מחשב, מוריד ככל הנראה חלק מהלחץ מעל עקומות שנמצאות בשימוש רחב.
צריך לדייק: לפי אנתרופיק הממצא הופך דלת אחורית מכוונת ל"פחות סבירה", לא לבלתי אפשרית. הוא מסביר איך נוצרו המספרים, אבל לא מוכיח שבשום שלב בתהליך לא בוצעה בהם מניפולציה.
לצד שאלת האמון, הסיפור מראה גם משהו על מודלי שפה. בעיה שבני אדם עסקו בה שנים נפתרה כאן בזכות זיהוי של דפוס סטטיסטי קטן, ביטים שחוזרים להיות אפס, וקישור שלו לכלי תוכנה ישן ומוכר. זהו ככל הנראה סוג המשימה שבו LLM יכול לעזור במחקר: סריקה מהירה של השערות רבות מול נתונים, עד שאחת מהן מתאימה.