Skip to content
עברית

מה מחקר ה־RSA-1024 של DeepMind מראה בפועל

Read in English

בינה מלאכותית וקריפטוגרפיה · המאמרים המקוריים נבדקו ב־8 בנובמבר 2026

כשכותרת טוענת ש־AI האיץ תקיפה על RSA, כדאי לשאול שלוש שאלות: איזו יכולת כבר הייתה לתוקף, איזו עבודה נמדדה בפועל, ואילו עלויות נשארו מחוץ לכותרת? שני מאמרי עבודה של Google DeepMind מספקים דוגמה טובה. הם מציגים התקדמות בניתוח קריפטוגרפי הקשור ל־RSA הוותיק באורך 1024 סיביות, ובמקביל מציינים במפורש שהתוצאות אינן מאיימות כיום על מערכות RSA פעילות המשתמשות במפתחות של 2048 סיביות ומעלה.

המקורות עוסקים בבעיות שונות. Modular Roots from a Restricted Oracle משלב תוצאות תאורטיות עם חישוב גדול. Fan Factories, הנושא את התאריך 5 בנובמבר, מציע שיפורים תאורטיים לפירוק של מספרים רבים לגורמים. שניהם מאמרי עבודה. בראשון לא מופיע תאריך פרסום גלוי; הכתבה מתייחסת לגרסאות שנבדקו בתאריך המצוין כאן, בלי לייחס לו תאריך השקה משוער.

מה נמדד בחישוב הגדול

המאמר הראשון משחזר חישוב מוכר של שורש מודולרי בגודל 1024 סיביות, בעזרת אורקל מוגבל: תוכנה שעונה על שאילתות מתמטיות מסוימות. הוא מדווח על 391 שנות־ליבת CPU, לעומת 1,380 במימוש הקודם. שנת־ליבה היא עבודה של ליבת מעבד אחת במשך שנה; ליבות רבות יכולות לבצע את העבודה במקביל.

ההשוואה השתמשה באותה בעיה, באותו אלגוריתם, באותם פולינומים ובאותם גבולות. לכן השיפור של בערך פי 3.5 משקף מימוש וביצוע, ולא אלגוריתם אסימפטוטי חדש. הנתון 391 אינו כולל שלב GPU שדווח בנפרד וניסויי הכנה. המחברים מציגים גם השוואה שמרנית יותר של בערך פי 3.3, כאשר כוללים את הניסויים ומחשבים את השלב הזה לפי עלות ה־CPU הקודמת.

הזמן שחלף מתחילת שלב הניפוי בקנה מידה מלא היה כ־3.2 ימים, עם שיא של כ־300 אלף ליבות CPU ו־16 מעבדי GPU. התוצאה בזמן לוח שנה תלויה מאוד במשאבים מקביליים. היא אינה ראיה לכך שמחשב שולחני רגיל יכול לבצע אותה עבודה בסוף שבוע.

האורקל הוא חלק ממודל האבטחה

הניסוי השתמש בכ־4.06 מיליארד שאילתות לאורקל לפני בחירת היעד. האורקל עצמו ידע את הפירוק לגורמים; לחישוב שבא אחר כך לא הייתה גישה אליו. התוצאה מדגימה חילוץ שורש במסגרת המודל הזה. היא לא פירקה את מודולוס ה־RSA לגורמים ולא שחזרה את המפתח הפרטי שלו.

ההבחנה חשובה כשמדובר בחתימות. הניתוח עוסק בממשקים מסוימים שבהם הפונה שולט בערכים הנשלחים לחתימה. התקן שמחשב בעצמו את גיבוב ההודעה נמצא מחוץ למודלי האורקל האלה. המחקר אינו מדגים שבירה של SHA-256 או SHA-512, ואינו מוכיח שכל שירות חתימות RSA חושף את היכולת הדרושה.

המאמר מפתח גם אלגוריתם מהיר יותר למציאת שורש אפיני כאשר הקלט שבשליטת הפונה קצר יותר. האלגוריתם הזה לא הורץ בגודל קריפטוגרפי. את השיפורים החזויים שלו צריך להפריד מתוצאות השחזור שנמדדו בפועל.

למה לטענה על האצה פי 30 דרושה הבהרה

Fan Factories בוחן הכנה משותפת שיכולה להוזיל פירוק לגורמים של מספרים נוספים בעלי גודל דומה. הנתון של בערך פי 30 ליעדים בגודל 1024 סיביות הוא השוואה לפי האיבר המוביל במודל, מול גישה קודמת של ריבוי שדות מספרים, לאחר חישוב מקדים משותף. הוא משמיט גורמים מסדר נמוך יותר שאינם מוגדרים, ואינו זמן ריצה שנמדד.

לא מומש עדיין fan factory, ולא ידוע באיזה קנה מידה מעשי הוא יהיה עדיף. גם הטבלה המשותפת עצומה: בערך 275 זוגות לפי האיבר המוביל, עבור 1024 סיביות. לגרסת העיבוד באצווה שבמאמר, ללא שמירת ההכנה הזאת, יש שיפור חזוי קטן בהרבה. העלויות האלה מונעות לתרגם את הכותרת לתקיפה זולה ומודגמת על מפתח יחיד.

היכן סייעה הבינה המלאכותית

סוכני AI בהנחיית אדם ביצעו חלק ניכר מהעבודה ההנדסית בשחזור של 1024 סיביות, כולל מימוש, בדיקות, הרצה ותיקון תקלות בחישוב. חוקר בחר את הבעיה ואת המקרה המסוים ואישר תנאים מרכזיים. ב־Fan Factories, סוכנים סייעו בפיתוח הניתוח והפורמליזציה ב־Lean 4. הבדיקות הממוכנות מכסות זהויות אלגבריות ועדים מדויקים להיתכנות, ולא את ההנחות שטרם הוכחו שעליהן מבוססות הערכות זמן הריצה.

בדיקה שימושית לצוותי IT

  • זהו את המפתח ואת הממשק בפועל. תעדו אורכי מפתחות, בעלי אחריות, פרוטוקולים, והאם שירות החתימה מקבל ערכי גיבוב מהפונה או מחשב את הגיבוב בעצמו. אל תכניסו מפתחות פרטיים או תוכן רגיש לרשימת המצאי.
  • הפרידו בין רמות הראיות. סמנו אם תוצאה נמדדה, הוסקה תאורטית או שוחזרה באופן עצמאי. לצד ההאצה, תעדו חישוב מקדים, שאילתות, חומרה ואחסון.
  • בדקו תלויות ותיקות באופן מתוכנן. אם נשאר שימוש ב־RSA של 1024 סיביות, עבדו עם בעל המערכת על חלופות נתמכות ובדיקות תאימות. הדיווח הזה לבדו אינו סיבה לשינוי לא מתוכנן בסביבת ייצור.

כדאי לעקוב אחר מחקר בסיוע AI, משום שהוא יכול לשפר מימושים וניתוח מתמטי. הלקח התפעולי הוא לבחון את מודל התקיפה המלא ואת כלל המשאבים הנדרשים. בדקנו את המאמרים; לא שחזרנו את החישובים ולא בדקנו מערכת חתימה בסביבת ייצור.

Post a Comment

Previous Post Next Post