Verificación formal integral de @CetusProtocol en @SuiNetwork: protocolo CLMM central, biblioteca estándar (STL) y mate-entero. Nuestra verificación formal confirma la corrección de las propiedades críticas del protocolo, incluyendo pruebas deductivas de que las funciones de conversión tick-to-price implementan correctamente las fórmulas matemáticas (√1.0001^tick y su inverso). Esto va mucho más allá de cualquier otro trabajo formal de verificación en protocolos CLMM de estilo Uniswap v3, incluido el propio Uniswap. Como parte de nuestra alianza de seguridad con Cetus, seguiremos reforzando su protocolo. Detalles e informe a continuación.