dorucioclea / aave-delivery-infrastructure

Abstraction layer for cross-chain communication

a.DI (Aave Delivery Infrastructure)

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.

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

Network	CrossChainController	Forwards to	Receives from	Consensus
Ethereum	0xEd42a7D8559a463722Ca4beD50E0Cc05a386b0e1			2/3 3/4
Polygon	0xF6B99959F0b5e79E1CC7062E12aF632CEb18eF0d			3/4
Avalanche	0x27FC7D54C893dA63C0AE6d57e1B2B13A70690928			2/3
Arbitrum	0xCbFB78a3Eeaa611b826E37c80E4126c8787D29f0	-		1/1
Optimism	0x48A9FE90bce5EEd790f3F4Ce192d1C0B351fd4Ca	-		1/1
Binance	0x9d33ee6543C9b2C8c183b8fb58fB089266cffA19	-		2/3
Base	0x529467C76f234F2bD359d7ecF7c660A2846b04e2	-		1/1
Metis	0x6fDaFb26915ABD6065a1E1501a37Ac438D877f70	-		1/1
Gnosis	0x8Dc5310fc9D3D7D1Bb3D1F686899c8F082316c9F	-		2/3
Scroll	0x03073D3F4769f6b6604d616238fD6c636C99AD0A	-		1/1
ZkEVM	0xed7e0874526B9BB9E36C7e9472ed7ed324CEeE3B	-		1/1
Celo	0x4A5f4b29C0407E5Feb323305e121f563c7bC4d79	-		1/1

Network	EmergencyRegistry	Emergency Oracle
Ethereum	0x73C6Fb358dDA8e84D50e98A98F7c0dF32e15C7e9	-
Polygon	-	0xDAFA1989A504c48Ee20a582f2891eeB25E2fA23F
Avalanche	-	0x41185495Bc8297a65DC46f94001DC7233775EbEe
Arbitrum	-	-
Optimism	-	-
Binance	-	0x9d33ee6543C9b2C8c183b8fb58fB089266cffA19
Base	-	-
Metis	-	-
Gnosis	-	0xf937ffaea1363e4fa260760bdfa2aa8fc911f84d
Scroll	-	-
ZkEVM	-	-
Celo	-	0x91b21900E91CD302EBeD05E45D8f270ddAED944d

Security

The following security procedures have been applied:

• Extensive testing and internal review by the BGD Labs team.

  • Tests suite.

• 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.

  • Report.
  • Properties.

• Security review by SigmaPrime, another security service provider of the Aave DAO.

  • Reports.
  • Test suite.

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 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.