OP Labs успешно завършва одита на Sherlock с още констатации

OP Labs проведе одит на Sherlock, за да гарантира, че няма несъответствия и са предприети по-нататъшни стъпки за внедряване. Този одит гарантира, че разработчиците са една стъпка по-близо до основната мрежа на OP. Това ще подобри сигурността на основната мрежа, както и надеждността в случай на евентуални проблеми.  

Одит на OP Mainnet

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

Според скорошния блог от OP Labs, те са извършили одит на OP Mainnet. Завършването на одита доведе до периода на ескалация, който ще доведе до завършване на процеса на развитие на основната мрежа.  

Одитът започна на 27 март с конкурса за одит Sherlock, който имаше за цел да тества предложената система. Имаше две предложени цели на одита. Те включват възстановяване, осигурено от система за защита от грешки и интегриране на система за защита от грешки в съществуващите договори на основната мрежа. 

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

Актуализация относно одита, извършен от OP Labs

Тъй като одитът беше проведен успешно, имаше множество екипи, чието участие го направи възможно. Според публикацията в блога на споменатите разработчици, Offchain Labs беше една от тези, на които си струва да благодарим, поради фокуса им върху посочването на грешките. 

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

Грешката беше свързана с разрешаването на времето, което се основава на състезание между два отбора, участващи в състезание. Защитаващият се отбор и атакуващият отбор биха се сблъскали с проблеми под формата на изтичане на времето и разрешаване на състезанието, въпреки че времето може да не е изтекло. По този начин атакуващият отбор може да е загубил време, дори ако определеното време все още не е приключило.

По този начин това би породило невалиден иск, водещ до победа на отбор, който не би спечелил. По този начин грешката би засегнала протокола. По този начин беше решено предварително да се гарантира, че няма да има главоболия за разработчиците, както и за потребителите в бъдеще. 

Освен това беше открит проблем с дублиране на съществуващ публичен доклад, който беше разрешен навреме. 

Допълнителни стъпки

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

Разработчиците планират да продължат да работят върху OP Mainnet, за да гарантират, че най-добрата му версия е достъпна за потребителите. С приключването на одита на Sherlock от OP Labs започна периодът на ескалация. Те ще работят по вероятни проблеми, които могат да забележат разработчиците през този период. 

Подробен доклад относно възможните проблеми ще бъде споделен, когато периодът на ескалация приключи. Тези промени ще бъдат включени в промените в предложението за управление на основната мрежа на ОП.

Заключение

Разработчиците на OP Mainnet са извършили Sherlock одит на системата. Това доведе до откриване на някои грешки, които бяха отстранени и решението ще бъде включено в предложението за промени в системата на управление. Започна периодът на ескалация за основната мрежа, който ще се съсредоточи върху по-нататъшни обсъждания относно евентуални промени от OP Labs. 

Източник: https://www.cryptopolitan.com/op-labs-completes-sherlock-audit/