Verifica Formale Completa di @CetusProtocol su @SuiNetwork: protocollo CLMM core, libreria standard (STL) e integer-mate. La nostra verifica formale conferma la correttezza delle proprietà critiche del protocollo, inclusi i prove deduttive che le funzioni di conversione tick-prezzo implementano correttamente le formule matematiche (√1.0001^tick e il suo inverso). Questo va ben oltre tutto il lavoro di verifica formale su protocolli CLMM in stile Uniswap v3, incluso Uniswap stesso. Come parte della nostra partnership di sicurezza con Cetus, continueremo a rafforzare il loro protocollo. Dettagli e rapporto qui sotto.