Verificação Formal Abrangente do @CetusProtocol na @SuiNetwork: protocolo CLMM central, biblioteca padrão (STL) e integer-mate. A nossa verificação formal confirma a correção de propriedades críticas do protocolo, incluindo provas dedutivas de que as funções de conversão de tick para preço implementam corretamente as fórmulas matemáticas (√1.0001^tick e seu inverso). Isso vai muito além de todo o trabalho de verificação formal em protocolos CLMM estilo Uniswap v3, incluindo o próprio Uniswap. Como parte da nossa parceria de segurança com a Cetus, continuaremos a fortalecer o seu protocolo. Detalhes e relatório abaixo.