closedEnded 4 years ago · Snapshot (Offchain)
Certora Continuous Formal Verification for Governance and Aave Community
By 0x7d80...AFffc1
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
Connect Wallet to Add Note
0Votes 466
| Voter | Cast Power | Vote & Rationale |
|---|---|---|
 0xdd45...B74Cc5 | 65,498 | Yes |
 0x329c...543eD4 | 20,674 | Yes |
 0x93A7...bd45E0 | 8,115 | No |
 0xE479...483d85 | 8,100 | No |
 0x1Cd2...97871D | 4,000 | No |
VOTE POWER
0
Connect Wallet
Proposal Status
- Mon December 13 2021, 10:00 amVoting Period Starts
- Mon December 20 2021, 10:00 amEnd Voting Period
Current Results
1-Yes
90,197.447
2-No
22,291.03