O trabalho de verificação formal do Cetus Protocol estabelece um novo padrão para o Sui DeFi. A rigorosidade aqui, com provas dos mecanismos centrais do protocolo, é o que a segurança parece. Leia a análise completa👇