This repo contains links to all the tasks I completed while working as part-time Web3.0 developer at InstaDapp.
- 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.
- Creating manager roles for InstaDapp's DSAs (Decentralized Smart Accounts)
- Formal verification of InstaIndex contract, using Certora Prover.
- Creating a 3x leveraged position on ETH using Flashloans and InstaDapp DSA.
- Using InstaDapp's Compound Resolver to fetch all real-time information for an address.