kpk supports this proposal.
Certora has been a key security partner for Aave over the years, consistently demonstrating professionalism, responsiveness, and technical excellence. Their contributions across formal verification, audits, and governance reviews have been instrumental in maintaining protocol safety and operational continuity.
This new engagement expands their mandate for Aave v4, adding capabilities in invariant-based fuzz testing, active on-chain monitoring, and broader multi-chain coverage — all while keeping the proposed pricing reasonable given the dedicated resources and the strategic importance of maintaining a robust and continuously verified foundation for Aave v4.