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