OP Labs úspěšně dokončila audit Sherlock s dalšími zjištěními

OP Labs provedl Sherlockův audit, aby se ujistil, že nedochází k žádným nesrovnalostem a jsou podniknuty další kroky k implementaci. Tento audit zajistil, že vývojáři jsou o krok blíže OP mainnetu. Posílí bezpečnost mainnetu i spolehlivost v případě možných problémů.  

Audit OP Mainnet

OP Labs je tvůrcem protokolu Optimism Protocol, který je rozšířením protokolu Ethereum. Tento protokol se zaměřuje na zajištění škálování technologie a hodnot. Dále se také zaměřuje na podporu závazku k veřejnému blahu. 

Podle nedávného blogu od OP Labs provedli audit OP Mainnet. Dokončení auditu vedlo k období eskalace, které povede k dokončení procesu vývoje mainnetu.  

Audit začal 27. března auditní soutěží Sherlock, jejímž cílem bylo otestovat navrhovaný systém. Byly navrženy dva účely auditu. Ty zahrnovaly obnovu zajištěnou systémem odolným proti poruchám a integraci systému odolného proti poruchám do stávajících smluv mainnetu. 

Podle blogového příspěvku, který vývojáři sdíleli, výsledky auditu ukazují, že nedošlo k žádným zásadním zranitelnostem. Vývojáři mají v úmyslu podělit se o podrobnou zprávu, jakmile skončí období eskalace. Úplné ověření a kontroly závažnosti ověří Sherlock po provedení období eskalace. 

Aktualizace o auditu provedeném OP Labs

Vzhledem k tomu, že audit proběhl úspěšně, existuje několik týmů, jejichž účast to umožnila. Podle blogového příspěvku od zmíněných vývojářů byla společnost Offchain Labs jedním z těch, kteří stojí za poděkování, protože se soustředili na upozorňování na chyby. 

Laboratoře Offchain byly schopny najít dvě chyby ve hře [FaultDisputeGame] před zahájením auditu Sherlocka. Pokud by tyto chyby nebyly identifikovány, vedlo by to k více chybám. Některé z nich zahrnují určité specifikace během rozlišení hry. 

Chyba souvisela s časovým rozlišením, které je založeno na soutěži mezi dvěma týmy soutěžícími v soutěži. Bránící tým a útočící tým by čelil problémům v podobě vyčerpání času a vyřešení zápasu, i když čas nemusel vypršet. Útočící tým tedy mohl ztratit čas, i když přidělený čas ještě neskončil.

Tím by vznikl neplatný nárok vedoucí k vítězství týmu, který by nevyhrál. Chyba by tedy ovlivnila protokol. Bylo tedy předem vyřešeno, aby v budoucnu nebyly žádné bolesti hlavy vývojářům i uživatelům. 

Dále byl zjištěn problém duplikace existující veřejné zprávy, který byl včas vyřešen. 

Další kroky

Vzhledem k tomu, že uvedené problémy OP Labs vyřešily, sloučily řešení v oblasti [develop]. Dále byl dne 26. dubna 2024 začleněn do testovací sítě OP Sepolia. S nasazením tedy začaly fungovat. 

Vývojáři plánují pokračovat v práci na OP Mainnet, aby zajistili, že uživatelům bude k dispozici jeho nejlepší verze. Dokončením Sherlock Auditu OP Labs začalo období eskalace. Budou pracovat na pravděpodobných problémech, které by si vývojáři mohli během tohoto období všimnout. 

Podrobná zpráva o možných problémech bude sdílena s koncem období eskalace. Tyto změny budou zahrnuty do návrhu změn v rámci OP Mainnet.

Proč investovat do čističky vzduchu?

Vývojáři OP Mainnet provedli Sherlockův audit systému. To vedlo ke zjištění některých nedostatků, které se podařilo vyřešit a řešení bude zahrnuto do návrhu změn systému řízení. Začalo období eskalace pro mainnet, které se zaměří na další projednávání případných změn ze strany OP Labs. 

Zdroj: https://www.cryptopolitan.com/op-labs-completes-sherlock-audit/