Strawmap Unpacked — ויטליק בוטרין מפרק את הדחיפה של את'ריום לחוויית משתמש מהירה יותר בשכבה 1

חזון את’ריום ל-2029: סלוטים מהירים, סופיות מהירה והאשים ידידותיים ל-STARK

בפוסט מפורט ב-X, ויטליק בוטרין עבר על מה שכינה “מסמך חשוב מאוד”, בהתייחסו ל-“strawmap” שפורסם לאחרונה — מפת דרכים מסוג strawman שהוצגה על ידי חוקר קרן את’ריום ג’סטין דרייק. המסמך משרטט חזון ארוך טווח לשדרוגי שכבה ראשונה (L1) של את’ריום עד סוף העשור.

“נתחיל עם סלוטים מהירים וסופיות מהירה,” כתב בוטרין. “אני מצפה שנפחית את זמן הסלוט באופן הדרגתי,” כשהוא מצביע על נוסחת “sqrt(2) בכל פעם” שתעביר את את’ריום מסלוטים של 12 שניות ל-8, 6, 4, 3 ואולי 2 שניות. את השלבים האחרונים, הוא הזהיר, קובעים “מחקר כבד”.

מהו ה-Strawmap?

ה-strawmap — הלחם של “strawman” ו-“roadmap” — אינו צו רשמי אלא כלי לתיאום. לפי דרייק, הוא מיועד לקוראים מתקדמים, כולל חוקרים, מפתחים ומשתתפי ממשל, ומציג את השאיפות של L1 של את’ריום על ציר זמן חזותי אחד.

חמשת “כוכבי הצפון” שלו כוללים L1 מהיר עם סלוטים וסופיות הנמדדים בשניות; L1 של “gigagas” המכוון ל-1 גיגאגז לשנייה באמצעות zkEVMs והוכחה בזמן אמת; L2 של “teragas” הדוחף את זמינות הנתונים ל-1 ג’יגה-בייט לשנייה; קריפטוגרפיה פוסט-קוונטית; ופרטיות מדרגה ראשונה להעברות ETH.

ציר הזמן משתרע עד 2029, בהנחה של בערך פיצול (fork) אחד כל שישה חודשים. פיצולים קרובים ופיצולים כממלאי מקום מופיעים ברצף שמות מבוסס-כוכבים, וממשיכים את מסורת המיתוג הקוסמי של את’ריום.

סלוטים מהירים יותר, אותה אבטחה?

כיום, את’ריום פועל עם סלוטים של 12 שניות. בוטרין הסביר שזמן הסלוט יטופל כפרמטר שניתן לכוונון, שיופחת כאשר הביטחון גבוה מספיק שהבטיחות נשמרת.

“ברמה גבוהה, נסתכל על זמן הסלוט כעל פרמטר שאנחנו מכוונים כלפי מטה כאשר אנחנו בטוחים שזה בטוח,” כתב, והשווה זאת לאופן שבו מכיילים יעדי blob.

באופן מכריע, הוא טען שרוב מפת הדרכים הרחבה אינה תלויה במשך הסלוט. “היינו צריכים לעשות בערך את אותם דברים בין אם זמן הסלוט הוא 2 שניות או 32 שניות,” אמר.

מאפשר מרכזי אחד הוא שיפורים ברשת עמית-לעמית (p2p), כולל עבודה באמצעות erasure coding. במקום שכל צומת יקבל גופי בלוקים מלאים ממספר עמיתים, ניתן יהיה לפצל בלוקים לחלקים — למשל, שמונה מקטעים שבהם כל ארבעה יכולים לשחזר את הבלוק המלא. הגישה הזו שומרת על יתירות תוך הפחתת תקורת רוחב פס וקפיצות השהיה מעמיתים איטיים.

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

חשיבה מחדש על מאשרים ועל מבנה הסלוט

שינויים אחרים מצטלבים עם הצעות כגון ePBS, FOCIL, וכלל אישור מהיר, שמכניסים מבני סלוט מורכבים יותר. תכונות אלה מצמצמות את מרווחי ההשהיה, ומפחיתות את המקסימום הבטוח מכ-שליש סלוט לכחמישית.

כדי לקזז את הדחיסה הזו, חוקרים בוחנים עיצוב שבו רק 256 עד 1,024 מאשרים שנבחרו באקראי חותמים בכל סלוט. עבור בחירת fork שאינה מסיימת (non-finalizing fork choice), ציין בוטרין שמספיק סט קטן יותר. פחות חתימות יאפשרו להסיר את שלב האגרגציה, ולגזור מילישניות יקרות מכל סלוט.

סופיות בשניות, לא בדקות

אם זמן הסלוט הוא הקצב, סופיות היא חותמת ההתיישבות. כיום, את’ריום מגיע לסופיות בממוצע של כ-16 דקות, בהתבסס על סלוטים של 12 שניות ואישור רב-עידנים (multi-epoch) תחת תכנון Gasper.

ה-strawmap מציע להפריד בין סלוטים לבין סופיות ולאמץ אלגוריתם סופיות חד-סבב עמיד לכשלים ביזנטיים, הידוע כ-וריאנט Minimmit. במצב הסופי, סופיות עשויה להתקבל בטווח של 6 עד 16 שניות.

“סופיות מהירה מורכבת יותר,” הודה בוטרין, והוסיף שהפרוטוקול הסופי עשוי להיות פשוט יותר ממערכת Gasper הנוכחית, גם אם מסלול המעבר פולשני.

מסלול אפשרי שהוצג בפוסט שלו נע מה-16 דקות של היום למרווחים הולכים ומתקצרים — כולל סופיות של פחות מדקה — לפני הגעה לשניות בודדות תחת Minimmit עם פרמטרים אגרסיביים יותר.

פוסט-קוונטי וידידותי ל-STARK כברירת מחדל

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

מפתחים בוחנים תגובות לחששות האחרונים סביב Poseidon2, כולל הגדלת מספר הסבבים, חזרה ל-Poseidon1 או אימוץ האשים קונבנציונליים כגון BLAKE3. המחקר נמשך.

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

שדרוג “ספינת תזאוס”

בסיכום שלו, בוטרין מסגר את התהליך כהחלפה הדרגתית של רכיב אחר רכיב. “צפו לראות ירידות מתקדמות הן בזמן הסלוט והן בזמן הסופיות,” כתב, המשולבות במה שתיאר כטרנספורמציית “ספינת תזאוס” של מבנה הסלוט והקונצנזוס של את’ריום.

ה-strawmap, בקיצור, אינו הבטחה אלא הצעה — תוכנית-אב צפופה המזמינה דיון על האופן שבו שכבת הבסיס של את’ריום צריכה להתפתח. האם הרשת תגיע לסלוטים של 2 שניות ולסופיות של ספרה אחת עד סוף העשור יהיה תלוי במחקר, בממשל ובאמנות המבולגנת של קונצנזוס מבוזר.

אבל הכיוון ברור: בלוקים מהירים יותר, התיישבות מהירה יותר, ופרוטוקול שנועד לשרוד הן מחזורי חומרה והן עידנים קריפטוגרפיים.

שאלות נפוצות 🔎

• מהו ה-strawmap של את’ריום?
  ה-strawmap הוא מפת דרכים ארוכת טווח מסוג strawman המתארת שדרוגי שכבה 1 מוצעים עד 2029.
• כמה מהירה יכולה להפוך הסופיות באת’ריום?
  תחת השינויים המוצעים, הסופיות עשויה בסופו של דבר לרדת מכ-16 דקות כיום לכ-6–16 שניות.
• מהם סלוטים מהירים באת’ריום?
  סלוטים מהירים מתייחסים להפחתת זמני הבלוקים מ-12 שניות עד לרמה נמוכה של 2 שניות, בכפוף למחקר ולאימות בטיחות.
• האם ה-strawmap הופך את את’ריום לעמיד לקוונטים?
  התוכנית כוללת מעבר לחתימות מבוססות האש פוסט-קוונטיות, שעשוי להפוך חלקים מאת’ריום לעמידים לקוונטים לפני ששדרוג הגנת הסופיות המלאה יושלם.