בוטרין דוחף לתקרת עלות קשיחה על עלויות ההוכחה באתריום בעוד בלוקים מהירים בוחנים את גבולות המערכת

ויטאליק בוטרין רוצה תקרת עלות קשיחה על יצירת ההוכחות המהירה של אתריום, והרשת כעת בוחנת את ההצעה הזו בדיוק מול סוג העומס שהיא נועדה להגביל. הבעיה המרכזית: בלוקים מדוגמים מהירים אינם קובעים את נטל ההוכחה המקסימלי שצומת יכול לשאת, וניתוח גז המעבד (CPU gas) הקיים של אתריום אינו מתחשב ביצירת הוכחות כלל.

הפער במודל הגז

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

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

מדוע התזמון חשוב

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

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

מה הבדיקה למעשה מודדת

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

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

השאלה הפתוחה

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