A segurança desempenha um papel fundamental no sucesso dos protocolos DeFi.

Como uma das plataformas de empréstimos mais complexas em web3, o sucesso da @$aave depende, em grande parte, da prevenção de bugs e vulnerabilidades.

Desde 2020, a Certora tem ajudado o protocolo a manter altos padrões de segurança por meio de verificação formal contínua. 🫡🛡️

Estamos animados em anunciar que a renovação dos serviços da Certora em breve estará em votação na DAO.

Dê uma olhada em nosso trabalho anterior com Aave: 🧵