Kompleksowa formalna weryfikacja @CetusProtocol na @SuiNetwork: podstawowy protokół CLMM, standardowa biblioteka (STL) oraz integer-mate. Nasza formalna weryfikacja potwierdza poprawność krytycznych właściwości protokołu, w tym dowody dedukcyjne, że funkcje konwersji tick-na-cenę poprawnie implementują matematyczne wzory (√1.0001^tick i jego odwrotność). To znacznie wykracza poza wszelkie inne prace formalne weryfikacyjne dotyczące protokołów CLMM w stylu Uniswap v3, w tym samego Uniswap. W ramach naszego partnerstwa w zakresie bezpieczeństwa z Cetus, będziemy kontynuować wzmacnianie ich protokołu. Szczegóły i raport poniżej.