Security plays a key role in the success of DeFi protocols.
As one of the most complex lending platforms in web3, @$aave’s success depends, to a large extent, on preventing bugs and vulnerabilities.
Since 2020, Certora has been helping the protocol maintain high security standards through continuous formal verification. 🫡🛡️
We’re excited to announce that the renewal of Certora’s services will soon be up for vote in the DAO.
Take a look at our past work with Aave: 🧵