La seguridad juega un papel clave en el éxito de los protocolos DeFi.
Como una de las plataformas de préstamos más complejas en web3, el éxito de @$aave depende, en gran medida, de prevenir errores y vulnerabilidades.
Desde 2020, Certora ha estado ayudando al protocolo a mantener altos estándares de seguridad a través de una verificación formal continua. 🫡🛡️
Estamos emocionados de anunciar que la renovación de los servicios de Certora pronto estará en votación en el DAO.
Echa un vistazo a nuestro trabajo pasado con Aave: 🧵