پالیگان، پیش از افشا، مشتریان بور و هایمدال را جذب کرد

پالیگان کریپتو دو هارد فورک هماهنگ، آستین بر روی Bor v2.10.0 و کیوتو بر روی Heimdall v0.11.0 را برای رفع آسیب‌پذیری‌های حملات منع سرویس (DoS)، تخلیه منابع و تقویت اجماع در سراسر پشته کلاینت Polygon PoS خود مستقر کرد. بر اساس پستی در انجمن پالیگان که در ۲۷ اوت منتشر شد، هر دو به‌روزرسانی به صورت خصوصی منتشر و قبل از فعال‌سازی در شبکه اصلی، بر روی شبکه آزمایشی Amoy تأیید شدند.

هیچ اختلالی در شبکه اصلی ناشی از آسیب‌پذیری‌هایی که آستین به آن‌ها پرداخت، مشاهده نشد و هر دو فورک در زمان انتشار عمومی اطلاعات، بر روی Amoy و شبکه اصلی فعال بودند.

ترتیب زمانی اهمیت دارد: پالیگان ابتدا مشکلات را برطرف کرد، اطمینان حاصل کرد که شبکه امن است، و سپس آنچه را که شکسته بود توضیح داد – نه برعکس.

آستین دو مسیر حمله DoS در پردازش بلاک Bor را مسدود کرد. رویدادهای State-sync که واریزهای پل L1 به L2 را مدیریت می‌کنند، کد قراردادها و پیش‌کامپایل‌ها را درست مانند تراکنش‌های عادی اجرا می‌کنند، اما مصرف گاز آن‌ها قبلاً در برابر یک سقف سخت در هر بلاک اندازه‌گیری نمی‌شد.

یک بلاک حاوی تعداد کافی رویداد State-sync، یا یک رویداد به‌ویژه پرهزینه، می‌توانست پردازش را به اندازه‌ای کند کند که زنجیره را به طور موقت متوقف کند. آستین یک حد صریح گاز در هر بلاک برای رفع این مشکل اضافه کرد.

دومین رفع آستین، فیلد سیم‌کشی TxDependency در Bor را به طور کامل حذف کرد. این فیلد یک اشاره‌گر اجرای موازی بدون محدودیت اندازه بود، به این معنی که یک تولیدکننده بلاک می‌توانست یک داده دلخواه بزرگ را در یک بلاک خواهر و برادری معتبر قرار دهد و هر گره‌ای را که سعی در پردازش آن داشت، از کار بیندازد.

پالیگان لبز از طریق دو هارد فورک خصوصی، آستین بر روی Bor و کیوتو بر روی Heimdall، مجموعه‌ای از نقص‌های امنیتی را در شبکه PoS خود قبل از افشای عمومی آن‌ها وصله کرد. جزئیات مهم، مدل عملیاتی است: اصلاحات مؤثر بر اجماع به صورت مخفیانه منتشر و بر روی شبکه آزمایشی تأیید شدند…

از آنجایی که اجرای موازی نیازی به اعتماد گره‌ها به اشاره‌گر تولیدکننده برای عملکرد صحیح ندارد، حذف این فیلد هیچ هزینه‌ای در مراحل بعدی نداشت.

جدی‌ترین رفع کیوتو، فیلدهای عمیقاً تودرتوی google.protobuf.Any در تراکنش‌های Heimdall را هدف قرار داد. بدون سقف، یک تراکنش که به راحتی قابل ساخت بود، می‌توانست هر اعتبارسنج را مجبور کند تا به طور همزمان کار رمزگشایی نامتناسبی را انجام دهد، که راهی بدون نیاز به مجوز برای تحمیل بار پرهزینه و همبسته بر کل مجموعه اعتبارسنج‌ها بود.

کیوتو یک پیش‌اسکن در سطح بایت را اضافه کرد که به طور یکسان در پذیرش ممپول و در مسیر اجماع اعمال می‌شود، بنابراین یک تراکنش نمی‌تواند از یک بررسی عبور کند و توسط دیگری رد شود.

کیوتو همچنین اصلاحات کوچک‌تر تقویتی را شامل شد: سقفی برای تعداد کوین‌های کارمزد، بایت‌های بازیابی امضای چک‌پوینت نرمال‌شده، مدیریت ایده‌آل پیام‌های خرابی تولیدکننده تکراری، رأی‌گیری محدوده نقاط عطف که به هش والد امضا شده محدود می‌شود، بررسی پیوستگی پنجره چک‌پوینت، ایجاد بازه زمانی آینده بدون توقف، و کلیدهای بازپخش تزریقی برای رویدادهای L1 مانند topup، clerk و stake.

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

آستین در بلاک Amoy 44,120,000 و بلاک شبکه اصلی 91,949,700 فعال شد. کیوتو در ارتفاع Amoy 42,252,000 و ارتفاع شبکه اصلی 51,533,000 فعال شد.

Bor اجرای بلاک را مدیریت می‌کند در حالی که Heimdall اجماع را اجرا می‌کند، و اصلاحات کیوتو شامل پردازش ABCI، نقاط عطف، Bor، stake، topup، clerk و bridge می‌شود، به این معنی که وصله منطق نهایی شدن چک‌پوینت، حسابداری نقاط عطف و منطق بازپخش رویداد L1 را همزمان لمس کرد.

Bor v2.10.0 برای همه گره‌ها اجباری است؛ Heimdall v0.11.0 برای همه اعتبارسنج‌ها و گره‌های کامل اجباری است. هر دو به‌روزرسانی‌های باینری ساده‌ای هستند که نیازی به مهاجرت وضعیت یا تغییر genesis برای اپراتورهایی که در حال حاضر به‌روز هستند، ندارند.

تشویق فراوان به تیم امنیتی @0xPolygonLabs. نقص‌های DoS را به آرامی از طریق هارد فورک‌های آستین و کیوتو وصله کردند – بدون توقف، بدون سوءاستفاده، بدون تأثیر بر کاربر. اینگونه است که زیرساخت‌های آزمایش‌شده در نبرد عمل می‌کنند. امنیت اول، سر و صدا بعداً. $POL #Polygon

این مورد با گره‌هایی که هنوز باینری‌های قبل از فورک را پس از ارتفاع فعال‌سازی اجرا می‌کنند، متفاوت است: این گره‌ها قبلاً از اجماع اصلی جدا شده‌اند و نیاز به ارتقا و بازگشت به عقب برای همگام‌سازی مجدد دارند، نه صرفاً به‌روزرسانی در محل.

به‌روزرسانی‌های هماهنگ کلاینت از این نوع، سهام عملیاتی واقعی را برای هر زنجیره با توان عملیاتی بالا به همراه دارد، پویا که در جاهای دیگر نیز در حال وقوع است زیرا شبکه‌ها رشد وضعیت و ریسک اجرا را در برابر سرعت به‌روزرسانی می‌سنجند، به بحث جاری پیرامون مسیر ارتقای Glamsterdam اتریوم مراجعه کنید.

برای Polygon PoS، نتیجه‌گیری ساده است: آسیب‌پذیری‌ها ریسک‌های تخلیه منابع و موارد لبه‌ای اجماع بودند، نه شکست در صحت، و هر دو قبل از مشاهده هرگونه سوءاستفاده در شبکه اصلی برطرف شدند.