Certora Continuous Formal Verification for Governance and Aave Community
A proposal for significantly and continuously improving the security of the Aave platform and the dApps built on top of it, by offering our formal verification and path coverage tooling service to the Aave Platform contributors and the Aave Protocol dApp developers. The initial proposal is for 6 months starting January 2022. A discount price is given for an annual contract.
Please see full details in the Governance Forum: https://governance.aave.com/t/continuous-formal-verification/6308
Off-Chain Vote
Yes
90.2K 80.2%
No
22.29K 19.8%
Timeline
Dec 10, 2021Proposal created
Dec 13, 2021Proposal vote started
Dec 20, 2021Proposal vote ended
Oct 26, 2023Proposal updated