نهایی شده شماره 31 | وبلاگ بنیاد اتریوم

این موضوع از نهایی شد به زمینه سازی مقاله ای که اخیراً منتشر شده است، سه حمله احتمالی به الگوریتم اثبات سهام اتریوم را توصیف می کند.

tl;dr

اینها حملات جدی با کاهش رسمی و تکنیکی ساده هستند. قبل از ادغام و یک اصلاحیه ارائه خواهد شد نخواهد تاخیر ادغام خطوط زمانی

حملات Forkchoice، تخفیف ها و جدول زمانی

اخیراً درباره مقاله تازه منتشر شده ای که توسط تیمی در استانفورد و برخی از محققان EF نوشته شده است، صحبت های زیادی وجود داشته است. این مقاله سه حمله زنده و سازماندهی مجدد را بر روی مکانیسم اجماع زنجیره فانوس دریایی منتشر کرد بدون ارائه هرگونه کاهش یا هرگونه توضیحی در مورد آنچه که این برای ارتقای ادغام آتی اتریوم معنی دارد. این مقاله در تلاشی برای تسهیل بهتر بررسی و همکاری قبل از معرفی اصلاحات در شبکه اصلی منتشر شد. با این حال نتوانست زمینه ای را در مورد تأثیرات و اقدامات کاهشی فراهم کند. این امر فضایی را برای عدم اطمینان در بحث های بعدی ایجاد کرد.

بیایید به ته آن برسیم.

بله، این حملات جدی است ⚔️

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

اما با یک اصلاح ساده 🛡

خبر خوب این است که دو راه حل ساده برای انتخاب فورک پیشنهاد شده است – “تقویت پیشنهاد دهنده” و “همگام سازی نمای پیشنهاد دهنده”. افزایش پیشنهاد به طور رسمی توسط محققان استنفورد مورد تجزیه و تحلیل قرار گرفته است (به زودی نوشته خواهد شد)، از آوریل مشخص شده است، و حتی اجرا شد حداقل در یک مشتری همگام سازی دیدگاه پیشنهاد دهنده نیز امیدوارکننده به نظر می رسد اما در تحلیل رسمی آن زودتر است. در حال حاضر، محققان انتظار دارند که تقویت پیشنهاد دهنده به دلیل سادگی و بلوغ در تجزیه و تحلیل، در مشخصات قرار گیرد.

در سطح بالا، حملات از کاغذ به دلیل اتکای بیش از حد به سیگنال از گواهی‌ها ایجاد می‌شوند – به‌ویژه برای تعداد کمی از گواهی‌های متخاصم که یک دیدگاه صادقانه را به یک جهت یا جهت دیگر سوق دهند. این اتکا به دلیل خوبی است – گواهی ها تقریباً به طور کامل حذف می شوند ارسال سابق مسدود کردن دوباره سازمان‌ها در زنجیره فانوس دریایی – اما این حملات نشان می‌دهد که این کار هزینه بالایی دارد – از قبل reorgs و سایر حملات زندگی به طور شهودی، راه‌حل‌هایی که در بالا ذکر شد، تعادل قدرت را بین گواهی‌نامه‌ها و پیشنهادات بلوک تنظیم می‌کنند، نه اینکه در یک انتهای یا آن طرف زندگی کنند.

کاسپار در توضیح مختصر حملات و راه‌حل‌های پیشنهادی کار بسیار خوبی انجام داد. وارسی این تاپیک توییتر برای بهترین tl;dr که پیدا خواهید کرد.

و در مورد ادغام چطور؟ ⛓

قبل از اینکه ادغام انجام شود، اطمینان حاصل کنید که یک اصلاح در محل است باید مطلق. اما یک راه حل وجود دارد و اجرای آن ساده است.

این اصلاح فقط گزینه forkchoice را مورد هدف قرار می دهد و بنابراین با مشخصات Merge همانطور که امروز نوشته شده است مطابقت دارد. در شرایط عادی، گزینه forkchoice دقیقاً مشابه فعلی است، اما در صورت سناریوهای حمله، نسخه ثابت به ایجاد ثبات زنجیره کمک می کند. این به این معنی است که راه اندازی یک اصلاح انجام می دهد نه تغییرات شکستن را معرفی کنید یا به “هارد فورک” نیاز دارید.

محققان و توسعه دهندگان انتظار دارند که تا پایان نوامبر، تقویت پیشنهاد دهنده به طور رسمی در مشخصات اجماع ادغام شود و تا اواسط ژانویه در شبکه های آزمایشی Merge به صورت زنده ارائه شود.

در نهایت، من می‌خواهم فریاد بزرگی به یواخیم نو، نصرت تاش و دیوید تسه – اعضای آزمایشگاه تسه در استنفورد – همانطور که قبلاً انجام داده‌اند بزنم. ارزشمند در نه تنها شناسایی، بلکه در اصلاح مسائل حیاتی که در بالا بحث شد 🚀