kpk supports this proposal.
Our engagements with Certora have always been professional, efficient, and highly valuable to Aave’s security framework. Their continued involvement — particularly through AIP reviews, incident response, and guardian participation — has been key in ensuring the protocol’s operational safety and governance integrity.
The proposed renewal provides continuity in a mission-critical function, and the outlined costs are reasonable given the scope, availability, and depth of expertise Certora brings.