Optimism раскрывает критическую уязвимость Pre-Lagoon, исправленную до эксплуатации

Optimism раскрыла критическую уязвимость в предварительном (pre-Lagoon) пути возвратов (refund) через пост на форуме управления (governance) Optimism. Проблема заключалась в том, что путь SDM verify принимал поддельные payload’ы возвратов без пересчёта (recomputation), создавая риск, при котором система могла принять данные о возврате, которым ей не следовало доверять. Optimism исправила уязвимость до того, как её успели эксплуатировать в любой производственной (production) цепочке, при этом без потери средств. Раскрытие даёт технические детали о том, как логическую ошибку в обработке возвратов можно было бы использовать, если бы её не устранили, подчёркивая важность систем верификации в инфраструктуре Уровня 2, где процессы возвратов определяют требования к величине и кросс-системный учёт.

Optimism объясняет важность раскрытия уязвимостей до продакшена

Раскрытие Optimism относится к категории серьёзной проблемы, исправленной до злоупотребления, с последующим публичным объяснением. Уязвимость классифицировали как критическую, потому что она затрагивала логику возвратов, пути верификации и кросс-системный учёт, где небольшие допущения могут превратиться в большие потери. В раскрытии говорится, что проблему исправили до того, как обновление Lagoon достигло продакшена, и что средства не были потеряны. Для экосистем Уровня 2 этот процесс безопасности важен, потому что сети вроде Optimism выступают средами для расчётов и исполнения, от которых зависят другие приложения: значит, критическая проблема в базовой инфраструктуре может затронуть множество пользователей и протоколов, если она попадёт в продакшен.

SDM Verify Path принимал поддельные payload’ы возвратов без пересчёта

Уязвимость заключалась в том, что путь SDM verify принимал поддельные payload’ы возвратов без пересчёта. Системы возвратов определяют, кому должна причитаться величина, как проверяются возвраты и какие сообщения принимаются. Если система принимает поддельные payload’ы, злоумышленник может заставить протокол признать требования, которых не должно было существовать. Верификация должна независимо подтверждать, каким должен быть правильный результат, а не слепо доверять предоставленным данным. В раскрытии объясняется, что путь возвратов, принимающий поддельную информацию, представляет собой серьёзную проблему; одновременно подчёркивается, что исправление произошло до злоупотребления в продакшене.

Сети Уровня 2 сталкиваются с растущей сложностью безопасности

Сети Уровня 2 включают секвенсоров (sequencers), мосты (bridges), fault proofs, пути обновлений, роли управления, кроссчейн-сообщения, системы fraud-proof, допущения по доступности данных и обновления протокола. Любая новая функция может добавить новые поверхности атаки. Обновление Lagoon от Optimism является частью более широкого развития в этом направлении. Раскрытия до обновления показывают, что изменилось, что могло пойти не так, и как команда справилась с проблемой до более широкого внедрения. В раскрытии говорится, что сложным системам нужна постоянная проверка, так как работы по безопасности должны развиваться так же быстро, как и сети.

Публичное раскрытие помогает обучению безопасности в экосистеме

Публичные раскрытия помогают другим командам проверять похожие допущения, улучшать собственные пути верификации и понимать, как ошибки проявляются в сложных процессах обновления. Это особенно верно для модульных экосистем и экосистем Уровня 2, где паттерны проектирования часто повторяются. Раскрытие Optimism даёт детали, позволяющие экосистеме понять процесс безопасности вокруг уязвимостей, патчей и рисков обновлений. Раскрытие основано на информации, опубликованной на форуме security disclosure управления Optimism.

FAQ

Какую уязвимость Optimism раскрыла в своей инфраструктуре до Lagoon?

Optimism раскрыла критическую уязвимость в пути SDM verify, который принимал поддельные payload’ы возвратов без пересчёта. Проблема заключалась в том, что система потенциально могла принять данные о возврате, которым ей не следовало доверять, создавая риск в логике возвратов и кросс-системном учёте.

Была ли уязвимость Optimism эксплуатирована в какой-либо производственной цепочке?

Нет. Optimism заявляет, что уязвимость исправили до того, как её успели эксплуатировать в любой производственной цепочке, и что средства не были потеряны. Проблему устранили до того, как обновление Lagoon достигло продакшена.

Где Optimism опубликовала раскрытие безопасности?

Optimism опубликовала раскрытие на форуме управления Optimism. Раскрытие содержит технические детали о уязвимости в пути возвратов до Lagoon и о временной шкале патча.