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