a.DI (Aave Delivery Insfrastucture) is a cross-chain communication abstraction layer for decentralised systems like the Aave DAO to communicate across networks, minimising the risk of underlying individual bridge provider failures, via consensus rules.
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
Network | EmergencyRegistry | Emergency Oracle |
---|---|---|
0x73C6Fb358dDA8e84D50e98A98F7c0dF32e15C7e9 | - | |
- | 0xDAFA1989A504c48Ee20a582f2891eeB25E2fA23F | |
- | 0x41185495Bc8297a65DC46f94001DC7233775EbEe | |
- | - | |
- | - | |
- | 0x9d33ee6543C9b2C8c183b8fb58fB089266cffA19 | |
- | - | |
- | - | |
- | 0xf937ffaea1363e4fa260760bdfa2aa8fc911f84d | |
- | - | |
- | - | |
- | 0x91b21900E91CD302EBeD05E45D8f270ddAED944d |
- Date: 29 Oct 2023
- Forum discussions and proposals:
- Security:
-
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.
-
- Diff: Release branch created here
- Date: 22 Mar 2024
- Forum discussions and proposals:
- Security:
- Proposals where reviewed internally and by Certora
- Diff:
- Date:
- Forum discussions and proposals:
- The V1.1 update consists on adding a shuffling mechanism to CCC and the addition of a new Granular guardian contract. A more in debth explanation can be found here
- Security:
- Granular Guardian:
- Shuffling:
- Diff:
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 content of the libs folder and Polygon tunnel 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.