Strat Supply Aave

What is it?

Is the repo with the strategy for supplying liquidity in the Aave V3 protocol.

What it does?

With it, you can add and withdraw liquidity from Aave V3 pool with a token.

---

Addresses and Verification

The contract is already verified:

Polygon:

• This is the address of the contract in Polygon: 0xe47fF9b7Ae4888492cEB892cb52ab43fcD08b2aC

• Here you can check all the tx of the contract that I deployed on the Polygon network in polygonscan with this link:

  https://polygonscan.com/address/0xe47fF9b7Ae4888492cEB892cb52ab43fcD08b2aC

Mumbai:

• This is the address of the contract in Mumbai: 0x125dF0B4Ab64Bf6AeD9Fdac6FbaBc4Cf441614B7

• Here you can check all the tx of the contract that I deployed on the Mumbai testnet network in polygonscan with this link:

  https://mumbai.polygonscan.com/address/0x125dF0B4Ab64Bf6AeD9Fdac6FbaBc4Cf441614B7

---

Stack

Hardhat is the framework used.

Typescript is the programming language used for developing the scripts (with ethers library too).

Typescript and Waffle were used for tests (with ethers library too).

Solidity is the programing language for developing the smart contracts (libraries imported from openZeppelin and aaveV3-core)

---

How to use

I used yarn as package manager, but you could you npm or any other that you prefer.

Setup

Install dependencies

Firstly, you have to install the packages. The command is:

yarn install

For compile the contracts use:

yarn hardhat compile

Set .env files

You will need to setup a .env file for every network that you are going to use. For example, .env.polygon and .env.mumbai would have the same variables, but with different values each. You can find the variables in .env.example file.

Each .env.<network_name> contains the variables names that the .sample-env file has.

Methods Execution

This contract has only 2 external methods: deposit() and withdraw() (all methods must be directly executed from the sender address):

• deposit(address tokenAddr, uint256 amount): The first step is to approve the ERC20 token to transfer an amount to the SupplyAave contract address with the sender, and then execute Deposit method passing the sender address and the mentioned amount as params. The sender has to approve the a approve the amount before executing, and needs to have the amount for the transaction to succed.

• withdraw(address tokenAddr, uint256 amount): The params are the sender address, and the amount that wants to withdraw. The sender needs to verify that he already has deposited trough SupplyAave contract the same amount or more amount than what he wants to withdraw in order for the transaction to succed.

---

Tests

The contract is successfully tested with unit and an integration tests that executes deposit() and withdraw() functions and assert that they emit their events successfully.

• Unit tests:

  yarn hardhat test test/unit/supply-aave-unit.test.ts --network hardhat for running all the unit test. The result is the following: Example of unit tests in local network (forking the polygon mainnet):

  

  (logs were dismissed in the image)

• Integration tests:

  yarn hardhat test test/stagging/supply-aave-stag.test.ts --network <network_name> for running the stagging test. The result is the following:

  Example of stagging tests in polygon network:

  

  (logs were dismissed in the image)

---