Ethereum מיזוג testnet Kintsugi מפוצל לפי באג, הנה הסיבה

אירוע המיזוג ברשת Ethereum הוא המעבר למודל הקונצנזוס של Proof-of-Stake ממודל Proof-of-Work המופעל כיום. משמעות המיזוג הזו היא שמערכת Ethereum mainnet הנוכחית ורשת Beacon החדשה, המכונה לעתים קרובות Ethereum 2.0, יתמזגו לבלוקצ'יין אחד.

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

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

חלק מהיישומים לא ביצעו ואימתו את החסימה

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

ה-fuzzer שנוצר על ידי van der Wijden מייצר בלוק חוקי ומשנה אלמנט אחד שלו כדי להפוך אותו לבלתי חוקי. טכניקה אחת בה היא משתמשת היא לשנות אלמנט לאחר. במקרה זה, ה-fuzzer שינה את ה-blockhash ל-hash האב.

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

פיצול הרשת פעמיים

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

לפי ואן דר ווידן, צמתי שרשרת גת, בתורם, המורכבת ממגדלור-גט, פריסמ-גט, לודסטאר-גט, נימבוס-גט ו-Teku-גט, התפצלו גם הם ביניהם.

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

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

"נמצא משהו כדי להרכיב את הרשת בחזרה. עדכנו את לקוח Nethermind כבר והצמתים האלה נמצאים בשרשרת הנכונה כעת. אנחנו עדיין צריכים את התיקון ל-Teku, מכיוון שיותר מ-33 אחוז מהצמתים הם Teku, אחרת השרשרת לא תיגמר", אומר ואן דר ווידן.

התקרית מביאה משהו טוב

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

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

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

מה אם זה קורה ב-mainnet?

שאלה מעניינת היא מה היה קורה אם באג כזה היה מתרחש ברשת המרכזית.

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

לפרטים נוספים, הקורא המתעניין מוזמן לקרוא את ספרו של מריוס ואן דר ווידן טוויטים על האירוע.