🛡 Vieira completa una verificación formal integral mediante asintótica Scallop Lend ha completado una revisión formal exhaustiva de verificación realizada por @AsymptoticTech, el socio oficial de auditoría de @Mysten_Labs. La verificación demuestra propiedades clave de corrección en contabilidad básica, 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 infraestructuras DeFi seguras y fiables en @SuiNetwork. Seguiremos trabajando estrechamente con Asymptotic para fortalecer aún más el protocolo y sus funcionalidades. Lee el informe completo: