OP Labs провела аудит Sherlock, щоб переконатися у відсутності розбіжностей і вжити подальших заходів для впровадження. Цей аудит підтвердив, що розробники стали на крок ближче до основної мережі OP. Це підвищить безпеку основної мережі, а також надійність у разі можливих проблем.
Аудит OP Mainnet
OP Labs є розробником протоколу Optimism Protocol, який є розширенням протоколу Ethereum. Цей протокол зосереджений на забезпеченні масштабування технологій і цінностей. Крім того, він також зосереджується на просуванні відданості суспільному благу.
Відповідно до нещодавнього блогу OP Labs, вони провели аудит OP Mainnet. Завершення аудиту призвело до періоду ескалації, який призведе до завершення процесу розробки основної мережі.
Аудит розпочався 27 березня з конкурсу аудиту Sherlock, метою якого було перевірити запропоновану систему. Було запропоновано дві цілі аудиту. Вони включали відновлення, забезпечене системою захисту від несправностей та інтеграцію системи захисту від несправностей в існуючі контракти основної мережі.
Відповідно до публікації в блозі, опублікованої розробниками, результати аудиту показують, що серйозних вразливостей не було. Розробники мають намір поділитися детальним звітом після завершення періоду ескалації. Після завершення періоду ескалації Шерлок перевірить повну перевірку валідації та серйозності.
Оновлення про аудит, проведений OP Labs
Оскільки аудит було проведено успішно, це стало можливим за участю кількох команд. Згідно з дописом у блозі згаданих розробників, Offchain Labs була однією з тих, за які варто подякувати, оскільки вони зосереджені на вказівці на недоліки.
Offchain Labs вдалося знайти дві помилки в [FaultDisputeGame] до початку аудиту Sherlock. Якби ці помилки не було виявлено, це призвело б до кількох помилок. Деякі з них включають деякі характеристики під час вирішення гри.
Помилка була пов’язана з роздільною здатністю часу, яка базується на змаганні між двома командами, які змагаються. Команда, що захищається, і команда, що атакує, зіткнуться з проблемами у вигляді закінчення часу та завершення змагання, хоча час міг і не закінчитися. Таким чином, атакуюча команда могла втратити час, навіть якщо відведений час ще не закінчився.
Таким чином, це призведе до недійсної претензії, що призведе до перемоги команди, яка б не перемогла. Таким чином, помилка вплинула б на протокол. Таким чином, було вирішено заздалегідь, щоб у майбутньому не було головного болю як у розробників, так і у користувачів.
Крім того, було виявлено проблему дублювання існуючого публічного звіту, яка була вчасно вирішена.
Подальші кроки
Оскільки OP Labs вирішила згадані проблеми, вони об’єднали рішення у гілці [develop]. Крім того, 26 квітня 2024 року його було інтегровано в тестову мережу OP Sepolia. Таким чином, після розгортання вони почали функціонувати.
Розробники планують продовжити роботу над OP Mainnet, щоб гарантувати, що найкраща його версія доступна користувачам. Із завершенням аудиту Шерлока компанією OP Labs почався період ескалації. Вони працюватимуть над можливими проблемами, які можуть стати до уваги розробників протягом цього періоду.
Детальний звіт щодо можливих проблем буде надано, коли період ескалації наближається до кінця. Ці зміни будуть включені до зміни пропозиції щодо керування OP Mainnet.
Висновок
Розробники OP Mainnet провели шерлок-аудит системи. Це призвело до виявлення деяких недоліків, які були усунені, і рішення буде включено до пропозиції змін до системи управління. Розпочався період ескалації для основної мережі, який буде зосереджений на подальших обговореннях щодо будь-яких можливих змін OP Labs.
Джерело: https://www.cryptopolitan.com/op-labs-completes-sherlock-audit/