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