ویتالیک بوتیرین خواهان تعیین سقف سخت برای هزینه تولید اثبات سریع‌تر در اتریوم است و اکنون شبکه در حال آزمایش این پیشنهاد در برابر دقیقاً همان نوع باری است که قرار بود محدود کند. مشکل اصلی: بلوک‌های نمونه‌برداری شده سریع، حداکثر بار اثباتی که یک گره می‌تواند تحمل کند را مشخص نمی‌کنند و تحلیل گس CPU موجود اتریوم اصلاً تولید اثبات را در نظر نمی‌گیرد.
شکاف در مدل گس
حسابداری گس CPU اتریوم کار اجرایی را اندازه‌گیری می‌کند. اثبات یک کار جداگانه است و همان کار پرهزینه است. یک بلوک می‌تواند از محدودیت گس عبور کند و همچنان برای اثبات‌کنندگان صورتحسابی باقی بگذارد که مدل فعلی هرگز آن را نمی‌بیند. این همان شکافی است که سقف پیشنهادی بوتیرین برای پر کردن آن طراحی شده است — یک سقف سخت بر هزینه اثبات به جای یک میانگین نمونه‌برداری شده که بلوک‌های سریع را خوش‌بینانه نشان می‌دهد.
نمونه‌برداری نقطه ضعف است. بلوک‌های نمونه‌برداری شده سریع نشان می‌دهند که یک گره در یک اجرای خوب چه چیزی را اثبات کرده است، نه بدترین حالتی را که باید از آن جان سالم به در ببرد. اگر سقف بر اساس آن نمونه‌ها کالیبره شود، دیگر سقف نیست. این یک خوانش بهترین حالت با یک تابلوی محدودیت چسبانده شده به آن است.
چرا زمان‌بندی اهمیت دارد
حرکت اتریوم به سمت تولید اثبات سریع‌تر همان چیزی است که این موضوع را فوری می‌کند. سرعت و هزینه در اینجا در جهت مخالف هم قرار می‌گیرند. زمان‌های اثبات تنگ‌تر معمولاً به معنای محاسبات بیشتر در هر بلوک است و محاسبات بیشتر در هر بلوک دقیقاً همان چیزی است که یک سقف هزینه سخت آن را محدود می‌کند. آزمایش تولید سریع‌تر بدون توافق قبلی بر روی سقف به این معناست که شبکه محدودیت خود را با برخورد با آن پیدا می‌کند.
این پیشنهاد آن تنش را حل نمی‌کند. فقط آن را نام می‌برد. سقف بوتیرین عددی را تعیین می‌کند که شبکه باید حول آن طراحی کند و تحلیل گس CPU فعلی هیچ راهی به سازندگان نمی‌دهد تا کار اثباتی را که واقعاً اضافه می‌کنند قیمت‌گذاری کنند.
آزمایش واقعاً چه چیزی را اندازه‌گیری می‌کند
بلوک‌های سریع نمونه‌برداری شده توان عملیاتی را نشان می‌دهند. آنها حداکثر بار اثباتی را نشان نمی‌دهند که عدد مورد نیاز یک سقف سخت است. اینها اندازه‌گیری‌های متفاوتی هستند و درهم آمیختن آنها باعث می‌شود که یک محدودیت هزینه خیلی بالا تعیین شود و از هیچ‌کس محافظت نکند.
کار اتریوم که اکنون در حال انجام است، تولید اثبات سریع‌تر را در برابر این تمایز آزمایش می‌کند. اینکه آیا سقف دوام می‌آورد بستگی دارد به اینکه آیا هزینه اثبات می‌تواند مستقیماً اندازه‌گیری شود نه اینکه از نمونه‌های سریع استنتاج شود — و به اینکه آیا مدل گس به‌روزرسانی می‌شود تا تولید اثبات را قبل از عرضه مسیر سریع‌تر شامل شود.
سؤال باز
هیچ جدول زمانی به محدودیت هزینه پیوست نشده است و هیچ عدد نهایی تعیین نشده است. گام مشخص بعدی اندازه‌گیری مستقیم بار اثبات است نه از طریق بلوک‌های سریع نمونه‌برداری شده. تا زمانی که این اتفاق نیفتد، سقف یک پیشنهاد است که در برابر مدل گسی اجرا می‌شود که هنوز نمی‌تواند هزینه‌ای را که قرار است محدود کند ببیند.
