Aave Governance V3 is a smart contracts governance system enabling DAOs like Aave to create, vote and execute proposals in an efficient and scalable manner.
The architecture is multi-chain by design and powered by storage proofs, reducing significantly the cost of voting, while keeping the same levels of decentralization.
Extensive documentation about the architecture and design of the system can be found HERE.
Additional, more formal (but natural language) properties of the system can be found HERE
All the information about setup of the project and deployments can be found HERE
Networks | Governance |
---|---|
0x9AEE0B04504CeF83A65AC3f0e838D0593BCb2BC7 |
Networks | VotingMachine |
---|---|
0x617332a777780F546261247F621051d0b98975Eb | |
0xc8a2ADC4261c6b669CdFf69E717E77C9cFeB420d | |
0x9b6f5ef589A3DD08670Dd146C11C4Fb33E04494F |
The following security procedures have been applied:
-
Extensive testing and internal review by the BGD Labs team.
-
We have engaged Emanuele Ricci as external security partner in middle stages of the project, with outstanding results. This procedure was focused on non-biased modelling of the system in terms of flows and any kind of security problem and/or state inconsistency, keeping a tight feedback loop with the development team.
-
Extensive properties checking (formal verification) procedure by Certora, a security service provider of the Aave DAO.
-
Security review by SigmaPrime, another security service provider of the Aave DAO.
IMPORTANT. The BUSL1.1 license of this repository allows for any usage of the software, if respecting the Additional Use Grant limitations, forbidding any use case damaging anyhow the Aave DAO's interests.
Copyright © 2023, Aave DAO, represented by its governance smart contracts.
Created by BGD Labs.
The default license of this repository is BUSL1.1, but all interfaces and the contents of the following folders are open source, MIT-licensed:
IMPORTANT. The BUSL1.1 license of this repository allows for any usage of the software, if respecting the Additional Use Grant limitations, forbidding any use case damaging anyhow the Aave DAO's interests.