🛡 Scallop Completa la Verificación Formal Integral por Asymptotic Scallop Lend ha completado una revisión integral de verificación formal realizada por @AsymptoticTech, el socio de auditoría oficial de @Mysten_Labs. La verificación demuestra propiedades clave de corrección en la contabilidad central, matemáticas de liquidación, control de acceso y aritmética de punto fijo. La seguridad sigue siendo una prioridad fundamental para Scallop. Esta verificación refuerza la solidez del protocolo y refleja nuestro compromiso continuo de construir una infraestructura DeFi segura y confiable en @SuiNetwork. Continuaremos trabajando estrechamente con Asymptotic para fortalecer aún más el protocolo y sus características. Lee el Informe Completo: