چرا ارتقاء گلم استردم هشدارهای سازگاری ایجاد می کند

چرا ارتقاء گلم‌استردم هشدارهای سازگاری ایجاد می‌کند

توسعه‌دهندگان هسته اتریوم دربارهٔ نحوهٔ اجرای ارتقای گلم‌استردم در حال بحث‌اند، پس از آن‌که پژوهشگران امنیتی اختلالات احتمالی در قراردادهای هوشمند مستقر را هشدار دادند. دو پیشنهاد رقیب که در ۸ نوامبر توسط توسعه‌دهندگان لئو گلیسیک و جولیو ربوفو ارائه شدند، قصد دارند قیمت‌گذاری گس را بازتعریف کنند بدون آن‌که برنامه‌های قدیمی را خراب کنند. این تغییرات در پی بازقیمت‌گذاری گس برنامه‌ریزی‌شده در EIP-8037 و EIP-8038 است که نحوهٔ محاسبهٔ هزینهٔ ایجاد و دسترسی به حالت در محیط اجرا را تغییر می‌دهند. با توجه به در خطر بودن پروتکل‌های دیفای و دیگر سرویس‌های درون‌زنجیره، جامعه در تلاش است مسیر امنی پیدا کند.

پیشنهادها: دو راهبرد متفاوت برای حفظ سازگاری

EIP-8488 و اپ‌کدهای V2: مسیر گلیسیک برای قراردادهای جدید

لئو گلیسیک پیشنهادی با عنوان EIP-8488 ارائه داد؛ مدلی که قوانین گس جدید را به کمک معرفی اپ‌کدهای V2 به قراردادهای تازه‌استقرار یافته محدود می‌کند. بر اساس این رویکرد، قراردادهای قدیمی با همان جدول گس موجود اجرا خواهند شد و قراردادهای جدید از قیمت‌گذاری بازبینی‌شدهٔ EIP-8037 و EIP-8038 استفاده می‌کنند. هدف جلوگیری از مجبور کردن توسعه‌دهندگان به استقرار مجدد یا تغییر قراردادهای غیرقابل‌تغییر و در عین حال فراهم کردن امکان تکامل محاسبهٔ گس شبکه برای استقرارهای آینده است.

حسابداری دوبل گس: تفکیک سطح تراکنشِ ربوفو

جولیو ربوفو پیش‌نویس جایگزینی ارائه کرد که دو سیستم حسابداری گس جداگانه را درون هر تراکنش نگه می‌دارد. یک شمارنده مصرف گس را بر اساس قواعد قدیمی محاسبه می‌کند تا اجرای قرارداد همان فرضیات منابع قبلی را ببیند؛ شمارندهٔ دیگر هزینهٔ واقعیِ صورتحساب‌شده برای کاربر را طبق جدول قیمت‌گذاری جدید محاسبه می‌نماید. این ایدهٔ حسابداری دوبل تلاش می‌کند معنای اجرای قرارداد را حفظ کرده و در عین حال هزینه‌ها را به ساختار به‌روز منتقل کند، اما در حال حاضر پیاده‌سازی در کلاینت‌های اجرایی و تست‌های اجماع را ندارد.

پیش‌زمینه فنی: EIP-8037 و EIP-8038 چه تغییراتی ایجاد می‌کنند

بحث سازگاری حول EIP-8037 و EIP-8038 می‌چرخد که نحوهٔ محاسبهٔ هزینهٔ اتریوم برای ایجاد قراردادها و دسترسی به حالت را تغییر می‌دهند. پررنگ‌ترین مورد این است که EIP-8037 هزینهٔ پایهٔ گس برای استقرار یک قرارداد هوشمند را از 32,000 به 183,600 افزایش می‌دهد، به‌استثنای هزینه‌های اجرا و ذخیرهٔ کد. این بازقیمت‌گذاری به‌منظور بازتاب بهتر بار منابع بلندمدتی است که قراردادها بر اپراتورهای نود وارد می‌کنند، اما فرضیات بسیاری از قراردادهای موجود در مورد گس در دسترس و حالت‌های خطا را نیز مختل می‌سازد.

تحلیل امنیتی: کدام قراردادها در خطرند؟

فرض‌هایی که قوانین گس جدید نامعتبر می‌کنند

شرکت امنیتی چین‌سکیوریتی هشت فرض رایج در قراردادهای هوشمند مستقر را برجسته کرد که ممکن است تحت رژیم گس جدید از کار بیفتند. مثال‌ها شامل رزرو مقدار ثابتی از گس برای فراخوانی‌های خارجی، انتظار رفتار خاص در شکست‌های اجرای جزئی، یا تکیه بر بازگشت‌های قابل‌پیش‌بینی گس و نقاط بازگشت است. اگر این فرضیات دیگر صادق نباشند، تراکنش‌ها ممکن است در زمان‌هایی غیرمنتظره بازگردانده شوند یا تعاملات خارجی به‌طرزی شکست بخورند که توسعه‌دهندگان اولیه پیش‌بینی نکرده بودند.

دامنهٔ تأثیر احتمالی

تحلیل‌های جامعه نشان می‌دهند که این مسئله محدود نیست. یک توسعه‌دهنده با نام مستعار banteg به تحلیلی اشاره کرد که حدود ۲۰۰٬۰۰۰ قرارداد احتمالاً تحت تأثیر را شناسایی کرده و هشدار داد که محدودیت‌های متدولوژیک ممکن است گسترهٔ واقعی را کم‌شمار کند. این نگرانی فراتر از قراردادهای آزمایشی به پروتکل‌های تثبیت‌شدهٔ دیفای، کیف‌پول‌ها، پل‌ها و سایر برنامه‌هایی که دارایی کاربران را مدیریت می‌کنند یا به اجرای تعیین‌شده متکی‌اند گسترش می‌یابد.

واکنش دیفای و جامعه

امکان شکستن قراردادهای زنده واکنش‌های فوری از چهره‌های صنعت را برانگیخت. بنیان‌گذار کورُو فایننس، مایکل اگوروف، هشدار داد که ادامهٔ کار بدون حل ریسک‌های سازگاری ممکن است به یک هارد فورک اضطراری منتهی شود و فشار عملیاتی و آشفتگی برای شبکه ایجاد کند. سرمایه‌گذار و عضو جامعه رایان برگکمانز ابتدا از فعال‌سازی سریع حمایت کرد اما پس از بررسی هشدارهای سازگاری موضع خود را تغییر داد. پژوهشگر امنیتی pcaversaccio خواستار این شد که گلم‌استردم در شکل کنونی خود عرضه نشود، که بازتاب‌دهندهٔ یک تلاش گسترده‌تر برای احتیاط است.

آزمایش، تعویق‌ها و هماهنگی توسعه‌دهندگان

آزمایش گلم‌استردم پس از دریافت هشدارها با تغییرات زمان‌بندی مواجه شد. توسعه‌دهندگان فعال‌سازی هودی در ۲۶ اکتبر را که شامل اصلاحات لایهٔ اجرایی Amsterdam، تغییرات اجماع گلوآس و افزایش برنامه‌ریزی‌شدهٔ محدودیت گس هودی به ۲۰۰ میلیون بود، به تعویق انداختند. این تعویق زمان لازم را برای همکاری با حسابرسان و شرکت‌های امنیتی برای شناسایی قراردادهای در خطر و جمع‌آوری بازخورد توسعه‌دهندگان فراهم کرد.

شریک‌های حسابرسی و پنجره‌های آزمایشی بعدی

ماریوس وان در وایدن، توسعه‌دهنده بنیاد اتریوم، گفت که بنیاد با چین‌سکیوریتی و دداوب برای بررسی قراردادهای متأثر و جمع‌آوری بازخورد هماهنگ کرده است. تیم‌ها به‌طور موقت پنجرهٔ آزمایشی خصوصی‌ای را برای ۱۶ تا ۲۰ نوامبر مطرح کردند، اما آن زمان‌بندی پیش از ارائهٔ دو پیشنهاد رقیب تنظیم شده و ممکن است با پیشرفت تحقیقات و اعتبارسنجی راه‌حل‌های ممکن تغییر یابد.

چه اتفاقی ممکن است بیفتد: مسیرهای حل‌وفصل

حداقل سه نتیجه ممکن است رخ دهد. اول، جامعه می‌تواند یکی از پیشنهادهای سازگاری را بپذیرد، یا تفکیک اپ‌کد گلیسیک یا حسابداری دوبل ربوفو، و پس از آن پیاده‌سازی‌های گسترده در کلاینت‌ها و آزمایش شبکه انجام شود. دوم، تیم می‌تواند پارامترهای EIP-8037 و EIP-8038 را بازنگری کند تا تغییر رفتار برای قراردادهای قدیمی را به حداقل برساند. سوم، توسعه‌دهندگان ممکن است اجزای گلم‌استردم را به تعویق بیندازند تا استراتژی کاهش ریسک قوی‌ای اثبات شود و از ریسک هارد فورک اضطراری اجباری یا اختلال در عملکردهای دیفای جلوگیری کنند.

چرا این موضوع برای اپراتورهای نود، توسعه‌دهندگان و کاربران اهمیت دارد

بازقیمت‌گذاری گس تنها یک تنظیم هزینه نیست؛ بلکه قواعد ثابت زمان اجرا را تغییر می‌دهد که بسیاری از قراردادهای هوشمند بر آنها تکیه دارند. اپراتورهای نود و ارائه‌دهندگان زیرساخت ممکن است پروفایل‌های منابع متفاوتی را مشاهده کنند، در حالی که توسعه‌دهندگان اپلیکیشن‌های غیرمتمرکز ممکن است با بازگشت‌های غیرمنتظره یا یکپارچه‌سازی‌های شکست‌خورده روبه‌رو شوند. برای کاربران، خطر فوری شامل تراکنش‌های ناموفق، از دست رفتن گس یا خدمات موقتا در دسترس‌نبودن در برنامه‌های پرکاربرد دیفای است. با توجه به ماهیت سیستمی این ریسک‌ها، جامعه بر آزمایش دقیق، حسابرسی‌ها و راه‌اندازی هماهنگ تأکید می‌کند تا پایداری شبکه حفظ شود.

نتیجه‌گیری: احتیاط پیش از فعال‌سازی

بحث گلم‌استردم پیچیدگی تکامل یک لایهٔ اجرای غیرمتمرکز را برجسته می‌کند. در حالی که اهداف پشت EIP-8037 و EIP-8038، یعنی قیمت‌گذاری بهتر استفادهٔ بلندمدت از منابع، به‌خوبی درک شده‌اند، تضمین گذار ایمن برای میلیون‌ها قرارداد مستقر چالشی بزرگ است. پیشنهادهای رقیب گلیسیک و ربوفو تعادل‌های متفاوتی میان پیشرفت فنی و سازگاری گذشته‌نگر ارائه می‌دهند، اما هیچ‌کدام هنوز برای درج نهایی تأیید نشده‌اند. با ادامهٔ حسابرسی‌ها و انباشت بازخورد جامعه، ذی‌نفعان اتریوم باید ارتقاءهای فنی را با ایمنی عملیاتی متوازن کنند تا از اختلال در شبکه یا هارد فورک اضطراری جلوگیری شود.