El trabajo formal de verificación del Protocolo Cetus establece un nuevo estándar para Sui DeFi. El rigor aquí, con pruebas de la mecánica central del protocolo, es lo que es la seguridad. Lee el desglose👇 completo