A Brief Introduction to the World of Decentralized Finance