Компания OP Labs успешно завершила проверку Sherlock, выявив новые недостатки

Компания OP Labs провела аудит Sherlock, чтобы убедиться в отсутствии несоответствий и предпринять дальнейшие шаги по внедрению. Этот аудит подтвердил, что разработчики стали на шаг ближе к запуску основной сети OP. Он повысит её безопасность и надёжность в случае возникновения проблем.  

Аудит OP Mainnet

OP Labs — разработчик протокола Optimism , являющегося расширением Ethereum . Этот протокол ориентирован на масштабирование технологий и ценностей. Кроме того, он также направлен на продвижение приверженности общественному благу. 

Согласно недавнему сообщению в блоге OP Labs, они провели аудит основной сети OP. Завершение аудита привело к началу периода эскалации, который приведёт к завершению процесса разработки основной сети.  

Аудит начался 27 марта с конкурса аудита Sherlock, целью которого было тестирование предлагаемой системы. Были предложены две цели аудита: обеспечение восстановления, обеспечиваемое отказоустойчивой системой, и интеграция отказоустойчивой системы в существующиеtracосновной сети. 

Согласно сообщению в блоге разработчиков, результаты аудита не выявили серьёзных уязвимостей. Разработчики планируют опубликовать подробный отчёт по завершении периода эскалации. Sherlock проведёт полную проверку валидации и уровня серьёзности уязвимости после завершения периода эскалации. 

Обновление информации об аудите, проведенном OP Labs

Аудит прошёл успешно, и участие нескольких команд сделало его возможным. Согласно сообщению в блоге упомянутых разработчиков, Offchain Labs была одной из тех, кого стоит поблагодарить за их внимание к выявленным ошибкам. 

Offchain Labs удалось обнаружить две ошибки в [FaultDisputeGame] до начала аудита Sherlock. Если бы эти ошибки не былиdent, это привело бы к появлению множества ошибок. Некоторые из них включают в себя некоторые спецификации, возникающие при разрешении игры. 

Ошибка была связана с определением времени, основанным на соревновании между двумя командами. Защищающаяся и атакующая команды сталкивались с проблемами, связанными с истечением времени и завершением соревнования, хотя время могло ещё не закончиться. Таким образом, атакующая команда могла потерять время, даже если отведённое время ещё не закончилось.

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

Кроме того, была обнаружена проблема дублирования существующего публичного отчета, которая была своевременно решена. 

Дальнейшие шаги

После устранения указанных проблем OP Labs перенесла решение в ветку [develop]. Кроме того, 26 апреля 2024 года оно было интегрировано в тестовую сеть OP Sepolia. Таким образом, после развёртывания решение начало функционировать. 

Разработчики планируют продолжить работу над основной сетью OP, чтобы обеспечить пользователям доступ к её лучшей версии. После завершения аудита Sherlock, проведённого OP Labs, начался период эскалации. В течение этого периода разработчики будут работать над возможными проблемами, которые могут быть обнаружены. 

Подробный отчёт о возможных проблемах будет опубликован по завершении периода эскалации. Эти изменения будут включены в предложение по изменению управления основной сетью OP.

Заключение

Разработчики основной сети OP провели аудит системы с помощью Sherlock. В результате был выявлен ряд проблем, которые были устранены. Решение будет включено в предложение по изменению системы управления. Начался период эскалации основной сети, в рамках которого OP Labs будет заниматься дальнейшим обсуждением возможных изменений.