[ARFC] Continuous Security Proposal Aave <> Certora
Vote Result: YES
Rationale
As we mentioned in our comment, we are in support of this proposal; Certora has been an invaluable partner to the Aave DAO and renewing their services is necessary to ensure the continued security of the Aave protocol. Therefore, we will vote YES in favour of this proposal.