מייסד שותף של Ethereum, Vitalik Buterin, תמך באזהרה של אחד החוקרים הידועים ביותר של הרשת כי בינה מלאכותית עלולה לערער את ההצפנה שמבטיחה מאות מיליארדי דולרים במטבעות קריפטוגרפיים לפני שמחשבים קוונטיים יקבלו את ההזדמנות.
האזהרה, של חוקר ה-Ethereum, ג'סטין דרייק, קורא לתעשייה להתכונן למה שהוא מכנה "מצב בונקר": הגירה מסודרת והדרגתית של כספים לכתובות ארנק טריות שהמפתחות הציבוריים שלהן לא נחשפים בשרשרת. For more context on this story, see our ongoing AI trends.
האזהרה, ומי עומד מאחוריה
בכתב ביום רביעי, דרייק טען שההתקדמות האחרונה במתמטיקה מונעת בינה מלאכותית פירושה שלא ניתן עוד להניח כי אלגוריתם החתימה הדיגיטלית של העקומה האליפטית (ECDSA) - הבסיס המתמטי המאבטח את ארנקי הביטקוין והאת'ריום - כבר לא יכול להיות בטוח באופק של עשור.
ECDSA מסתמך על הקושי המשוער של בעיית הלוגריתם הבדיד של העקומה האליפטית: זה בלתי אפשרי מבחינה חישובית להפיק את המפתח הפרטי של הארנק מהמפתח הציבורי שלו באמצעות המחשבים והאלגוריתמים המוכרים של היום. כל עסקה שעליו חותם ארנק מפרסמת את המפתח הציבורי שלו לבלוקצ'יין, וזו הסיבה שהמבנה של אותה מתמטיקה - לא רק הסודיות של המפתח עצמו - הוא מה שעומד בין התוקף לבין הכספים.
הטריגר שלו היה פרסום של OpenAI של מאות ממצאים מתמטיים חדשים השבוע על פני אלגברה, מדעי המחשב התיאורטיים והלוגיקה המתמטית, שדרייק ציטט כראיה לכמה מהר AI מתקדם במתמטיקה טהורה. לחברה יש צורה קודמת כאן: בחודש שעבר היא השתמשה בצוות של 10,000 סוכני AI אוטונומיים שעבדו במקביל כדי לייצר פתרון למשוואות Navier-Stokes, אחת הבעיות הבלתי פתורות המפורסמות ביותר במתמטיקה ובפיזיקה, תוך 88 שעות בלבד.
"הימים האחרונים היו משפילים לאינטואיציה המתמטית האנושית. השערות ארוכות, ללא עוררין, נפלו", כתב דרייק וטען כי עקומות אליפטיות פגיעות במיוחד משום שהן "נושאות מבנה עשיר, עם מקום לטריקים מפוארים כמו שווף, פרובניוס, זיווגים". פונקציות Hash, לעומת זאת, "נועדו למזער את המבנה האלגברי."
מה שבוטרין באמת אמרה
ההסכמה של בוטרין הייתה מדודה ולא מדאיגה. "אני לא ממליץ לאף אחד לטרוף להעביר את הכספים שלו לארנקים חדשים היום", כתב. "אבל אנחנו צריכים לקחת את הסיכונים לקריפטוגרפיה ממתמטיקה מואצת בינה מלאכותית ברצינות."
לאחר מכן הוא הרחיב את הדאגה מעבר לעיקולים אליפטיים לקריפטוגרפיה מבוססת סריג - משפחת התוכניות הנפוצות מתנגדות להתקפות קוונטיות. "עד כה רוב האנשים היו במצב של חשיבה 'עקומות אליפטיות שבורות, גיבוב בטוח, סריג בטוח'", כתב בוטרין. "אבל יש סיכוי טוב שהאבטחה הבטון של הסריגים תקבל פגיעות רציניות מהשנתיים הבאות של מתמטיקה בינה מלאכותית."
דאגה זו, לדבריו, היא הסיבה העיקרית לכך שמפת הדרכים הרזה של Ethereum נעה בכיוון "האש בלבד" - תוך הסתמכות על פרימיטיביים קריפטוגרפיים עם מבנה אלגברי מינימלי שהכי קשה לתקוף למתמטיקה הנעזרת בינה מלאכותית.
התעשייה מגיבה
השותף המנהל של Dragonfly Haseeb Qureshi אישר נקיטת אמצעי זהירות, ותיאר את האזהרה של דרייק כ"קריאה מפוכחת מאוד". "הסיכון הוא לא קוונטי, אלא רק מתמטיקה קונבנציונלית המבטלת הנחות קשיות קריפטוגרפיות לא מוכחות", כתב ב-X.
ההבחנה הזו היא עיקר הדיון. לקריפטוגרפיה פוסט-קוונטית יש מפת דרכים: המכון הלאומי של ארה"ב לתקנים וטכנולוגיה תקן תחליפים מבוססי סריג, ול- blockchains יש תוכניות הגירה ארוכות שנים. אבל ההחלפות האלה נשענות על הנחות קשיות שהן משוערות, לא מוכחות. אם מתמטיקה מואצת בינה מלאכותית מתחילה להפיל השערות ארוכות שנים - כפי שהמפל של תוצאות הנגזרות של בינה מלאכותית מצביע על כך שהיא יכולה - הקונצנזוס הבטוח הקוונטי עצמו נעשה רועד יותר.
העצה המעשית: כתובות טריות
לצד שאלות ההצפנה ארוכות הטווח, שני החוקרים הדגישו הקלה קונקרטית הקיימת כיום: שמירת כספים בכתובות שבהן המפתח הציבורי מעולם לא נחשף בשרשרת. המפתח הציבורי של הארנק נחשף ברגע שהוא חותם על עסקה, וזו הסיבה שדרייק ממליץ על הגירה הדרגתית לכתובות חדשות ולא על יציאה מפוחדת.
עבור בורסות, אפוטרופוסים ומחזיקי מוסדיים, ההטבה התפעולית היא לא זוהרת אך קונקרטית: היגיינת מפתחות, סיבוב כתובות והעדפה לבנייה מבוססת חשיש שייכים למפת הדרכים הביטחונית כעת, לא לאחר פריצת דרך מתמטית עולה לכותרות.
שאלת העיתוי אינה סנסציונית במתכוון. לא דרייק ולא בוטרין קבעו מתי - או האם - מתמטיקה בעזרת בינה מלאכותית יכולה לייצר התקפה מעשית על חתימות עקומה אליפטית. מה שהשתנה השבוע הוא הקצב של התחום הבסיסי: הוכחות ותוצאות שפעם היו לוקחות לצוותי מחקר שנים מופיעות כעת בקבוצות שנוצרו על ידי מכונה, וקריפטוגרפים בוחנים מחדש אילו מהנחות הקשיות שלהם הוכחו אי פעם.
אף אחד מהחוקרים לא טען שהפסקה קרובה. הנקודה שהדגישו שניהם היא ששרשרת ההנחות שמתחת לקריפטוגרפיה המודרנית חזקה רק כמו המתמטיקה שהיא נשענת עליה - ושהמתמטיקה נכתבת כעת מחדש במהירות המכונה.
כאשר מערכות בינה מלאכותית עוברות מסיוע להוכחות אנושיות ליצירת תוצאות מתמטיות מקוריות בקנה מידה, צוותי האבטחה המנהלים טריליונים בנכסים דיגיטליים עשויים יצטרכו להתחיל להתייחס לפרסומים של מעבדות בינה מלאכותית כמו שהם מתייחסים לגילויי יום אפס: כאזהרות מוקדמות.
למידע נוסף על האופן שבו מחקר בינה מלאכותית מעצב מחדש תעשיות סמוכות, עקוב אחר המדור העסקי של AI Buzz Wire.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
