InstaDapp-Tasks

This repo contains links to all the tasks I completed while working as part-time Web3.0 developer at InstaDapp.

1. InstaDapp-Bridging-Bot

Consider 2 EOA accounts, 0xmain and 0xspecific.
All the assets (ETH and ERC20s) transferred from 0xspecific are bridged to Polygon chain by 0xmain.
If any other address sends any asset to 0xmain, it is transferred to 0xspecific.

2. InstaDapp-Manager-Roles

Creating manager roles for InstaDapp's DSAs (Decentralized Smart Accounts)

3. InstaIndex-DSA-build-verify

Formal verification of InstaIndex contract, using Certora Prover.

4. Instadapp-Long-Short

Creating a 3x leveraged position on ETH using Flashloans and InstaDapp DSA.

5. Resolver data fetch

Using InstaDapp's Compound Resolver to fetch all real-time information for an address.