העתיד של שדרוגי Ethereum, לאחר המיזוג [חלק 2]

צומת המקור: 1596837
תמונה

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

In חלק א ' מתוך השיחה שלנו עם חוקר קרן Ethereum (EF), דני ריאן, שעזר בתיאום תהליך השדרוג, דנו במה המיזוג נועד להביא מבחינת אבטחה ויציבות.

בחלק השני, ריאן מדבר על שדרוגים שמשתמשים יכולים לצפות להם בעתיד, כולל danksharding, Ethereum חסר מדינה ועדכוני אבטחה שמתמודדים עם עליית הערך הניתן לחילוץ כורים (MEV). הוא גם מסביר כיצד מאמץ ארוך שנים זה הביא לשיטות חדשות למחקר ובדיקת שדרוגים עתידיים.


תיאום ברשת מבוזרת

עתיד: רמזת לאפשרות שכורים יתפצלו וימשיכו לנסות להשתמש בשרשרת הישנה. אבל לרוב, התהליך הזה העלה את כולם. מה התפקיד שלך בכך כחוקר קרן Ethereum? איך מתאם מהלך כה מסיבי?

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

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

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

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

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

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

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

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

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

אני חושב שזה הולך להיות קשה יותר ויותר להשיג דברים. ואני חושב שזה דבר טוב.

מזלגות צל

אחד הדברים שיצאו מתהליך הבדיקה הספציפי הזה היה Shadow forks, תהליך העתקת נתוני Ethereum אמיתיים ל-testnet כדי לדמות סביבת בדיקות Mainnet. זה תמיד היה בתוכנית? ואיך לדעתך זה עשוי לשנות את תהליך המו"פ לשדרוגים עתידיים?

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

ולמשך זמן מה אתה יכול להעביר עסקאות מה-mainnet אל המציאות המפוצלת הזו כדי לקבל כמות סבירה של מה שנראה כמו פעילות אורגנית של משתמשים, וזה ממש טוב. זה מאפשר לנו לבדוק מה בסופו של דבר היו תהליכים אורגניים מאוד שקשה לדמות. וזה היה נהדר. פרי [Jayanthi] ואחרים שעובדים בצוות DevOps ב-EF תיזמנו את אלה, ולמדנו מהם כל כך הרבה. אני חושב שאם אתה שואל מישהו, הם יהיו כמו, "ובכן, כן, זה היה נהדר אם היינו עושים את זה לפני שלוש שנים, לפני ארבע שנים בכל שדרוג."

אבל אני אגיד דבר אחר. אני אומר את זה [מאז] לפני שנה ועכשיו אנחנו בזנב הארוך באבטחה ובבדיקות: זה ממש פוגע בדבר הזה, לוודא שכל מקרי הקצה נכונים, לוודא שכשזה מגיע, זה יקרה - אנחנו לוקחים על זה זריקה אחת וזה עובד. ומסתבר שהדרך שבה התוכנה בנויה עם לקוחות שכבת ביצוע קונצנזוס, יש פשוט הרבה מה לבנות מבחינת בדיקות. Shadow forks הוא אחד מהם. שימוש בסביבות סימולציה אחרות שיכולות לבדוק את שני הדברים הללו יחד, כמו קורטוזיס, אַנְטִיתֵזָה, ואחרים. 

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

מה אחרי הוכחת הימור?

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

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

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

אני חושב שמשהו מעניין הוא מפת הדרכים של הרסיס והבנייה הצפויה הנוכחית, שנקראת danksharding, על שם דנקרד [Feist], החוקר שלנו ב-EF. כל הבנייה למעשה מפושטת כאשר אתה מניח ששחקני MEV בעלי תמריצים גבוהים קיימים. לא רק שחלק מהשחקנים החיצוניים האלה שינו את האופן שבו אנחנו חושבים על אבטחה, אלא הם גם שינו את האופן שבו אנחנו יכולים לחשוב על בניית הפרוטוקולים האלה. אם אתה מניח ש- MEV קיים, אם אתה מניח שהשחקנים בעלי התמריצים האלה מוכנים לעשות דברים מסוימים בגלל MEV, אז פתאום יש לך את המשתתף הזה של צד שלישי בקונצנזוס שאולי אתה יכול להוריד אליו דברים, שבמובנים רבים יכול לפשט. אז לא רק דברים רעים מגיעים, אלא שיש גם סוגים חדשים של עיצובים שנפתחים.

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

האם Ethereum חסר מדינה עדיין נדון ונחקר באופן פעיל? 

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

Ethereum חסר מדינה ודברים בכיוון המחקר הזה הם נתיב פתרון פוטנציאלי לכך, שבו כדי לבצע בלוק אני לא באמת צריך את כל המדינה; יש סוג של קלט נסתר זה על ביצוע הפונקציה של בלוק. אני צריך את ה-Pre-state, אני צריך את החסימה, ואז אני מקבל את ה-post-state כדי לדעת אם החסימה תקפה. בעוד עם Ethereum חסר אזרחות, דרישות המדינה - החשבונות ודברים אחרים שאתה צריך כדי לבצע את הבלוק המסוים הזה - מוטמעים בבלוק ומהווים הוכחות לכך שאלו המצב הנכון. כעת ביצוע חסימה ובדיקת תוקפו של Ethereum הופך להיות רק [צריך] לקבל את החסימה, וזה ממש טוב. כעת יכולים להיות לנו צמתים מלאים שאין להם בהכרח מצב מלא. זה פותח ספקטרום שלם של איך לבנות צמתים. אז אולי יש לי צומת שמאמת באופן מלא ואין לו את המצב, יכול להיות שיש לי צומת שרק שומר על מצב רלוונטי עבורי, או שאולי יהיו לי צמתים מלאים מאוד שיש בהם את כל המצב ודברים מהסוג הזה.

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

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

הסבירו לי את השדרוגים שאנו do לדעת לאחר המיזוג. האם יהיה שדרוג ניקוי? האם זה נפרד מהשדרוג של שנחאי? ומתי מציגים את הרסיסים?

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

ישנם מספר שיפורים אחרים של EVM [Ethereum Virtual Machine] שלדעתי יכנסו למערכת הזו - פעולות מתמטיות שונות, כמה דברים שונים להרחבה, גרסאות קצת יותר טובות בתוך ה-EVM ותכונות אחרות. זה קצת שסתום שחרור לחץ בשיפורי EVM, שהועמדו בצד כבר שנים רבות כדי לבצע את המיזוג ושדרוגים אחרים. ואנשים באמת רוצים לראות כאן איזשהו שדרוג מדרגיות מינורי. אז זה יכול להיות פרוטו-danksharding, שמניח חלק מהבסיס לריסוק מלא ומקבל קצת יותר קנה מידה, או פוטנציאל הפחתת מחירי גז לנתונים, שהן קלות מאוד אך אינן באמת פתרון בר קיימא. אז זה מה שאנחנו מצפים, בתקווה, בשנחאי: משיכות וקצת קנה מידה.

ואז השאלה היא: מה יש אחרי זה? ואת זה קשה לומר. אם אנחנו מקבלים קצת קנה מידה שם, וזה משלים את ה-L2s בצורה ממש יפה והדברים די טובים, אז אולי יש דרישה לעשות חסר אזרחות בשלב זה. או אם ל-L2s יש צורך בלתי יודע שובע בקנה מידה נוסף, אז אולי זה מכין את הבמה ל-dinksharding המלא.

הראיון נערך ועוצב. 

פורסם ב -27 ביולי 2022

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

תודה על ההרשמה.

בדוק בתיבת הדואר הנכנס שלך לקבלת הערת קבלת פנים.

בול זמן:

עוד מ אנדריסן הורוביץ