Rescue Mission Phase 1 Short Executor

Simple Summary

Activation of Aave rescue mission Phase 1, Level 1 (Short) Executor part

Motivation

Since the birth of the Aave ecosystem, multiple people have sent tokens by mistake to incorrect addresses.

In some cases, when the transfer is to another unknown wallet, the tokens are usually locked and lost forever, as it is factually impossible to prove that the transfer was a mistake.

But there are special cases, where the transfer happens to a well-known smart contract address of the ecosystem, for which is simple to understand that the action was really a mistake, as there is no rational reason to send tokens there.

In the case of Aave, the existence of upgradeable smart contracts across the ecosystem makes technically possible the recovery of such tokens sent by mistake. Consequently, given the requests from members of the community affected, we have come up with a plan to “rescue” those funds, providing the affected people a way to recover them.

This initial phase will affect the following:

• Users who sentAAVE, LEND, USDT and UNI to the AAVE token smart contract
• Users who sent LEND to the LEND smart contract
• User who sent LEND to the LendToAaveMigrator smart contract
• Users who sent AAVE and stkAAVE to the stkAAVE contract

The LEND sent to the specified contracts will be claimed already as AAVE tokens with the transformation LEND to AAVE already taken into account (1 AAVE = 100 LEND)

Specification

For wallets to be able to claim the tokens they sent to the contracts specified on Phase 1, we have created a different Merkle tree for every claimable token (AAVE, stkAAVE, UNI, USDT).

With the roots and amounts, every wallet will be able to claim by calling the AaveMerkleDistributor contract.

This Rescue Short Proposal will be in charge of the activation of the AaveMerkleDistributor contract and the rescue of LEND sent to the LendToAaveMigrator and to LEND contracts.

• ProposalPayloadShort: This proposal payload will deploy the AaveMerkleDistributor contract and add the AAVE, USDT, UNI and stkAAVE distributions. It will also connect the new implementation of the LendToAaveMigrator. The LendToAaveMigrator will be initialized with the deployed AaveMerkleDistributor and with the LEND amount calculated by adding:
  • LEND amount sent to LendToAaveMigrator: 8007719287288096435418 LEND in WEI (~8007,72 LEND).
  • LEND amount sent to LEND contract: 841600717506653731350931 LEND in WEI (~841600,72 LEND).<p> This amount will directly be accounted by rescuing AAVE, as the LEND contract will not be updated, but as the LendToAaveMigrator has all remaining AAVE, we can assume that it was sent there, and so it can be migrated with the rest of the LEND amount sent.

References

A list of relevant links like for this proposal:

• forum discussion
• tests
• Contracts:
  • ProposalPayloadShort
  • LendToAaveMigrator Implementation
  • AaveMerkleDistributor

Security Considerations

The contracts have been audited by Certora, and the report can be found here

Implementation diffs have been generated to see that the new implementations only differ on the rescue logic:

• LendToAaveMigrator Diff

Storage layouts diffs have also been generated for the contracts where the implementation is updated:

• LendToAaveMigrator storage layout Diff

Deployed Contracts

• ProposalPayloadShort
• LendToAaveMigrator Implementation
• AaveMerkleDistributor

Copyright

Copyright and related rights waived via CC0.