Skip to content

Certora/aave-governance-v3

 
 

Repository files navigation

Aave Governance v3

Aave Governance v3


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.


Specifications

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


Setup instructions

All the information about setup of the project and deployments can be found HERE


Deployed Addresses

Networks Governance
Ethereum

Ethereum

0x9AEE0B04504CeF83A65AC3f0e838D0593BCb2BC7

Networks VotingMachine
Ethereum

Ethereum

0x617332a777780F546261247F621051d0b98975Eb
Polygon

Polygon

0xc8a2ADC4261c6b669CdFf69E717E77C9cFeB420d
Avalanche

Avalanche

0x9b6f5ef589A3DD08670Dd146C11C4Fb33E04494F

Networks PayloadsController Executor Lvl1 Executor Lvl2
Ethereum

Ethereum

0xdAbad81aF85554E9ae636395611C58F7eC1aAEc5 0x5300A1a15135EA4dc7aD5a167152C01EFc9b192A 0x17Dd33Ed0e3dD2a80E37489B8A63063161BE6957
Polygon

Polygon

0x401B5D0294E23637c18fcc38b1Bca814CDa2637C 0xDf7d0e6454DB638881302729F5ba99936EaAB233 -
Avalanche

Avalanche

0x1140CB7CAfAcC745771C2Ea31e7B5C653c5d0B80 0x3C06dce358add17aAf230f2234bCCC4afd50d090 -
Arbitrum

Arbitrum

0x89644CA1bB8064760312AE4F03ea41b05dA3637C 0xFF1137243698CaA18EE364Cc966CF0e02A4e6327 -
Optimism

Optimism

0x0E1a3Af1f9cC76A62eD31eDedca291E63632e7c4 0x746c675dAB49Bcd5BB9Dc85161f2d7Eb435009bf -
Binance

Binance

0xE5EF2Dd06755A97e975f7E282f828224F2C3e627 0x9390B1735def18560c509E2d0bc090E9d6BA257a -
Base

Base

0x2DC219E716793fb4b21548C0f009Ba3Af753ab01 0x9390B1735def18560c509E2d0bc090E9d6BA257a -
Metis

Metis

0x2233F8A66A728FBa6E1dC95570B25360D07D5524 0x6fD45D32375d5aDB8D76275A3932c740F03a8718 -
Gnosis

Gnosis

0x9A1F491B86D09fC1484b5fab10041B189B60756b 0x1dF462e2712496373A347f8ad10802a5E95f053D -

Security

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.

License

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.

Releases

No releases published

Packages

No packages published

Languages

  • Solidity 76.1%
  • Python 18.8%
  • Shell 2.2%
  • JavaScript 1.4%
  • Other 1.5%