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: 🧵