Verificare formală cuprinzătoare a @CetusProtocol pe @SuiNetwork: protocolul CLMM de bază, biblioteca standard (STL) și integer-mate. Verificarea noastră formală confirmă corectitudinea proprietăților critice ale protocolului, inclusiv demonstrații deductive că funcțiile de conversie tick-to-price implementează corect formulele matematice (√1.0001^tick și inversul său). Aceasta depășește cu mult orice altă verificare formală a protocoalelor CLMM de tip Uniswap v3, inclusiv Uniswap însuși. Ca parte a parteneriatului nostru de securitate cu Cetus, vom continua să întărim protocolul lor. Detalii și raport mai jos.