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

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

Аудит OP Mainnet

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Заключение

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