Ethereum-сообщество отложило интеграцию обновления Glamsterdam в плановый форк Hoodi. Причина — серьёзные вопросы к восьми смарт-контрактным инвариантам, которые входят в пакет улучшений EIP-8037 и EIP-8038. Разработчики Ethereum Foundation не хотят спешить с этими изменениями, пока не убедятся в полной безопасности реализации.
Инварианты — это по сути гарантии, которые смарт-контракт должен сохранять при любых обстоятельствах. Если они нарушаются, возможны утечки средств, неожиданное поведение протокола или уязвимости для эксплуатации. В данном случае речь идёт не о тривиальных ошибках, а о сложных взаимодействиях между компонентами, которые могут проявиться только при определённых сценариях работы сети.
Это нежелание торопиться имеет вполне объективную основу. История Ethereum знает примеры, когда поспешные обновления приводили к неприятным последствиям. Сообщество выучило эту урок дорогой ценой. Сейчас каждое значимое изменение проходит через несколько уровней проверки: формальную верификацию, симуляции, тестирование на тестнете и только потом — внедрение на мейннет.
EIP-8037 и EIP-8038 — это улучшения, которые призваны оптимизировать определённые операции протокола. Без них функциональность Ethereum не пострадает, но с ними сеть станет более эффективной. При этом выигрыш в производительности не стоит рисковать стабильностью. Разработчики приняли правильное решение, поставив безопасность выше графика релиза.
Процесс разрешения этих вопросов может занять недели или даже месяцы. Потребуются формальные доказательства корректности инвариантов, тестирование граничных случаев и, возможно, переработка части кода. Это стандартная практика для критичных обновлений блокчейна, где исправить баг после деплоя гораздо сложнее, чем в обычном ПО.
Для Ethereum это ещё один пример того, как растёт зрелость экосистемы. Год назад подобное решение могло бы восприняться как задержка; сейчас это просто признак ответственного подхода к разработке. Хаотичный фристайл заменил структурированный процесс с чёткими критериями готовности.
