Автор: Shenchao TechFlow
Зустріч основних розробників Ethereum (ACD) вирішила призупинити процес оновлення тестової мережі Hoodi, оскільки аудиторська фірма з питань безпеки повідомила, що дві майбутні пропозиції щодо покращення Gas безпосередньо перевернуть базові операційні припущення, на які багато розгорнутих смарт-контрактів давно покладаються.
Фонд Ethereum публічно оприлюднив попередження про самоперевірку для всієї галузі та спільно з кількома установами запустив аудит коду, щоб запобігти тому, щоб хардфорк безпосередньо призвів до потрапляння ончейн-протоколів активів у логічні аномалії або параліч.
Перебудова базової тарифікації похитнула традиційну логіку доступу до стану
У майбутньому оновленні Ethereum Glamsterdam специфікація пропозиції EIP-8037 та специфікація пропозиції EIP-8038 беруть на себе ключове завдання переоцінки механізму зберігання стану.
Історичні дані стану Ethereum продовжують зростати, і початкова модель фіксованого споживання навряд чи може точно відобразити реальні апаратні витрати вузлів на підтримку створення стану та частих читань. Основна мета цих двох пропозицій — повністю розділити способи тарифікації створення стану та доступу до стану, а також встановити динамічні ваги для конкретних опкодів.
Ця базова перебудова покликана стримати тенденцію до невпорядкованого розростання стану по всій мережі, але на рівні виконання вона безпосередньо перевертає системні константи, які розробники вважають фіксованими під час побудови застосунків.
Крах статичних припущень щодо Gas викриває вісім ризиків інваріантів
Фірма з безпеки офіційний аналіз ChainSecurity зазначила під час тестування, що велика кількість ончейн-смарт-контрактів та офчейн-інфраструктури давно побудовані на кількох несподіваних статичних припущеннях щодо Gas. Щойно правила тарифікації споживання під час виконання опкодів різко зміняться, відповідна бізнес-логіка буде безпосередньо перервана без жодного попередження.
Ці порушені інваріанти охоплюють найпоширеніші інженерні шаблони в розробці контрактів. Щоб запобігти атакам повторного входу або контролювати область виконання, деякі протоколи використовують жорстко закодовані ліміти Gas під час виклику субконтрактів. Зростання витрат на тарифікацію призведе до того, що міжконтрактні виклики, які спочатку могли б виконуватися безперебійно, безпосередньо відкотаються через вичерпання внутрішнього Gas.
Інші ключові ризики криються в логіці відмовостійкості, яка покладається на механізми перехоплення винятків. Коли зовнішній викликач більше не може точно передбачити внутрішнє споживання виконання, або коли деякі проксі-контракти переспрямовують залишок виконання на основі фіксованих пропорцій, шлях виконання всього потоку транзакцій буде повністю спотворений, і навіть може призвести до блокування коштів у незавершених гілках скінченного автомата.
Команда управління терміново зупиняє форк, щоб уникнути ончейн-тисняви
Зіткнувшись із потенційними системними ризиками сумісності, розробники клієнтів Ethereum швидко вжили захисних заходів у останньому процесі основної координації.
Згідно з оглядом історії основного управління Ethereum у статті «Нова публічна мережа Nibiru Mainnet буде запущена: аналіз її технічних особливостей і практик безпечної розробки», щоразу, коли базовий консенсус або параметри виконання входять у непримиренний конфлікт із наявною екосистемою, спільнота розробників зазвичай обирає відкласти графік в обмін на достатнє вікно безпеки.
Розробники дійшли консенсусу на зустрічі ACD, що вони абсолютно не виконуватимуть хардфорк у тестовій мережі Hoodi, доки досконально не з'ясують розподіл потенційно постраждалих контрактів і не нададуть рекомендації щодо сумісності. Сліпий форк не лише не дозволяє ефективно перевірити стабільність нових правил, але й легко спричиняє каскадні збої в мультипідписних гаманцях, крос-чейн мостах і децентралізованих кредитних протоколах.
Фонд відкриває інструменти виявлення для сприяння скоординованій перевірці в межах усієї мережі
Оскільки складність децентралізованих застосунків не обмежується загальнодоступним байткодом у ланцюжку, а й глибоко вкладена у пропрієтарну позаланцюгову маршрутизацію, скрипти врегулювання та боти ліквідації, офіційні аудиторські зусилля не можуть вичерпати граничну логіку всієї екосистеми. Дослідник Ethereum Маріус ван дер Вейден від імені команди чітко визнав це обмеження в технічному оголошенні Фонду Ethereum.
Фонд Ethereum офіційно опублікував спеціальний репозиторій для перевірки на платформі хостингу коду, детально роз'яснивши спільноті технічні деталі восьми уражених інваріантів і зразки проблемного коду. Репозиторій також надає спеціальні шаблони підказок для основних інструментів допомоги в аудиті та сканерів коду, щоб команди контрактів, аудитори з безпеки та супроводжувачі інфраструктури могли швидко порівняти власну бізнес-логіку.
Команда основних розробників Ethereum і установи з безпеки планують узагальнити першу партію даних самоперевірки, зібраних від усіх сторін, на зустрічі ACD наступного тижня, після чого вони повторно оцінять умови активації та коригування плану для тестової мережі Hoodi.
