Certora and Aave Labs revealed the details of the security framework jointly developed for Aave V4, the next generation of the decentralized lending protocol. The collaboration between both companies spans more than six years and covers multiple versions of the protocol.
Source: Read the original article
