[ARFC] Strengthening Upgrade Safety: Concord Equivalence Checker by Certora
AI summary
This proposal asks the Aave DAO to become a founding sponsor of Certora Concord, an open-source tool that verifies smart contract upgrades. Certora Concord checks if changes to a smart contract, like compiler updates or optimizations, alter its intended behavior. Aave would contribute $50,000 USD to this initiative, which will also receive matching funds from the Ethereum Foundation.
If passed, Aave would contribute $50,000 from its treasury to help develop a new security tool. This could lead to safer and more efficient upgrades for the Aave protocol by reducing the risk of introducing bugs and potentially lowering audit costs. The Aave DAO would benefit from enhanced security and potentially faster innovation cycles.
Voting results
Votes over time
x-axis = % of voting window elapsed · y-axis = cumulative VP per choice
🐳 Whale votes
8 votes > 5% VPFull proposal
Author
Certora
Date
April 2026
We would like to share this proposal with the Aave community to gather early feedback on a new security initiative being developed in collaboration with leading protocols and the Ethereum Foundation.
Note: We are aware of the ongoing efforts around recent ecosystem events and do not expect immediate feedback. This ARFC is shared now for early visibility and initial thoughts, and we are happy to engage in deeper discussion once things stabilize.
Summary
We propose that the Aave DAO participate as a founding sponsor in the deve…