This proposal seeks to extend Aave's partnership with Certora for another year to provide continuous security services. Certora, a blockchain security firm, will continue to perform formal verification and manual reviews of Aave's smart contracts, which are self-executing agreements on the blockchain. Additionally, they will introduce new services, including reviewing every governance proposal before it goes live on the blockchain and assisting with bug bounties. The goal is to enhance the security and reliability of the Aave protocol.